Lean Now Ships with Verified Kernels
Translating...
(leodemoura.github.io)
33 points by matt_d 2026-10-16 14:16:13 | 0 comments
Zuckerberg's Meta Takes Down No Kings Instagram During Protest Day
Translating...
(meidasnews.com)
406 points by DeepLogin 2026-10-18 09:18:50 | 208 comments
Pele – Mermaid diagrams as themeable SVG
Translating...
(pele.run)
280 points by dchest 2026-10-17 23:55:09 | 27 comments
Bleached corals thrive within days when touching healthy neighbour
Translating...
(www.nature.com)
345 points by alkyon 2026-10-17 07:38:27 | 75 comments
DeepSeek-v4.1-Flash-1017
Translating...
(huggingface.co)
734 points by theykk 2026-10-17 16:21:25 | 605 comments
Dam removals are bringing fish back across the northeastern United States
Translating...
(www.smithsonianmag.com)
224 points by sohkamyung 2026-10-17 07:47:31 | 57 comments
The Commodore 64 hardware simulator: break chips and pins, see the results
Translating...
(github.com)
153 points by antirez 2026-10-15 15:18:14 | 24 comments
Making chicken transparent using Dorito dust
Translating...
(chillphysicsenjoyer.substack.com)
265 points by crescit_eundo 2026-10-17 21:55:28 | 68 comments
Furifont, a Japanese font that shows furigana
Translating...
(furifont.antfu.me)
289 points by plaguna 2026-10-15 16:48:30 | 59 comments
NY announces game ownership bill requiring ownership rather than licensing
Translating...
(www.tomshardware.com)
102 points by guiambros 2026-10-18 08:14:22 | 22 comments