home
blog
about
papers
feed
Posts
Beyond Test-Driven Development
2023.09.02
FizzBuzz Plus Ultra
2023.08.17
Wilensky and Papert's Restructurations
2023.08.04
List comprehensions
2023.07.30
Information Maximization
2023.06.23
Encoding our domain in the type system
2023.06.08
Softwareville 3
2023.05.19
Deceitful Contracts - Fix with Church-encoded Sum Types
2023.05.17
Softwareville 2
2023.05.11
Softwareville 1
2023.05.08
Deceitful Contracts
2023.04.28
A favorite C# pattern
2023.04.23