1. Clock synchronization is a nightmare (arpitbhayani.me)
    229 points by grep_it 7 days | 156 comments
  2. Designing Predictable LLM-Verifier Systems for Formal Method Guarantee (arxiv.org)
    natural language processingformal methodsartificial intelligence
    58 points by PaulHoule 3 days | 12 comments
  3. Binaries: I thunk therefore I am (fzakaria.com)
    4 points by ingve about 20 hours | discuss
  4. Show HN: Zs3 – S3 server in ~1K lines of Zig, 250KB binary, zero dependencies (github.com)
    s3serverlesslow-code
    30 points by lulzx 1 day | 1 comments
  5. I gave Claude Code the ability to run its own radio show 24/7 (www.khaledeltokhy.com)
    7 points by eltokh7 1 day | 8 comments
  6. Experiments with Ableton-MCP (jhurliman.org)
    6 points by jhurliman 1 day | discuss
  7. Formally Verifying Peephole Optimisations in Lean (l-m.dev)
    24 points by l-mdev 8 days | 9 comments
  8. Hungry Fat Cells Could Someday Starve Cancer (www.ucsf.edu)
    cancer researchfat cell metabolismtumor suppression
    163 points by mrtnmrtn 3 days | 51 comments
  9. Package managers keep using Git as a database, it never works out (nesbitt.io)
    packagemanagerversion control
    777 points by birdculture 5 days | 455 comments
  10. Formulaic Delimiters in the Iliad and the Odyssey (glthr.com)
    27 points by glth 4 days | 13 comments
  11. Mini Rack: The Homelab Rabbit Hole (gquetel.fr)
    9 points by todsacerdoti 1 day | 1 comments
  12. The Honey Files Expose Major Fraud (docs.google.com)
    honey industry scandalbeeswax productsfood labeling deception
    18 points by mirzap about 6 hours | 2 comments
  13. Janet Jackson had the power to crash laptop computers (2022) (devblogs.microsoft.com)
    microsoft music crashjanet jackson songlaptop bug
    307 points by montalbano 3 days | 124 comments
  14. How we lost communication to entertainment (ploum.net)
    entertainment addictioncommunication skillstechnology overload
    688 points by 8organicbits 3 days | 394 comments
  15. Inside the proton, the ‘most complicated thing you could possibly imagine’ (2022) (www.quantamagazine.org)
    protonsparticle physicssubatomic particles
    148 points by tzury 4 days | 61 comments
  16. Splice a Fibre (react-networks-lib.rackout.net)
    fibre splicingoptical fiber cablingnetwork maintenance
    99 points by matt-p 4 days | 43 comments
  17. Ask HN: What did you read in 2025?
    328 points by kwar13 5 days | 435 comments
  18. Spherical Cow (lib.rs)
    physicsmathematicshumor
    131 points by Natfan 2 days | 20 comments
  19. Gpg.fail (gpg.fail)
    encryptioncybersecurityprivacy
    439 points by todsacerdoti 3 days | 353 comments
  20. Experts explore new mushroom which causes fairytale-like hallucinations (nhmu.utah.edu)
    mushroom hallucinationspsychedelic mushroomsfantasy fungi
    490 points by astronads 4 days | 322 comments
  21. Show HN: Xcc700: Self-hosting mini C compiler for ESP32 (Xtensa) in 700 lines (github.com)
    c compileresp32xtensa
    152 points by isitcontent 5 days | 36 comments
  22. GPU-Agnostic Programming Using CubeCL (www.thomasantony.com)
    4 points by tantony about 22 hours | discuss
  23. Maybe the default settings are too high (www.raptitude.com)
    anxietyself-regulationemotional intelligence
    929 points by htk 5 days | 320 comments
  24. California's Ro Khanna faces Silicon Valley backlash after embracing wealth tax (www.cnbc.com)
    14 points by 1vuio0pswjnm7 about 21 hours | 6 comments
  25. 7,020 Days of Hacker News (da0a80a4.static-news-dtg.pages.dev)
    7 points by keepamovin 1 day | 1 comments
  26. MiniMax M2.1: Built for Real-World Complex Tasks, Multi-Language Programming (www.minimaxi.com)
    computer programmingmulti-language supportsoftware development
    225 points by 110 5 days | 81 comments
  27. Show HN: Ez FFmpeg – Video editing in plain English (npmjs.com)
    video editingffmpegopen source
    413 points by josharsh 4 days | 197 comments
  28. Americans Hate AI. Which Party Will Benefit (www.politico.com)
    13 points by Webstir about 14 hours | 9 comments
  29. Balsa "2001: A Space Odyssey" Model (www.engineersneedart.com)
    6 points by Brajeshwar about 12 hours | discuss
  30. Toll roads are spreading in America (www.economist.com)
    transportation infrastructuretoll roadsamerican economy
    206 points by smurda 3 days | 682 comments
More