AX·NEWS
Sign in

Software Engineering

Software Engineering news — Tuesday 20 October 2026

66 stories from 4 sources, every one in English. Each links to its publisher.

Open in the live feedRSS feedOn a TV

  1. leanin: A Tokio-inspired concurrency library for Lean 4, with machine-checked proofs
    USlobste.rs

    Comments

  2. The Other Epidemic: Trying to get off benzodiazepines
    USHacker News Front Page

    https://web.archive.org/web/20261020230542/https://www.thebe... https://archive.ph/Tb1SZ Comments URL: https://news.ycombinator.com/item?id=50173891 Points: 243 # Comments: 197

  3. PingCap TiDB Leaks
    USHacker News Front Page

    Article URL: https://fulcrumsec.vg/pingcap/ Comments URL: https://news.ycombinator.com/item?id=50173716 Points: 394 # Comments: 66

  4. Upcoming Critical PHP Security Release
    USlobste.rs

    Comments

  5. Feds suspect ransom negotiator ran ShinyHunters extortion site
    USHacker News Front Page

    Article URL: https://krebsonsecurity.com/2026/10/feds-suspect-ransom-negotiator-ran-shinyhunters-extortion-site/ Comments URL: https://news.ycombinator.com/item?id=50173487 Points: 253 # Comments: 126

  6. Bringing uv and ty together
    USHacker News Front Page

    Article URL: https://astral.sh/blog/uv-ty-integration Comments URL: https://news.ycombinator.com/item?id=50172962 Points: 302 # Comments: 110

  7. thebroken Episode 1 (2003)
    USlobste.rs

    Comments

  8. I Built a Stereo Vision Board for Hardware Hackers
    USHacker News Front Page

    Article URL: https://rootkitlabs.com/2026/10/06/i-built-a-stereo-vision-board-for-hardware-hackers/ Comments URL: https://news.ycombinator.com/item?id=50172432 Points: 119 # Comments: 18

  9. Why do we need ud2 when int 6 is right there?
    USlobste.rs

    Comments

  10. EDG is open source
    USlobste.rs

    Comments

  11. Upcoming critical PHP security release
    USHacker News Front Page

    https://cert.europa.eu/publications/security-advisories/2026... https://news.ycombinator.com/item?id=50167754 Comments URL: https://news.ycombinator.com/item?id=50172041 Points: 1404 # Comments: 596

  12. Sign language to text
    USlobste.rs

    Comments

  13. Do minor curl vulnerabilities in the open
    USlobste.rs

    Comments

  14. A practical guide to AI image generation, from diffusion to agents
    USHacker News Front Page

    Article URL: https://danielball.com/notes/ai_image_generation.html Comments URL: https://news.ycombinator.com/item?id=50171379 Points: 234 # Comments: 73

  15. Academics have a duty to defend open knowledge systems like Wikipedia
    USHacker News Front Page

    Article URL: https://blogs.lse.ac.uk/impactofsocialsciences/2026/10/19/academics-have-a-duty-to-defend-open-knowledge-systems-like-wikipedia/ Comments URL: https://news.ycombinator.com/item?id=50170917 Points: 140 # Comments: 75

  16. How I got over 300 Tor exit nodes removed
    USlobste.rs

    Comments

  17. SimCity, but with Permits
    USHacker News Front Page

    Article URL: https://permit.petercai.com/ Comments URL: https://news.ycombinator.com/item?id=50170593 Points: 873 # Comments: 394

  18. Declarative WASM GC Types
    USlobste.rs

    Comments

  19. Genera for the Initiated: Inside Symbolics Lisp Machines
    USlobste.rs

    Comments

  20. Mastodon 5.0: A closer look
    USlobste.rs

    Comments

  21. What shall I teach my son?
    USHacker News Front Page

    Article URL: https://stevekrouse.com/ends Comments URL: https://news.ycombinator.com/item?id=50169707 Points: 431 # Comments: 524

  22. The Real Kevin Bacon
    USHacker News Front Page

    Article URL: https://pudding.cool/2026/10/kevin-bacon/ Comments URL: https://news.ycombinator.com/item?id=50169499 Points: 354 # Comments: 91

  23. Google open-sources TorchTPU, a native PyTorch back end for TPUs
    USHacker News Front Page

    Article URL: https://github.com/google-pytorch/torch_tpu Comments URL: https://news.ycombinator.com/item?id=50169053 Points: 361 # Comments: 76

  24. Voxtral 3
    USHacker News Front Page

    Article URL: https://mistral.ai/news/voxtral-3/ Comments URL: https://news.ycombinator.com/item?id=50168396 Points: 740 # Comments: 187

  25. Sixteen Years After Deepwater Horizon, Deep Sea Life Shows Few Signs of Recovery
    USHacker News Front Page

    Article URL: https://e360.yale.edu/digest/deepwater-horizon-deep-sea-recovery Comments URL: https://news.ycombinator.com/item?id=50168357 Points: 286 # Comments: 163

  26. Making a VGA Driver in SystemVerilog
    USlobste.rs

    Comments

  27. IKEA – 3D Guide
    USHacker News Front Page

    Article URL: https://sael.net/flatpack/ Comments URL: https://news.ycombinator.com/item?id=50168096 Points: 170 # Comments: 60

  28. Facebook now charging to post more than 2 links a month
    USHacker News Front Page

    Article URL: https://mastodon.gamedev.place/@AshleyGullen/117473851565913919 Comments URL: https://news.ycombinator.com/item?id=50167536 Points: 411 # Comments: 374

  29. Show HN: VoidAccess – open-source dark web OSINT, from query to a graph
    USHacker News Front Page

    Hi HN! Im Katriel, and im a Security Researcher/Enthusiast and in the wave of AI, i wanted to build that next gen of security tooling that surpasses the current tools, and even the paid industries with an open source engine. I built…

  30. Ofcom Concedes Defeat in the 4chan Case
    USHacker News Front Page

    Article URL: https://prestonbyrne.com/2026/10/20/ofcom-concedes-defeat/ Comments URL: https://news.ycombinator.com/item?id=50167028 Points: 401 # Comments: 312

  31. My Friend Bob Cringely
    USHacker News Front Page

    Article URL: https://tyma.com/my-cringe-story/ Comments URL: https://news.ycombinator.com/item?id=50166794 Points: 187 # Comments: 51

  32. CVE-2026-106173: FortiSIEM gRPC Path Traversal to RCE
    USlobste.rs

    Comments

  33. EMudhra Intermediate CA Compromise
    USHacker News Front Page

    https://blog.mozilla.org/security/2026/10/20/protecting-fire... https://bugzilla.mozilla.org/show_bug.cgi?id=2083449 Comments URL: https://news.ycombinator.com/item?id=50166579 Points: 1124 # Comments: 432

  34. 2026 is an exciting year for the Rust compiler (and me)
    USHacker News Front Page

    Article URL: https://yoyo-code.com/2026-is-exciting-year-for-rust-compiler-and-me/ Comments URL: https://news.ycombinator.com/item?id=50166502 Points: 157 # Comments: 80

  35. NixOS is making me less afraid
    USlobste.rs

    Comments

  36. How I got over 300 Tor exit nodes removed
    USHacker News Front Page

    Article URL: https://kaba.cx/posts/20261020_Tor/ Comments URL: https://news.ycombinator.com/item?id=50166257 Points: 345 # Comments: 86

  37. Agentic Monitoring
    USlobste.rs

    Comments

  38. Tsrs: A Port of TypeScript to Rust
    USHacker News Front Page

    Article URL: https://blog.cloudflare.com/typescript-rust-port/ Comments URL: https://news.ycombinator.com/item?id=50165953 Points: 390 # Comments: 191

  39. Jepsen: Orkes Conductor 5.3.2
    USlobste.rs

    Comments

  40. Publish fake stats, get cited in LLMs
    USHacker News Front Page

    Article URL: https://peec.ai/blog/publish-stats-get-cited-the-tactic-that-put-my-data-all-over-the-web Comments URL: https://news.ycombinator.com/item?id=50165801 Points: 270 # Comments: 152

  41. Protecting Firefox users following the compromise of eMudhra intermediate certificates
    USlobste.rs

    Comments

  42. NixOS is making me less afraid
    USHacker News Front Page

    Article URL: https://entropicthoughts.com/nixos-is-making-me-less-afraid Comments URL: https://news.ycombinator.com/item?id=50165484 Points: 100 # Comments: 62

  43. Apple broke an essential presentation feature of iPads
    USHacker News Front Page

    Article URL: https://teddysvoronos.com/2026-10-19-apple-broke-an-essential-presentation-feature-of-ipads/ Comments URL: https://news.ycombinator.com/item?id=50165208 Points: 578 # Comments: 284

  44. How abliterated models can get you pwned
    USlobste.rs

    Comments

  45. Sumi.css - classless-first CSS framework
    USlobste.rs

    Comments

  46. Google cloud outage takes down banks
    USHacker News Front Page

    Article URL: https://www.neowin.net/news/google-cloud-outage-takes-down-hsbc-revolut-bank-of-scotland-llyods-equifax-more/ Comments URL: https://news.ycombinator.com/item?id=50163961 Points: 375 # Comments: 186

  47. Setting up SSH keys on macOS with Touch ID
    USlobste.rs

    Comments

  48. Embracing Playful Imperfection With The CSS `random()` Function
    DESmashing Magazine

    In design, we love spending hours obsessing over consistency, grids, and alignment. But when I heard that the native CSS random() function landed in Safari and is rolling out in Chrome 156, I started wondering: where does randomness…

  49. AfD Leak: What 421,179 Hacked Emails Show about the German Far Right
    USHacker News Front Page

    Article URL: https://www.heistberlin.com/news/afd-leak-what-421-179-hacked-emails-show-about-the-german-far-right/ Comments URL: https://news.ycombinator.com/item?id=50163502 Points: 168 # Comments: 111

  50. The Annotated VT100 Firmware (2022)
    USlobste.rs

    Comments

  51. DeepSeek just open-sourced its inference engine
    USHacker News Front Page

    Article URL: https://github.com/deepseek-ai/DeepInfer Comments URL: https://news.ycombinator.com/item?id=50163277 Points: 2259 # Comments: 861

  52. Don't forget about the UI for AI
    USStack Overflow Blog

    Recorded at OpenAI Dev Day 2026, Ryan sits down with Andrew Ambrosino, member of the technical staff at OpenAI, for a conversation on OpenAI's strategy for merging ChatGPT and Codex into a unified experience, the advantages of localized…

  53. MicroG: Free-libre re-implementation of Google's proprietary Android user space
    USHacker News Front Page

    Article URL: https://github.com/microg/GmsCore/wiki Comments URL: https://news.ycombinator.com/item?id=50162177 Points: 335 # Comments: 66

  54. Tiny possum and glider thought extinct for 6000 years found in remote West Papua
    USHacker News Front Page

    Article URL: https://www.bbc.com/news/articles/cp814l80pw2o Comments URL: https://news.ycombinator.com/item?id=50162044 Points: 249 # Comments: 59

  55. No More Icons in Every Menu by Default
    USHacker News Front Page

    Article URL: https://blog.jim-nielsen.com/2026/icons-in-every-menu/ Comments URL: https://news.ycombinator.com/item?id=50161346 Points: 444 # Comments: 252

  56. A Very Fast IPv4 Parser, in Swift
    USlobste.rs

    Comments

  57. Go will reject certificate chains containing eight distrusted SPKIs
    USlobste.rs

    I downloaded the CA cert data from https://www.ccadb.org/resources and it seems to be affecting 16 certs, all from eMudhra. I complied the list here https://gist.github.com/mendymm/ff7a9fd00339260b4d2dbdcb0f489b57 Comments

  58. Go will reject certificate chains containing eight distrusted SPKIs
    USHacker News Front Page

    Article URL: https://github.com/golang/go/issues/82345 Comments URL: https://news.ycombinator.com/item?id=50160877 Points: 107 # Comments: 41

  59. OpenBSD 8.0
    USHacker News Front Page

    Article URL: https://www.openbsd.org/80.html Comments URL: https://news.ycombinator.com/item?id=50160494 Points: 433 # Comments: 140

  60. OpenBSD 8.0: released
    USlobste.rs

    Comments

  61. OpenBSD 8.0
    USlobste.rs

    Comments

  62. Lula supporters protest against Meta to denounce its 'electoral interference'
    USHacker News Front Page

    Article URL: https://efe.com/english/latest-news/2026-10-20/lula-supporters-protest-against-meta-to-denounce-its-electoral-interference/ Comments URL: https://news.ycombinator.com/item?id=50159993 Points: 102 # Comments: 24

  63. Do web components have a future if nobody is writing them?
    USlobste.rs

    Comments

  64. Rendering untrusted HTML email, safely(2021)
    USlobste.rs

    Comments

  65. Why Windows 11 still ships with Windows 95's memory manager hidden inside it
    USHacker News Front Page

    Article URL: https://www.windowslatest.com/2026/10/19/why-windows-11-still-ships-with-windows-95s-memory-manager-hidden-inside-it/ Comments URL: https://news.ycombinator.com/item?id=50159726 Points: 168 # Comments: 106

  66. France's supermarket fridges were vulnerable online for months
    USHacker News Front Page

    Related: Hackers activate automatic defrosting in supermarket fridges across Europe - https://news.ycombinator.com/item?id=50055304 - Oct 2026 (1007 comments) Comments URL: https://news.ycombinator.com/item?id=50159616 Points: 218 #…