my writing

• zero-cost compile-time instance checking

  (2025-08-03)

• i don't use latex (anymore)

  (2025-05-18)

• literally every course i've taken

  (2025-04-07)

• my approach to maximum clique

  (2024-12-23)

• using a computer to prove a + b = b + a

  (2024-07-20)

• math 247 (advanced calculus 3) notes

  (2024-07-12)

• the waterloo advanced math experience

  (2024-04-19)

• learning vim properly for the fifth time

  (2024-03-18)

• generating primes with a wheel

  (2023-12-20)

• exploring fibonacci

  (2023-10-15)

• what's the purpose of this blog?

  (2023-10-14)