Programming Deadlock

"Judging whether life is or is not worth living amounts to answering the fundamental question of philosophy. All the rest — whether or not the world has three dimensions, whether the mind has nine or twelve categories — comes afterwards. These are games; one must first answer." Albert Camus in The Myth of Sisyphus https://arxiv.org/abs/2106.11285

📚 A collection of resources about supercompilation https://github.com/etiams/supercompilation-resources

Telescopes Are Tries: A Dependent Type Shellac on SQLite https://www.philipzucker.com/telescope_tries/

A Lévy-optimal lambda calculus reducer with a backdoor to C https://github.com/etiams/optiscope

Handbook of Practical Logic and Automated Reasoning https://www.cambridge.org/core/books/handbook-of-practical-logic-and-automated-reasoning/EB6396296813CB562987E8C37AC4520D

Occurences of swearing in the Linux kernel source code over time https://www.vidarholen.net/contents/wordcount/#fuck*,shit*,damn*,idiot*,retard*,crap*

Your Brain on ChatGPT: Accumulation of Cognitive Debt when Using an AI Assistant for Essay Writing Task https://arxiv.org/abs/2506.08872

Optimizations with Zig https://alloc.dev/2025/06/07/zig_optimization

Interaction net resources https://github.com/marvinborner/interaction-net-resources

A masochist’s guide to web development https://sebastiano.tronto.net/blog/2025-06-06-webdev/