Budowanie klasyfikatora bazy kodu z Jev
Deweloper dzieli się budową klasyfikatora bazy kodu z Jev, sugerując, że może rozwiązać problem przekombinowanego kodu od agentów, i pyta, co testować dalej.
Jev udowadnia 140 twierdzeń za mniej niż 1 dolara
Jimmy Koppel zauważa, że Jev udowodnił 140 twierdzeń Software Foundations za mniej niż dolara, podczas gdy Astra osiągnęła wyższy wskaźnik rozwiązań, ale przy 130-krotnie wyższym koszcie. Weryfikacja rzadko jest jednym trudnym dowodem; składa się z wielu małych kroków, w czym Jev się sprawdza.
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 umożliwia LLM-as-a-Judge 20–200x szybciej i 40–400x taniej
Jev został użyty do wyboru, który model jest AGI, oferując 20–200x większą szybkość i 40–400x niższy koszt, czyniąc LLM-as-a-judge niezwykle szybkim i niemal darmowym.
Testowanie aplikacji z TypeSafe Jev i OpenCode
Filip dzieli się małym demo pokazującym szybkość testowania aplikacji z TypeSafe Jev i OpenCode.
