lambdageek

I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.

141 repositories

175 followers

Boston, MA

Repositories

Select a repository to view its commits, contributors, and more.

Poorly researched opinionated travel notes

a yummy wafl

Try to make wasm do a thing

Writeup about Mono's hybrid suspend