用 Lean 寫阿羅不可能定理
Mar 8, 2026
-
2 minute read
Lean 語言體驗
Feb 18, 2026
-
1 minute read
《智慧簡史》筆記（六）
Jan 15, 2026
-
1 minute read
《智慧簡史》筆記（五）
Jan 14, 2026
-
1 minute read
《智慧簡史》筆記（四）
Jan 11, 2026
-
1 minute read
《智慧簡史》筆記（三）
Dec 29, 2025
-
1 minute read
《智慧簡史》筆記（二）
Dec 19, 2025
-
1 minute read
正音班的囚徒困境
Dec 15, 2025
-
1 minute read
數位憑證筆記
Dec 4, 2025
-
1 minute read
《智慧簡史》筆記（一）
Dec 2, 2025
-
1 minute read
- Older posts