Posts NJPLS 2026 Eulogy for my Father Some Thoughts on the LLMs-as-compilers Analogy USENIX 2025 Travel Blog Verifying A Wacky Sparse Set Implementation (Part 1)