A software engineer website

engineering

2024

The end of a 666 days streak -

OOP has not invented encapsulation -

Types for building and types for running -

Types strengthening -

eDSLs for tests -

Type-driven development applied: librarian -

Types and Tests -

2023

Witness functions -

Test-Driven Development Freedom -

What a good design is -

Dependencies management -

A case against Haskell immersion -