Lobste.rs/Hacker News links overlap
9 October 2026 at 17:48 UTC

24
29
4

Unique to Lobste.rs

  1. Why Are Coding Agents So Dumb? [comments]
  2. A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda [comments]
  3. There are many themes, but this one is yours [comments]
  4. Bevy 0.20 [comments]
  5. Unison Cloud is now open source [comments]
  6. The Missing Piece in Rust Error Handling [comments]
  7. 64-Day Certificate Lifetimes Coming Feb 2027 [comments]
  8. The people holding up the internet [comments]
  9. HIP and ROCm as first-class citizens in Guix [comments]
  10. Ending the Casuarina Linux Experiment [comments]
  11. A minimal kernel in Swift, running in QEMU [comments]
  12. Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs [comments]
  13. Reducing undefined behavior in the C language [comments]
  14. Deepthi Sigireddi from Supabase [comments]
  15. "Robot" Is A Social Construct: Why Your Dishwasher Is Not A Robot [comments]
  16. Margaret Hamilton, computing pioneer who led software development for the Apollo program, dies at 90 [comments]
  17. Two Futures for LLMs in Mathematics [comments]
  18. I've Been Deindexed by Google [comments]
  19. Spinlocks Considered Harmful (2020) [comments]
  20. Beauty in DVD Menus [comments]

Common

  1. L: Deno is joining Cloudflare [comments]
    HN: Cloudflare acquires Deno [comments]
  2. L: Programming Isn’t Special [comments]
    HN: Programming Isn't Special [comments]
  3. L: Python 3.15.0 [comments]
    HN: Python 3.15 [comments]
  4. L: Deeper dive: Keyboard differences between Windows and Macs [comments]
    HN: Keyboard differences between Windows and Macs [comments]

Unique to Hacker News

  1. Why isn't the industry freaking out about DeepSeek 4.1 Flash? [comments]
  2. Man discovers his parents' coffee machine used 1TB of data in 10 days [comments]
  3. Whistle: Speech to Text in 16.9 MB [comments]
  4. I hired an illustrator to draw my house. Now it's my Home Assistant dashboard [comments]
  5. Yes, and [comments]
  6. Theranos.world [comments]
  7. Sorry, I'm in a meeting [comments]
  8. Our $445M Series D [comments]
  9. Nobel Peace Prize for 2026 to Navanethem Pillay [comments]
  10. Show HN: Let your AI agents paint big arrows, boxes and text on your screen [comments]
  11. DuckDB Ducklake [comments]
  12. OpenAI fires three safety researchers for "mishandling research information" [comments]
  13. The value of not getting to the point (2015) [comments]
  14. ETH-68: Ethernet Audio Interface for Linux [comments]
  15. OpenAI, the Partition Principle, and Mathematics [comments]
  16. Iranian campaign planted fake articles in real U.S. publications using ChatGPT [comments]
  17. MXC - a sandboxed code execution system [comments]
  18. Germany transforms former coal mines into Europe's largest lake landscape [comments]
  19. The Hetzner Cloud network stack – history and technical overview [comments]
  20. Study: Exercise increases cancer survival rates [comments]
  21. Once: Cache CLI Commands [comments]
  22. Tomek Korbak: OpenAI's head of safety told they no longer trust me [comments]
  23. Reactions to 100 Solutions [comments]
  24. Training Text-to-Image Models Without a VAE [comments]
  25. Before Computer Science Became a Boys' Club, Margaret Hamilton Wrote the Code [comments]