FRESH

Hacker News

Page 12

Lean theorem prover mathlib 83 points by downboots | 4 Comments

Gemini reviewing feedback on its code from another model 3 points by polycaster | 0 Comments

How does Windows synthesize CF_UnicodeTEXT from CF_TEXT and vice versa? 8 points by ibobev | 0 Comments

I fed 24 years of my blog posts to a Markov model 303 points by zdw | 123 Comments

Generative Optogenetics 54 points by birriel | 18 Comments

Shai-Hulud compromised a dev machine and raided GitHub org access: a post-mortem 261 points by nkko | 179 Comments

Freeing a Xiaomi humidifier from the cloud 156 points by stv0g | 85 Comments

Taiwan bans popular Chinese social media app amid growing number of fraud cases 6 points by paulpauper | 0 Comments

Closures as Win32 Window Procedures 98 points by ibobev | 25 Comments

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

UK Lawmakers Propose Mandatory On-Device Surveillance and VPN Age Verification 10 points by robtherobber | 2 Comments

Ensuring a National Policy Framework for Artificial Intelligence 187 points by andsoitis | 265 Comments

macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt 537 points by guiand | 291 Comments

What is the nicest thing a stranger has ever done for you? 437 points by speckx | 332 Comments

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

I tried Gleam for Advent of Code 347 points by tymscar | 204 Comments

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

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

Ideas aren't getting harder to find 121 points by mitchbob | 63 Comments

Page 12