· software
Ty: A fast Python type checker and LSP
Article URL: https://astral.sh/blog/ty Comments URL: https://news.ycombinator.com/item?id=46294289 Points: 41 Comments: 4...
-
- · software
Why Traditional Linters Miss Critical Bugs (And What AI Can Do About It)
Every developer has experienced this nightmare scenario: You deploy code to production. Tests pass. Linters give the green light. Your code review was approved....
- · software
The Coming Need for Formal Specification
Article URL: https://benjamincongdon.me/blog/2025/12/12/The-Coming-Need-for-Formal-Specification/ Comments URL: https://news.ycombinator.com/item?id=46251667 Po...
- · software
Making TypeScript Tools Safer and Smarter
Overview For the past few weeks I focused on open‑source contributions that impact real TypeScript developers daily, tackling issues beyond simple styling fixe...
- · software
Dependable C
Article URL: https://dependablec.org/ Comments URL: https://news.ycombinator.com/item?id=46214091 Points: 8 Comments: 1...
- · software
Catching Nested any in typescript-eslint
Background For my open source contribution I decided to keep working in the TypeScript linting space and picked a feature request that asks the no-unsafe- fami...
- · software
Show HN: Detail, a Bug Finder
'Hi HN, tl;dr we built a bug finder that's working really well, especially for app backends. Try it out and send us your thoughts! Long story below.
- · software
Catch vulnerabilities before they ship: local SonarQube setup (Part 2)
Introduction Static Application Security Testing SAST is a crucial practice within the Software Security Development Life Cycle SSDLC that enables developers t...
- · software
CodeQL 2.23.6 adds Swift 6.2.1 and new C# security queries
CodeQL is the static analysis engine behind GitHub code scanninghttps://docs.github.com/code-security/code-scanning/introduction-to-code-scanning/about-code-sca...
- · software
Stop Wasting Time on Nitpicks: Automating PR Reviews
The Problem with Manual PR Reviews We've all been there. You open a Pull Request that's dozens of files deep, spend the next hour commenting on indentation, va...
- · software
Lazier Binary Decision Diagrams for set-theoretic types
Article URL: https://elixir-lang.org/blog/2025/12/02/lazier-bdds-for-set-theoretic-types/ Comments URL: https://news.ycombinator.com/item?id=46120603 Points: 7...