Hi, welcome to my website! I occasionally post articles here about math, statistics, and programming. See the about page for more information on me.

Posts

• 2024 School on Univalent Mathematics - August 12, 2024
• Thirteenth Summer School on Formal Techniques - May 30, 2024
• Quasiquotation of the Untyped Lambda Calculus - May 9, 2024
• A Haskell Solution to the Synacor Challenge - April 28, 2024
• A New Site! - April 26, 2024
• A Fibbonacci Power Series - July 12, 2020
• Regression with Complex Numbers in Python - June 19, 2020
• Fast inverse square root - June 17, 2020
• What is Regression? - June 12, 2020
• The Bertrand Paradox - June 5, 2020
• Memoization with Fibonacci and Collatz Sequences - June 3, 2020
• The Riemann Zeta Function - May 29, 2020
• The Basel Problem - May 27, 2020