Einen Codebase-Klassifikator mit Jev erstellen
Ein Entwickler teilt den Bau eines Codebase-Klassifikators mit Jev, der überentwickelten Code von Agenten lösen könnte, und fragt, was als Nächstes getestet werden soll.
Jev beweist 140 Theoreme für unter 1 Dollar
Jimmy Koppel weist darauf hin, dass Jev 140 Software-Foundations-Theoreme für unter einem Dollar bewiesen hat, während Astra eine höhere Lösungsrate erzielte, aber zum 130-fachen Preis. Verifikation besteht oft aus vielen kleinen Beweisen – genau dort ist Jev stark.
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 ermöglicht LLM-as-a-Judge mit 20–200x Geschwindigkeit und 40–400x geringeren Kosten
Jev wurde verwendet, um zu bestimmen, welches Modell AGI ist, und bietet 20–200x Geschwindigkeit und 40–400x geringere Kosten, wodurch LLM-as-a-Judge extrem schnell und nahezu kostenlos wird.
Apps testen mit TypeSafe Jev & OpenCode
Filip teilt eine kleine Demo, die zeigt, wie schnell App-Tests mit TypeSafe Jev und OpenCode sein können.
