HNHacker News
TopNewBestAskShowJobs

nill0

1,363 karma · joined February 13, 2025

Curiosity is all we need!
submissionscomments

Los Alamos bets on ENIAC: Nuclear Monte Carlo simulations, 1947–1948 (2014) [pdf]

tomandmaria.com·23 pts·nill0·
0

Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture

github.com·1 pts·nill0·
1

Categorization and Representation Physics Problems by Experts and Novice(1981) [pdf]

matt.colorado.edu·1 pts·nill0·
0

Internal Set Theory

en.wikipedia.org·1 pts·nill0·
0

Algorithm = Logic and Control(1979)

dl.acm.org·2 pts·nill0·
0

Towards a Definition of an Algorithm(2010)

arxiv.org·1 pts·nill0·
0

Building geometry solvers for the IMO Grand Challenge(2020)

jesse.so·1 pts·nill0·
0

Javier Gomez-Serrano – New Math, AI Developments in Fluid Mechanics [video]

youtube.com·2 pts·nill0·
0

The Zuiderzee Project

lorentz.leidenuniv.nl·2 pts·nill0·
0

Open Letter about the Mathathon

proofsandprompts.com·1 pts·nill0·
0

Famous Unsolved Math Problems as Homework(2015)

blogs.ams.org·1 pts·nill0·
0

Dissemination of IT for the Promotion of Materials Science (DoITPoMS)

doitpoms.ac.uk·1 pts·nill0·
0

Principles and Techniques for Designing Precision Machines(1999)

osti.gov·1 pts·nill0·
1

Who invented the great numerical algorithms? [pdf]

math.pku.edu.cn·4 pts·nill0·
0

Proofs and Prompts

proofsandprompts.com·1 pts·nill0·
0

Constructor Theory – David Deutsch(2012)

arxiv.org·3 pts·nill0·
0

Natura Non Facit Saltus

en.wikipedia.org·9 pts·nill0·
1

Identity and Substitutivity(1971) [pdf]

ncatlab.org·2 pts·nill0·
0

Logic and Ontology

plato.stanford.edu·19 pts·nill0·
0

The prestige and status of research fields within mathematics

arxiv.org·2 pts·nill0·
0

Conflict Resolution

en.wikipedia.org·3 pts·nill0·
0

Games of Incomplete Information(2002) [pdf]

web.stanford.edu·2 pts·nill0·
0

A New Approach to Nuclear Warhead Verification Using a Zero-Knowledge Protocol(2012) [pdf]

boazbarak.org·2 pts·nill0·
0

Points as Tori: Fast Pointwise Signed Distance for Point Clouds

nzfeng.github.io·2 pts·nill0·
0

Fields Medals 2026

mathunion.org·219 pts·nill0·
119

Living in the Math World Means Threading the Needle

quantamagazine.org·4 pts·nill0·
0

CosmicWatch: The Desktop Muon Detector

arxiv.org·1 pts·nill0·
0

Order of Magnitude Physics a Textbook with Applications to the Retinal Rod(1998) [pdf]

inference.org.uk·7 pts·nill0·
0

The Art of Insight in Science and Engineering – Mastering Complexity(2014) [pdf]

ocw.mit.edu·93 pts·nill0·
6

The (Im)possibility of Obfuscating Programs(2010) [pdf]

boazbarak.org·1 pts·nill0·
0
Page 1 of 9Next →