Submissions from johndcook.com

		Consecutive Pythagorean Triangle Sides (johndcook.com)
		5 points by ibobev 6 hours ago \| past \| discuss
		The Star Trek Lemma (johndcook.com)
		8 points by ibobev 6 hours ago \| past \| discuss
		Regular expressions that work "everywhere" (johndcook.com)
		3 points by ColinWright 9 hours ago \| past \| 1 comment
		Regular expressions that work "everywhere" (johndcook.com)
		2 points by ibobev 1 day ago \| past \| discuss
		Lobachevsky's Integral Formula (johndcook.com)
		3 points by ibobev 2 days ago \| past \| discuss
		Queens on a Prime Order Board (johndcook.com)
		1 point by ibobev 2 days ago \| past \| discuss
		Generating Z3/Python Code with Claude (johndcook.com)
		2 points by ibobev 2 days ago \| past \| discuss
		Diagram of Distribution Relationships (johndcook.com)
		4 points by nextos 4 days ago \| past \| discuss
		Formalizing a ring theorem with Lean 4 and Claude (johndcook.com)
		3 points by ibobev 8 days ago \| past \| discuss
		Partial Fraction Decomposition (johndcook.com)
		3 points by ibobev 9 days ago \| past \| discuss
		Quaternion Rotations, Claude, and Lean (johndcook.com)
		3 points by ibobev 9 days ago \| past \| discuss
		Three Examples Suffice (johndcook.com)
		2 points by ibobev 9 days ago \| past \| discuss
		Solving a chess puzzle with Claude and Prolog (johndcook.com)
		3 points by azhenley 10 days ago \| past \| discuss
		RSA Munitions T-Shirt (johndcook.com)
		4 points by ibobev 10 days ago \| past \| 1 comment
		Solving a chess puzzle with Claude and Prolog (johndcook.com)
		6 points by ibobev 13 days ago \| past \| discuss
		Pulling on a Thread (johndcook.com)
		2 points by ibobev 14 days ago \| past
		Formally proving a calculation with Claude and Lean (johndcook.com)
		3 points by ibobev 14 days ago \| past
		Kepler's equation led to Bessel functions (johndcook.com)
		2 points by ibobev 16 days ago \| past
		A Crank Formula for π (johndcook.com)
		2 points by ibobev 16 days ago \| past \| 3 comments
		The Laplace limit for solving Kepler's equation (johndcook.com)
		1 point by ibobev 16 days ago \| past
		Aitken Acceleration Before Aitken (johndcook.com)
		4 points by ibobev 17 days ago \| past
		Floor, Ceiling, Bracket (2021) (johndcook.com)
		2 points by tosh 18 days ago \| past \| 1 comment
		Partitions over Permutations (johndcook.com)
		11 points by ibobev 20 days ago \| past \| 1 comment
		Mr. Bessel's Eponymous Functions (johndcook.com)
		2 points by ibobev 20 days ago \| past
		Floor, Ceiling, Bracket (2021) (johndcook.com)
		1 point by tosh 20 days ago \| past
		Common patterns in Linux tools that go back to ed(1) (johndcook.com)
		3 points by ibobev 20 days ago \| past \| 1 comment
		The longer it has taken, the longer it will take (2015) (johndcook.com)
		4 points by downbad_ 21 days ago \| past
		Naively Summing an Alternating Series (johndcook.com)
		3 points by ibobev 21 days ago \| past
		Naively Summing an Alternating Series (johndcook.com)
		3 points by SVI 22 days ago \| past
		It's not just Taylor series (johndcook.com)
		3 points by ibobev 23 days ago \| past
		More