François René Rideau
where else to find them
what they talk about
all 10 in the filters
where they keep going back
- LambdaConf4 editions2017–2025
on a stage with
never shared a talk
who talks about the same things
- Martin Kleppmann12 talks
- Christopher S. Meiklejohn20 talks
- Dominic Tarr7 talks
- Brooklyn Zelenka23 talks
- Philip Wadler14 talks
- John Hughes15 talks
| title | conference | date |
|---|---|---|
| Auto Merkleization: Where FP meets Algebra, Metaprogramming and OO | LambdaConf 2025 | 2025-05-12 |
Claims an automatic pipeline that generates zippers and merkle proofs from type definitions, using type-polynomial differentiation, zippers, content-addressing… | ||
| Orthogonal Persistence, the Model | LambdaConf 2025 | 2025-05-12 |
Argues persisting running processes (not just data) is practical and transformative: domains with versioning, erasure coding across five global backups… | ||
| Prototypes: Object-Orientation, Functionally | Scheme 2021 | 2021-08-27 |
Argues that prototype-based OO is more fundamental than classes and that the core fits cleanly into pure functional semantics: prototypes are functions that… | ||
| Why Writing Blockchain Applications is Hard, and How FP Can Help | LambdaConf 2019 | 2019-06-05 |
Claim: a small domain-specific language compiles abstract specs down with cascading proofs so a 20–50 line spec avoids the 2,000 lines of hand‑written code the… | ||
| Building Distributed Applications in OCaml | LambdaConf 2019 | 2019-06-05 |
OCaml code for real blockchain software uses explicit techniques not handwaving: content-addressed storage with digests for persistent DAGs, ppx-derived… | ||
| Binding Blockchains Together with Accountability | LambdaConf 2018 | 2018-06-03 |
Claims a working design for repudiable side-chains that aim for credit-card speed while keeping trustless security by provably binding side-chain state to a… | ||
| First Class Implementations: Climbing up the Semantic Tower | LambdaConf 2018 | 2018-06-03 |
Claims that a runtime protocol—extracted via Curry‑Howard and expressed with category theory using partial functors—lets one swap implementations upward in a… | ||
| Computing From Creationism to Evolutionism | LambdaConf 2017 | 2017-05-25 |
Argues software origin stories range from instant creationism (pen‑and‑paper one‑liners, assembler) through intelligent design (waterfall, flowcharts, layered… | ||
| Better Stories, Better Software | LambdaConf 2017 | 2017-05-25 |
Argues that which story a project adopts changes outcomes: claiming free/open source versus proprietary yields different bugs usability privacy profiles and… | ||
| nothing matches | ||