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/
11-ghuloum.pdf
581.7 KB
An Incremental Approach to Compiler Construction
On Ada's Dependent Types, and its Types as a Whole
https://nytpu.com/gemlog/2024-12-27
https://nytpu.com/gemlog/2024-12-27
nytpu.com
On Ada's Dependent Types, and its Types as a Whole
Writing an Operating System in 1,000 Lines (C)
https://github.com/nuta/operating-system-in-1000-lines?tab=readme-ov-file
https://github.com/nuta/operating-system-in-1000-lines?tab=readme-ov-file
GitHub
GitHub - nuta/operating-system-in-1000-lines: Writing an OS in 1,000 lines.
Writing an OS in 1,000 lines. Contribute to nuta/operating-system-in-1000-lines development by creating an account on GitHub.