miniblog.

Formally verifying a whitespace cleanup editor function in Coq!

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.