User:Lemastero: Difference between revisions
No edit summary |
No edit summary |
||
| Line 13: | Line 13: | ||
* [https://www.slideshare.net/PiotrParadziski/big-picture-of-category-theory-in-scala-with-deep-dive-into-contravariant-and-profunctors Big picture of Category Theory with deep dive into Contravariant functors and Profunctors] (Scala), at [https://www.meetup.com/ScalaWAW/events/259726106/ ScalaWAW] | * [https://www.slideshare.net/PiotrParadziski/big-picture-of-category-theory-in-scala-with-deep-dive-into-contravariant-and-profunctors Big picture of Category Theory with deep dive into Contravariant functors and Profunctors] (Scala), at [https://www.meetup.com/ScalaWAW/events/259726106/ ScalaWAW] | ||
I | I currently research following ideas: | ||
* [https://gist.github.com/lemastero/2d601115e4367aba8d1feb32b0010af9 express profunctors, bifunctors using 3 simpler constructions] | * [https://gist.github.com/lemastero/2d601115e4367aba8d1feb32b0010af9 express profunctors, bifunctors using 3 simpler constructions] | ||
* [https://gist.github.com/lemastero/ae020137746df46338c94ddc56d4f7ce modula approach to abstractions from Category Theory] | * [https://gist.github.com/lemastero/ae020137746df46338c94ddc56d4f7ce modula approach to abstractions from Category Theory] | ||
My [https://twitter.com/pparadzinski tweets], [https://www.linkedin.com/in/piotrparadzinski/ my CV (LinkedIn profile)] | My [https://twitter.com/pparadzinski tweets], [https://www.linkedin.com/in/piotrparadzinski/ my CV (LinkedIn profile)] | ||
Latest revision as of 10:46, 17 May 2019
I love math that relates to software development.
- Category Theory: my wiki about CT in Scala, contribs to Scalaz and Cats, nlab changes
- Type Theory especially (Dependent Type Theory, HoTT) - small improvements in cohomolo-gy/haskell-resources, https://steshaw.org/plt/
- approaches to concurrency/parallelism: my collection of links, activity in monix/streaming-benchmarks, zio
- algebraic effects: contribs to yallop/effects-bibliography
- Proof Theory in Coq, Agda (I've added links about Univalent Foundations workshops and recent courses on Agda)
- different flavors of logic (modal, temporal, linear)
- mixing all of above: My collection of resources around Curry-Howard Isomorphism/Computational Trinitarianism, Category Theory, Type Theory, HoTT, Cubical TT, UF, Proof Theory and Haskell
- Haskell: my work on Haskell wiki
Talks:
- Why functional programming and category theory strongly matters (Scala) at Lublin JUG
- Big picture of Category Theory with deep dive into Contravariant functors and Profunctors (Scala), at ScalaWAW
I currently research following ideas: