First screen, captured . Hover to scroll the page, or open the video.
Full page
Captured . Click for the whole screenshot.
Looks similar
AI Can Write the Code. Who Verifies It?(mihaisplace.com)
18 points by mmarvramm | 35 comments
A blog post by Mihai Avram discussing how to verify code written by AI, as AI increasingly takes over code generation.
Write the damn code(antonz.org)
171 points by walterbell | 61 comments
Related stories
AI Made Writing Code Easier. It Made Being an Engineer Harder(ivanturkovic.com)
343 points by saikatsg | 242 comments
Blog post by Ivan Turkovic arguing that AI tools make producing code easier while making the broader job of being a software engineer harder.
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.
AI coding has made CI a bottleneck, so we reworked ours to keep up(linear.app)
300 points by julian_digital | 367 comments
A Linear engineering blog post explaining how AI-assisted coding increased CI load and how the team reworked its CI pipeline to keep up.
Artificial intelligence is losing hype(economist.com)
453 points by bx376 | 663 comments
An Economist Free exchange column arguing that artificial intelligence is losing hype and asking whether that signals the technology will eventually succeed.
We mourn our craft(nolanlawson.com)
634 points by ColinWright | 737 comments
Nolan Lawson's blog post lamenting how AI coding tools are reducing programmers to code reviewers and mourning the loss of the programming craft.
The new skill in AI is not prompting, it's context engineering(philschmid.de)
832 points by robotswantdata | 467 comments
Blog post by Philipp Schmid arguing that context engineering, supplying LLMs with the right information and tools, matters more than prompting for AI agents.