It looks like you're new here. If you want to get involved, click one of these buttons!
Hello! I'm doing functional-ish programming (mostly with things like distributed data streaming) and tinkering with dependent types; I also used to do a PhD on bioinformatics, though I've dropped out since. I'm quite interested in the rising field of applied category theory - things like monoidal categories, coalgebras, props, sheaves etc - and their use for designing and analyzing complex systems. Hope to pick on the basics in this course!