Ryan Dahl
@rough__sea
cofounder of @deno_land, creator of @nodejs. often goes by ry.
Joined February 2015
401 Following 47.4K Followers
An essay by @yusuktan (a deno/celld engineer) about how we use DST and TLA+ to find bugs in celld
