HNHacker News
TopNewBestAskShowJobs

JohnHammersley

4,529 karma · joined September 17, 2012

PhD in Mathematical Physics. Co-founded Overleaf (formerly writeLaTeX). Previously designed control systems for driverless cars at Ultra PRT. Fascinated by science and the mathematics of the world.
submissionscomments

Mathathon: Old Problems, New Proofs

mathathonchallenge.com·1 pts·JohnHammersley·
0

Reimagining research papers as interactive and reliable AI agents

nature.com·4 pts·JohnHammersley·
0

Design Experiments with the Amytis Agent

amytis.io·2 pts·JohnHammersley·
0

The Collie and the Pug

3blue1brown.substack.com·2 pts·JohnHammersley·
0

ArXiv receives multiyear commitments to support it as an independent nonprofit

blog.arxiv.org·311 pts·JohnHammersley·
40

30 years after Civ2, Eivind IV built his own 4X game (Genesis)

forums.civfanatics.com·6 pts·JohnHammersley·
3

In conversation with Eric Ries [video]

mishcon.com·3 pts·JohnHammersley·
0

SAIR's Open Math Model Initiative

terrytao.wordpress.com·3 pts·JohnHammersley·
0

Insights on AI from the Reformation

amytis.io·2 pts·JohnHammersley·
1

The Waymo effect: how AI is quietly making research less collaborative

researchagenda.news·336 pts·JohnHammersley·
300

The Scientific Challenge Atlas

micde.umich.edu·2 pts·JohnHammersley·
0

The Andrews–Curtis Conjecture (ACC) Challenge

competition.sair.foundation·2 pts·JohnHammersley·
0

The Waymo effect: how AI is quietly making research less collaborative

researchagenda.news·4 pts·JohnHammersley·
0

AI and the Practical Scientist

scholarlyfutures.substack.com·3 pts·JohnHammersley·
1

Frontier models, transparency and trust; a new golden age in research for some?

scholarlyfutures.substack.com·2 pts·JohnHammersley·
0

We've solved many medical mysteries. Where are the cures? [video]

ted.com·3 pts·JohnHammersley·
0

Lea – An agent backbone for mathematician-led formalization

vida-nyu.github.io·1 pts·JohnHammersley·
0

Frontier models, transparency and trust; a new golden age in research for some?

scholarlyfutures.substack.com·3 pts·JohnHammersley·
0

The Apache Lesson for AI

asimovaddendum.substack.com·1 pts·JohnHammersley·
0

Frontier models, transparency and trust; a new golden age in research for some?

scholarlyfutures.substack.com·3 pts·JohnHammersley·
0

Google's Westinghouse Bet

asimovaddendum.substack.com·2 pts·JohnHammersley·
0

Owner of bike maker Raleigh files for insolvency

bbc.co.uk·7 pts·JohnHammersley·
4

Frontier models, transparency and trust; a new golden age in research for some?

scholarlyfutures.substack.com·2 pts·JohnHammersley·
0

Frontier models, transparency and trust; a new golden age in research for some?

scholarlyfutures.substack.com·3 pts·JohnHammersley·
0

Pre-Modern Armies for Worldbuilders: Officials, Contractors and Professionals

acoup.blog·5 pts·JohnHammersley·
0

The Encyclopedia's Own Library

medium.com·3 pts·JohnHammersley·
0

Echoes from Another Place

scholarlyfutures.substack.com·3 pts·JohnHammersley·
0

The Most Predictable Edit in History

medium.com·2 pts·JohnHammersley·
0

Scholarly Futures: AI and the practical scientist

scholarlyfutures.substack.com·2 pts·JohnHammersley·
0

Echoes from Another Place

scholarlyfutures.substack.com·3 pts·JohnHammersley·
0
Page 1 of 23Next →