First screen, captured . Hover to scroll the page, or open the video.
Full page
Captured . Click for the whole screenshot.
Looks similar
Prospero: A new coding harness for a more civilized age(nullprogram.com)
167 points by fovc | 118 comments
Chris Wellons announces Prospero, a lightweight C++ Dear ImGui coding harness for LLM agents, describing its features, configuration, design principles, and editions.
The Fuzzing Book(fuzzingbook.org)
232 points by chautumn | 8 comments
Related stories
You are never taught how to build quality software(florianbellmann.com)
480 points by RunOrVeith | 411 comments
Blog post by Florian Bellmann arguing that software developers are never formally taught how to build quality software and discussing QA practices.
Your job is to deliver code you have proven to work(simonwillison.net)
777 points by simonw | 599 comments
Simon Willison blog post arguing developers must prove their code works through manual and automated testing before submitting it, especially when using LLM tools.
AI will make formal verification go mainstream(martin.kleppmann.com)
782 points by evankhoury | 394 comments
Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.
Open source security at Astral(astral.sh)
344 points by vinhnx | 95 comments
Astral blog post by William Woodruff describing the techniques Astral uses to secure its open source tools and their build, test, and release processes against supply chain attacks.
Software may be getting worse, but it used to be horrible(bitlog.com)
282 points by jakevoytko | 309 comments
Blog post by Jake Voytko arguing that while software may be degrading today, software from the 1990s and 2000s was far buggier, citing crashes, lost work, and insecurity.
How to Lead Your Team When the House Is on Fire(peterszasz.com)
361 points by kiyanwang | 185 comments
Blog post by Péter Szász on how engineering managers can lead their teams during crisis or 'wartime' periods at a company.