Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

Show HN: Agent-to-code JIT compiler for Z3-theorem-proving agents

github.com/stanford-mast

6 pointscalebhwin9 months agodiscuss

Comments

No comments yet.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.