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/
Divya Ranjan 
@divyaranjan@mathstodon.xyz
mastodon
4.5.7
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.
0
Followers
0
Following
Joined November 11, 2024
Email:
divya@subvertising.org
Website:
PGP Fingerprint:
F0B3 1A69 8006 8FB8 096A 2F12 B245 10C6 108C 8D4A
Posts
Divya Ranjan
@divyaranjan@mathstodon.xyz
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.
mathstodon.xyz
Divya Ranjan
@divyaranjan@mathstodon.xyz
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.
mathstodon.xyz
@divyaranjan@mathstodon.xyz
·
Mar 08, 2026
2
0
2
Divya Ranjan
@divyaranjan@mathstodon.xyz
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.
mathstodon.xyz
Divya Ranjan
@divyaranjan@mathstodon.xyz
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.
mathstodon.xyz
@divyaranjan@mathstodon.xyz
·
Mar 08, 2026
Streaming in ~10m at #PeerTube. Mostly going to work on #Emacs Canvas API patch, maybe rant a bit about the recent regressions in the arena of programming. Also going to showcase my new non-LSP development setup for C/C++.
2
0
1
Divya Ranjan
@divyaranjan@mathstodon.xyz
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.
mathstodon.xyz
Divya Ranjan
@divyaranjan@mathstodon.xyz
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.
mathstodon.xyz
@divyaranjan@mathstodon.xyz
·
Mar 06, 2026
The techniques we teach and draw upon are common to all of engineering design. We control complexity by building abstractions that hide details when appropriate. We control complexity by establishing conventional interfaces that enable us to construct systems by combining standard, well-understood pieces in a "mix and match" way. We control complexity by establishing new languages for describing a design, each of which emphasizes particular aspects of the design and deemphasizes others.
Underlying our approach to this subject is our conviction that "computer science" is not a science and that its significance has little to do with computers. The computer revolution is a revolution in the way we think and in the way we express what we think.
Gerald Sussman & Harold Abelson, Structure and Interpretation of Computer Programs (1996)
3
0
3
Divya Ranjan
@divyaranjan@mathstodon.xyz
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.
mathstodon.xyz
Divya Ranjan
@divyaranjan@mathstodon.xyz
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.
mathstodon.xyz
@divyaranjan@mathstodon.xyz
·
Mar 06, 2026
Following the request of @tusharhero@mathstodon.xyz I am going to be posting in this thread the chronological development of #Emacs Reader as it began last Feb 2025.
5
0
0
Divya Ranjan
@divyaranjan@mathstodon.xyz
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.
mathstodon.xyz
Divya Ranjan
@divyaranjan@mathstodon.xyz
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.
mathstodon.xyz
@divyaranjan@mathstodon.xyz
·
Mar 04, 2026
Unpopular opinion, but I think PHP is better than JavaScript. The recent demonstration of that is @movim@piaille.fr , I can run this web app from #GNU Icecat. Something 99% of the web apps would simply be untenable for, because they have non-free JavaScript.
2
0
1
Divya Ranjan
@divyaranjan@mathstodon.xyz
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.
mathstodon.xyz
Divya Ranjan
@divyaranjan@mathstodon.xyz
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.
mathstodon.xyz
@divyaranjan@mathstodon.xyz
·
Feb 17, 2026
SuperTuxKart inside #Emacs at 60FPS
https://codeberg.org/attachments/4bf14a2d-1043-4e1b-9572-f371b78c4c84
19
0
14
Divya Ranjan
@divyaranjan@mathstodon.xyz
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.
mathstodon.xyz
Divya Ranjan
@divyaranjan@mathstodon.xyz
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.
mathstodon.xyz
@divyaranjan@mathstodon.xyz
·
Feb 14, 2026
I finished wiring @minad@mastodon.world 's Canvas API to Pale. And now we can render 1080p 60FPS video inside an #Emacs buffer without having to do tiling and other such nasty hacks. Enjoy this view of the universe inside your favorite operating system:
https://codeberg.org/attachments/6e87f730-5e3b-4f92-baae-1fa5db7b95a2
Can't wait for this patch to get merged into Emacs!
26
0
13