Sentience

Sophomore solipsisms

Regos-2000

Gradually adopting memory safetyRead More →

Risk markets

A protocol for pooled riskRead More →

TinySol

An executable semantics for a core subset of SolidityRead More →