#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: