Programming Deadlock

Our small team vs millions of bots https://www.fsf.org/blogs/sysadmin/our-small-team-vs-millions-of-bots

mimalloc: a general purpose allocator with excellent performance characteristics. Initially developed by Daan Leijen for the runtime systems of the Koka and Lean languages. https://github.com/microsoft/mimalloc/

Type Safe Generic Data Structures in C https://danielchasehooper.com/posts/typechecked-generic-c-data-structures/

Maximize Cache Performance with this One Weird Trick: An Introduction to Cache-Oblivious Data Structures https://rcoh.me/posts/cache-oblivious-datastructures/

"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*