robinhouston's submissions

1.		Is math big or small? (chessapig.github.io)
		81 points by robinhouston 1 day ago \| past \| 28 comments
2.		The Four Color Theorem with Near-Linear Time Coloring (arxiv.org)
		3 points by robinhouston 13 days ago \| past \| discuss
3.		My prodigal brainchild: Neal Stephenson on the Metaverse (nealstephenson.substack.com)
		4 points by robinhouston 21 days ago \| past
4.		First Proof: Second batch announcement [pdf] (1stproof.org)
		1 point by robinhouston 28 days ago \| past
5.		BrokenArXiv: How often do LLMs claim to prove false theorems? (matharena.ai)
		3 points by robinhouston 29 days ago \| past
6.		Glassworm is back: A new wave of invisible Unicode attacks hits repositories (aikido.dev)
		303 points by robinhouston 29 days ago \| past \| 193 comments
7.		ArXiv is establishing itself as an independent nonprofit organization (chronicle.com)
		83 points by robinhouston 31 days ago \| past \| 1 comment
8.		Incomplete Open Polyhedra (johanssons.org)
		1 point by robinhouston 46 days ago \| past
9.		Mathematics in the Library of Babel (daniellitt.com)
		19 points by robinhouston 51 days ago \| past \| 2 comments
10.		John Haugeland on the failure of micro-worlds (plover.com)
		3 points by robinhouston 66 days ago \| past \| 1 comment
11.		KdK part 4: Carrière's experiment (nealstephenson.substack.com)
		3 points by robinhouston 3 months ago \| past
12.		Puzzle Designers Search for That 'Satisfying Click' (nytimes.com)
		1 point by robinhouston 3 months ago \| past
13.		Perfecting Steve Baer's Triple Dome (vorth.github.io)
		22 points by robinhouston 3 months ago \| past \| 3 comments
14.		M.C. Escher Prints Digitized and Put Online by the Boston Public Library (openculture.com)
		47 points by robinhouston 5 months ago \| past \| 8 comments
15.		Pascaline: Pascal's 1630 Mechanical Calculator (youtube.com)
		3 points by robinhouston 5 months ago \| past \| 1 comment
16.		EQ: A video about all forms of equalizers (youtube.com)
		263 points by robinhouston 5 months ago \| past \| 77 comments
17.		Sweet Timbres and Audio Compression (bramcohen.com)
		4 points by robinhouston 6 months ago \| past
18.		Weekend projects: Chicken Squisher 3000 (lcamtuf.substack.com)
		90 points by robinhouston 6 months ago \| past \| 22 comments
19.		The Flummoxagon (n-e-r-v-o-u-s.com)
		135 points by robinhouston 6 months ago \| past \| 36 comments
20.		Negative Mass (youtube.com)
		1 point by robinhouston 6 months ago \| past
21.		Daniel Stenberg's note on AI assisted curl bug reports (simonwillison.net)
		1 point by robinhouston 6 months ago \| past \| 1 comment
22.		Creating a Database of Motivated Proofs (gowers.wordpress.com)
		5 points by robinhouston 6 months ago \| past
23.		Charles Howard Hinton (wikipedia.org)
		2 points by robinhouston 6 months ago \| past
24.		Roger Penrose and Friends Appeal for Unique Archive (crowdfunder.co.uk)
		2 points by robinhouston 6 months ago \| past \| 1 comment
25.		New Knot Theory Discovery Overturns Long-Held Mathematical Assumption (scientificamerican.com)
		5 points by robinhouston 7 months ago \| past \| 1 comment
26.		What Is Man, That Thou Art Mindful of Him? (astralcodexten.com)
		20 points by robinhouston 7 months ago \| past
27.		Minesweeper thermodynamics (oscarcunningham.com)
		206 points by robinhouston 7 months ago \| past \| 62 comments
28.		A crowdsourced project to link up erdosproblems.com to the OEIS (terrytao.wordpress.com)
		3 points by robinhouston 7 months ago \| past \| 1 comment
29.		Gym bros are already taking the strongest weight-loss drug (businessinsider.com)
		1 point by robinhouston 7 months ago \| past
30.		LLMs for the Old and Infirm (oblomovka.com)
		2 points by robinhouston 7 months ago \| past
		More