Chris Nixon

Programming language nerd with an interest in everything from Formal verification and type systems to embedded development.

The Backend Strikes Back