Skip to main content
Scour
Discover
Docs
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
John D. Cook
johndcook.com
John D. Cook
·
5w
5 weeks ago
When will the decimals in a/b repeat?
Covered by
Techrights
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for When will the decimals in a/b repeat?
John D. Cook
·
5w
5 weeks ago
Height of harmonic numbers
Covered by
Techrights
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Height of harmonic numbers
John D. Cook
·
5w
5 weeks ago
Writing down harmonic numbers
Covered by
Techrights
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Writing down harmonic numbers
John D. Cook
·
5w
5 weeks ago
Hart’s theorem
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Hart’s theorem
John D. Cook
·
5w
5 weeks ago
Incircles and Excircles of Pythagorean triangles
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Incircles and Excircles of Pythagorean triangles
John D. Cook
·
5w
5 weeks ago
Consecutive Pythagorean triangle sides
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Consecutive Pythagorean triangle sides
John D. Cook
·
5w
5 weeks ago
The Star Trek lemma
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for The Star Trek lemma
John D. Cook
·
6w
6 weeks ago
Regular expressions that work “everywhere”
Discussed on
Hacker News
and
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Regular expressions that work “everywhere”
John D. Cook
·
6w
6 weeks ago
Lobachevsky’s integral formula
Covered by
Techrights
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Lobachevsky’s integral formula
John D. Cook
·
6w
6 weeks ago
Queens on a prime order board
Covered by
Techrights
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Queens on a prime order board
John D. Cook
·
6w
6 weeks ago
All pieces on a 6 by 5 board
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for All pieces on a 6 by 5 board
John D. Cook
·
6w
6 weeks ago
Formalizing a ring theorem with Lean 4 and Claude
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Formalizing a ring theorem with Lean 4 and Claude
John D. Cook
·
7w
7 weeks ago
Partial fraction decomposition
Covered by
Techrights
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Partial fraction decomposition
John D. Cook
·
7w
7 weeks ago
Three examples suffice
Covered by
Techrights
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Three examples suffice
John D. Cook
·
7w
7 weeks ago
Testing pentagonal numbers
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Testing pentagonal numbers
John D. Cook
·
7w
7 weeks ago
Quaternion Rotations, Claude, and Lean
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Quaternion Rotations, Claude, and Lean
John D. Cook
·
7w
7 weeks ago
Writing Prolog with ChatGPT
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Writing Prolog with ChatGPT
John D. Cook
·
7w
7 weeks ago
RSA munitions T-shirt
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for RSA munitions T-shirt
John D. Cook
·
7w
7 weeks ago
Solving a chess puzzle with Claude and Prolog
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Solving a chess puzzle with Claude and Prolog
John D. Cook
·
7w
7 weeks ago
Formally proving a calculation with Claude and Lean
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block Domain
Actions for Formally proving a calculation with Claude and Lean
« Page 2
·
Page 4 »
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 post
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
Like
Save
Not for me
Report