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