First meeting: Countably Inaugural
Details
Our first Meetup will be focused on Math and Programming Languages. Speakers are:
- Steven Taschuk: Euclid, Hilbert, and Dehn walk into a Pyramid...
- Aaron Levin: The Algebra of Algebraic Data Types and the Calculus of Mutation
- Aden Seaman: Maximal Immutable Number Cycles