Points are a weird and inconsistent unit of measure
Summary
This article is a newsletter archive page from Computer Things by Hillel Wayne, listing posts on programming, language guarantees, LLMs, and tooling. It highlights the author's critical take on how language models handle specifications and features posts about Z3 scripting and related topics. Useful for readers tracking developments in AI-assisted software engineering and open-source tooling.