• 틀:도메인 특화 언어
• 증명보조기
• Night in the Woods/등장인물
• :=
• Linguist
• 프로그래밍 글꼴
• 틀:프로그래밍 언어
• 자명함
• 확장자/목록
• Google DeepMind/과학 인공지능
• Yung Lean
• 수학자/목록
• 인공지능/성과
• 범주론