Tag:formal-methods
All the posts with the tag "formal-methods".
Eight Implementations, One Spec: Redundancy as an Epistemic Device
Building the same reactive library in eight languages against a shared normative spec, a Lean model, and a load-test harness ... and what that combination found that no single implementation could. Why six normative clauses accumulating around one primitive meant the primitive was wrong, which is also the honest answer to 'isn't a reactive just an observer?'. Five ways a conformance suite reports green while checking nothing. Benchmarks that lied by 2x on a busy workstation.