https://k-monk.org/ Interests include compilers, computer music, independent gameshttps://bsky.app/profile/k-monk.orghttps://bsky.app/profile/k-monk.org/post/3lnv76m4bns2q#introduction Hello! I'm River. I'm interested in, among other things: + programming languages, compilers + proof assistants, automatic theorem proving, program synthesis + independent video games + computer music Right now, I'm working on a live audio programming environment inspired by Orca:28 Apr 2025 16:36 +0000at://did:plc:fsdwrjmidru72kvv575jrcak/app.bsky.feed.post/3lnv76m4bns2q