Types and Tailcalls
December 1, 2016

Understanding the react-redux connection function

Getting a detailed understanding of the react-redux connect function
November 16, 2016

Trying and failing to make a type safe react-redux connect wrapper

It's challenging to make a type safe react-redux connect function. I thought I had found a way, but was wrong...
November 7, 2016

Some Personal Rules for Effective and Efficient Meetings

Personal propositions for having more effective meetings
July 19, 2016

A Look at the Idris Internals, Part IV: From TT Onward

A brief overview how TT is processed to later stage intermediate languages.
March 15, 2016

A Look at the Idris Internals, Part III: From Parsing to Elaboration

Looking at how Idris is desugared and elaborated to TT
January 17, 2016

A Look at the Idris Internals, Part II: Taking the Parser for a Spin

Trying out the Idris Parser on the GHCi REPL
January 10, 2016

A Look at the Idris Internals, Part I: Overview and Parsing

A short overview of the Idris compilation process, parsing and the high-level AST
January 13, 2015

Release It - Summary and Review

A fairly long summary and short review of Michael Nygard's book Release It
June 14, 2014

Solving the Expression Problem in Haskell and Java

A second look at the expression problem discussed in the previous post and ways of solving it in Haskell and Java
January 10, 2014

Sum Types, Visitors, and the Expression Problem

Visitors are a complicated OO way of getting the advantages of sum types
December 21, 2013

Understanding Pointers, Ownership, and Lifetimes in Rust

A summary of ownership related topics in Rust
October 24, 2013

Certified Red-Black Trees in Coq -- Part 0

I try my hand at proving the soundness of insert on Red-Black trees in Coq
September 9, 2013

Efficient Quicksort in Haskell

An in-place quicksort implementation in Haskell
August 20, 2013

Let Your Prompt Tell You When To Pull

Modify your zsh prompt so that it tells you when your remote branch has new commits
August 7, 2013

Stripping out the Business Logic

An exploration of the central aspects of business programming with the objective to abstract them and focus programming around them.
July 31, 2013

Getting Started With Dependent Types

Dependent types are all the rage but getting started can be a bit intimidating. This post summarizes some resources to get started with dependent types and my plan on how to learn them.
July 19, 2013

Why I love Haskell

My summary of what I love about Haskell and why I think it is a language worth learning and using. Argumentative ammunition for discussions.
January 13, 2012

Sun / Oracle Grid Engine - Exclusive Host Access

How to get each job to have exclusive access to a host in Oracle Grid Engine
December 26, 2011

List tricks in Python

Rocking lists in Python as if it was a functional language
October 21, 2011

A Clojure Macro to Generate Functions

Programmatically generating functions in Clojure
October 12, 2011

Why Lisp? A Clojure Newbie Perspective

Lisp is powerful because its a programmable programming language
August 22, 2011

Please rate your programming skill from 1 to 10

A totally pointless scale of programming skill