1
Using formal methods to keep LLMs on track
(brainflow.substack.com)
A place for publishing links about coding agents: new features, interesting news, promising tools, technical breakdowns.