3 ms·
Very nice page! Minor nit, there's a typo here in the power-of-two example: uint divide(uint n) { return n << p; } the shifts should be to th
by unwind 6y ago
Very nice page!
Minor nit, there's a typo here in the power-of-two example:
uint divide(uint n) {
return n << p;
}
the shifts should be to the right, obviously.
- rustybolt 6y agoThanks! I have a completely rewritten version in the pipeline, where I use easier versions of the theorems/proofs and fix some mistakes (in fact, the proof of lemma 1 is quite nonsensical if you look closely).