بناء مصنف قاعدة كود باستخدام Jev
يشارك مطور بناء مصنف قاعدة كود باستخدام Jev، ويقترح أنه قد يحل مشكلة الكود المفرط الهندسة من الوكلاء، ويسأل عما يجب اختباره بعد ذلك.
Jev يثبت 140 نظرية بأقل من دولار واحد
يشير جيمي كوبل إلى أن Jev أثبت 140 نظرية من Software Foundations بأقل من دولار واحد، بينما حققت Astra معدل حل أعلى لكن بتكلفة أكبر 130 مرة. التحقق نادراً ما يكون إثباتاً واحداً صعباً؛ بل هو الكثير من الإثباتات الصغيرة، وهنا يبرز Jev.
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 يتيح LLM-as-a-Judge بسرعة 20–200 ضعف وتكلفة أقل 40–400 ضعف
تم استخدام Jev لاختيار النموذج الذي يمثل AGI، مع سرعة 20–200 ضعف وتكلفة أقل 40–400 ضعف، مما يجعل LLM-as-a-judge سريعًا للغاية وشبه مجاني.
اختبار التطبيقات باستخدام TypeSafe Jev وOpenCode
يشارك Filip عرضًا صغيرًا يوضح سرعة اختبار التطبيقات باستخدام TypeSafe Jev وOpenCode.
