Intersections: K∩W

About

• 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.

Next meetup: #17 — 2016 January 12

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

Past meetups

#16 — 2015 December 8

• 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]

#15 — 2015 November 15

• 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]

#14 — 2015 October 13

• 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]

#13 — 2015 September 8

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

#12 — 2015 August 11

• 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).

#11 — 2015 July 7

• 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)

#10 — 2015 June 9

• 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)

#9 — 2015 May 12

• 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".

#8 — 2015 March 31

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

#7 — 2015 February 10

• 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]

#6 — 2015 January 20

• 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".

#5 — 2014 December 18

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

#4 — 2014 November 18

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

#3 — 2014 September 16

• 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".

#2 — 2014 August 5

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

#1 — 2014 June 24

• 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]