• 5 Why 'externalized' proofs of cyclic trait impls does not work (smallcultfollowing.com)
  by khalidkhair a day ago | discuss
• 423 Ask HN: What do you run on a $5 VPS that's worth keeping online 24/7?
  by mariocesar 6 days ago | 663 comments ask
• 7 The Toftwood Male Voice Choir: A Mystery Pressed in Vinyl (ei3lh.eu)
  by austinallegro a day ago | discuss
• 207 Wood Tape (2004) (gamesbyemail.com)
  by NaOH 7 days ago | 30 comments
• 467 Telegram Desktop vulnerability allowed any user's file to be stolen (beaksec.github.io)
  by g-b-r 3 days ago | 327 comments
• 380 OpenAI withdraws three mathematical results (twitter.com)
  by sashank_1509 5 days ago | 611 comments
• 444 Typesafe AI raises $870M at $7.5B (typesafe.ai)
  by tosh 3 days ago | 356 comments
• 184 Pointing AI at archives found a forgotten meteorite, lost rhinos, and more (jessewaites.com)
  by piratebroadcast 4 days ago | 92 comments
• 13 "My Hands Are Shaking While Writing" About IBM's Mass Layoffs at Red Hat (techrights.org)
  by amcclure 11 hours ago | 1 comments
• 575 Shipping JPEG XL in Chrome (developer.chrome.com)
  by AshleysBrain 6 days ago | 407 comments
• 10 Second Houthi strike on Riyadh airport in two days (bbc.com)
  by Betelbuddy 18 hours ago | 1 comments
• 14 The Wild West of polyglot docs sites (technicalwriting.dev)
  by zdw 4 days ago | 1 comments
• 95 Once: Cache CLI commands (github.com)
  by baquero 4 days ago | 43 comments
• 403 Documents add to evidence in climate deception case against ExxonMobil (insideclimatenews.org)
  by gumby 2 days ago | 219 comments
• 69 Atari Falcon (atarimuseum.nl)
  by debo_ 3 days ago | 28 comments
• 8 Nobel Prize in economics goes to Hall, Woodford for work on boom-bust cycles (npr.org)
  by rbanffy 14 hours ago | discuss
• 210 Computers Cannot Make Decisions (wiki.cateat.fish)
  by heavensteeth 3 days ago | 187 comments
• 7 Open Knowledge Graphs (openknowledgegraphs.com)
  by mooreds a day ago | 1 comments
• 349 Keyboard differences between Windows and Macs (unsung.aresluna.org)
  by sohkamyung 4 days ago | 289 comments
• 141 Compiling Rust to readable C with Eurydice (lwn.net)
  by peter_d_sherman 3 days ago | 39 comments
• 148 New gTLD Application for .lan (newgtldprogram-aps.icann.org)
  by mzajc 5 days ago | 162 comments
• 14 Hetzner: The New GPU Server GEX63 for Professional AI Workloads (hetzner.com)
  by tosh 19 hours ago | 3 comments
• 942 Trump administration is suspending Microsoft from a green card program (apnews.com)
  by alephnerd 5 days ago | 1607 comments
• 33 Cognitive Decline or Sanity Incline? (mdelcaro.substack.com)
  by fathermarz a day ago | 18 comments
• 699 Our $445M Series D (oxide.computer)
  by ahlCVA 4 days ago | 331 comments
• 725 Show HN: Bigwords.page – Turn any screen into a sign. The URL is the app (bigwords.page)
  by SpeakingOfBrad 6 days ago | 165 comments
• 7 Virginia Data Center Ran Diesel Generators for 24 Hours. Residents Fled (gadgetreview.com)
  by cdrnsf 15 hours ago | discuss
• 213 Germany transforms former coal mines into Europe's largest lake landscape (euronews.com)
  by ohjeez 4 days ago | 118 comments
• 9 Ukraine hits second major tech site, expanding range of targets inside Russia (reuters.com)
  by amai 9 hours ago | 3 comments
• 193 Scam American companies are using to manipulate ingredient lists (twitter.com)
  by bilsbie 3 days ago | 224 comments