soupspaces's favorites

1.		A spy satellite simulator in the browser, except the data is real (github.com/bilawalsidhu)
		12 points by bauerpl 17 days ago \| 2 comments
2.		12 Small Steps for Man [video] (youtube.com)
		2 points by mzomnir 16 days ago
3.		GLM-5.3 is now open-weight (huggingface.co)
		806 points by jeudesprits 15 days ago \| 281 comments
4.		Game Description Language (wikipedia.org)
		1 point by diplodocusaur on July 19, 2021
5.		Latah (wikipedia.org)
		4 points by emmelaich 18 days ago \| 1 comment
6.		Show HN: I made an app to use local AI as daily driver (recurse.chat)
		637 points by xyc on Feb 28, 2024 \| 237 comments
7.		Goodhart's Law: When a measure becomes a target, it ceases to be a good measure (wikipedia.org)
		229 points by chrisshroba on June 15, 2018 \| 134 comments
8.		AI by Hand (byhand.ai)
		367 points by sans_souse 29 days ago \| 31 comments
9.		How Gödel's Proof Works (2020) (quantamagazine.org)
		122 points by tzury 30 days ago \| 66 comments
10.		Spaghettifying DRAM (github.com/xoreaxeaxeax)
		716 points by matt_d 30 days ago \| 175 comments
11.		llama.cpp (llama.app)
		364 points by kristianpaul 31 days ago \| 165 comments
12.		Chess invariants (muratbuffalo.blogspot.com)
		102 points by ingve 3 months ago \| 62 comments
13.		Compression is prediction (ngrok.com)
		674 points by nikolay 32 days ago \| 302 comments
14.		Stealing Reasoning Traces from Proprietary LLM APIs (stolen-thoughts.com)
		699 points by quantumgarbage 32 days ago \| 308 comments
15.		Ask HN: How do you go from writing code to deploying with agents?
		17 points by sakuraiben 35 days ago \| 13 comments
16.		The local LLM ecosystem doesn’t need Ollama (sleepingrobots.com)
		648 points by Zetaphor 5 months ago \| 207 comments
17.		Ten advances in mathematics and theoretical computer science (openai.com)
		632 points by milkshakes 40 days ago \| 942 comments
18.		Datalog Disassembly (github.com/grammatech)
		67 points by aboardRat4 40 days ago \| 6 comments
19.		Show HN: A free mini game that makes you a smarter fly fisherperson (read-the-water.netlify.app)
		24 points by mpc75 40 days ago \| 10 comments
20.		Why etymologies matter: How tracing words can illuminate history (2024) (resobscura.substack.com)
		117 points by benbreen 43 days ago \| 25 comments
21.		The Computational Theory of Mind (2015) (stanford.edu)
		68 points by cyanregiment 41 days ago \| 72 comments
22.		Meshdiff – visually compare two STL versions in the browser, client-side (meshdiff.com)
		204 points by projscope 41 days ago \| 25 comments
23.		Aristotle, “On Trolling” (cambridge.org)
		180 points by diodorus on May 9, 2016 \| 84 comments
24.		Agent Skill to Force Docs in ASD-STE100 Simplified Technical English (github.com/aminblg)
		363 points by navs 44 days ago \| 122 comments
25.		PGSimCity – an explorable 3D model that shows how Postgres works (github.com/nikolays)
		38 points by samokhvalov 48 days ago \| 3 comments
26.		DNA Break Repair by Homologous Recombination [video] (wehi.edu.au)
		4 points by jwgarber 69 days ago
27.		Terence Tao: Mathematics in the Age of AI [pdf] (teorth.github.io)
		168 points by Anon84 48 days ago \| 64 comments
28.		Sum of Cubes via Difference Tables (leancrew.com)
		21 points by surprisetalk 51 days ago \| 2 comments
29.		What's Under Your Feet in New York City? (practical.engineering)
		204 points by sohkamyung 52 days ago \| 55 comments
30.		RLHF Book (rlhfbook.com)
		479 points by jxmorris12 on Feb 1, 2025 \| 37 comments
		More