Programming @programming.dev

SwordInStone @lemmy.world

6mo ago

"How types make hard problems easy" (or at least reduce cognitive load over time)