mathgenius

Joined 17 years ago

Karma

11,330

Submissions

1,921

Member since

May 1

Email me simon at arrowtheory.com Cheers.

View on Hacker News

Recent submissions

Deep Learning Made Difficult philsci-archive.pitt.edu

3 mathgenius 2 days ago 0 comments

As Politicians Argue About China, US Patients Find Cutting-Edge Treatment There kffhealthnews.org

3 mathgenius 9 days ago 0 comments

Comment · 12 days ago

They should name it after this guy, the Pitelka rock.

Sagebrush and Pyodide, Measured sagebrush.space

1 mathgenius 13 days ago 0 comments

What even is mathematical output? thehighergeometer.wordpress.com

4 mathgenius 19 days ago 0 comments

Open-source Microsoft Excel, PowerPoint, and Word replications tomshardware.com

78 mathgenius 20 days ago 89 comments

A Critical Look at Lean4 lesswrong.com

3 mathgenius 22 days ago 0 comments

Sagebrush: python in your browser sagebrush.space

4 mathgenius 23 days ago 1 comments

OpenAI, the Partition Principle, and Mathematics karagila.org

2 mathgenius 23 days ago 0 comments

The Majority of Actors Are Struggling pajiba.com

4 mathgenius 1 month ago 1 comments

Many Choices Lie Ahead proofsandprompts.com

2 mathgenius 1 month ago 0 comments

Thinking Hard Above AI bmbumpus.com

1 mathgenius 1 month ago 0 comments

The story Scientific American wouldn't let me tell whatsitlike.me

5 mathgenius 1 month ago 0 comments

A Misalignment of AI in Mathematics: Kevin Buzzard Responds leanprover.zulipchat.com

4 mathgenius 1 month ago 1 comments

A Topological Picture Book, Rendered e-infinity.space

147 mathgenius 1 month ago 16 comments