Notes on random rabbit holes I explore.PostsMy Experience of building bytebeat player in Zig 01 Nov 2025SAT problems are kind of cool! 08 Oct 2025Making Enzyme AutoDiff Toolchain Stable on Rust (GSoC 2025) 05 Sep 2025Optimizing a RISC-V Emulator 15 Jan 2025