Remix clone Hacker News
new
|
show
|
ask
|
jobs
Github
user:
dunham
created:
2009-03-15
karma:
2342
about:
I'm a Seattle area software engineer. I'm working with typescript in day job. I like to cook and work on Idris2 in my spare time. I'm currently trying to learn dependent type theory and category theory.
submissions
comments
favorites
