Notes on random rabbit holes I explore.PostsSAT 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