2 results for "machine tools"
ARXIV.ORG
SemML 2.0: Synthesizing Controllers for LTL
Synthesizing a reactive system from specifications given in linear temporal logic (LTL) is a classical problem, finding its applications in safety-critical systems design. These systems are typically …
CLAUDEAI
Putting Lipstyk on a pig - agents write most of my code, so I wound up making a static slop analysis tool
lipstyk — static analysis for machine-generated code patterns I've been neck deep in agentic dev for a while. Started on Pi, ended up building my own toolset on top of it, and at this point the agents…