Building a Codebase Classifier with Jev
A developer shares building a codebase classifier with Jev, suggesting it may solve overengineered code from agents, and asks what to test next.
Jev proves 140 theorems for under $1
Jimmy Koppel notes that Jev proved 140 Software Foundations theorems for under a dollar, while Astra achieved a higher solve rate but at 130x the cost. Verification is often many small proofs, where Jev shines.
The economics of program verification just changed. Jev proved 140 Software Foundations theorems for under $1. Astra crushed its solve rate—but at 130× the price. Verification is rarely one hard proof. It’s lots of little ones. That’s where Jev gets interesting.
· 0 likesOpen on X
More like this
Jev Enables LLM-as-a-Judge at 20–200x Speed and 40–400x Lower Cost
Jev was used to pick which model is AGI, offering 20–200x speed and 40–400x lower cost, making LLM-as-a-judge extremely fast and nearly free.
Testing apps with TypeSafe Jev & OpenCode
Filip shares a small demo showing how fast testing apps can be with TypeSafe Jev and OpenCode.
