Difference between revisions of "User:Lemastero"
Jump to navigation
Jump to search
Line 1: | Line 1: | ||
− | I love math that relates to software development |
+ | I love math that relates to software development. |
− | * Category Theory: [https://github.com/lemastero/scala_typeclassopedia my wiki about CT in Scala], [https://github.com/scalaz/scalaz/issues?utf8=%E2%9C%93&q=author%3Alemastero contribs to Scalaz] [https://github.com/typelevel/cats/pulls?utf8=%E2%9C%93&q=author%3Alemastero and Cats] |
+ | * Category Theory: [https://github.com/lemastero/scala_typeclassopedia my wiki about CT in Scala], [https://github.com/scalaz/scalaz/issues?utf8=%E2%9C%93&q=author%3Alemastero contribs to Scalaz] [https://github.com/typelevel/cats/pulls?utf8=%E2%9C%93&q=author%3Alemastero and Cats], [https://ncatlab.org/nlab/author/lemastero nlab changes] |
* Type Theory especially (Dependent Type Theory, HoTT) - small improvements in [https://github.com/cohomolo-gy/haskell-resources/pull/3 cohomolo-gy/haskell-resources], [https://github.com/steshaw/plt/pulls?utf8=%E2%9C%93&q=author%3Alemastero https://steshaw.org/plt/] |
* Type Theory especially (Dependent Type Theory, HoTT) - small improvements in [https://github.com/cohomolo-gy/haskell-resources/pull/3 cohomolo-gy/haskell-resources], [https://github.com/steshaw/plt/pulls?utf8=%E2%9C%93&q=author%3Alemastero https://steshaw.org/plt/] |
||
⚫ | |||
* approaches to concurrency/parallelism: [https://github.com/lemastero/concurrency_parallelism_effects my collection of links], activity in [https://github.com/monix/streaming-benchmarks/pulls?utf8=✓&q=author%3Alemastero monix/streaming-benchmarks], [https://github.com/scalaz/scalaz-zio/issues?utf8=✓&q=author%3Alemastero zio] |
* approaches to concurrency/parallelism: [https://github.com/lemastero/concurrency_parallelism_effects my collection of links], activity in [https://github.com/monix/streaming-benchmarks/pulls?utf8=✓&q=author%3Alemastero monix/streaming-benchmarks], [https://github.com/scalaz/scalaz-zio/issues?utf8=✓&q=author%3Alemastero zio] |
||
* algebraic effects: [https://github.com/yallop/effects-bibliography/issues?utf8=%E2%9C%93&q=author%3Alemastero contribs to yallop/effects-bibliography] |
* algebraic effects: [https://github.com/yallop/effects-bibliography/issues?utf8=%E2%9C%93&q=author%3Alemastero contribs to yallop/effects-bibliography] |
||
+ | * Proof Theory in Coq, Agda (I've added [https://github.com/agda/agda/pull/3751 links about Univalent Foundations workshops and recent courses on Agda]) |
||
− | * Proof Theory in Coq |
||
⚫ | |||
+ | * mixing all of above: My [https://github.com/lemastero/scala_typeclassopedia/blob/master/ComputationalTrinitarianism.MD collection of resources around Curry-Howard Isomorphism/Computational Trinitarianism, Category Theory, Type Theory, HoTT, Cubical TT, UF, Proof Theory and Haskell] |
||
+ | * Haskell: my work [https://wiki.haskell.org/Special:Contributions/Lemastero on Haskell wiki] |
||
Talks: |
Talks: |
||
Line 11: | 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] |
||
− | My |
+ | My [https://twitter.com/pparadzinski tweets], [https://www.linkedin.com/in/piotrparadzinski/ my CV (LinkedIn profile)] |
− | [https://twitter.com/pparadzinski tweets], [https://ncatlab.org/nlab/author/lemastero nlab changes], [https://www.linkedin.com/in/piotrparadzinski/ my CV (LinkedIn profile)] |
Revision as of 10:35, 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: