Criando um classificador de código com Jev
Um desenvolvedor compartilha a criação de um classificador de código com Jev, sugerindo que pode resolver código superengenheirado por agentes, e pergunta o que testar a seguir.
Jev prova 140 teoremas por menos de US$ 1
Jimmy Koppel observa que o Jev provou 140 teoremas do Software Foundations por menos de um dólar, enquanto o Astra teve uma taxa de resolução maior, mas a um custo 130 vezes maior. A verificação raramente é uma única prova difícil; são muitas provas pequenas, onde o Jev se destaca.
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 permite LLM-as-a-Judge com 20–200x mais velocidade e 40–400x menos custo
Jev foi usado para escolher qual modelo é AGI, oferecendo 20–200x mais velocidade e 40–400x menos custo, tornando o LLM-as-a-judge extremamente rápido e quase gratuito.
Testando apps com TypeSafe Jev e OpenCode
Filip compartilha uma pequena demo mostrando a rapidez de testar apps com TypeSafe Jev e OpenCode.
