Smart News
Saturday, October 31, 2026Page 5

Hacker News with topics, your own interests and a private reading history. Add your interests β†’

Tip: press?for keyboard shortcuts, j/ kto move between stories.

  1. 121
    Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edgegithub.com
    β–² 36lastmjs25hπŸ’¬ 20
  2. 122
    Java's new AOT cache feature is in a rough statexpipe.io
    β–² 91theanonymousone4dπŸ’¬ 44
  3. 123
    Show HN: A proof-of-concept formalization of the IRS federal tax formsgithub.com
    β–² 80RGS18112dπŸ’¬ 12
  4. 124
    GitLab Security Incident: Attempted Exploitation of CVE-2026-97229alpinelinux.org
    β–² 255sashk2dπŸ’¬ 122
  5. 125
    'Elite North Korean hackers' blamed for $6.3B Binance hackwww.theguardian.com
    β–² 86tosh19hπŸ’¬ 92
  6. 126
    What we know so far about Spain train crashwww.bbc.com
    β–² 238ZeljkoS42hπŸ’¬ 437
  7. 127
    Show HN: PicoPlayer – A tiny, open-source website for playing quality webgamespicoplayer.net
    β–² 10popcar213hπŸ’¬ 7
  8. 128
    Dayjob: Tax – evaluating AI agents on 50 professional tax assignmentssurgehq.ai
    β–² 262landonxi2dπŸ’¬ 174
  9. 129
    Zinc creep in cable spelter sockets brought down the Arecibo telescope in 2020maketecheasier.com
    β–² 5ohjeez4hdiscuss
  10. 130
    I went to Mexico to test-drive the cars Americans can’t buywww.washingtonpost.com
    β–² 321bookofjoe35hπŸ’¬ 385
  11. 131
    Formlabs Studio 1 $699 Resin Printerformlabs.com
    β–² 226mhb2dπŸ’¬ 188
  12. 132
    AGI Economics: Coordination vs. Competenceinstitute.deepmind.com
    β–² 26simonpure24hπŸ’¬ 4
  13. 133
    Neal Stephenson on AI and What Comes Next [video]www.youtube.com
    β–² 51justin6612hπŸ’¬ 23
  14. 134
    French digital tax may kill VideoLan non-profittwitter.com
    β–² 96miohtama8hπŸ’¬ 84
  15. 135
    Solving Postgres' Count Problemwww.paradedb.com
    β–² 40philippemnoel2dπŸ’¬ 3
  16. 136
    Supersonic airliner in doubt as company shifts to powering AI data centersarstechnica.com
    β–² 9fedpost4hdiscuss
  17. 137
    A new faster algorithm to compute 64-bit signed floor divisionwww.benjoffe.com
    β–² 157benjoffe3dπŸ’¬ 13
  18. 138
    Cold Triggers a Hidden Molecular Pathway That Extends Lifespanwww.sciencealert.com
    β–² 15dxs7hπŸ’¬ 2
  19. 139
    MiniLake Is a Local Databricks API Emulator with SQL, Delta Lake and Sparkdmux.github.io
    β–² 97kermatt3dπŸ’¬ 25
  20. 140
    El NiΓ±o is flooding California's coasts with the highest tides to comegizmodo.com
    β–² 141gumby29hπŸ’¬ 85
  21. 141
    Edit an SQLite database in your browsereditsqlite.com
    β–² 71chmaynard3dπŸ’¬ 37
  22. 142
    Partitioning my digital life into security domains (2011)blog.invisiblethings.org
    β–² 45mashally3dπŸ’¬ 4
  23. 143
    TomΓ‘Ε‘ Mikolov awarded the Medal of Merit by the President of the Czech Republicwww.vut.cz
    β–² 180armcat34hπŸ’¬ 18
  24. 144
    AlpineBSDwiki.alpinebsd.org
    β–² 249bradley_taunt2dπŸ’¬ 246
  25. 145
    Proton's CEO Cancels AI 'Re-Interviews'www.404media.co
    β–² 265cdrnsf9hπŸ’¬ 221
  26. 146
    PostgreSQL 19 Running Behind Schedule Due to AI/LLM Burdenwww.phoronix.com
    β–² 11dboon7hdiscuss
  27. 147
    Tech Selloff Pushes Nasdaq to Its Worst Month in over a Yearwww.wsj.com
    β–² 8doener6hdiscuss
  28. 148
    Ghostty 1.4ghostty.org
    β–² 1349deaux3dπŸ’¬ 439
  29. 149
    The US added a record 20.2 GWh of battery storage in just 3 monthselectrek.co
    β–² 281ljf40hπŸ’¬ 207
  30. 150
    Apple's git still trusts the compromised eMudhra certificatesemudhra.we-have-a-problem.com
    β–² 1192galadran2dπŸ’¬ 409
More stories β†’

Keyboard shortcuts

j / k
next / previous story
o or Enter
open the story
c
open the comments
s
save for later
h
history & saved stories
?
show this help