Programming is Eating Math / Abstraction as an Appetiser / The Composition of the Main Course / The Proof is in the Pudding / types can be viewed as propositions and programs as proofs
When I talk about integrity, I’m talking about taking responsibility for the people on your team, for the projects you work on, and for the company you work for. Personal integrity includes being truthful, transparent, and genuine.
1
A Programmer’s Regret: Neglecting Math at University
30 Traits of a Good Technical Manager
