Skip to main content
Scour
Discover
Docs
System
Light
Dark
Login
Sign up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
John D. Cook
johndcook.com
＋
Follow
ing
Incircles and Excircles of Pythagorean triangles
John D. Cook
12w
12 weeks ago
HN
3 min read
John D. Cook
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block johndcook.com
Actions for Incircles and Excircles of Pythagorean triangles
Consecutive Pythagorean triangle sides
John D. Cook
12w
12 weeks ago
HN
1 min read
John D. Cook
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block johndcook.com
Actions for Consecutive Pythagorean triangle sides
The Star Trek lemma
John D. Cook
12w
12 weeks ago
HN
John D. Cook
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block johndcook.com
Actions for The Star Trek lemma
Regular expressions that work “everywhere”
John D. Cook
12w
12 weeks ago
HN
1 min read
John D. Cook
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block johndcook.com
Actions for Regular expressions that work “everywhere”
Lobachevsky’s integral formula
John D. Cook
12w
12 weeks ago
HN
John D. Cook
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block johndcook.com
Actions for Lobachevsky’s integral formula
Queens on a prime order board
John D. Cook
12w
12 weeks ago
HN
1 min read
John D. Cook
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block johndcook.com
Actions for Queens on a prime order board
All pieces on a 6 by 5 board
John D. Cook
12w
12 weeks ago
HN
5 min read
John D. Cook
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block johndcook.com
Actions for All pieces on a 6 by 5 board
Formalizing a ring theorem with Lean 4 and Claude
John D. Cook
13w
13 weeks ago
HN
5 min read
John D. Cook
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block johndcook.com
Actions for Formalizing a ring theorem with Lean 4 and Claude
Partial fraction decomposition
John D. Cook
13w
13 weeks ago
HN
2 min read
John D. Cook
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block johndcook.com
Actions for Partial fraction decomposition
Three examples suffice
John D. Cook
13w
13 weeks ago
HN
John D. Cook
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block johndcook.com
Actions for Three examples suffice
Testing pentagonal numbers
John D. Cook
13w
13 weeks ago
2 min read
John D. Cook
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block johndcook.com
Actions for Testing pentagonal numbers
Quaternion Rotations, Claude, and Lean
John D. Cook
13w
13 weeks ago
HN
5 min read
John D. Cook
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block johndcook.com
Actions for Quaternion Rotations, Claude, and Lean
Writing Prolog with ChatGPT
John D. Cook
13w
13 weeks ago
3 min read
John D. Cook
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block johndcook.com
Actions for Writing Prolog with ChatGPT
RSA munitions T-shirt
John D. Cook
13w
13 weeks ago
HN
1 min read
John D. Cook
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block johndcook.com
Actions for RSA munitions T-shirt
Solving a chess puzzle with Claude and Prolog
John D. Cook
14w
14 weeks ago
HN
4 min read
John D. Cook
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block johndcook.com
Actions for Solving a chess puzzle with Claude and Prolog
Formally proving a calculation with Claude and Lean
John D. Cook
14w
14 weeks ago
HN
5 min read
John D. Cook
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block johndcook.com
Actions for Formally proving a calculation with Claude and Lean
Pulling on a thread
John D. Cook
14w
14 weeks ago
HN
1 min read
John D. Cook
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block johndcook.com
Actions for Pulling on a thread
Aitken acceleration before Aitken
John D. Cook
14w
14 weeks ago
HN
1 min read
John D. Cook
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block johndcook.com
Actions for Aitken acceleration before Aitken
The Laplace limit for solving Kepler's equation
John D. Cook
14w
14 weeks ago
HN
2 min read
John D. Cook
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block johndcook.com
Actions for The Laplace limit for solving Kepler's equation
A crank formula for π
John D. Cook
14w
14 weeks ago
HN
1 min read
John D. Cook
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block johndcook.com
Actions for A crank formula for π
« Page 5
·
Page 7 »
Log in to enable infinite scrolling
Keyboard shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
Preview post
v
Post actions
Love post
a
Like post
l
Dislike
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Discover
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help