I Put Jev Behind a TLA+ Spec and Ran 1,680 Chaos-Tested Pharmacy Decisions. Zero Wrong Verdicts.

DEV Community·3 points·copyleftdev·12 days ago·dev.to

Jev returns a probability, not prose. That made it possible to model-check the consensus around it, then try to break it. Two of the bugs were mine.

Read the full article at dev.to →

#jev #tla #spec #ran #tested #chaos #behind #pharmacy

Related stories

Show HN: Jevopt: Making intelligent compiler optimisation decisions with Jevgithub.com
Hacker News · 1 points · 9 days ago
Show HN: Onesie – An expressive CLI for System One models like Jevgithub.com
Hacker News · 3 points · 3 days ago
Jev vs. Kev: open-source Jev alternative tested side by sideopper.ai
Hacker News · 10 points · 5 days ago
Show HN: Jev.Store – A dedicated directory of useful things made on Jevjev.store
Hacker News · 1 points · 5 days ago
Show HN: Will Jev pull the lever in the trolley problem?gpu.studio
Hacker News · 7 points · 11 days ago
Plain Gemma 4 26B vs Jev on One EC2 L4: 2.1 Points Behind Overall, Level on Yes/No, 4.5 Behind on Multiple Choicedev.to
DEV Community · 8 points · 7 days ago

Related topics

ai2044 typesafe20 system180 typed40 agent436 llm184 semantic27 game145 using jev10 x2f303 system one22 programming301