HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
mathgenius
What even is mathematical output?
4 points
mathgenius
2026-10-12T13:49:29Z
thehighergeometer.wordpress.com
Open-source Microsoft Excel, PowerPoint, and Word replications
74 points
mathgenius
2026-10-11T13:28:03Z
www.tomshardware.com
A Critical Look at Lean4
3 points
mathgenius
2026-10-09T19:34:26Z
www.lesswrong.com
Sagebrush: python in your browser
4 points
mathgenius
2026-10-09T00:15:09Z
sagebrush.space
OpenAI, the Partition Principle, and Mathematics
2 points
mathgenius
2026-10-08T10:34:52Z
karagila.org
The Majority of Actors Are Struggling
4 points
mathgenius
2026-09-23T23:17:44Z
www.pajiba.com
Many Choices Lie Ahead
2 points
mathgenius
2026-09-21T20:55:41Z
proofsandprompts.com
Thinking Hard Above AI
1 points
mathgenius
2026-09-17T06:34:32Z
bmbumpus.com
The story Scientific American wouldn't let me tell
5 points
mathgenius
2026-09-17T06:17:30Z
www.whatsitlike.me
A Misalignment of AI in Mathematics: Kevin Buzzard Responds
4 points
mathgenius
2026-09-12T14:19:30Z
leanprover.zulipchat.com
A Topological Picture Book, Rendered
146 points
mathgenius
2026-09-08T22:28:14Z
e-infinity.space
Using large language models for research in the natural sciences
2 points
mathgenius
2026-09-07T16:23:02Z
github.com
One-Handed Hyperbolic Clock
2 points
mathgenius
2026-09-01T23:30:57Z
jpivarski.github.io
Compute Futures
3 points
mathgenius
2026-08-13T17:33:01Z
www.cmegroup.com
I Asked AI to Write a Novel. It's Not So Bad
4 points
mathgenius
2026-08-12T20:33:12Z
www.motherjones.com
Mathematician Jacob Tsimerman on Getting to the Fun Faster with AI
2 points
mathgenius
2026-08-12T20:21:16Z
www.ams.org
The Pentagram Map
2 points
mathgenius
2026-08-06T22:58:39Z
e-infinity.space
Reaping Without Sowing
4 points
mathgenius
2026-08-02T23:07:37Z
tjoresearchnotes.wordpress.com
Proof Inflation
2 points
mathgenius
2026-07-28T12:11:14Z
tjoresearchnotes.wordpress.com
Sphere Eversion
2 points
mathgenius
2026-07-28T08:54:09Z
rreusser.github.io
1
2
3
4
5
6
7
8
9
10