A static semantics for Haskell
https://www.microsoft.com/en-us/research/wp-content/uploads/1991/03/A-Static-Semantics-for-Haskell_small.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1991/03/A-Static-Semantics-for-Haskell_small.pdf
Make your QEMU 10 times faster
https://linus.schreibt.jetzt/posts/qemu-9p-performance.html
https://linus.schreibt.jetzt/posts/qemu-9p-performance.html
Microsoft Research Detours Package
https://github.com/microsoft/Detours
https://github.com/microsoft/Detours
GitHub
GitHub - microsoft/Detours: Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed…
Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed in source code form. - microsoft/Detours
Clay
: a flex-box style UI auto layout library in C, with declarative syntax and microsecond performancehttps://www.nicbarker.com/clay
Interactive Programs in Dependent Type Theory
https://csetzer.github.io/articles/ioconf.pdf
https://csetzer.github.io/articles/ioconf.pdf
The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl)
https://dl.acm.org/doi/pdf/10.1145/3409006
https://dl.acm.org/doi/pdf/10.1145/3409006
Parsing millions of URLs per second (C++)
https://onlinelibrary.wiley.com/doi/10.1002/spe.3296
https://onlinelibrary.wiley.com/doi/10.1002/spe.3296
Wiley Online Library
Parsing millions of URLs per second
URLs are fundamental elements of web applications. By applying vector algorithms, we built a fast standard-compliant C++ implementation. Our parser uses three times fewer instructions than competing ...
07_dijkstra.pdf
1.1 MB
Recursive Programming - Dijkstra (1960)
Collection of insane and fun facts about SQLite
https://avi.im/blag/2024/sqlite-facts
https://avi.im/blag/2024/sqlite-facts
avi.im
Collection of insane and fun facts about SQLite - blag
Some of the interesting and insane facts I learned about SQLite
My failed attempt at AGI on the Tokio Runtime
https://www.christo.sh/building-agi-on-the-tokio-runtime/
https://www.christo.sh/building-agi-on-the-tokio-runtime/
2004-01-30-CGO-LLVM.pdf
202 KB
LLVM
: A Compilation Framework for Lifelong Program Analysis & TransformationHefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects
https://casperbp.net/store/hefty-algebras.pdf
https://casperbp.net/store/hefty-algebras.pdf
Myth and reality about inline in C99
https://gustedt.wordpress.com/2010/11/29/myth-and-reality-about-inline-in-c99/
https://gustedt.wordpress.com/2010/11/29/myth-and-reality-about-inline-in-c99/
Jens Gustedt's Blog
Myth and reality about inline in C99
There is a very common misunderstanding about the inline keyword in C99. Rumors go that this would just be a useless hint to the compiler, that generation of external symbols or not is left to the …
Zig's Comptime is Bonkers Good
https://www.scottredig.com/blog/bonkers_comptime/
https://www.scottredig.com/blog/bonkers_comptime/