H haroldbot.nl Haroldbot, client-side tool that checks 32-bit bitvector arithmetic equivalence 48 points lifthrasiir 3 years ago 9 comments