- A meetup in Kitchener-Waterloo on math and programming, meeting on the second Tuesday of each month.
- Our anti-harassment policy.
- Organized by Mary Loubele, Steven Taschuk, and Aaron Levin (emeritus).
- Hosted by Boltmade, at 187 King St S (the Bauer Building), unit 204.
- Our Meetup.com page.
- @IntersectionsKW, our twitter account.

- Talk: Yves Younan, "Robust Mitigations."
- Paper: "Control
Flow Integrity", Abadi
*et al.*(presented by Mary Loubele).

- Talk: Russell O'Connor, "Geometry of Synthesis: Compiling Software to Hardware using Category Theory." Based on: "Geometry of Synthesis IV: Compiling Affine Recursion into Static Hardware" (Ghica, Smith, and Singh) and "Geometry of Synthesis: A structured approach to VLSI design" (Ghica).
- Paper: "Generic top-down discrimination for sorting and partitioning in linear time", F. Heinglein (presented by Steven Taschuk). [video]

- Talk: Mary Loubele, "Optimizing a cone-beam CT scanner".
- Paper: "Multimodality
image registration by maximization of mutual information",
F. Maes
*et al.*(presented by Steven Taschuk). [video]

- Talk: Kim Martin, "A software performance primer: Theory to practice". [video]
- Paper: "The Promises and Perils
of Mining Github", Kalliamvakou
*et al*2014. (presented by Mary Loubele). [video]

- Talk: Chris Vollick, "Finding stuff: some approaches to indexing space." [video]
- Paper: "Tiling the plane with congruent pentagons", Schattschneider 1978. (jstor:2689644) [video]

- Talk: Aaron Ounn, "Distributed consensus, replicated state machines, and… a raft?!" [slides]
- Paper: "CRDTs: Consistency without concurrency control", Letia, Preguiça, and Shapiro (presented by Russell O'Connor).

- Talk: Catherine Holloway, "The Many Ways to Build a Quantum Computer".
- Paper: "An elementary proof of the Wallis product formula for pi", Johann Wästlund (presented by Steven Taschuk). (doi: 10.2307/27642364; BibTeX file)

- Paper: "Propositions as types", Philip Wadler (presented by Aaron Levin). [video 1, video 2]
- Talk: Steven Taschuk, "A few species of logic". (slides; source) (video 1, video 2)

- Paper: "A theorem about primes proved on a chessboard", Larson 1977 (doi:10.2307/2689726; jstor:2689726; BibTeX file). (video)
- Talk: Stephen Paul Weber, "Beyond Hindley-Milner: Higher-rank Polymorphism Equivalences".

- Talk: Steven Taschuk, "How to Invent Bézier Splines (if you're Archimedes)". [notes]
- Talk: Aaron Levin, "Type-Level Programming in Haskell".

- Talk: Chris Olah, "Neural Networks and the Structure of Data". [video 1, video 2]
- Talk: Matthew Mazowita, "The Axiom of Choice". [video 1, video 2, video 3]

- Talk: Russell O'Connor, "Dependent Type Theory". [video 1, video 2, video 3, video 4, video 5, video 6] [slides: pdf, odp]
- Talk: Chris Vollick and Stephen Weber, "Network Time Protocol".

- Talk: Aden Seaman, "Contour Integration and its Application to Infinite Sums".
- Talk: Aaron Levin, "Hamilton and Dirac do not Commute".

- Matt Mazowita, "The Axiom of Choice Zoo".
- Chris Vollick, "Some Crypto-y Stuff".

- Talk: Steven Taschuk, "Euler's Formula without Calculus" (slides, and an answer to a follow-up question for the slide "Functional definition of exponentiation (real exponents)").
- Talk: Rishikesh, "An Introduction to Type Theory".

- Talk: Matthew Mazowita, "The Infinite Zoo".
- Talk: Stephen Paul Weber, "Free Monads: What are they and what are they for?"

- Talk: Aaron Levin, "The Algebra of Algebraic Data Types; and the Calculus of Mutation". [slides]
- Talk: Aden Seaman, "Maximal Immutable Number Cycles". [article]
- Talk: Steven Taschuk, "Hilbert's Third Problem". [No slides, but here are the pictures and whatnot: David Hilbert, 1912 · Hilbert's problems, 1902 (HTML transcription) · Pythagoras' theorem · dissection of a tetrahedron · dissection of a cube · Max Dehn, 1899]

Mail Steven: steven@amotlpaa.org