Programming Deadlock

Strategies for very fast Lexers (C) https://xnacly.me/posts/2025/fast-lexer-strategies

Functional abstract interpretation https://simon.peytonjones.org/abs-den/

"Modern" C++ Lamentations https://aras-p.info/blog/2018/12/28/Modern-C-Lamentations/

What is the Strict Aliasing Rule and Why do we care? (C/C++) https://gist.github.com/shafik/848ae25ee209f698763cffee272a58f8

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