Mini-meetup

Hi Scalatiers,

Let's meet in March!

Agenda:

========

• Talk from Viktor, lead Scala developer at trade machines: "Developing serverless image processing with AWS Lambda, Akka Streams and Alpakka"

Abstract:

Learn how TradeMachines managed to optimize computation time and costs of its Scala image processing service by migrating to a serverless architecture using AWS Lambda. In the process Viktor had the pleasure of working with the core developers of the Akka framework when developing a new module of Alpakka for it.

• As the Scala Days slowing approaching, lets swing into the mood with Daniels dry run of his Talk “When all abstraction is lost”.

Abstract:

Did you ever implement an asynchronous/distributed algorithm or data structure and wondered whether your implementation is correct? Did you ever try to solve this problem by testing thoroughly and a little bit of reasoning with the result being “the system will probably work correctly”? If you answered to any of these question with yes then this talk is definitely for you.

In this Talk we will look at a novel approach to easily prove the correctness of concurrent/distributed systems with the help of an extension for ScalaTest. The extension offers a DSL for describing behaviors of these systems and employs explicit state model checking for the purpose of proofing those behaviors. Since, model checking isn't widely used in the Scala world we will (briefly) discuss this concept before looking at the DSL and extension itself. In the demo we will see that the extension can be used for proofing the correctness of a real-world system written in Scala.

Monads will not be mentioned during this Talk. However, the audience may be exposed to a non-painful amount of temporal logic.

Trade machines will sponsor this event with drinks and food.