Guardians of the Agents Formal verification of AI workflows. (Dec 2025)cacm.acm.org2 ポイント·投稿者 steilpass·10 日前·0 コメント
steilpass·4 か月前·議論I encourage everyone interested in software development to read it.Drew has also posted a great recording: https://www.youtube.com/watch?v=8TXAlOFkmk0 and an open source tool https://github.com/dbreunig/plumb
steilpass·7 か月前·議論Turns out that basic shell commands are a really powerful for context management. And you get tools which run in shells for free.But yes. Other agent platforms will adopt this pattern.