Thomas Letan
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Emma Turneronce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Tezos on the Fast Track: 1M TPS Demo & Visualization | TezDev 2023 | 2023-07-21 |
Live demo claims 1M TPS by running 1,000 smart rollups in parallel, each with a three‑node data availability committee (DAC) and a coordinator, batching 15… | ||
| FreeSpec: Specifying, Verifying, and Executing Impure Computations in Coq | CPP 2020 | 2020-01-20 |
FreeSpec implements impure computations in Coq using a free monad over explicit interfaces and certifies them with contract types built from a computable… | ||
| nothing matches | ||