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.
Be aware of the Makefile effect
https://blog.yossarian.net/2025/01/10/Be-aware-of-the-Makefile-effect
https://blog.yossarian.net/2025/01/10/Be-aware-of-the-Makefile-effect
blog.yossarian.net
Be aware of the Makefile effect
Nearly All Binary Searches and Mergesorts are Broken
https://research.google/blog/extra-extra-read-all-about-it-nearly-all-binary-searches-and-mergesorts-are-broken/
https://research.google/blog/extra-extra-read-all-about-it-nearly-all-binary-searches-and-mergesorts-are-broken/
research.google
Extra, Extra - Read All About It: Nearly All Binary Searches and Mergesorts are
Posted by Joshua Bloch, Software EngineerI remember vividly Jon Bentley's first Algorithms lecture at CMU, where he asked all of us incoming Ph.D. ...
Getting silly with C
: C is beautiful yet full of horrors. Here's to uncovering its hidden depths.https://lcamtuf.substack.com/p/weekend-projects-getting-silly-with
Substack
Weekend projects: getting silly with C
C is beautiful yet full of horrors. Here's to uncovering its hidden depths.
Memory error checking in C and C++
: Comparing Sanitizers and Valgrindhttps://developers.redhat.com/blog/2021/05/05/memory-error-checking-in-c-and-c-comparing-sanitizers-and-valgrind
Red Hat Developer
Memory error checking in C and C++: Comparing Sanitizers and Valgrind | Red Hat Developer
This article compares two tools, Sanitizers and Valgrind, that find memory bugs in programs written in memory-unsafe languages. These two tools work in very different ways. Therefore, while Sanitizers
Four limitations of Rust's borrow checker
https://blog.polybdenum.com/2024/12/21/four-limitations-of-rust-s-borrow-checker.html
https://blog.polybdenum.com/2024/12/21/four-limitations-of-rust-s-borrow-checker.html
Considerations on Codecrafting
Four limitations of Rust’s borrow checker
I’ve been using Rust for hobby projects since 2016 and have been working professionally in Rust since 2021, so I tend to consider myself pretty knowledgeable about Rust. I’m already familiar with all the common limitations of Rust’s type system and how to…
doom.pdf
6.2 MB
Doom source port that runs inside a PDF file
https://github.com/ading2210/doompdf?tab=readme-ov-file
https://github.com/ading2210/doompdf?tab=readme-ov-file
Advanced_Topics_in_Types_and_Programming_Languages.pdf
595.8 KB
Advanced Topics in Types and Programming Languages
: Typed Operational Reasoning (Chapter 7)