Collected Logs

Circuit Transformations, Loop Fusion, and Inductive Proof | Nate Young 04-19-26

The Origins of GPU Computing – Communications of the ACM 04-13-26

What Makes System Calls Expensive: A Linux Internals Deep Dive 04-06-26

Mvidia / (WIP) gamified walkthrough of GPU construction 04-05-26

Reading List | OS Prelim Syllabus | Berkeley EECS / classic OS papers 04-02-26

You and Your Research 04-02-26

Computers are fast – Jonathon Belotti [thundergolfer] 01-01-26

Domain specific architectures for AI inference 12-24-25

Reversing the technical interview / such a fun series 12-24-25

Introducing the Advent of Compiler Optimisations 2025 — Matt Godbolt’s blog 12-24-25

Microarchitecture: What Happens Beneath - YouTube 12-24-25

abseil / Performance Hints 12-24-25

rsrch space / the inspiration for this page 12-24-25

Just a Byte - AI Compilers, Silicon, and Systems | Patrick C. Toulme 04-13-26

Jeremy Kun | Math ∩ Programming 04-02-26

Algorithms for Modern Hardware - Algorithmica 04-02-26

Marc Brooker's Blog 12-24-25

Aphyr 12-24-25

Matt Godbolt’s blog 12-24-25

Tristan's Site 12-24-25

Julia Evans 12-24-25

Micah Lerner / great paper explanations (and excellent formatting) 12-24-25

Copy-and-patch compilation: a fast compilation algorithm for high-level languages and bytecode
Xu, Haoran and Kjolstad, Fredrik 12-24-25

What are skiplists good for? | Antithesis Blog 04-19-26

Zero-Copy Pages in Rust: Or How I Learned To Stop Worrying And Love Lifetimes | Zaid Humayun’s Blog 04-16-26

Part 1 - Introduction and Setting up the REPL | Let’s Build a Simple Database 04-16-26

NVIDIA TileIR Internals: from CuTile to MLIR/LLVM to SASS | Henry Zhu 04-14-26

Tracking down a 25% Regression on LLVM RISC-V – KG's Blog 04-13-26

Visualizing CPU Pipelining | Tim Mastny 04-13-26

Dissecting the NVIDIA Volta GPU Architecture via Microbenchmarking | Hacker News 04-13-26

Floating point from scratch: Hard Mode · Tales on the wire 04-10-26

Modern Microprocessors - A 90-Minute Guide! 04-10-26

CppCon 2024 When Nanoseconds Matter: Ultrafast Trading Systems in C++ -- David Gross : Standard C++ 04-07-26

Coding Machines 04-02-26

https://arxiv.org/pdf/2210.00714 04-02-26

[2411.07211] Exo 2: Growing a Scheduling Language 04-02-26

Modern Hardware for Future Databases 04-02-26

A tale about fixing eBPF spinlock issues in the Linux kernel | Ritesh Oedayrajsingh Varma 04-02-26

Against Query Based Compilers 04-02-26

You Are The BIOS Now: Building A Hypervisor In Rust With KVM 04-02-26

How many registers does an x86-64 CPU have? 04-02-26

I want a good parallel computer | Raph Levien’s blog 04-02-26

code::dive conference 2014 - Scott Meyers: Cpu Caches and Why You Care - YouTube 04-02-26

https://people.freebsd.org/~lstewart/articles/cpumemory.pdf 04-02-26

Evolution of the x86 context switch in Linux – MaiZure's Projects 04-02-26

Formally Verifying PBS Kids with Lean4 04-02-26

https://www.cs.ru.nl/~freek/courses/tt-2011/papers/cps/histcont.pdf 04-02-26

I built a 2x faster lexer, then discovered I/O was the real bottleneck | modulovalue 04-02-26

Common pitfalls when building generative AI applications 04-02-26

Computing sharding with einsum : ezyang's blog 04-02-26

A ToC of the 20 part linker essay [LWN.net] 04-02-26

LLVM: The bad parts 04-02-26

When XLA Isn't Enough: From Pallas to VLIW with Splash Attention on TPU 04-02-26

From JAX to VLIW: Tracing a Computation Through the TPU Compiler Stack 04-02-26

Building an eBPF/XDP NAT-Based Layer 4 Load Balancer from Scratch 04-02-26

Jane Street Blog - Fun with Algebraic Effects - from Toy Examples to Hardcaml Simulations 04-02-26