FRESH

Hacker News

Page 13

50 years of proof assistants 140 points by baruchel | 30 Comments

CM0 – A new Raspberry Pi you can't buy 209 points by speckx | 60 Comments

Fedora: Open-source repository for long-term digital preservation 121 points by cernocky | 54 Comments

Kimi K2 1T model runs on 2 512GB M3 Ultras 233 points by jeudesprits | 119 Comments

Illuminating the processor core with LLVM-mca 66 points by ckennelly | 5 Comments

From text to token: How tokenization pipelines work 134 points by philippemnoel | 21 Comments

LG TVs Get Unremovable Microsoft Copilot App 9 points by stalfosknight | 1 Comments

Strong Public Support to Restrict Social Media for Children in Germany 5 points by paulpauper | 0 Comments

The $140k Question 7 points by paulpauper | 1 Comments

Async DNS 134 points by todsacerdoti | 48 Comments

All AI videos are harmful 8 points by firefoxd | 0 Comments

25,600 GB of storage ruined by 10 year old oblivious to global NAND crisis 5 points by anigbrowl | 0 Comments

Compiler Engineering in Practice 132 points by dhruv3006 | 30 Comments

Interior-flat cylindrical nacelle warp bubbles: comparison with Alcubierre model 3 points by mpweiher | 0 Comments

Lidar maker Luminar files for bankruptcy 14 points by gripfx | 5 Comments

Computer animator and Amiga fanatic Dick van Dyke turns 100 278 points by ggm | 92 Comments

iOS 26.2 fixes 20 security vulnerabilities, 2 actively exploited 162 points by akyuu | 152 Comments

Show HN: Open-Source Notion MCP Server (TypeScript, SSE, Apify) 9 points by piskunlab | 0 Comments

Americans overestimate how many social media users post harmful content 27 points by bikenaga | 50 Comments

Page 13