All decks Close
All decks 30

  • Building an Anagram Solver

    Jan 04, 2024 796 0

  • Staged programming in Scala 3

    Feb 28, 2022 1,918 1

  • Type class derivation in Scala 3

    May 19, 2020 3,685 1

  • Reinforcement learning in Scala [with LambdAle slide]

    May 07, 2019 2,461 0

  • N things Scala should steal from other languages

    Dec 09, 2018 3,799 2

  • Reinforcement learning in Scala

    Oct 30, 2018 4,748 6

  • sbt-explicit-dependencies

    Sep 30, 2018 2,493 0

  • Intro to Nix

    Aug 24, 2018 2,335 0

  • Programming trick shots

    May 04, 2018 2,537 0

  • Massaging case classes with shapeless

    Apr 09, 2018 3,502 3

  • Bring Your Own Effect - Scalar 2018

    Apr 02, 2018 3,556 1

  • Architecting a web application in a functional style

    Feb 08, 2018 3,207 0

  • Bring Your Own Effect

    Nov 10, 2017 3,531 1

  • Idris for Scala developers

    Sep 09, 2017 4,426 0

  • Gödel's incompleteness theorems

    Aug 30, 2017 2,578 0

  • why a monad is a monoid in the category of endofunctors

    Jul 15, 2017 3,725 1

  • Google auth

    Jun 08, 2017 2,988 0

  • My first CloudFormation

    Apr 06, 2017 2,475 0

  • [long version] Meta-program and/or shapeless all the things! (ScalaMatsuri)

    Feb 21, 2017 2,673 0

  • Meta-program and/or shapeless all the things! (ScalaMatsuri)

    Feb 05, 2017 8,799 3