Crack Tunes

Welcome to cracktun.es — home of Crack Tunes, a hassle-free, highly performant, host-it-yourself Discord music bot with YouTube and Spotify support, powered by yt-dlp and Rust. This is also my digital garden: dev logs, book summaries, and working notes on math and type theory.

Products

• Crack Tunes — the Discord music bot · Privacy Policy · Terms of Service
• RuneCast · Privacy · ToS
• Spell Cast Redux · Privacy · ToS
• Referral Codes · Avatars

Digital garden

• Book Summaries — Bayesian stats, finance, set theory, category theory. Start with Set Theory Study Regiment or TCSWCT Part 1.
• Homotopy Type Theory — LLM-assisted notes making HoTT accessible.
• Dev Log — build notes and diagrams, e.g. the 2024 devlog and Callgraphs.

Use the explorer on the left, or search with Ctrl / ⌘ + K, to wander everything else.

---

_{cracktun.es is a product of, and wholly owned by, Cycle Five Syndicate.}