https://borretti.me/ https://borretti.me/ 150 kilowords on Lisp, compilers, linear types, Rust, and broader software engineering opinions. Favorites: - Effect

https://borretti.me/ https://borretti.me/ 150 kilowords on Lisp, compilers, linear types, Rust, and broader software engineering opinions. Favorites: - Effective Spaced Repetition: https://borretti.me/article/effective-spaced-repetition https://borretti.me/article/effective-spaced-repetition - Unbundling Tools for Thought: https://borretti.me/article/unbundling-tools-for-thought https://borretti.me/article/unbundling-tools-for-thought - Introducing Austral: https://borretti.me/article/introducing-austral https://borretti.me/article/introducing-austral - Language Pragmatics Engineering: https://borretti.me/article/language-pragmatics https://borretti.me/article/language-pragmatics - Lessons from Writing a Compiler: https://borretti.me/article/lessons-writing-compiler https://borretti.me/article/lessons-writing-compiler