optimalsolver's submissions

1.		OpenZL: Using Graphs To Compress Smaller And Faster (ieee.org)
		4 points by optimalsolver 9 days ago \| past \| discuss
2.		Coding Agents Build For The Grader They Imagine, Not The User (joinhandshake.com)
		3 points by optimalsolver 18 days ago \| past
3.		Not Deciphering The Voynich Manuscript (lesswrong.com)
		4 points by optimalsolver 24 days ago \| past \| 1 comment
4.		Scandinavia's first farmers slaughtered hunter-gatherer population, DNA suggests (phys.org)
		96 points by optimalsolver 25 days ago \| past \| 113 comments
5.		UT Austin Math Chair says OpenAI preparing to release 400 AI-generated proofs (twitter.com/frances01896069)
		2 points by optimalsolver 30 days ago \| past
6.		Duet For The End Of Math [pdf] (caltech.edu)
		1 point by optimalsolver 37 days ago \| past
7.		The Conceptual Reasoning Index (anthropic.com)
		78 points by optimalsolver 84 days ago \| past \| 54 comments
8.		Next-Token Predictor Is An AI's Job, Not Its Species (astralcodexten.com)
		2 points by optimalsolver 85 days ago \| past
9.		Significant OpenAI Regression On SimpleBench (reddit.com)
		1 point by optimalsolver 3 months ago \| past
10.		Fable 5 On Vending-Bench: Misbehaving, With Plausible Deniability (andonlabs.com)
		196 points by optimalsolver 4 months ago \| past \| 139 comments
11.		No, There Wasn't An Advanced Civilization 12,000 Years Ago (2017) (scientificamerican.com)
		5 points by optimalsolver 4 months ago \| past
12.		The Age Of Bunker Capitalism: How AI Will Free Aristocrats From The Mob (morbidcuriosity.substack.com)
		3 points by optimalsolver 4 months ago \| past \| 1 comment
13.		In Defense Of The Preventable Bad Trip (substack.com)
		2 points by optimalsolver 4 months ago \| past
14.		Next-Latent Prediction Transformers Learn Compact World Models (2025) (arxiv.org)
		4 points by optimalsolver 4 months ago \| past \| 1 comment
15.		Pluck: Probabilistic Programming With Lazy Inference (pluck-lang.github.io)
		4 points by optimalsolver 4 months ago \| past
16.		Brains And LLMs Converge On A Shared Conceptual Space Across Different Languages (arxiv.org)
		5 points by optimalsolver 4 months ago \| past
17.		Richat Structure (2011) (nasa.gov)
		2 points by optimalsolver 5 months ago \| past
18.		Striped Rock Dismissed As Natural In 1928 Reclassified As UK’s Oldest Cave Art (theguardian.com)
		3 points by optimalsolver 5 months ago \| past
19.		Binary Lambda Calculus (esolangs.org)
		3 points by optimalsolver 5 months ago \| past
20.		Common Lisp names all sixteen binary logic gates (cmu.edu)
		25 points by optimalsolver 5 months ago \| past
21.		They Called It LISP For A Reason (2005) (gigamonkeys.com)
		42 points by optimalsolver 6 months ago \| past \| 6 comments
22.		Next-Token Predictor Is An AI's Job, Not Its Species (astralcodexten.com)
		2 points by optimalsolver 6 months ago \| past
23.		Intelligence And Compression (2025) (lewish.io)
		2 points by optimalsolver 6 months ago \| past
24.		StupidStackLanguage (esolangs.org)
		2 points by optimalsolver 6 months ago \| past
25.		Taiwan reports large-scale Chinese military aircraft presence near island (politico.com)
		5 points by optimalsolver 7 months ago \| past
26.		Horus: A Protocol For Trustless Verification Under Uncertainty (arxiv.org)
		1 point by optimalsolver 8 months ago \| past
27.		Ask HN: Is Gemini Getting Worse?
		3 points by optimalsolver 9 months ago \| past \| 3 comments
28.		AT&T Predicted The Future In 1993 [video] (youtube.com)
		1 point by optimalsolver 9 months ago \| past
29.		On Owning Galaxies (lesswrong.com)
		5 points by optimalsolver 10 months ago \| past
30.		MillenniumPrizeProblemBench: Stress-testing AIs On The Hardest Math We Know (mppbench.com)
		3 points by optimalsolver 10 months ago \| past
		More