(φ (μ (λ)))

AI is really good at automating our worst tendencies. It amplifies the unspoken cultural practices no one likes, but no individual can reasonably deviate from. It exploits the mechanized traditions recalcitrant to collective action. In that vein, AI can now write useless theory papers. But perhaps in the absurdity of the distasteful OpenAI trash dump of proofs, we can all look up and realize together that we should consider doing something else.

https://www.argmin.net/p/faster-fourier-transforms

Thanks to LLMs, my Emacs Package renaming is apparently a sensational news: https://freenode.net/article/emacs-reader-submitted-to-elpa-naming-fight-follows

Written by our own, Sergio: https://guix.gnu.org/en/blog/2026/extending-guix/

So thanks to the US, my divya@subvertising.org email is gone. My new email is at: divya@dialetheia.xyz (A kind friend is hosting this on his mail server)

And to what end? In a kind of nihilistic symmetry, their dream of the perfect slave machine drains the life of those who use it as well as those who turn the gears. What is life but what we choose, who we know, what we experience? Incoherent empty men want to sell me the chance to stop reading and writing and thinking, to stop caring for my kids or talking to my parents, to stop choosing what I do or knowing why I do it. Blissful ignorance and total isolation, warm in the womb of the algorithm, nourished by hungry machines.

https://anthonymoser.github.io/writing/ai/haterdom/2025/08/26/i-am-an-ai-hater.html

Saw something written by the amazing Haskeller Alexis King after a long time! https://blog.haskell.org/foldl-and-foldr/