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