Lobste.rs/Hacker News links overlap
10 October 2026 at 05:06 UTC

23
30
0

Unique to Lobste.rs

  1. Programming Isn’t Special [comments]
  2. A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda [comments]
  3. Why Are Coding Agents So Dumb? [comments]
  4. Python 3.15.0 [comments]
  5. Unison Cloud is now open source [comments]
  6. No Man Is an Island [comments]
  7. There are many themes, but this one is yours [comments]
  8. Lifeguard: A static analyzer for Python lazy imports compatibility [comments]
  9. Branches in branch-free code [comments]
  10. Deepthi Sigireddi from Supabase [comments]
  11. "Robot" Is A Social Construct: Why Your Dishwasher Is Not A Robot [comments]
  12. Vectorized CLZ and CTZ [comments]
  13. A minimal kernel in Swift, running in QEMU [comments]
  14. Bevy 0.20 [comments]
  15. Spinlocks Considered Harmful (2020) [comments]
  16. Equality Saturation: An “Incomplete” Project [comments]
  17. HIP and ROCm as first-class citizens in Guix [comments]
  18. The Missing Piece in Rust Error Handling [comments]
  19. 64-Day Certificate Lifetimes Coming Feb 2027 [comments]
  20. The importance of communities around software [comments]
  21. The people holding up the internet [comments]
  22. A Practical Guide to “Plug&Pwn” for Pentesters and Defenders [comments]
  23. Ending the Casuarina Linux Experiment [comments]

Common

    Unique to Hacker News

    1. Cloudflare acquires Deno [comments]
    2. Sorry, I'm in a meeting [comments]
    3. Triple-A Minesweeper [comments]
    4. Our $445M Series D [comments]
    5. YouTuber Says Cops Visited Him After He Built a Flock-Style Camera to Track Cops [comments]
    6. Typesafe AI raises $870M at $7.5B [comments]
    7. Show HN: Carrier-Explode: iPhone, Pixel and Galaxy carrier settings decoded [comments]
    8. REA Reverse – Engineer Anything [comments]
    9. 'Wallace and Gromit,' 90% Alone [comments]
    10. Pointing AI at archives found a forgotten meteorite, lost rhinos, and more [comments]
    11. Anthropic AI model submits false tip on unsolved Philly murder [comments]
    12. Show HN: The rarest tech books and docs you've probably never read [comments]
    13. Scam American companies are using to manipulate ingredient lists [comments]
    14. What mathematicians should know about the Lean Theorem Prover: reliability & AI [comments]
    15. Eye of Sauron: Long-Range Hidden Spy Camera Detection [comments]
    16. The role of cat eye narrowing movements in cat–human communication (2020) [comments]
    17. Show HN: Proton Drive for Linux [comments]
    18. 100+ reactions to 100+ solutions [comments]
    19. Can you use autoregressive diffusion to generate market data? [comments]
    20. Compiling Rust to readable C with Eurydice [comments]
    21. Rewriting Prime Agent in Rust [comments]
    22. Atari Falcon [comments]
    23. Clinical trial of a prion disease drug candidate begins enrolling participants [comments]
    24. Telegram Desktop vulnerability allowed any user's file to be stolen [comments]
    25. Has the Autonomous Trucking Revolution Arrived? [comments]
    26. Lobbying [comments]
    27. The logarithms of rational numbers have irrationality exponent 2 [pdf] [comments]
    28. Put a price on breakthroughs [comments]
    29. The Alchemical Transformations of the Mutus Liber (1677) [comments]
    30. Communication Between the Compiler, the Build System, and Beyond [comments]