Zainab Ali
where else to find them
what they talk about
all 7 in the filters
where they keep going back
- Scala Days3 editions2023–2025
- Lambda World2 editions2017–2025
all 7 in the filters
on a stage with
never shared a talk
who talks about the same things
- Pawel Szulc28 talks
- Alexander Konovalov8 talks
- Valentin Kasas18 talks
- Alejandro Serrano Mena14 talks
- Jon Pretty24 talks
- Nicolas Rinaudo13 talks
| title | conference | date |
|---|---|---|
| Sketching streams with aquascape | Lambda World 2025 | 2025-10-23 |
Explains a concrete stage model for FS2 streams that turns operator execution into a sequence of pull/output/done instructions, shows how those instructions… | ||
| Taking the plunge - a deep dive into streaming with fs2 | Scala Days 2025 | 2025-08-19 |
Shows concrete fs2 code: reading STDIN lines, mapping each to add a cat emoji and calling compile.drain; reading large files line-by-line (terabytes of cats)… | ||
| Reasoning with Async Rust | Rustikon 2025 | 2025-03-26 |
A runnable toy — cracking eggs, frying eggs and bacon — uses async, await, join, select to show concrete interleavings, then adds a shared spoon and pan to… | ||
| Shaping Your Scala Community | Scala Days 2023 Madrid | 2023-09-12 |
Status update: post‑pandemic meetup attendance is fragmented, Scala 3 migration creates real upgrade friction because Spark lags on newer Scala versions, and… | ||
| The Pierian Stream | Scala Days 2023 Seattle | 2023-06-05 |
Argues that FS2 (with cats-effect) is best understood by a concrete pull model that diagrams pulls, outputs and done signals, letting one predict effect… | ||
| Abstract data types in region of abysmal pain & how to navigate them | Code Mesh LDN 2019 | 2019-11-07 |
Defines a typesafe ADT for directed acyclic graphs implemented in Idris, mirroring an inductive mathematical definition (empty | add vertex with parents). Uses… | ||
| Peeling The Banana: Recursion Schemes from First Principles | Code Mesh 2017 | 2017-11-08 |
Derives recursion schemes from category theory and shows concrete implementations: uses functors, an isomorphism between R and F R, and the fixed-point type… | ||
| Peeling the Banana: Recursion Schemes from First Principles | Lambda World 2017 | 2017-10-26 |
Derives catamorphism from primitive recursion and functor algebras, implements generic folds and unfolds in Scala, and models factorial as a hylomorphism by… | ||
| Exploring Decision Trees with Matryoshka | Scala World 2017 | 2017-09-16 |
Automatic decision trees predict Titanic survival using Scala and Matryoshka by turning a Tree into a higher-kinded type, applying Fix and a Functor, then… | ||
| Libra: Reaching for the Stars with Dependent Types | Typelevel Summit Copenhagen 2017 | 2017-06-03 |
Describes using dependent types, singleton types and generic programming to perform dimensional analysis at compile time so numeric values (doubles, floats… | ||
| nothing matches | ||