The Accepted Forest

Type-checking, linting, formatting: Gates of Power

Mathematical Functions vs. Programming Functions

Something is bugging you about your program but you don’t know why…

An Insight on Daily Meditation

Software development without focus? Good luck with that. Too much focus? That’s not so great either.

The Paradox of Back-end and Front-end Reliability

How Let-It-Fail Makes Never-Fail Possible

Type-Annotated Functions

The Shiny Black-boxes of Programming

Using Types and Human…