Hacker News

301.		“Why not just use Lean?” (lawrencecpaulson.github.io)
		302 points by ibobev 4 days ago \| hide \| 209 comments
302.		PostgreSQL 19 features I'm excited about (bytebase.com)
		36 points by tianzhou 1 day ago \| hide \| 1 comment
303.		Using a 1978 terminal in 2026 (DEC VT-100) (nikhiljha.com)
		7 points by jensgk 1 day ago \| hide \| discuss
304.		Claude for Creative Work (anthropic.com)
		154 points by elsewhen 2 days ago \| hide \| 112 comments
305.		Behavioral timescale synaptic plasticity rewires the brain after an experience (quantamagazine.org)
		160 points by ibobev 3 days ago \| hide \| 11 comments
306.		Tell HN: VS Code v1.117.0 automatically adds GitHub Copilot as your co author
		71 points by adithyassekhar 1 day ago \| hide \| 32 comments
307.		Voice Modems (computer.rip)
		73 points by K7PJP 3 days ago \| hide \| 15 comments
308.		Microsoft open sources DOS 1.00 on 45th anniversary (opensource.microsoft.com)
		78 points by hackthemack 1 day ago \| hide \| 19 comments
309.		Will you heed my warnings now? (scottaaronson.blog)
		86 points by bwesterb 1 day ago \| hide \| 101 comments
310.		On the Future of Apple’s Vision Platform (daringfireball.net)
		22 points by ffin 22 hours ago \| hide \| 8 comments
311.		Using a 1978 terminal in 2026 (DEC VT-100) · Nikhil Jha (nikhiljha.com)
		19 points by rbanffy 2 days ago \| hide \| discuss
312.		Iran war disrupts the circuit board supply chain, raises costs for tech firms (reuters.com)
		43 points by croes 1 day ago \| hide \| 9 comments
313.		Super ZSNES – GPU Powered SNES Emulator (zsnes.com)
		337 points by haunter 4 days ago \| hide \| 116 comments
314.		Show HN: Adblock-rust Manager – Firefox extension to enable the Brave ad blocker (github.com/electricant)
		94 points by electricant 2 days ago \| hide \| 44 comments
315.		Map of track defects across the Spanish rail network (vatard.com)
		4 points by martinald 1 day ago \| hide \| discuss
316.		Dotcl: Common Lisp Implementation on .NET (github.com/dotcl)
		21 points by reikonomusha 1 day ago \| hide \| 1 comment
317.		Things C++26 define_static_array can't do (quuxplusone.github.io)
		50 points by jandeboevrie 3 days ago \| hide \| 36 comments
318.		GTFOBins (gtfobins.org)
		388 points by StefanBatory 3 days ago \| hide \| 94 comments
319.		Radar Laboratory – Interactive Radar Phenomenology (radarlaboratory.com)
		74 points by jonbaer 4 days ago \| hide \| 6 comments
320.		US Supreme Court Guts Key Provision of Voting Rights Act (reuters.com)
		24 points by Jimmc414 1 day ago \| hide \| discuss
321.		Anthropic's Champion Kit for engineers pushing Claude Code at their company (claude.com)
		46 points by ashadh 2 days ago \| hide \| 27 comments
322.		America's Geothermal Breakthrough (oilprice.com)
		171 points by sleepyguy 6 days ago \| hide \| 170 comments
323.		For first time since World War II, US national debt now larger than its economy (fortune.com)
		40 points by Geekette 10 hours ago \| hide \| 44 comments
324.		Men who stare at walls (alexselimov.com)
		713 points by aselimov3 4 days ago \| hide \| 335 comments
325.		FreeBSD Device Drivers Book (github.com/ebrandi)
		146 points by myth_drannon 5 days ago \| hide \| 43 comments
326.		Amateur armed with ChatGPT solves an Erdős problem (scientificamerican.com)
		794 points by pr337h4m 5 days ago \| hide \| 560 comments
327.		Getting my daily news from a dot matrix printer 2024 (aschmelyun.com)
		115 points by xupybd 4 days ago \| hide \| 23 comments
328.		Chernobyl wildlife forty years on (bbc.com)
		158 points by reconnecting 5 days ago \| hide \| 104 comments
329.		Fully Featured Audio DSP Firmware for the Raspberry Pi Pico (github.com/weeblabs)
		325 points by BoingBoomTschak 4 days ago \| hide \| 92 comments
330.		Show HN: An attempt to grow a mind – building software with an inner life (momentbymoment.app)
		13 points by shahabebrahimi 2 days ago \| hide \| 17 comments
		More