Geoffrey Huntley: Forget reading code—your verification properties are all that matters
kieranklaassen · x · 2026-10-02
A debate over whether developers still need to read code in the AI era: @codemullins predicted "everyone is going to be reading code again in two weeks." Geoffrey Huntley strongly disagrees: what people should read are the verification properties expressed in tests; everything else matters less. Performance issues? Run a loop and optimise—as long as verification properties hold, that's all that matters now.
More from coding & agent
- Reddit: vLLM and llama.cpp already ship training-free zero-shot classifiers via grammar-constrained output — Altruistic_Heat_9531 · 2026-10-02
- Dev Builds a Boxing Trainer App in One Shot with "5.5" — ZeroStateReflex · 2026-10-02
- Dev Wires Grok Bot and OpenAI Dot Into Voice Interfaces for a Hermes Agent Assistant — alexcovo_eth · 2026-10-02
- Translating an entire book with DeepSeek: pennies and under an hour, decent quality — teortaxesTex · 2026-10-02
- OmniSeek turns Omni-LLMs into agents that actively seek audio-visual evidence — Haibo Wang · 2026-10-02
- Microsoft's ActiveSaddler Uses Automated Curriculum Learning to Boost Agent Harnesses by 7.5 Points — microsoft · 2026-10-02