new2일 전· 1 sources
I Put Jev Behind a TLA+ Spec and Ran 1,680 Chaos-Tested Pharmacy Decisions. Zero Wrong Verdicts.
Why it matters
A pharmacy system has one rule that matters more than being accurate. It is allowed to say "I don't know." It is not allowed to be sure, and wrong. That rule is easy to state and hard to test, because...
1
Sources
+0
24h
0x
Growth
1d
Active