An introduction to this site.

Notes on Andrej Bauer's work on algebraic effects and effect handlers.

Notes on Bob Harper's OPLSS 2018 lecture series on computational type theory.

Notes on greedy algorithms, dynamic programming, and the rod-cutting problem.

Notes on the neuroscience of leading and motivating high-performance teams.