Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.


Thanks! 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).




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: