Sweep is a really impressive demo of LLMs with coding: given your source code and an issue, it will generate a PR! Example: https://github.com/edreisMD/plugnplai/issues/65
I'd want to have a really thorough test suite if I was accepting LLM PRs though.
miniblog.
Related Posts
The RustSec database is organised and thorough. It's much harder to have memory vulnerabilities in Rust, but they do happen!
Cryptocurrencies are one of the few places where white papers are celebrated. Sometimes it's just a tickbox exercise, but it does encourage thorough, up-front discussions of design.
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!

