Embed Notice

The following are the “little miracles” (in the nonreligious sense) in the lives of techies:

• A preteen coder discovering abstract data types
• A high schooler being introduced to abstract algebra
• An undergrad taking an introductory course on category theory
• A grad student wading into univalent foundations of mathematics
• An experienced IT coder finding out about homotopy type theory
• A pensioner who just realised how much intellectually fulfilling life experiences lay before him