신뢰할 수 있는 C
발행: (2025년 12월 10일 오후 01:29 GMT+9)
1 min read
원문: Hacker News
Source: Hacker News
세부 정보
- 기사 URL: https://dependablec.org/
- 댓글 URL: https://news.ycombinator.com/item?id=46214091
- 점수: 8
- 댓글: 1
관련 글
더 보기 »전통적인 Linters가 중요한 버그를 놓치는 이유 (그리고 AI가 할 수 있는 일)
모든 개발자는 이 악몽 같은 상황을 경험해 본 적이 있습니다: 코드를 프로덕션에 배포합니다. 테스트가 통과합니다. 린터가 초록불을 켭니다. 코드 리뷰가 승인되었습니다....
일에 맞는 올바른 도구
!‘The right tool for the job’의 표지 이미지 https://media2.dev.to/dynamic/image/width=1000,height=420,fit=cover,gravity=auto,format=auto/https%3A%2F%2Fdev-to-upl...
Lean 정리 증명기 mathlib
기사 URL: https://github.com/leanprover-community/mathlib4 댓글 URL: https://news.ycombinator.com/item?id=46260128 포인트: 34 댓글: 0
Lean 정리 증명기 Mathlib
기사 URL: https://github.com/leanprover-community/mathlib4 댓글 URL: https://news.ycombinator.com/item?id=46260128 포인트: 8 댓글: 0...