Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

ocfnash

1,664 karmajoined January 12, 2014On HN

http://olivernash.org

Recent submissions

The Homepage of Ron Goodwin rongoodwin.co.uk
4ocfnash7mo1 comment
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics renaissancephilanthropy.org
2ocfnash11modiscuss
OpenAI claiming gold medal standard at IMO 2025 github.com/aw31
21ocfnash1y7 comments
AI solves International Math Olympiad problems at silver medal level deepmind.google
1370ocfnash2y525 comments
Building geometry solvers for the IMO Grand Challenge jesse-michael-han.github.io
2ocfnash5ydiscuss
The Unison language unisonweb.org
262ocfnash6y141 comments
Rigorous Mathematics xenaproject.wordpress.com
3ocfnash6ydiscuss

All submissions and comments on Hacker News.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.