Notes on distributed systems, databases, and machine learning infrastructure.https://sachitmadaan.com/en-ushttps://sachitmadaan.com/writing/guided-poc-generation-for-ffmpeg/https://sachitmadaan.com/writing/guided-poc-generation-for-ffmpeg/A year in the UCSB Verification Lab pointing PAGENT at FFmpeg. 33 working proof-of-concept inputs out of 69 vulnerabilities, and one bug that still reproduces today.Wed, 05 Aug 2026 00:00:00 GMThttps://sachitmadaan.com/writing/reading-your-own-postgres-writes/https://sachitmadaan.com/writing/reading-your-own-postgres-writes/Replica lag breaks read-your-writes, and pinning a session to the primary is just a guess. LSN fencing is the exact version.Tue, 28 Jul 2026 00:00:00 GMT