Your choice of top level domain (e.g. .com vs .biz) can really affect the performance of your first page load! https://bunnycdn.com/blog/is-your-fancy-new-domain-hurting-your-performance-gtld-benchmark/
miniblog.
Applying an SMT solver to find missed optimisation opportunities in LLVM's arithmetic tooling: https://blog.regehr.org/archives/1714
Lessons learned from writing a linter/static analysis tool for shell scripts: https://www.vidarholen.net/contents/blog/?p=859
(Preserve positions, use error codes and document them, and there's a tradeoff between beginner mistakes and advanced mistakes!)
Fascinating teardown of the deeply FOSS smartphone, the Librem 5:
https://arstechnica.com/gadgets/2020/01/librem-5-phone-hands-on-a-proof-of-concept-for-the-open-source-smartphone/
Angular 9 is out! It's striking how much web framework design is compiler engineering. Type safety, dead code elimination, IDE tools and (lovely!) error reporting polish.
Pharo 8 has been released: https://pharo.org/news/pharo8.0-released
Much improved git integration, a better class browser, and a huge uptick in polish since moving to GitHub! You'll even find my name on the release notes for some tiny patches :)
'cargo bloat' can tell you what the biggest dependencies or functions are in your binary! https://github.com/RazrFalcon/cargo-bloat
Not only does this help you ship smaller files, it can also produce faster compiles!
Until 2012, calling an arbitrary C function was considered safe in Rust! https://github.com/rust-lang/rust/issues/2628#issuecomment-9384243
I've met a bunch of lovely Haskell programmers, but I'm always surprised by the range of PL interests they have.
(1) Some are particularly into lazy evaluation. I get it: you can do some really elegant code for some problems. I've enjoyed this in other PLs too.
Contrasting btrfs with ZFS and taking advantage of the flexibility of btrfs:
I've seen some Rust talks recently that describe it as "an alternative to C/C++". This seems like a good framing.
The term 'systems language' has hugely varying interpretations. Does it mean a web service? Does it mean an operating system? They have very different PL needs.
Desktop PCs are moving to exclusively 12V power supplies:
Today I learnt about 'npm ci', a clean install operation for installing packages for test or deployment:
https://docs.npmjs.com/cli/ci
Back from #POPL! The Saturday tracks were well worth attending.
Ronald's discussion of gradual type safety vs soundness was my highlight: https://popl20.sigplan.org/details/wgt-2020-papers/5/Gradual-Typing-as-if-Types-Mattered
When talking about soundness, it's important to say exactly what issues you're handling, and the talk explored this.
I met some interesting gradual type people at POPL yesterday, and the schedule was full of good talks!
Friday opened with a great introduction to probabilistic PLs with live demos. It showed usage, although it feels like "random programming with magic"
Showing 1,696-1,710 of 7,653 posts