SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

Show HN: Zest – AI Agents for Slack
customer-d547k9rahyss1dfy.cloudflarestream.com·18h·
Discuss: Hacker News
Unit Test Mocks in Go
martincapodici.com·7h·
Discuss: Hacker News