nill0's submissions | Hacker News

1.		Trefoil Knots in Algebraic Geometry (hidden-phenomena.com)
		1 point by nill0 12 hours ago \| past \| discuss
2.		Programming the ENIAC (2011) (columbia.edu)
		14 points by nill0 3 days ago \| past \| discuss
3.		Los Alamos bets on ENIAC: Nuclear Monte Carlo simulations, 1947–1948 (2014) [pdf] (tomandmaria.com)
		58 points by nill0 4 days ago \| past \| 2 comments
4.		Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture (github.com/qinz1yang)
		1 point by nill0 6 days ago \| past \| 1 comment
5.		Categorization and Representation Physics Problems by Experts and Novice(1981) [pdf] (colorado.edu)
		1 point by nill0 7 days ago \| past \| discuss
6.		Internal Set Theory (wikipedia.org)
		1 point by nill0 12 days ago \| past \| discuss
7.		Algorithm = Logic and Control(1979) (acm.org)
		2 points by nill0 16 days ago \| past
8.		Towards a Definition of an Algorithm(2010) (arxiv.org)
		1 point by nill0 16 days ago \| past
9.		Building geometry solvers for the IMO Grand Challenge(2020) (jesse.so)
		1 point by nill0 17 days ago \| past
10.		Javier Gomez-Serrano – New Math, AI Developments in Fluid Mechanics [video] (youtube.com)
		2 points by nill0 19 days ago \| past
11.		The Zuiderzee Project (leidenuniv.nl)
		2 points by nill0 19 days ago \| past
12.		Open Letter about the Mathathon (proofsandprompts.com)
		1 point by nill0 23 days ago \| past
13.		Famous Unsolved Math Problems as Homework(2015) (ams.org)
		1 point by nill0 26 days ago \| past
14.		Dissemination of IT for the Promotion of Materials Science (DoITPoMS) (doitpoms.ac.uk)
		1 point by nill0 33 days ago \| past
15.		Principles and Techniques for Designing Precision Machines(1999) (osti.gov)
		1 point by nill0 49 days ago \| past \| 1 comment
16.		Who invented the great numerical algorithms? [pdf] (pku.edu.cn)
		4 points by nill0 52 days ago \| past
17.		Proofs and Prompts (proofsandprompts.com)
		1 point by nill0 52 days ago \| past
18.		Constructor Theory – David Deutsch(2012) (arxiv.org)
		3 points by nill0 58 days ago \| past
19.		Natura Non Facit Saltus (wikipedia.org)
		9 points by nill0 60 days ago \| past \| 1 comment
20.		Identity and Substitutivity(1971) [pdf] (ncatlab.org)
		2 points by nill0 60 days ago \| past
21.		Logic and Ontology (stanford.edu)
		19 points by nill0 62 days ago \| past
22.		The prestige and status of research fields within mathematics (arxiv.org)
		2 points by nill0 70 days ago \| past
23.		Conflict Resolution (wikipedia.org)
		3 points by nill0 71 days ago \| past
24.		Games of Incomplete Information(2002) [pdf] (stanford.edu)
		2 points by nill0 71 days ago \| past
25.		A New Approach to Nuclear Warhead Verification Using a Zero-Knowledge Protocol(2012) [pdf] (boazbarak.org)
		2 points by nill0 71 days ago \| past
26.		Points as Tori: Fast Pointwise Signed Distance for Point Clouds (nzfeng.github.io)
		2 points by nill0 71 days ago \| past
27.		Fields Medals 2026 (mathunion.org)
		219 points by nill0 73 days ago \| past \| 119 comments
28.		Living in the Math World Means Threading the Needle (quantamagazine.org)
		4 points by nill0 73 days ago \| past
29.		CosmicWatch: The Desktop Muon Detector (arxiv.org)
		1 point by nill0 77 days ago \| past
30.		Order of Magnitude Physics a Textbook with Applications to the Retinal Rod(1998) [pdf] (inference.org.uk)
		7 points by nill0 77 days ago \| past
		More