About NoCanDo

Functional programming in lean and haskell among other things. Doing my PhD in CS. Feel free to ask me about asynchronous circuit design, metastability, and clocks.

Lists

Timeline

escape_velocity has no activity yet