miniblog.

Both the Rust and Zig communities are exploring building their own compiler backends for fast debug builds. Perhaps there's a place for a super-reusable "LLVM lite"?

Unison has a really nice docstring model, with helpers to interpolate values or function syntax! https://www.unisonweb.org/docs/documentation/

Types are erased in typescript, but you can write generics with `extends typeof Thing` and do runtime type checks: https://effectivetypescript.com/2020/07/27/safe-queryselector/

Discussing different ways of passing values through nested React components: https://blog.logrocket.com/mitigating-prop-drilling-with-react-and-typescript/ In addition to showing examples of each, they count lines of code as a rough verbosity measure!

I've encountered 'JSON lines' formatted data in a bunch of tools, but today I learnt it has a website and a brief specification!

Amazon defining a low power mesh protocol that shares bandwidth between neighbours:

Reading the Rust traits working group notes, I'm struck by how many (17) people have worked on this feature! https://blog.rust-lang.org/inside-rust/2020/07/17/traits-sprint-3.html There are entire languages with fewer people working on them.

Wikipedia is overhauling its theme! https://diff.wikimedia.org/2020/09/23/wikipedia-is-getting-a-new-look-for-the-first-time-in-10-years-heres-why/ I have sometimes installed CSS tinkering extensions just to fix the line length on desktop, so I'm glad to hear that's getting fixed.

A nifty "skill tree" approach to mapping out the requirements in Rust's trait solver: https://rust-lang.github.io/wg-traits/roadmap/skill-tree.html (From https://blog.rust-lang.org/inside-rust/2020/03/28/traits-sprint-1.html)

The best esolang I've seen in a while: all the keywords are business jargon! https://github.com/rotoclone/strategic-communication (Check out its policy on comments.)

Using Twitch to livestream computer science lectures is a really neat approach: https://composition.al/blog/2020/03/31/twitch-plays-cse138/ Gaming tools are pretty mature and work well!

Clojure moving to EDN for structured data in command line arguments: https://insideclojure.org/2020/07/28/clj-exec/ Seems like a nice example of dogfooding.

Another Aphyr coding interview post, blending amazing programming with superb prose. (And this time, she is recommended to hire!)

I really like the one-module-per-file model of JavaScript or Python. If you're storing code in files, you might as well leverage file boundaries. If modules are a separate abstraction (e.g Rust, OCaml), it's harder to learn and choose how to organise code.

When Nvidia discusses choosing Ada for security critical software, they mention the cost of fuzzing (slide 17). It's an interesting argument: if the language gives you more assurances, you don't need so much compute to fuzz test! https://www.slideshare.net/AdaCore/securing-the-future-of-safety-and-security-of-embedded-software