Hot Takes on Systems Programming
https://youtube.com/watch?v=g5rgIdy51vQ
https://youtube.com/watch?v=g5rgIdy51vQ
YouTube
33 Hot Takes on Systems Programming by Richard Hart | DC Systems 010
Richard Hart, principal engineer at Antithesis, shares hard-won lessons from leading a database development project over the past year. The presentation covers three main categories: performance optimization, reliability and scalability, and software engineeringโฆ
๐5๐ฅด1
(Un)portable defer in C
https://antonz.org/defer-in-c/
https://antonz.org/defer-in-c/
antonz.org
(Un)portable defer in C
Eight ways to implement defer in C.
๐ฅ3๐ค1๐1
๐ค1๐พ1
Large Language Models Report Subjective Experience Under Self-Referential Processing
https://arxiv.org/abs/2510.24797v1
https://arxiv.org/abs/2510.24797v1
arXiv.org
Large Language Models Report Subjective Experience Under...
Large language models sometimes produce structured, first-person descriptions that explicitly reference awareness or subjective experience. To better understand this behavior, we investigate one...
๐3๐คจ2๐คฃ1๐1๐พ1
Why I Write Games in C (yes, C)
https://jonathanwhiting.com/writing/blog/games_in_c/
https://jonathanwhiting.com/writing/blog/games_in_c/
โค7๐5
Etymology of "Foo"
https://datatracker.ietf.org/doc/html/rfc3092
https://datatracker.ietf.org/doc/html/rfc3092
IETF Datatracker
RFC 3092: Etymology of "Foo"
Approximately 212 RFCs so far, starting with RFC 269, contain the terms `foo', `bar', or `foobar' as metasyntactic variables without any proper explanation or definition. This document rectifies that deficiency. This memo provides information for the Internetโฆ
๐
5๐ฟ3
I put a real-time 3D shader on the Game Boy Color
https://blog.otterstack.com/posts/202512-gbshader/
https://blog.otterstack.com/posts/202512-gbshader/
Danny's Blog
I put a real-time 3D shader on the Game Boy Color
๐คฏ3
The lockless page cache (Linux)
https://lwn.net/Articles/291826/
https://lwn.net/Articles/291826/
LWN.net
The lockless page cache
One of the biggest problems in kernel development is dealing with concurrency. In a system whe [...]
โค1๐1
Lock-free vs wait-free concurrency
https://rethinkdb.com/blog/lock-free-vs-wait-free-concurrency/
https://rethinkdb.com/blog/lock-free-vs-wait-free-concurrency/
๐3๐คฏ1
stg-machine-naturally.pdf
1.2 MB
The spineless tagless G-machine, naturally
https://dl.acm.org/doi/pdf/10.1145/289423.289439
https://dl.acm.org/doi/pdf/10.1145/289423.289439
๐ฅ3
Allocators from C, Rust, Odin C3, Hare, Zig
https://antonz.org/allocators/
https://antonz.org/allocators/
antonz.org
Allocators from C to Zig
Exploring allocator design in C, C3, Hare, Odin, Rust, and Zig.
โค10๐ฅ6
Hard Mode Rust
https://matklad.github.io/2022/10/06/hard-mode-rust.html
https://matklad.github.io/2022/10/06/hard-mode-rust.html
matklad.github.io
Hard Mode Rust
This post is a case study of writing a Rust application using only minimal, artificially constrained API (eg, no dynamic memory allocation). It assumes a fair bit of familiarity with the language.
๐ฅ2๐1
Speculative Staging for Interpreter Optimization
https://arxiv.org/abs/1310.2300
https://arxiv.org/abs/1310.2300
arXiv.org
Speculative Staging for Interpreter Optimization
Interpreters have a bad reputation for having lower performance than just-in-time compilers. We present a new way of building high performance interpreters that is particularly effective for...
๐ฅ2๐1
Copy-and-Patch Compilation: A fast compilation algorithm for high-level languages and bytecodehttps://arxiv.org/abs/2011.13127
arXiv.org
Copy-and-Patch Compilation: A fast compilation algorithm for...
Fast compilation is important when compilation occurs at runtime, such as query compilers in modern database systems and WebAssembly virtual machines in modern browsers. We present copy-and-patch,...
๐ฅ6๐ฟ2
paramorphism-synthesis.pdf
370.6 KB
Recursive Program Synthesis using Paramorphisms
https://dl.acm.org/doi/pdf/10.1145/3656381
https://dl.acm.org/doi/pdf/10.1145/3656381
๐ฅ2
unification-and-anti-CoC.pdf
168.7 KB
Unification and Anti-Unification in the Calculus of Constructions
https://www.cs.cmu.edu/~fp/papers/lics91.pdf
https://www.cs.cmu.edu/~fp/papers/lics91.pdf
๐2๐1๐ฅ1