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