List of videos

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- VERIFYING STATE MACHINE TRANSITIONS WITH SCALA TYPES by Daniel Urban ABSTRACT While a lot of software systems implement and use finite-state machines, the correctness of the state transitions and operations is usually not statically verified. We present a Scala library, which allows defining statically verified domain-specific languages (DSLs) for working with state machines. Our library enables the compile-time checking of the implementation of these DSLs, by encoding states into Scala types, and using an indexed free monad and a type class for restricting state transitions. Read the full abstract: http://www.lambdadays.org/lambdadays2019/daniel-urban --- THE SPEAKER - DANIEL URBAN Research Engineer at Nokia Bell Labs I'm a research engineer at Nokia Bell Labs, currently working on distributed systems with Scala. During this work, and sometimes in my free time, I occasionally contribute to open source Scala libraries (like shapeless or Cats). More on Daniel Urban: http://www.lambdadays.org/lambdadays2019/daniel-urban --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Scala

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- ANNOUNCING BROADWAY by José Valim ABSTRACT Broadway is a new open source project by Plataformatec that aims to streamline data processing pipelines. It allows developers to consume data efficiently and concurrently from many systems, such as Amazon SQS, RabbitMQ, Google Cloud PubSub and others. Read the full abstract: http://www.lambdadays.org/lambdadays2019/jose-valim --- THE SPEAKER - JOSÉ VALIM Elixir Creator José Valim is the creator of the Elixir programming language and member of the Rails Core Team. He graduated in Engineering in São Paulo University, Brazil and has a Master of Science by Politecnico di Torino, Italy. He is also the lead-developer of Plataformatec, a consultancy firm based in Brazil, and an active member of the Open Source community. More on José Valim: http://www.lambdadays.org/lambdadays2019/jose-valim --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Elixir

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- LOGIKCAL LAMBDA-CALCULUS; OR, A GUY WITH AN AXE OF TAIPEI by Einar Høst & Jonas Winje ABSTRACT What do we know about logic and programming? Well not much perhaps, but we do know that logic is terribly hard (and proving things is even harder), whereas you can teach yourself C in 24 hours. And so it would be useful if there were some correspondence between logic and programming, because then we could do the easy thing instead of the hard thing! Ha ha! And lo and behold! There is! By magic, luck or the nature of the universe, there is a deep corresporphism between the two, that we will explore in this talk. Which is to say we'll write programs that produce walls of unintelligible symbols as proofs. Read the full abstract: http://www.lambdadays.org/lambdadays2019/einar-host --- THE SPEAKER - EINAR HØST A computer Einar W. Høst is a computer at NRK, the Norwegian public broadcaster. He thinks that programs should be written for people to read and also for machines to laugh at. He has a PhD in Computer Science from the University of Oslo. More on Einar: http://www.lambdadays.org/lambdadays2019/einar-host THE SPEAKER - JONAS WINJE A human Jonas is a developer and construKction worker at Computas, with an MSc in Computer Science from the University of Oslo. Codes in new-old languages like Java and Smalltalk at work. Plays with lambdas and programming languages outside of. Almost organizes a lambda-almost-meetup sometimes. Wants to have a goat and a maybe donkey. Donkeys are like small horse-rabbits. More on Jonas: http://www.lambdadays.org/lambdadays2019/jonas-winje --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Calculus

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- CLOJURESCRIPT AND REACT WITHOUT JAVASCRIPT by Rakhim Davletkaliyev ABSTRACT Web development and modern JS ecosystem can be daunting, especially if you like simplicity, immutability and FP. Being able to create complex React Apps without using any JavaScript, but rather compiling from Clojurescript is a breath of fresh air. I'd like to share my experience writing React-powered apps using Clojurescript, Reagent and Figwheel. ClojureScript compiles to JavaScript and, thanks to modern tools like Reagent and Figwheel, actually make writing React apps easier than with traditional React JS library. These apps are also generally faster than natively-written ones, thanks to build-in immutability and leveraging the Google Closure compiler. We need more functional programmers on the frontend side! The web is going somewhere dark, and we can help. Read the full abstract: http://www.lambdadays.org/lambdadays2019/rakhim-davletkaliyev --- THE SPEAKER - RAKHIM DAVLETKALIYEV A mutable entity Software developer since 2010. Co-founder of Hexlet, an educational startup from Finland which is the home of 200k students who learn computer programming and software development, get hired and build cool stuff. In November 2019 resigned as CEO and about to launch something new. Rakhim organizes free workshops and open lectures on programming and computing in Helsinki. Blogs at rakhim.org. More on Rakhim Davletkaliyev: http://www.lambdadays.org/lambdadays2019/rakhim-davletkaliyev --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Clojure #ClojureScript #React #JavaScript

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- DIVING INTO MERKLE TREES by Pedro Tavares ABSTRACT Introduced in 1987 by Ralph C. Merkle, the Merkle Tree is a data structure used for efficiently summarizing and verifying the integrity of large sets of data. Due to its unique content validating and performance qualities, they are especially useful in distributed, peer-to-peer systems where the same data should exist in multiple places. Let's learn how to detect inconsistencies between trees and reduce the amount of transferred data enabling peer-to-peer file sharing by building our own tree with Elixir. Read the full abstract: http://www.lambdadays.org/lambdadays2019/pedro-tavares --- THE SPEAKER - PEDRO TAVARES Making functions pure one at a time Pedro is a passionate Software Engineer currently working at Talkdesk. Distributed Systems and Software Engineering best practices bring a big smile on his face. He likes to read books and scientific papers on Computer Science and he's currently running the Porto's chapter of Papers We Love. Check out his blog: ordepdev.me More on Pedro Tavares: http://www.lambdadays.org/lambdadays2019/pedro-tavares --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Elixir

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- BRIDGING THE DIVIDE: A PHILOSOPHY OF LIBRARY DESIGN by Brooklyn Zelenka ABSTRACT Ever wished that you had feature X in language Y? Frustrated that two libraries don't play nice together? Have framework fatigue? Language design principles also extend to libraries. This is especially true when porting concepts and features from another language or ecosystem. In this follow-up to her Empex 2018 keynote, Brooklyn will explore a philosophy of library design with an eye towards porting, drawing concretely from her experiences bootstrapping features primarily inspired by Haskell and OCaml to Elixir. Which factors do you need to balance, when is it appropriate to deviate from the core syntax (of both source and target), and importantly: how far can you bend before you break? Read the full abstract: http://www.lambdadays.org/lambdadays2019/brooklyn-zelenka --- THE SPEAKER - BROOKLYN ZELENKA Programs with functions λ Brooklyn is a founding partner at Robot Overlord Software, where she specializes in FP consulting, training, and blockchain R&D. She founded the Vancouver Functional Programming meetup, mentors emerging Haskellers a couple times per week, and is the author of several Elixir libraries including Exceptional, Quark, Algae, and Witchcraft. More on Brooklyn Zelenka: http://www.lambdadays.org/lambdadays2019/brooklyn-zelenka --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #library #porting #witchcraft #Elixir

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- STATE VS STATEFUL ACTORS by Krzysztof Otrębski ABSTRACT During this talk I will show you how we can move the logic from actors into a monad state. We will see the benefits of the logic implemented in composable, side-effect-free way. The talk is based on a project that keeps all of the business logic inside actors. Our goal is to refactor actors into a monad state. The changes will make the application more testable and comprehensible. Read the full abstract: http://www.lambdadays.org/lambdadays2019/krzysztof-otrebski --- THE SPEAKER - KRZYSZTOF OTRĘBSKI FP wanna be Krzysztof is a software developer with 10 years of professional experience. Having spent many years on Java programming and problem solving, he has developed useful tools that make a programmer’s life easier. He is also a founder of a few open-source projects. More on Krzysztof Otrębski: http://www.lambdadays.org/lambdadays2019/krzysztof-otrebski --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Scala

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- (DYS)FUNCTIONAL DDD by Jarek Ratajski ABSTRACT Domain Driven Design patterns are commonly used in business applications. There is, however, a visible mismatch when we look at them from a functional programming perspective. Some concepts seem to fit perfectly: like event sourcing. Some, however, seem to be built around mutability or side effects like aggregates or commands in CQRS. Some are just hard to grasp like domain events, integration events. In this talk we will try to revisit the core concepts of DDD from a functional perspective and build a simple system using a little bit more functional approach. Read the full abstract: http://www.lambdadays.org/lambdadays2019/jarek-ratajski --- THE SPEAKER - JAREK RATAJSKI Java developer with a functional heart JVM Developer since 1999 More on Jarek Ratajski: http://www.lambdadays.org/lambdadays2019/jarek-ratajski --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #DDD

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- LIGHTNING TALK: FIGHTING THE LAW OF PHYSICS WITH ELM by Andrey Kuzmin --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Elm