First screen, captured .
Looks similar
Agentic Engineering(addyosmani.com)
16 points by fagnerbrack | 1 comments
Detecting when LLMs are uncertain(thariq.io)
257 points by trq_ | 148 comments
Related stories
Agents.md speaks Unix, and you should too(fmind.dev)
10 points by fmind-dev | 2 comments
Blog post by Médéric Hurier arguing that AGENTS.md files should guide coding agents using Unix tools, with lessons from his dotfiles and human review.
Agents don't need memory, they need documentation(liao.gg)
348 points by kmeh | 211 comments
Blog post arguing that AI agents benefit more from good documentation than from persistent memory systems.
What Security Teams Need to Know About Agents Using Abliterated Models(eve.security)
5 points by mooreds | 0 comments
Eve Security blog post explaining abliterated open-weight models and how security teams can detect, govern, and block AI agents that use them.
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.
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.
GLM-5.2 is a step change for open agents(interconnects.ai)
344 points by vantareed | 197 comments
Nathan Lambert's Interconnects post arguing that the GLM-5.2 model marks a capability threshold for open-weight agentic AI.