Gabriel Claramunt
where else to find them
speakerdeck:gclaramunt
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 2 in the filters
on a stage with
never shared a talk
who talks about the same things
- Stephan Boyer4 talks
- Matthieu Sozeau14 talks
- Katherine Ye2 talks
- Yannick Forster9 talks
- Kathrin Stark8 talks
- Jesper Cockx5 talks
| title | conference | date |
|---|---|---|
| Swimming in the stream... | Scale By The Bay 2018 | 2018-11-15 |
Live-coded pipeline uses Akka Streams to ingest a random request generator, enrich each tuple with customer/product lookups (fake ODB returning Futures), call… | ||
| Scale By The Bay 2018 Unconference: Gabriel Claramunt | Scale By The Bay 2018 | 2018-11-15 |
Library implements a generic fold over regular types in Scala by encoding constructors as small functors and a Fix-like wrapper, translating Haskell… | ||
| Introduction to Coq - Part 1 of 2 | LambdaConf 2017 | 2017-05-25 |
Hands-on walkthrough of Coq that actually builds proofs: uses intro/apply/assumption tactics plus elimination, cut, exact and unfold; loads examples from a… | ||
| Introduction to Coq - Part 2 of 2 | LambdaConf 2017 | 2017-05-25 |
Continues a hands‑on Coq workshop that shows actual proofs, tactics and extracted code: step‑by‑step proofs use intro apply exact split induction on encoded… | ||
| nothing matches | ||