C is not Turing-complete (2018)

Implementing a size-bounded LRU cache with expiring entries for my DNS server (in Rust)

Solving Scheduling Problems with Integer Linear Programming (2019)

Three Months of Go (From a Haskeller's Perspective)

C is not Turing-complete (2017)