https://eikopf.bearblog.dev/ 2024-11-07 https://eikopf.bearblog.dev/subtractive-synthesis/ 2026-02-15 https://eikopf.bearblog.dev/calendars-arent-just-plain-data/ 2025-09-02 https://eikopf.bearblog.dev/newtyped-indices-are-proofs/ 2025-05-08