My conclusion after moving a million lines of code is that everything we do (plus or minus) is wrong. Henry Ford said "If I had asked people what they wanted, they would have said faster horses." Our horses are now a billion times faster: our horses may well…

Build, optimize and personalize Search and Discovery for your users. Our hosted platform reduces the complexities of building relevant digital experiences.

structured-haskell-mode - Structured editing minor mode for Haskell in Emacs

I found a great domain name for sale on @undeveloped. Check it out!

Explore TagSpaces' suite of offline tools for file management, tagging, and note-taking. Compare Lite, Pro, Web, and Custom versions to find the perfect fit for your needs.

Empowering everyone to build reliable and efficient software.

A short guide on OCaml type checker, describing the surprisingly elegant algorithm for generalization, which generalizes to first-class polymorphism, MLF and local types. Polymorphism and regions have much in common.