3 ms·
This is the kind of development that one needs for safety critical applications. E.g., nuclear power plants or airplane control software. I don't think it is ec
by cjfd 10mo ago
This is the kind of development that one needs for safety critical applications. E.g., nuclear power plants or airplane control software. I don't think it is economically feasible for less critical software. It presumes a great degree of stability in requirements which is necessary for such applications.
- bccdee 10mo agoIndeed, a lot of it is pulled from NASA's "Power of Ten – Rules for Developing Safety-Critical Code." The original tigerbeetle doc cites them explicitly: https://github.com/tigerbeetle/tigerbeetle/blob/ac75926f8868093b342ce2c64eac1e3001cf2301/docs/TIGER_STYLE.md#safety https://github.com/tigerbeetle/tigerbeetle/blob/ac75926f8868...