-
DNA Sequence Alignment and Kings
06/30/26 - 05:21PM MST
-
Distinguishing variables from parameters
06/30/26 - 11:51AM MST
-
Silver Rectangles and the Ways of Kings
06/30/26 - 07:36AM MST
-
Derivative equals inverse
06/29/26 - 06:06PM MST
-
Who you gonna believe: Grok or the docs?
06/29/26 - 05:12AM MST
-
Brace expansion tree
06/27/26 - 05:33PM MST
-
When will the decimals in a/b repeat?
06/27/26 - 11:12AM MST
-
Height of harmonic numbers
06/27/26 - 05:51AM MST
-
Writing down harmonic numbers
06/26/26 - 06:51PM MST
-
Hart’s theorem
06/25/26 - 12:20PM MST
-
Incircles and Excircles of Pythagorean triangles
06/25/26 - 07:35AM MST
-
Consecutive Pythagorean triangle sides
06/25/26 - 05:00AM MST
-
The Star Trek lemma
06/24/26 - 07:38PM MST
-
Regular expressions that work “everywhere”
06/23/26 - 05:26PM MST
-
Lobachevsky’s integral formula
06/22/26 - 01:02PM MST
-
Queens on a prime order board
06/21/26 - 05:21PM MST
-
All pieces on a 6 by 5 board
06/20/26 - 02:41PM MST
-
Formalizing a ring theorem with Lean 4 and Claude
06/17/26 - 07:23AM MST
-
Partial fraction decomposition
06/16/26 - 10:56AM MST
-
Three examples suffice
06/16/26 - 04:14AM MST
-
Testing pentagonal numbers
06/15/26 - 04:57PM MST
-
Quaternion Rotations, Claude, and Lean
06/15/26 - 12:31PM MST
-
Writing Prolog with ChatGPT
06/15/26 - 10:22AM MST
-
RSA munitions T-shirt
06/13/26 - 01:10PM MST
-
Solving a chess puzzle with Claude and Prolog
06/11/26 - 06:14AM MST
-
Formally proving a calculation with Claude and Lean
06/10/26 - 04:11PM MST
-
Pulling on a thread
06/10/26 - 06:34AM MST
-
Aitken acceleration before Aitken
06/07/26 - 01:14PM MST
-
The Laplace limit
06/07/26 - 12:06PM MST
-
A crank formula for π
06/07/26 - 09:34AM MST