AX·NEWS
Sign in

Software Engineering

Software Engineering news — Tuesday 20 October 2026

58 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. 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

  6. thebroken Episode 1 (2003)
    USlobste.rs

    Comments

  7. 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

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

    Comments

  9. EDG is open source
    USlobste.rs

    Comments

  10. 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

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

    Comments

  12. 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

  13. 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

  14. 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

  15. Declarative WASM GC Types
    USlobste.rs

    Comments

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

    Comments

  17. Mastodon 5.0: A closer look
    USlobste.rs

    Comments

  18. 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

  19. 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

  20. 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

  21. 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

  22. 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

  23. Making a VGA Driver in SystemVerilog
    USlobste.rs

    Comments

  24. 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

  25. 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

  26. 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…

  27. 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

  28. 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

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

    Comments

  30. 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

  31. NixOS is making me less afraid
    USlobste.rs

    Comments

  32. 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

  33. Agentic Monitoring
    USlobste.rs

    Comments

  34. Jepsen: Orkes Conductor 5.3.2
    USlobste.rs

    Comments

  35. 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

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

    Comments

  37. 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

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

    Comments

  39. 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

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

    Comments

  41. 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…

  42. 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

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

    Comments

  44. 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

  45. 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…

  46. 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

  47. 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

  48. 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

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

    Comments

  50. 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

  51. 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

  52. OpenBSD 8.0: released
    USlobste.rs

    Comments

  53. OpenBSD 8.0
    USlobste.rs

    Comments

  54. 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

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

    Comments

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

    Comments

  57. 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

  58. 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 #…