John D. Cook published a blog post on September 23, 2022, detailing regular expressions for matching HCPCS (Healthcare Common Procedure Coding System) Level II codes, which follow the format of one le…
A blog post by John D. Cook connects central Delannoy numbers, which count king moves on a chessboard, to DNA sequence alignment. The Delannoy numbers D(m,n) represent the number of possible alignment…
A user tested Claude's ability to generate Lean 4 code to formalize a ring theorem, achieving a proof after 11 iterations but with five unproven 'sorry' sections. The experiment highlights challenges …
John D. Cook used Anthropic's Claude (Sonnet 4.6 Medium) to find a typo in a blog post about quaternion rotations by asking it to write Lean code verifying the post's theorems. After four iterations, …