Posts

Powerful Editor Abstractions

2 Aug, 2022 technical skills vim

F# Domain Design: Interdependent Enums and Booleans

2 Dec, 2018 Technical Skills fsharp csharp

Simple Haskell Automation in Emacs

5 Jun, 2018 technical skills emacs fp-course

Scientific Software Design: Human Working Memory

23 Feb, 2018 technical skills oo-design

OO-Design Part 3: When to Apply Encapsulation

3 Jan, 2018 technical skills csharp java oo-design

MOBA Item Optimization In Haskell

5 Dec, 2017 technical skills

Papers We Love: The Byzantine Generals Problem

4 Aug, 2017 technical skills academic papers proofs

DSLs Are Terrible

2 Aug, 2017 hugo dsl Technical Skills silly

Design Pattern Dangers

1 Aug, 2017 technical skills

Darkest Proof: Day 3

27 Apr, 2017 technical skills coq proofs silly