Hackernews posts about Collatz

  1. AI-generated, Lean-verified proof of Collatz conjecture exploits Lean kernel bug (infosec.exchange)
    16 points by YeGoblynQueenne 22 days ago | 1 comments
  2. AI "Proves" Collatz Conjecture with Lean 4 Bug (twitter.com)
    14 points by pfdietz 22 days ago | 5 comments
  3. Lean 4 Bug Found Incidentally by AI, "Proving" Collatz (twitter.com)
    4 points by jryan49 22 days ago | discuss
  4. Collatz with 6 Wang Tiles (tristan.st)
    3 points by soupspaces 4 days ago | discuss
  5. The Collatz conjecture was false [video] (www.youtube.com)
    2 points by ykonstant 20 days ago | 1 comments
  6. Why is it all in the kernel? (lawrencecpaulson.github.io)
    87 points by ibobev 21 days ago | 39 comments
  7. Why is it all in the kernel? (lawrencecpaulson.github.io)
    1 points by vinhnx 18 days ago | 1 comments
  8. Hedge funds face demands to stump up collateral as AI stocks tumble (www.ft.com)
    5 points by mapping365 23 days ago | discuss
  9. Damodaran: Situational Awareness Blow-Up: The Collateral Damage from Conviction (aswathdamodaran.blogspot.com)
    3 points by aanet 9 days ago | 2 comments
  10. Hedge funds face demands to stump up collateral as AI stocks tumble (www.ft.com)
    3 points by samizdis 23 days ago | 1 comments
  11. Italy's cheese banks hold Parmigiano as collateral (fortune.com)
    2 points by _tk_ 9 days ago | 1 comments
  12. Launch HN: Stoa Markets (YC S26) – A Marketplace for GPUs and AI Servers (www.stoaexchange.com)
    77 points by erenberke 10 days ago | 51 comments
  13. Show HN: HeyDeacon, AI customer support agent for SaaS founders (heydeacon.com)
    4 points by arcadium3D 9 days ago | 1 comments
  14. Show HN: I built the YouTube Music TUI I wanted (Vim registers, 0-9 to seek, ..) (github.com)
    4 points by indigo0445 2 days ago | discuss
  15. CJEU Ruling on Platform Liability Could Damage Freedom of Expression (www.eff.org)
    3 points by hn_acker 30 days ago | 1 comments
  16. Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab) (bento.page)
    1033 points by starfallg 30 days ago | 239 comments
  17. Iceberg Collapses and Flips over in Ilulissat, Greenland (July 25, 2026) [video] (www.youtube.com)
    216 points by Bender 14 days ago | 61 comments
  18. The Gargantuan Lie That Is Collapsing the Climate (www.currentaffairs.org)
    160 points by Anon84 14 days ago | 206 comments
  19. Engineering management after the cost of code collapsed (karimjedda.com)
    155 points by kiyanwang 27 days ago | 204 comments
  20. Rapid warming may tip AMOC at 2°C, slower warming may avert collapse (phys.org)
    87 points by maxboone 8 days ago | 138 comments
  21. The continuing "Q collar" scandal (statmodeling.stat.columbia.edu)
    46 points by luu 7 days ago | 15 comments
  22. The Collapse at Netflix Signals the End of Audience Capture (www.honest-broker.com)
    34 points by sleepyguy 28 days ago | 22 comments
  23. Reddit Stock Collapses 23% as AI Eats Away at User Growth (www.barchart.com)
    29 points by thm 19 days ago | 27 comments
  24. Collaborative Human Agent Protocol (CHAP) (github.com)
    25 points by arsalanshahid 1 day ago | 12 comments
  25. Warner Bros. Deal Collapse Would Cost the Ellisons $9.8B (www.bloomberg.com)
    20 points by toomuchtodo 23 days ago | 6 comments
  26. Martin Shkreli Breaks Down the Collapse of Situational Awareness [video] (www.youtube.com)
    19 points by j_aime 21 days ago | discuss
  27. Unravelling the climate behind the collapse of Bronze Age civilizations (www.su.se)
    14 points by geox 26 days ago | discuss
  28. Why Substack Is Collapsing: Subscription Model Has Maxed Out (sgcarney.substack.com)
    12 points by bookofjoe 18 days ago | 7 comments
  29. Lexidraw: Excalidraw fork with collaborative editing powered by iroh (tangled.org)
    11 points by nerdypepper 25 days ago | 1 comments
  30. Hyatt Regency Walkway Collapse (en.wikipedia.org)
    10 points by tosh 22 days ago | 3 comments
More