Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Machine-Generated, Machine-Checked Proofs for a Verified Compiler (ICFP'26) [video] (youtube.com)
    1 pointsby 0 minutes ago
    —discuss
  2. Authors Guild calls on publishers to share Anthropic wealth (publishersweekly.com)
    1 pointsby 1 minute ago
    —discuss
  3. The Internet Is Dead (code-bude.net)
    1 pointsby 3 minutes ago
    —discuss
  4. Conway's Law cuts both ways (contrapeso.xyz)
    1 pointsby 4 minutes ago
    —discuss
  5. Florida asks for order to halt ChatGPT development (axios.com)
    1 pointsby 4 minutes ago
    1comments
  6. Researchers proved AI has deleted every reason universities exist (twitter.com/thesupermannx)
    1 pointsby 4 minutes ago
    —discuss
  7. Full Self Hauling: Volvo moves 3 million tonnes of Earth, autonomously (electrek.co)
    1 pointsby 5 minutes ago
    —discuss
  8. Dutch 'reformed hacker' arrested in ShinyHunters investigation, police say (reuters.com)
    1 pointsby 7 minutes ago
    —discuss
  9. Flock Wants the Most Detailed Map of Its Surveillance Cameras Taken Offline (theintercept.com)
    5 pointsby 7 minutes ago
    1comments
  10. Reverse-engineering a $35 backup camera display (AMT630A) (github.com/mogrinz)
    1 pointsby 9 minutes ago
    1comments
  11. TikTok, X reportedly barring ads for documentary about Elon Musk (cbc.ca)
    7 pointsby 9 minutes ago
    —discuss
  12. Elemental analysis demonstrates 'Donut Battery' is not lithium-ion or sodium (donutlab.com)
    1 pointsby 10 minutes ago
    —discuss
  13. Yikes example.com has changed to run JavaScript
    1 pointsby 10 minutes ago
    —discuss
  14. Postgres query plans without production data (weavori.com)
    1 pointsby 11 minutes ago
    —discuss
  15. What good is a best-effort exclusive lock, anyway? (gaultier.github.io)
    1 pointsby 12 minutes ago
    —discuss
  16. The macOS Roblox is now on Linux (github.com/aubree-lat)
    1 pointsby 12 minutes ago
    1comments
  17. Show HN: A never-ending chess match between Claude and Codex (claudevcodex.com)
    1 pointsby 13 minutes ago
    —discuss
  18. Bitcoin trading model, published in full – wins and failures (bitcoinai.pro)
    1 pointsby 13 minutes ago
    —discuss
  19. Clojure-Cli.repl (github.com/clojure)
    2 pointsby 14 minutes ago
    —discuss
  20. Skydivers alert crews after plane crashes in cornfield near East Troy airport (wisn.com)
    2 pointsby 15 minutes ago
    —discuss
  21. The Great British Converter: From Bytes to Barleycorns (thegreatbritishconverter.co.uk)
    2 pointsby 16 minutes ago
    —discuss
  22. Community contributions: sharing is caring (livefasteattrashraccoon.github.io)
    1 pointsby 17 minutes ago
    1comments
  23. Trump Brought Venezuelan Gold to the U.S., but Refiners Won't Touch It (nytimes.com)
    5 pointsby 17 minutes ago
    2comments
  24. Scaling Memory Safety: AI-Assisted Rewrites of C/C++ Dependencies to Rust (bughunters.google.com)
    3 pointsby 17 minutes ago
    —discuss
  25. 25% autistic guy (me) spent 10k hours making an HTML table move smoothly (number-garden.com)
    1 pointsby 19 minutes ago
    1comments
  26. FAA to Delay 737 MAX 10 Approval over New Software Glitch (wsj.com)
    4 pointsby 19 minutes ago
    —discuss
  27. State of the (Tagged) Union Address by Andrew Kelley [video] (youtube.com)
    1 pointsby 19 minutes ago
    —discuss
  28. Jev Mogs Code Mode (github.com/vishiatchoudhary)
    1 pointsby 20 minutes ago
    —discuss
  29. Nvidia launches new tool to keep AI agents from going rogue (cnn.com)
    1 pointsby 21 minutes ago
    1comments
  30. The Native TypeScript Compiler Cut Our Typecheck from 13s to 3.5s (mergify.com)
    1 pointsby 22 minutes ago
    —discuss

FAA to Delay 737 MAX 10 Approval over New Software Glitch

4 pointsby 21m agowsj.com
Open original View on HN
0 comments
A quiet thread, for now.Start the conversation on HN ↗