4 ms·
This is a particularly fun Jepsen report after reading their fuzzer blind spots post. It looks like the segfaults on the JNI side would not have been protected
by DetroitThrow 1y ago
This is a particularly fun Jepsen report after reading their fuzzer blind spots post.
It looks like the segfaults on the JNI side would not have been protected if Rust or some other memory safe language were being used - the lack of memory safety bugs gives some decent proof that TigerBeetle's approach to Zig programming (TigerStyle iirc, lol) does what it sets out to do.
- matklad 1y agoSee https://news.ycombinator.com/item?id=44201189 https://news.ycombinator.com/item?id=44201189. We did have one bug where Rust would've saved our bacon (instead, the bacon was saved by an assertion, so it was just slightly crispy, not charred). EDIT: But, yeah, totally, if not for TigerStyle, we'd die to nasal demons!