Dependable C
Published: (December 9, 2025 at 11:29 PM EST)
1 min read
Source: Hacker News
Source: Hacker News
Details
- Article URL: https://dependablec.org/
- Comments URL: https://news.ycombinator.com/item?id=46214091
- Points: 8
- Comments: 1
Related posts
Read more »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....
The right tool for the job
!Cover image for The right tool for the jobhttps://media2.dev.to/dynamic/image/width=1000,height=420,fit=cover,gravity=auto,format=auto/https%3A%2F%2Fdev-to-upl...
Lean Theorem Prover Mathlib
Article URL: https://github.com/leanprover-community/mathlib4 Comments URL: https://news.ycombinator.com/item?id=46260128 Points: 8 Comments: 0...
Lean theorem prover mathlib
Article URL: https://github.com/leanprover-community/mathlib4 Comments URL: https://news.ycombinator.com/item?id=46260128 Points: 34 Comments: 0...