Hacker News

241.		Generative Optogenetics (darpa.mil)
		54 points by birriel 2 days ago \| hide \| 18 comments
242.		50 years of proof assistants (lawrencecpaulson.github.io)
		140 points by baruchel 4 days ago \| hide \| 30 comments
243.		Our New Sam Audio Model Transforms Audio Editing (fb.com)
		8 points by ushakov 12 hours ago \| hide \| discuss
244.		CM0 – A new Raspberry Pi you can't buy (jeffgeerling.com)
		209 points by speckx 4 days ago \| hide \| 60 comments
245.		Fedora: Open-source repository for long-term digital preservation (fedorarepository.org)
		121 points by cernocky 4 days ago \| hide \| 54 comments
246.		From text to token: How tokenization pipelines work (paradedb.com)
		134 points by philippemnoel 4 days ago \| hide \| 21 comments
247.		Kimi K2 1T model runs on 2 512GB M3 Ultras (twitter.com/awnihannun)
		233 points by jeudesprits 2 days ago \| hide \| 119 comments
248.		Illuminating the processor core with LLVM-mca (abseil.io)
		66 points by ckennelly 2 days ago \| hide \| 5 comments
249.		Memory Safety in C# vs. Rust
		13 points by northlondoner 20 hours ago \| hide \| 12 comments
250.		EU moves to ease 2035 ban on internal combustion cars (apnews.com)
		7 points by Svip 13 hours ago \| hide \| 2 comments
251.		Americans overestimate how many social media users post harmful content (oup.com)
		28 points by bikenaga 9 hours ago \| hide \| 50 comments
252.		Arctic sees unprecedented heat as climate impacts cascade (phys.org)
		4 points by bikenaga 11 hours ago \| hide \| discuss
253.		Async DNS (tedunangst.com)
		134 points by todsacerdoti 4 days ago \| hide \| 48 comments
254.		Compiler Engineering in Practice (chisophugis.github.io)
		132 points by dhruv3006 3 days ago \| hide \| 30 comments
255.		Computer animator and Amiga fanatic Dick van Dyke turns 100
		278 points by ggm 4 days ago \| hide \| 92 comments
256.		iOS 26.2 fixes 20 security vulnerabilities, 2 actively exploited (macrumors.com)
		162 points by akyuu 2 days ago \| hide \| 152 comments
257.		Lidar maker Luminar files for bankruptcy (luminartech.com)
		14 points by gripfx 1 day ago \| hide \| 5 comments
258.		A Lisp Interpreter Implemented in Conway's Game of Life (2021) (woodrush.github.io)
		104 points by pabs3 3 days ago \| hide \| 7 comments
259.		Capsudo: Rethinking sudo with object capabilities (ariadne.space)
		91 points by fanf2 4 days ago \| hide \| 58 comments
260.		Guarding My Git Forge Against AI Scrapers (vulpinecitrus.info)
		181 points by todsacerdoti 5 days ago \| hide \| 130 comments
261.		Show HN: Open-Source Notion MCP Server (TypeScript, SSE, Apify) (github.com/piskunproject)
		9 points by piskunlab 1 day ago \| hide \| discuss
262.		Strong Public Support to Restrict Social Media for Children in Germany (afterbabel.com)
		5 points by paulpauper 14 hours ago \| hide \| discuss
263.		The $140k Question (thezvi.substack.com)
		7 points by paulpauper 14 hours ago \| hide \| 1 comment
264.		Recovering Anthony Bourdain's Li.st's (sandyuraz.com)
		300 points by thecsw 3 days ago \| hide \| 145 comments
265.		LG TVs Get Unremovable Microsoft Copilot App (gizmodo.com)
		9 points by stalfosknight 11 hours ago \| hide \| 1 comment
266.		SQLite JSON at full index speed using generated columns (dbpro.app)
		374 points by upmostly 4 days ago \| hide \| 113 comments
267.		You're 25-35 years old? You're running out of time (breatheless.substack.com)
		4 points by sss111 5 hours ago \| hide \| 2 comments
268.		Rats Play DOOM (ratsplaydoom.com)
		422 points by ano-ther 4 days ago \| hide \| 159 comments
269.		All AI videos are harmful (idiallo.com)
		8 points by firefoxd 15 hours ago \| hide \| discuss
270.		Why Twilio Segment moved from microservices back to a monolith (twilio.com)
		279 points by birdculture 3 days ago \| hide \| 250 comments
		More