miniblog.

It's always seemed odd to me that the Rust stdlib is so lean (no random numbers, regex, HTTP) yet clippy is so big (correctness, performance, style preferences, even 'too many arguments'). Maybe it's because cargo is mature but clippy doesn't have an extension ecosystem?

Bril is a cute intermediate language for teaching (think simplified LLVM IR): https://www.cs.cornell.edu/~asampson/blog/bril.html The idea of providing a standard JSON format to help students write basic passes is really elegant.

I've been experimenting with an 'evaluate up to cursor' mode for my PL project. I love evaluating self-contained snippets in Lisp, this generalises the idea. The interpreter remembers the arguments when you run tests, then can re-use them when you say 'eval up to here'. What do you think?