robinhouston's submissions

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