• 128 Why don't people use formal methods? (2019) (hillelwayne.com)
  by Thom2503 3 days ago | 117 comments
• 8 Show HN: Copy any website pixel perfect (github.com)
  by Harro123 a day ago | 11 comments
• 156 The Maxwell Conjecture Is False (GPT 5.6 Sol) (arxiv.org)
  by rahen 3 days ago | 140 comments
• 167 The development pipeline is a production system (sundry.jerryorr.com)
  by firefoxd 2 days ago | 87 comments
• 237 JEP 401: Value Objects (Preview) merged to OpenJDK master (github.com)
  by mfiguiere 3 days ago | 168 comments
• 16 Playing Original Xbox Game Discs on a PC. Real Backward Compatibility (gdox.korze.org)
  by korze a day ago | 2 comments
• 19 Ask HN: Anyone still do work on Intel Macs?
  by senor_digimon a day ago | 25 comments ask
• 214 Logic for Programmers (logicforprogrammers.com)
  by _doctor_love 4 days ago | 47 comments
• 69 Saber-toothed cats became inbred–and struggled to move–before they went extinct (science.org)
  by gmays 3 days ago | 32 comments
• 91 How to Do Great Work (2023) (paulgraham.com)
  by tosh 2 days ago | 69 comments
• 49 AI's real threat to jobs isn't job loss, it's lower paychecks, new research says (businessinsider.com)
  by theanonymousone a day ago | 22 comments
• 49 Google cancels AI Studio app after 800k preorders (twitter.com)
  by BlueBerry2001 a day ago | 10 comments
• 273 I flagged two research papers for fake authors and both were accepted as orals (geospatialml.com)
  by volumes94 3 days ago | 157 comments
• 258 SQLite in Production: Optimizing WAL Mode, Concurrency, and VFS Layers (micrologics.org)
  by ankitg12 5 days ago | 77 comments
• 36 Unearthing my 1996 windowed OS in machine code for Am29000 homebrew computer (nanochess.org)
  by nanochess 2 days ago | 2 comments
• 130 RFC 8890 – The Internet is for End Users (2020) (mnot.net)
  by notarobot123 3 days ago | 42 comments
• 340 A $500 RL fine-tune of a 9B open model beat frontier models on catalog review (fermisense.com)
  by ilreb 6 days ago | 127 comments
• 190 Azulejo (en.wikipedia.org)
  by Amorymeltzer 5 days ago | 64 comments
• 376 The AI Aesthetic (blog.jim-nielsen.com)
  by montroser 3 days ago | 176 comments
• 10 Show HN: Symbio self fine-tuning AI loop (github.com)
  by huyedit a day ago | 4 comments
• 352 GCC steering committee announces AI policy (lwn.net)
  by arto 4 days ago | 427 comments
• 67 A GTK4 SSH-askpass in Zig (xn--gckvb8fzb.com)
  by surprisetalk 2 days ago | 27 comments
• 157 Self-hosting Kimi K3: 20% more hardware cost, 20% better task resolution (aistack.imec-int.com)
  by flifenstein 4 days ago | 47 comments
• 18 Designing Icons (m3.material.io)
  by Cider9986 2 days ago | 7 comments
• 17 Don't Take the Black Pill (Text Adaptation) (andrewkelley.me)
  by zdw 21 hours ago | 4 comments
• 808 Read this before you buy that TV streaming stick (krebsonsecurity.com)
  by speckx 3 days ago | 545 comments
• 816 7.1 Earthquake in Japan (data.jma.go.jp)
  by krembo 6 days ago | 234 comments
• 46 The Art of Decision-Making (2019) (newyorker.com)
  by EndXA 2 days ago | 3 comments
• 223 ReFrame – The EPaper Camera (reframe.camera)
  by phil294 5 days ago | 48 comments
• 171 Amiga Graphics Archive (amiga.lychesis.net)
  by Bluestein 5 days ago | 25 comments