The Curious Engineer

All blogs / Math

Jigger Wit

jiggerwit.wordpress.com

MathFunctional / PL theoryAI / ML

’15’20’25
Posts
34 from 25 Sep 2013 to 21 Oct 2026
Posting
now and then (2 in the last year)
Kind
personal blog
Feed
https://jiggerwit.wordpress.com/feed/

2026 2

  1. What mathematicians should know about the Lean Theorem Prover: questions of reliability and AI
  2. Matroids in 1906

2025 4

  1. Babylonian Square Root of 2 in One Shot
  2. The Geometry of the Harpa Concert Hall
  3. DeepSeek’s Expected Value
  4. AI-algorithm for the digits of the cube root of 2. Or is it?

2024 6

  1. Letter to the Pitt University Times on Free Speech
  2. Easy Pieces in Geometry
  3. Telegram and Crypto Wars
  4. The Empirical World Interpretation of Quantum Mechanics
  5. Packings of Smoothed Polygons
  6. Bezout’s Theorem and an Irrelevant Point

2023 2

  1. Robert A. Millikan, Japanese internment, and Eugenics
  2. Operation Crossroads

2022 1

  1. Conway’s sphere of infinite radius and Viazovska’s magic functions

2021 1

  1. Kepler’s laws of planetary motion

2020 1

  1. A Review of the Ferguson Imperial Model of COVID-19 Infection

2019 3

  1. An Argument for Controlled Natural Languages in Mathematics
  2. New Proof of the Fundamental Lemma
  3. Birth of the Non-standard Fundamental Lemma

2018 5

  1. A Review of the Lean Theorem Prover
  2. Ethics in Mathematics
  3. Architecture of proof assistants
  4. Formal Abstracts – a Vision
  5. Formal Abstracts in Mathematics

2017 2

  1. Bertrand Russell Prize of the AMS
  2. Bad Packings

2016 4

  1. Aristotle’s Tetrahedral Blunder
  2. Elliptic Curve Addition Without Tears
  3. Pentagon Packings
  4. Primate Privacy

2014 1

  1. 27 Formal Proof Projects

2013 2

  1. Formalizing NIST standards
  2. The NSA back door to NIST