2024 Nov 01 – Scrumptious scrumping, Fibonacci, and matrix exponentiation2024 Feb 24 – Fenwick tree Range-Update-Range-Query on Rings2023 Aug 12 – Fibonacci Prime Residues (proof)2023 Aug 05 – Uncountability of the reals (proof)2023 Aug 05 – Schröder Bernstein (Proof)2023 May 04 – Summer AGMs2023 Apr 19 – Final Weeks