Back to Blog

관련 글

더 보기 »

컴파일러 엔지니어링 실무

번역할 텍스트를 제공해 주시겠어요? 현재는 URL만 확인할 수 없으니, 번역하고 싶은 내용(요약 또는 발췌)을 직접 입력해 주시면 도와드리겠습니다.

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

Go와 Rust에 대한 사랑 열변!

> 경고: 란트! 소개 나는 이 상황에 지쳤다. 몇 주마다 어떤 Rustacean이 여기 슬며시 들어와서 그들의 거만한 “하지만 두려움 없는 동시성을 시도해봤나요...” 라고 말한다.