Vlad Patryshev
where else to find them
no profile links on file
what they talk about
all 7 in the filters
where they keep going back
- Scale By the Bay4 editions2017–2021
- LambdaConf4 editions2015–2019
on a stage with
- Alexy Khrabrovonce
who talks about the same things
- Dana Scott11 talks
- David Spivak6 talks
- Alexander Konovalov8 talks
- Andreas Abel6 talks
- Benedikt Ahrens6 talks
- Kristina Sojakova3 talks
| title | conference | date |
|---|---|---|
| Explaining Lambda Calculus through Plain JavaScript | Carolina Code Conference 2024 | 2024-08-23 |
Claims that Lambda Calculus maps directly into JavaScript implementations of lambda terms, shows concrete encodings: Church booleans, Church numerals, pairs… | ||
| Algebraic Data Types, Categorically | Scale By the Bay 2021 | 2021-10-28 |
Claims that algebraic data types are precisely models of Lawvere (algebraic) theories and that these models appear as polynomial functors with arrows p(X) → X… | ||
| Functional implementation of Finger Trees in JavaScript | Scale By the Bay 2020 | 2020-11-12 |
A complete, purely functional Finger Tree implemented in a narrow subset of JavaScript and demonstrated inside an ObservableHQ workbook, including cons and… | ||
| Calculating Intuitionistic Logic in Scala | LambdaConf 2019 | 2019-06-05 |
A working Scala library takes a finite category, builds the topos of diagrams (presheaves) over it, and computes Ω (subobject classifier) by enumerating… | ||
| Classical Category Theory in Plain Scala | Scale By The Bay 2018 | 2018-11-15 |
Scala code implements a full implementation of small categories (objects, arrows, identities, composition), graphs, functors, natural transformations, cones… | ||
| Interview | Scale By The Bay 2018 | 2018-11-15 |
Built an interoperability layer connecting Salesforce core storage to ML pipelines that maps and preserves every field type and representation for downstream… | ||
| A Gentle Introduction to Modern Model Theory | LambdaConf 2018 | 2018-06-03 |
Modern model theory makes a concrete claim: separate theory from model and split algebraic vs geometric theories, and category theory need not rest on set… | ||
| Functional Linear Algebra in Scala | Scale By the Bay 2017 | 2017-11-16 |
Claims a type-safe, functional linear-algebra layer in Scala that prevents mixing dimensions at compile time, finds real bugs, and supports practical PCA and… | ||
| Vlad Patryshev Interview | Scale By the Bay 2017 | 2017-11-16 |
A production system on AWS processes incoming data as streams and requires layered aggregations per minute, hour, week and year, forcing a choice between store… | ||
| Intuitionistic Logic III Subschemas and Topologies | LambdaConf 2017 | 2017-05-25 |
Explains how Grothendieck topologies are implemented as closure operations on the subobject classifier Omega and uses small categories/diagrams as concrete… | ||
| Introduction to Intuitionistic Type Theory | LambdaConf 2015 | 2015-05-22 |
Claims a workable type theory that drops sets and the law of excluded middle and uses Topos Theory and category constructions to get dependent types and logic… | ||
| nothing matches | ||