Arnab Ghosh's personal websitehttps://arnabg.me/https://arnabg.me/blog/vox/https://arnabg.me/blog/vox/How we built VOX with Payload CMS, Next.js 15, typed APIs, and cloud-native deployment across AWS.Sun, 22 Feb 2026 00:00:00 GMThttps://arnabg.me/blog/fern/https://arnabg.me/blog/fern/How Hindley-Milner inference, refinement types, row polymorphism, and trait constraints fit together in a language targeting LLVM IR.Sat, 21 Feb 2026 00:00:00 GMThttps://arnabg.me/blog/hindley-milner/https://arnabg.me/blog/hindley-milner/A walkthrough of Hindley-Milner type inference — substitutions, unification, generalization, and the principal types theorem — with concrete examples.Sat, 21 Feb 2026 00:00:00 GMThttps://arnabg.me/blog/guardrails/https://arnabg.me/blog/guardrails/Building an AI-assisted synthesis and formal verification system for distributed-systems handlers, winning 1st at the AI Agent Hackathon in Cambridge, MA.Sat, 21 Feb 2026 00:00:00 GMThttps://arnabg.me/blog/bonix/https://arnabg.me/blog/bonix/Notes on implementing a complete optimizing compiler targeting x86-64, from sealed-interface lexer tokens to graph-coloring register allocation.Sat, 21 Feb 2026 00:00:00 GMThttps://arnabg.me/blog/owl/https://arnabg.me/blog/owl/Building a runtime monitor for Gleam actor systems using sHML specifications embedded as a Gleam ADT, with instrumentation via BEAM bytecode tracing.Sat, 21 Feb 2026 00:00:00 GMT