AI
an archive of posts with this tag
| Jun 29, 2026 | Cleaning up your Anki deck with Claude Code |
|---|---|
| Dec 18, 2025 | AI is turning us into proof-checkers, not proof-writers. |
an archive of posts with this tag
| Jun 29, 2026 | Cleaning up your Anki deck with Claude Code |
|---|---|
| Dec 18, 2025 | AI is turning us into proof-checkers, not proof-writers. |