Hacker News

91.		Terence Tao: Formalizing a proof in Lean using Claude Code [video] (youtube.com)
		46 points by helloplanets 12 hours ago \| hide \| 1 comment
92.		Living human brain cells play DOOM on a CL1 [video] (youtube.com)
		244 points by kevinak 1 day ago \| hide \| 249 comments
93.		Ambient Light Sensor working on M2 MacBook in Asahi (github.com/asahilinux)
		47 points by cromka 23 hours ago \| hide \| discuss
94.		Blacksky AppView (github.com/blacksky-algorithms)
		143 points by Kye 1 day ago \| hide \| 94 comments
95.		Some Words on WigglyPaint (beyondloom.com)
		116 points by RebelPotato 1 day ago \| hide \| 24 comments
96.		Case Study: lynnandtonic.com 2025 refresh (lynnandtonic.com)
		22 points by surprisetalk 22 hours ago \| hide \| 3 comments
97.		The changing goalposts of AGI and timelines (mlumiste.com)
		399 points by skandium 1 day ago \| hide \| 363 comments
98.		Ask HN: Please restrict new accounts from posting
		680 points by Oras 1 day ago \| hide \| 480 comments
99.		The new Apple begins to emerge (parkerortolani.blog)
		94 points by atombender 1 day ago \| hide \| 144 comments
100.		I made a programming language with M&Ms (mufeedvh.com)
		115 points by tosh 1 day ago \| hide \| 40 comments
101.		I ported Linux to the PS5 and turned it into a Steam Machine (xcancel.com)
		361 points by doener 1 day ago \| hide \| 163 comments
102.		How to run Qwen 3.5 locally (unsloth.ai)
		481 points by Curiositry 1 day ago \| hide \| 159 comments
103.		Show HN: Husky hook that blocks Git push until you do your pushups (git-push.app)
		10 points by zimboy 14 hours ago \| hide \| 2 comments
104.		CLI RSS/Atom feed reader inspired by Taskwarrior, synced using Git (github.com/kantord)
		75 points by todsacerdoti 1 day ago \| hide \| 20 comments
105.		Ask HN: How to be alone?
		635 points by sillysaurusx 1 day ago \| hide \| 526 comments
106.		Ask HN: Most beautiful personal blog UI you have ever seen?
		118 points by ms7892 23 hours ago \| hide \| 47 comments
107.		Apple's 512GB Mac Studio vanishes, a quiet acknowledgment of the RAM shortage (arstechnica.com)
		382 points by rbanffy 1 day ago \| hide \| 248 comments
108.		LibreOffice: Request to the European Commission to adhere to its own guidances (documentfoundation.org)
		305 points by maxloh 1 day ago \| hide \| 52 comments
109.		MonoGame: A .NET framework for making cross-platform games (github.com/monogame)
		110 points by azhenley 1 day ago \| hide \| 70 comments
110.		Sem – Semantic version control. Entity-level diffs on top of Git (github.com/ataraxy-labs)
		92 points by pabs3 1 day ago \| hide \| 18 comments
111.		A basket of new fruit varieties is coming your way (economist.com)
		48 points by vinni2 1 day ago \| hide \| 60 comments
112.		If It Quacks Like a Package Manager (nesbitt.io)
		65 points by jandeboevrie 1 day ago \| hide \| 7 comments
113.		Lil Finder Guy (basicappleguy.com)
		105 points by frizlab 1 day ago \| hide \| 35 comments
114.		The Arrogance of Ignorance. – By James Fallows (fallows.substack.com)
		7 points by MaysonL 7 hours ago \| hide \| discuss
115.		Promptfoo Is Joining OpenAI (promptfoo.dev)
		21 points by Areibman 5 hours ago \| hide \| 4 comments
116.		What if the Hormuz closure will not be brief? (lloydslist.com)
		111 points by everybodyknows 1 day ago \| hide \| 212 comments
117.		Show HN: Eyot, A programming language where the GPU is just another thread (cowleyforniastudios.com)
		75 points by steeleduncan 1 day ago \| hide \| 16 comments
118.		SQG (SQL to Code Generator) v0.10: Java Streams and List Type Support (sqg.dev)
		19 points by uwemaurer 1 day ago \| hide \| 6 comments
119.		FLASH radiotherapy's bold approach to cancer treatment (ieee.org)
		227 points by marc__1 2 days ago \| hide \| 73 comments
120.		How Big Diaper absorbs billions of extra dollars from American parents (thehustle.co)
		150 points by Anon84 1 day ago \| hide \| 286 comments
		More