← 목록으로
IT/기술

Lean proved this program correct; then I found a bug

· 읽기 1분

🔗 원문 전체 보기 → Hacker News Best

요약

Article URL: https://kirancodes.me/posts/log-who-watches-the-watchers.html

Comments URL: https://news.ycombinator.com/item?id=47759709

Points: 257

# Comments: 127

출처: Hacker News Best

원문 게시일: Tue, 14 Apr 2026 00:25:08 +0000

이 글은 RSS 피드를 통해 자동으로 수집된 콘텐츠입니다. 원문은 위 링크를 통해 확인하세요.

HackerNews 개발 오픈소스
← 목록으로