Difference between revisions of "User:Lemastero"
Jump to navigation
Jump to search
(Created page with "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...") |
|||
Line 12: | Line 12: | ||
My work: [https://wiki.haskell.org/Special:Contributions/Lemastero on Haskell wiki], [https://github.com/lemastero open source activities on Github], |
My work: [https://wiki.haskell.org/Special:Contributions/Lemastero on Haskell wiki], [https://github.com/lemastero open source activities on Github], |
||
− | [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:26, 28 April 2019
I love math that relates to software development:
- Category Theory: my wiki about CT in Scala, contribs to Scalaz and Cats
- Type Theory especially (Dependent Type Theory, HoTT) - small improvements in cohomolo-gy/haskell-resources, https://steshaw.org/plt/
- different flavors of logic (modal, temporal, linear)
- 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
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
My work: on Haskell wiki, open source activities on Github, tweets, nlab changes, my CV (LinkedIn profile)