Mathematics, Philosophy and Libre Software. Lives inside GNU Emacs. GNU Guix package maintainer. Lisps, Haskell, Rust, and occasionally C. Formal verification, theorem proving, compilers, and anything that can intersect with philosophy, mathematics and logic.
Mathematics, Philosophy and Libre Software. Lives inside GNU Emacs. GNU Guix package maintainer. Lisps, Haskell, Rust, and occasionally C. Formal verification, theorem proving, compilers, and anything that can intersect with philosophy, mathematics and logic.
Another friend of ours from MonadicSheep is experimenting with a new Guile-based editor, especially with a new (message-passing) archicture. Here's the latest update:
https://appetrosyan.github.io/posts/neoemacs-progress-update/