검색 결과

Turns는 Radians보다 낫다 (2022)

Turns are Better than Radians (2022)

각도 표현에서 turns 단위의 직관성과 계산 편의성을 강조. 프로그래밍과 그래픽스에서 radians보다 읽기 쉽고 오류를 줄일 수 있음.

Palomar: Lean 검증 수학 레지스트리

Palomar: A registry of Lean verified mathematics

Lean으로 검증된 수학 정리와 결과를 모아 관리하는 레지스트리를 소개. 형식 검증 수학의 재사용성과 검색성을 높이는 시도.

NoiseLang: N=5는 Dirac delta와 같다

NoiseLang: Where N = 5 is a Dirac delta

N=5를 Dirac delta에 비유한 NoiseLang 소개. 실험적 언어 설계와 수학적 유머를 섞은 기술 글.