Hacker News

181.		Like Terraform, but in Lean 4 (ngrislain.github.io)
		6 points by ngrislain 18 hours ago \| hide \| 1 comment
182.		Nitter has more working instances than before the takedowns (codeberg.org/mv12star)
		728 points by Cider9986 3 days ago \| hide \| 397 comments
183.		Actively exploited sandbox RCE in all Chromium versions (nist.gov)
		801 points by negura 3 days ago \| hide \| 507 comments
184.		Show HN: Isle – managed application environments for computer-use agents (tryisle.com)
		12 points by sxhivs 23 hours ago \| hide \| 1 comment
185.		Programming is Art (orchidfiles.com)
		189 points by theorchid 1 day ago \| hide \| 192 comments
186.		Asahi Linux on M3 (asahilinux.org)
		561 points by mdp2021 2 days ago \| hide \| 351 comments
187.		Europe's largest carbon capture facility opens in the Netherlands (yara.com)
		17 points by negura 16 hours ago \| hide \| 9 comments
188.		Terpstra Keyboard (terpstrakeyboard.com)
		149 points by cl3misch 3 days ago \| hide \| 64 comments
189.		Research acceleration: The view inside OpenAI (openai.com)
		209 points by iamsyr 2 days ago \| hide \| 190 comments
190.		Show HN: I made a word building game supporting anagrams and one handed use
		29 points by busymom0 1 day ago \| hide \| 6 comments
191.		VMtree is a fast and easy way to provision self-hosted ephemeral VMs (github.com/kkovacs)
		5 points by indigodaddy 22 hours ago \| hide \| discuss
192.		Formalizing Fermat's Last Theorem (anthropic.com)
		770 points by jlebar 3 days ago \| hide \| 509 comments
193.		C Is Not a Low-Level Language (2018) (acm.org)
		96 points by tosh 1 day ago \| hide \| 97 comments
194.		The pencil case model of creativity (uu.nl)
		68 points by jruohonen 2 days ago \| hide \| 22 comments
195.		Show HN: TERMy – A fast terminal assistant that does not use LLMs (github.com/gioblu)
		220 points by gioscarab 3 days ago \| hide \| 45 comments
196.		GPT-6 Astra on OpenRouter (openrouter.ai)
		320 points by Topfi 3 days ago \| hide \| 234 comments
197.		A Modest Proposal (systemsapproach.org)
		8 points by teleforce 1 day ago \| hide \| 1 comment
198.		Balrogg: Demonically compacting (up to 15%) lossless Vorbis/Opus recompressor (github.com/iczelia)
		107 points by palaiologos 2 days ago \| hide \| 20 comments
199.		Australia to opt out of social media algorithms, Albanese confirms (smh.com.au)
		15 points by mrkpdl 12 hours ago \| hide \| 9 comments
200.		The "$60 Gaming PC" – AMD BC-250 (2025) (devquasar.com)
		377 points by networked 3 days ago \| hide \| 112 comments
201.		Australian government to chart course away from 'American war machine' (theguardian.com)
		19 points by Alien1Being 18 hours ago \| hide \| 1 comment
202.		Household Laser Cuts (cceckman.com)
		52 points by evakhoury 2 days ago \| hide \| 18 comments
203.		Ask HN: Would you read a statistics textbook?
		106 points by usernametaken29 1 day ago \| hide \| 65 comments
204.		Learn Programming with OCaml (cnrs.fr)
		315 points by elvis70 2 days ago \| hide \| 139 comments
205.		Show HN: Caveat, a self-hosted publishing and newsletter tool (github.com/caveatjs)
		7 points by jonas_kgomo 13 hours ago \| hide \| discuss
206.		Ask HN: Anyone else feeling uneasy with the latest developments in AI?
		13 points by sensitivekt9q3 12 hours ago \| hide \| 13 comments
207.		Aardman (Wallace and Gromit) Is Selling Its Original Movie Puppets (gizmodo.com)
		13 points by Gaishan 1 day ago \| hide \| 3 comments
208.		AI Cold Showers (reyes.sh)
		76 points by mooreds 21 hours ago \| hide \| 12 comments
209.		Statichost.eu – European static site hosting (statichost.eu)
		502 points by p4bl0 3 days ago \| hide \| 245 comments
210.		The Rust React Compiler is now native in Vite (master.dev)
		178 points by acusti 3 days ago \| hide \| 55 comments
		More