A short review and troubleshooting guide.
Subscribe
Personal website
- Generator
- Jekyll v3.10.0
- Public lists
- davewiner/hackerNewsStars
- Fetched
Agda on NixOS
Troubleshooting notes.
Hashcards: A Plain-Text Spaced Repetition System
Announcing my latest open-source project.
Adding Planets to Celestia on macOS
A beginner's guide to modding Celestia.