Arnaud Bailly
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- James Chapmanonce
- Polina Vinogradovaonce
- Yann Schwartzonce
who talks about the same things
- Huseyin Babal7 talks
- François René Rideau10 talks
- Ben Johnson9 talks
- Tess Rinearson3 talks
- Dominic Tarr7 talks
- Martin Kleppmann12 talks
| title | conference | date |
|---|---|---|
| Applying Continuous Formal Methods to Cardano | FUNARCH 2024 | 2024-09-06 |
A concrete report of formal-methods engineering applied to a live Cardano node: a team of 11 formal-methods specialists embeds Agda specs and Haskell… | ||
| One Log | Code Mesh LDN 2018 | 2018-11-08 |
Argues for treating every application output—logs, metrics, traces, domain events—as a single, append-only one log stream (JSON-structured events are used in… | ||
| Raft: Distributed Consensus for Dummies | Scala.IO 2014 | 2014-10-23 |
A hands‑on Raft demo shows a three-node cluster with a small UI and a real implementation that correctly elects a leader and replicates a persistent log… | ||
| Testing Your Distributed System with Jepsen | Scala.IO 2014 | 2014-10-23 |
A live demo of Jepsen testing a Java Raft implementation named Barge on a five-node cluster using Clojure tooling and LightTable. It shows automated deployment… | ||
| nothing matches | ||