Haskell for all
Wednesday, February 3, 2016
From mathematics to map-reduce
There's more mathematics to programming than meets the eye. This post will highlight one such connection that explains the link between ...
Wednesday, December 30, 2015
Compile-time memory safety using Liquid Haskell
When indexing into a vector, you usually have one of two options: enable bounds-checking to throw an exception if you index out of bounds ...
Wednesday, December 9, 2015
How to contribute to the Haskell ecosystem
I wanted to share a few quick ways that beginning Haskell programmers can contribute to the Haskell ecosystem. I selected these tasks accord...
Wednesday, November 18, 2015
Interactive and composable charts
I've added a diagrams backend to my typed-spreadsheet library which you can use to build compo...
View web version