I've been reading the Simple Minded Indentation Engine docs today. It's impressively featureful, but not as simple as I expected.
miniblog.
Related Posts
Fun compiler bug exposing an issue with LLVM (alias analysis): https://github.com/rust-lang/rust/issues/54878
Impressively, they are able to replicate the issue in C with clang, and even find a similar bug in gcc!
An incredibly ambitious project to archive all software source code, *and* all commits, to preserve it for future historians: https://m-cacm.acm.org/magazines/2018/10/231366-building-the-universal-archive-of-source-code/fulltext
Impressively, they've already mirrored GitHub and Debian!
Emacs' support for OCaml is exceptionally good. Not only does tuareg-mode have a decent REPL integration, but it even has thorough 'pair' highlighting for keywords!
Even more impressively, merlin-eldoc understands scope and shadowing when highlighting symbols!

