Earlier quoted context omitted.
Hey, Joran from TigerBeetle here! You raise a fair question. Coincidentally, one of the reasons we picked Zig was for how readable it was, and strikingly so, even for high level programmers who might not understand systems programming or C. Because Zig reads like TypeScript, and we were working in payment switches where the majority of programmers could read that. This particular switch, in fact, had this same busine…
Fascinating info, thanks for sharing this with all the details! Didn't watch your youtube video but do you use any formal systems like TLA+ internally for validating your designs?
Our TigerStyle talk is worth a quick watch, if only to get a feel for TB's safety and testing techniques indepth.
It's certainly valuable to verify protocol specifications using formal methods.
However, compared to TLA+, we use Deterministic Simulation Testing, which enables us to test the system as implemented, not only as specified.