FRESH Hacker News
Home

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
Prev Page
Page 13
Next Page