There’s also one there about learning the formal side of logic in a programmer-friendly way.