xkcd: Standards
Archive| xkcd
Veripool| www.veripool.org
I’m pleased to announce the release ofIncremental (wellcommented mlihere),a powerful library for building self-adjusting computations, i.e.,computations that...| Jane Street Blog
Automated testing is a powerful tool for finding bugs and specifying correctnessproperties of code. Haskell’s Quickcheck library is the most well-knownautoma...| Jane Street Tech Blog
