Remote
Divya Ranjan Pattanaik 
@divyaranjan@mathstodon.xyz
mastodon 4.7.2Mathematics, 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.
491 Followers
506 Following
22 Posts
Joined November 11, 2024
Email:
divya@subvertising.org
Website:
PGP Fingerprint:
F0B3 1A69 8006 8FB8 096A 2F12 B245 10C6 108C 8D4A
Prompted from the latest #Emacs Canvas patch discussion, me and @minad@mastodon.world worked on making canvas work in display margins. We wondered if it would work in the mode-line, and voila it does! Look at that looping magical thing in the mode-line. The best part is that none of this is memory intensive or laggy anymore :D
So after one frenzy #Emacs Saturday, earlier today the LLM commit has been removed from the Emacs git log. Thanks to the Emacs maintainers and #Savannah admins for handling this swiftly.
Hopefully this never happens again.
https://lists.gnu.org/archive/html/emacs-devel/2026-07/msg00398.html
Replying to
And we've seen how much people have lost basic care for programming to let idiotic companies not only have power over them, but let them make you addicted to a tool that slowly makes you apathetic about your own programs. A programmer that doesn't neurotically care about his programs, who isn't losing sleep over this, and who isn't hell-bent on making it work efficiently, simply isn't a good programmer. You can push 900 commits a day, you can write 10k LOC a day (people actually do this), but you will not be among us, you will be counted among "software developers" who work for money, nothing wrong with that, but you are not a hacker or a nerd. We will share the sympathy of you being corned into such a position, but you still have the freedom to not buy into it and write free software whenever you can. Even if you can't, you should at least support those who do.
There are people who really care about their software, these are the people who built #Emacs, who built #OpenBSD, and who continue to write programs that will probably never bring them money, or fame but simply because they love & care about what they do. One possible way to look at the silver lining of the current demise is that it differentiates those who really care, and those who don't. And those who cared, will possibly try to take a harder stance and care more.
SuperTuxKart inside #Emacs at 60FPS
https://codeberg.org/attachments/4bf14a2d-1043-4e1b-9572-f371b78c4c84
Love @gotosocial@gts.superseriousbusiness.org for this:
Stallman's 83rd Rule: All attempts to recreate a new GNU #Emacs will fail if they do not at its core preserve Emacs' extensibility, self-documentability, a Lisp interpreter, while altogether building an architecture that is distinct from Emacs core.
Richard Stallman on how 'linux' leads people to an apolitical philosophy of software
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.
Going live on PeerTube in a few minutes!
https://tv.dyne.org/w/qNptn9nxRydPPMqPr4Ui9p
This time I'll be doing something different from my usual Emacs Reader or Canvas project. I'd be exploring to use and modify some exciting Emacs packages that help in creating a development environment that doesn't require LSP. Namely, I'm going to try out and showcase CEDET packages (Semantic, EDE, etc.)
Replying to
@Tanuki@neopaquita.es @anthk@neopaquita.es Equating Trump with Stallman is the most idiotic thing I've ever seen. Trump is a convicted felony who was seen in the island of Epstein, there is no such evidence for Stallman. You really should be careful with what you state.
Stephen Levy, Hackers (2010)
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)
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/
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.
Replying to
@n0toose Amazing. As someone who has switched entirely from GitHub to Codeberg for #Emacs and other #FreeSoftware projects, I emphatically agree with this. Would we see eventually a policy on Codeberg about this?
Replying to
@VogueLaGalere@mastodon.online @movim@piaille.fr Yup we can federate with all Movim instances and in general across any XMPP server.
Replying to
@minad@mastodon.world @tusharhero@mathstodon.xyz @pkal@social.sdfeu.org Indeed. Looks like from Eli's latest response that he's fine with the patch as long as it also provides a way to create and save the canvas from elisp. But should we do that or go the memimage route?