Avoiding Overflow Bugs in Fixed-Point Arithmetic with Formal Verification (github.com) 2 points by InputNothing 5mo ago ↗ HN
1 comment
[ 2.9 ms ] story [ 11.9 ms ] thread