My Slides and Talks - vpatryshev/wowiki GitHub Wiki
Math
- 2017. Category Theory for (Scala) Programmers
- 2017. Monoids and Map/Reduce
- 2014. Logic of Toposes
- 2014. Logic of Toposes, part 2
Categories for Noobs
Scala and FP
- Scala Kittens
- Handling Errors Better
- Properties Are Flat
- Type Classes Demystified short document
- Applicative Programming
- Functors, Monads, etc in Scala
- 2009. Small Categories, Scala Implementation
- Solutions for collections variance (text)
- Scala2 to Scala3, video
- Monads (Carolina Code Conf 23)
Java
Scale by the Bay
| Title | slides | youtube |
|---|---|---|
| 2016 Functor, Monad, Applicative, in plain words | http://tinyurl.com/functorsinscala | https://www.youtube.com/watch?v=eF4Viw_Qc6o |
| 2017. Functional Linear Algebra in Scala | http://tinyurl.com/lafunctional | https://www.youtube.com/watch?v=qe8AVC5WgVo |
| 2018. Classical Category Theory In Plain Scala | https://tinyurl.com/classicalct-scala | https://www.youtube.com/watch?v=lcWUlBUBQbM&t=13s |
| 2020. Finger Trees in JS | https://observablehq.com/@vpatryshev/finger-trees-in-js | https://www.youtube.com/watch?v=r2a_VjJtQbY |
| 2021. Algebraic Data Types, Categorically | https://tinyurl.com/adtincat | https://www.youtube.com/watch?v=XIg-H54eSqE |
LambdaConf
| Title | slides | youtube |
|---|---|---|
| 2015. Introduction to Intuitionistic Type Theory | http://tinyurl.com/lambda15itt | https://www.youtube.com/watch?v=7gtSGxJ6Lm8 |
| 2016. Intuitionistic Logic of Database Schema | http://tinyurl.com/lambda16il | https://www.youtube.com/watch?v=E2C9O5WL5zQ |
| 2017. Intuitionistic Logic: Subschemas and Topologies | http://tinyurl.com/lambda17il | https://www.youtube.com/watch?v=BFkl8g8whEI |
| 2018. On Theories and Models | http://tinyurl.com/lambda18tm | https://www.youtube.com/watch?v=xNJHw8E_36g |
| 2019. Calculating Intuitionistic Logic in Scala | https://tinyurl.com/lambda19cils | https://www.youtube.com/watch?v=liUPAaAnDLI |
| 2020. Topologies in Intuitionistic Logic | https://tinyurl.com/lambda20topologies | (not found) |
Santa Clara University
Logic (COEN 260)
- 1. Introduction
- 2. Elementary Proofs. Sets.
- 3. Data Structures
- 4. Monoids
- 5. Functions
- 6. Induction/Recursion
- 7. Binary Relations
- 8. Propositional Logic
- 9. Predicate Logic
- 10. Formal Set Theory
- 11. Theories and Models
- 12. Intuitionistic Logic
- 13. Untyped λ... and other things
- 14. Typed λ
Formal Methods (COEN 385)
- 1. Introduction
- 2. Languages and Machines-1
- 3. Languages and Machines-2
- 4. Z-Notation
- 5. Pi-Calculus
- 6. Introduction to Specification Language (TLA+)
- 7. Elements of Algebra
- 8. Category Theory - 1
- 9. Category Theory - 2
FP in JS (COEN 261)
- 1. Intro
- 2. Subset of JavaScript
- 3. Functions. Recursion.
- 4. Higher-Order Functions
- 5. Building Abstractions with Data
- 6. Functional Data Structures
- 7. Dispatch Table. Finger Trees
- 8. Streams