These are chat archives for non/algebra

18th
Jan 2015
Erik Osheim
@non
Jan 18 2015 17:00
@johnynek i'm busy today but just wanted to let you know that i am writing a Long128 class -- i wanted to test out a vision for "generic hashing functions" to see if it could work.
@larsrh also i am going out but feel free to ping me with any questions about the algebra law checking -- i'll try to check in.
Lars Hupel
@larsrh
Jan 18 2015 17:07
Do we really need to check the lattice and order laws in LatticePartialOrderLaws?
Because that really leads to redundancies
so for Bool, we test lattice laws once via LogicLaws and then again via LatticePartialOrderLaws
Cody Allen
@ceedubs
Jan 18 2015 17:08
Isn't discipline supposed to solve this problem? :)
Lars Hupel
@larsrh
Jan 18 2015 17:08
@ceedubs Well, depends on how disciplined you are :-)
Cody Allen
@ceedubs
Jan 18 2015 17:09
Not very. I'm a lawless fiend
Lars Hupel
@larsrh
Jan 18 2015 17:35
@johnynek @non #39 now ready for review