User:Lemastero
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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)