Hacker News

  1. 1.
    Designing Predictable LLM-Verifier Systems for Formal Method Guarantee (arxiv.org)
    59 by PaulHoule 4 days ago | 12 comments
  2. 2.
    Hungry Fat Cells Could Someday Starve Cancer (www.ucsf.edu)
    165 by mrtnmrtn 4 days ago | 52 comments
  3. 3.
    Mouse: Computer Programming Language (2006) (mouse.davidgsimpson.com)
    30 by gappy 6 days ago | 5 comments
  4. 4.
    Binance's Trust Wallet extension hacked; users lose $7M (www.web3isgoinggreat.com)
    107 by ilamont 3 days ago | 30 comments
  5. 5.
    Easily Dealing with Any-Dimensional Planes (gpfault.net)
    13 by ibobev 6 days ago | 2 comments
  6. 6.
    Two decades of evolution: How Ext4 has changed (llmnativeos.github.io)
    27 by Dd_nirvana 3 days ago | 2 comments
  7. 7.
    Tips for Writing a Technical Book (borischerny.com)
    6 by jxmorris12 a day ago | 0 comments
  8. 8.
    Show HN: Per-instance TSP Solver with No Pre-training (1.66% gap on d1291)
    21 by jivaprime 3 days ago | 4 comments
  9. 9.
    How we automated federal retirements (ndstudio.gov)
    100 by caseysoftware 5 days ago | 98 comments
  10. 10.
    Ask HN: Loneliness at 19, how to cope?
    59 by yresting 3 days ago | 104 comments
  11. 11.
    Exe.dev (exe.dev)
    456 by achairapart 5 days ago | 296 comments
  12. 12.
    Toll roads are spreading in America (www.economist.com)
    208 by smurda 5 days ago | 684 comments
  13. 13.
    Formulaic Delimiters in the Iliad and the Odyssey (glthr.com)
    29 by glth 5 days ago | 13 comments
  14. 14.
    Lead-Free Organic–Inorganic Halobismuthate for Large Piezoelectric Effect (pubs.acs.org)
    18 by PaulHoule 2 days ago | 6 comments
  15. 15.
    Meta's ads tools started switching out top-performing ads with AI-generated ones (www.businessinsider.com)
    142 by zdw 3 days ago | 96 comments
  16. 16.
    Rainbow Six Siege hacked as players get billions of credits and random bans (www.shanethegamer.com)
    283 by erhuve 5 days ago | 150 comments
  17. 17.
    Show HN: Zs3 – S3 server in ~1K lines of Zig, 250KB binary, zero dependencies (github.com)
    35 by lulzx 3 days ago | 1 comments
  18. 18.
    TRIZ (en.wikipedia.org)
    38 by tosh 2 days ago | 2 comments
  19. 19.
    Show HN: Witr – Explain why a process is running on your Linux system (github.com)
    516 by pranshuparmar 6 days ago | 100 comments
  20. 20.
    Show HN: Vibe coding a bookshelf with Claude Code (balajmarius.com)
    279 by balajmarius 3 days ago | 210 comments
  21. 21.
    Russian crew detained after undersea cable cut in 'sabotage' (www.telegraph.co.uk)
    20 by maximinus_thrax 9 hours ago | 2 comments
  22. 22.
    Rob Pike goes nuclear over GenAI (skyview.social)
    1537 by christoph-heiss 6 days ago | 1793 comments
  23. 23.
    Pandas with Rows (2022) (datapythonista.me)
    17 by fud101 6 days ago | 1 comments
  24. 24.
    €30M stolen in German bank vault heist (www.dw.com)
    7 by DetectDefect 18 hours ago | 1 comments
  25. 25.
    Grok's Profile Fills with AI Bikini Edits Sparking Consent Backlash (x.com)
    16 by gpcr1949 15 hours ago | 0 comments
  26. 26.
    American Heart Association Revives Theory Light Drinking May Be Good for You (www.nytimes.com)
    12 by bookofjoe 18 hours ago | 13 comments
  27. 27.
    California’s billionaire tax, explained (sfstandard.com)
    10 by donsupreme 10 hours ago | 4 comments
  28. 28.
    Phoenix: A modern X server written from scratch in Zig (git.dec05eba.com)
    670 by snvzz 8 days ago | 423 comments
  29. 29.
    NASA's Largest Library Is Closing Amid Staff and Lab Cuts (www.nytimes.com)
    31 by nxobject 16 hours ago | 3 comments
  30. 30.
    Dittytoy – Generative Music Playground (dittytoy.net)
    8 by harel a day ago | 1 comments
prev next
page: 120