1. 1
    karlis avatar karlis 2 years ago | link | on: Pokemon Go is a huge security risk

    Niantic just wanted to catch them all.

    1. 1
      stkrzysiak avatar stkrzysiak 2 years ago | link | on: elm-conf US 2016

      $625 for one day? A bit steep, imho.

      1. 3
        brianhicks avatar brianhicks 2 years ago | link

        Three days really, as it’s an add-on to Strange Loop.

        1. 3
          karlis avatar karlis 2 years ago | link

          Elm-conf only pricing is still TBD.

        1. 1
          karlis avatar karlis 2 years ago | link | on: The Verification of a Distributed System

          Here’s a good paper about creating a formal model for Dropbox (by Benjamin C. Pierce): PDF.

          1. 3
            karlis avatar karlis 2 years ago | link | on: So you're learning OCaml...

            Thank you for posting this! The course looks pretty rad.

            1. 5
              karlis avatar karlis 4 years ago | link | on: BASIC as a DSL

              There’s also a Scala version.