River Dillon
@k-monk.org
interests include compilers, computer music, independent games
#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: