Sergei Winitzki
where else to find them
x:winitzki
what they talk about
all 7 in the filters
where they keep going back
- Scale By the Bay4 editions2017–2021
on a stage with
never shared a talk
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| What I Learned about FP when Writing a Book About It | Scale By the Bay 2021 | 2021-10-28 |
Derives functional-programming results from first principles and shows which theories actually matter for writing Scala code: proves which type signatures are… | ||
| Scale By the Bay 2021 intro video by Sergei Winitzki | Scale By the Bay 2021 | 2021-10-28 |
A nearly finished open source book titled The Science of Functional Programming provides full source code on GitHub, program examples, diagrams and scripts to… | ||
| Reasoning about types and code | Scale By The Bay 2019 | 2019-11-13 |
A practical roadmap for reasoning about types and code: derive when a function is implementable (example: two signatures where F impossible, G implementable)… | ||
| What did category theory do for us? | Scale By The Bay 2019 | 2019-11-13 |
Argues that category theory explains why common typeclass methods are "liftings" and why their behavior reduces to two laws, identity and composition laws, so… | ||
| Declarative distributed concurrency in Scala | Scale By The Bay 2018 | 2018-11-15 |
Claims a Scala DSL (chemist/Chemical Machine) expresses unrestricted concurrency as data-carrying “molecules” and reactions so many tasks fit in 15 lines of… | ||
| Interview | Scale By The Bay 2018 | 2018-11-15 |
Building a reusable streaming pipeline for multiple machine learning applications at Workday, aiming to apply the same pipeline across future projects and… | ||
| Scale By The Bay 2018 Unconference: Sergei Winitzki | Scale By The Bay 2018 | 2018-11-15 |
A Scala macro library generates concrete implementations from polymorphic type signatures by translating types into logic, running an LJT proof search to build… | ||
| Declarative concurrent programming with Chymyst | Scale By the Bay 2017 | 2017-11-16 |
Chymyst is an open‑source Scala implementation of the chemical machine (Join Calculus) that claims to make actors type‑safe, stateless and automatically… | ||
| Interview | Scale By the Bay 2017 | 2017-11-16 |
Describes backend ML and data pipelines at Workday and concrete steps taken to keep data correct, secure and elastic as volumes grow. Explains moving a slow… | ||
| nothing matches | ||