River Dillon
@k-monk.org
interests include compilers, computer music, independent games
Pinned
River Dillon
@k-monk.org
· Apr 28
#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:
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:
Reposted by River Dillon
@k-monk.org has been working on a super novel and fascinating new musical software for a while. I shared clips a few weeks ago. it will be soon on steam - give it a "wish" + follow!
store.steampowered.com/app/3614060/...
.... and a web version (which I collab'ed on) coming v v v soon....
store.steampowered.com/app/3614060/...
.... and a web version (which I collab'ed on) coming v v v soon....
April 30, 2025 at 1:26 AM
@k-monk.org has been working on a super novel and fascinating new musical software for a while. I shared clips a few weeks ago. it will be soon on steam - give it a "wish" + follow!
store.steampowered.com/app/3614060/...
.... and a web version (which I collab'ed on) coming v v v soon....
store.steampowered.com/app/3614060/...
.... and a web version (which I collab'ed on) coming v v v soon....
#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:
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:
April 28, 2025 at 4:36 PM
#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:
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: