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 --- FP DESIGN PATTERNS IN MICRO-SERVICE INTER-PROCESS COMMUNICATION by Viačeslav Pozdniakov ABSTRACT Design of correct and yet simple inter-process communication in micro-service architecture is a tough thing to do: communication protocols might be sync or async, some APIs use request/response model while others use streaming and so on. In this talk we will discuss which micro-service IPC design problems we (Wix.com) faced and how we solve them using FP building blocks: monads, semigroups, etc. Obviously, introduction of FP design patterns at our scale (over 500 developers) is a huge effort, so we will also discuss an execution process of such changes. Read the full abstract: http://www.lambdadays.org/lambdadays2019/viaeslav-pozdniakov --- THE SPEAKER - VIAČESLAV POZDNIAKOV Wix.com I work in Server Framework Team as Scala developer at Wix. This team is responsible for building a common framework and libraries used to develop Wix services. Also I am a co-organizer of Functional Vilnius user group and partnership associate professor at Vilnius University teaching Functional Programming in Haskell. More on Viačeslav Pozdniakov: http://www.lambdadays.org/lambdadays2019/viaeslav-pozdniakov --- 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 --- INTRODUCTION TO STATEFUL PROPERTY BASED TESTING by Tomasz Kowal ABSTRACT Property-based testing is a technique for writing tests that use a framework for creating test inputs and user-defined properties for validating outputs. Generating data allows finding bugs that would be impossible to catch by regular unit tests: e.g. too big to encode by hand. I'd like to present why is it worth getting into PBT by introducing successful usages of PBT for testing AUTOSAR, LevelDB and Dropbox. All those examples use stateful testing, so the next part of the talk describes steps to create a stateful test for a simple key-value store. Read the full abstract: http://www.lambdadays.org/lambdadays2019/tomasz-kowal --- THE SPEAKER - TOMASZ KOWAL Software Developer @ ClubCollect Tomasz works with functional languages for over 8 years and loves learning and teaching about concepts and techinques. More on Tomasz Kowal: http://www.lambdadays.org/lambdadays2019/tomasz-kowal --- 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 #testing

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- THE CODEKLAVIER CKALCUƛATOR: A LAMBDA CALCULUS CALCULATOR FOR THE PIANO by Anne Veinberg & Felipe Ignacio Noriega ABSTRACT The CKalcuƛator is a lambda-calculus arithmetic calculator for the piano and a sub-system of the CodeKlavier. The presentation will include a description of the CKalcuƛator and our motivation for bringing functional programming into the musical paradigm. Central to the presentation will be a performance by the presenters where the pianist is working with the CKalcuƛator and the results of her CKalcuƛator operations are passed onto the live coder working in SuperCollider. Read the full abstract: http://www.lambdadays.org/lambdadays2019/felipe-ignacio-noriega --- THE SPEAKER - ANNE VEINBERG CodeKlavier Anne Veinberg is an Australian pianist based in the Netherlands and is co-creator of the CodeKlavier together with Felipe Ignacio Noriega. Anne is passionate about music of and for today. She regularly collaborates with composers, actors and technologists to develop new works and musical experiences. Anne is a member of Ensemble Scala for microtonal music, of Apituley’s Locomotive Band for music theatre productions and among others. Anne also joins Felipe Ignacio Noriega to form Offzz - a live coding and piano duo. www.anneveinberg.com www.codeklavier.space More on Anne Veinberg: http://www.lambdadays.org/lambdadays2019/anne-veinberg THE SPEAKER - FELIPE IGNACIO NORIEGA CodeKlavier Felipe Ignacio Noriega is a composer, programmer and live-coding artist born in Mexico City and is co-creator of the CodeKlavier together with Anne Veinberg. He collaborates in various settings where a common subject is the incorporation of coding as a performative and aesthetic principle. The first work of the CodeKlavier, “hello world”, was the winner of the 2017 Uncaged:Conlon Foundation Composition Competition. www.felipeignacio.info www.codeklavier.space More on Felipe Ignacio Noriega: http://www.lambdadays.org/lambdadays2019/felipe-ignacio-noriega --- 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 #music

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- BEHIND COLLABORATIVE TEXT EDITING by Bartosz Sypytkowski ABSTRACT We’ll discuss the topic, that is well known from products such as Google Docs or Etherpad, and explain how Conflict-free Replicated Data Types will allow us to expand it into new territories. We'll take a peer-to-peer approach, with no central servers, constant internet connectivity or human assisted conflict resolution. Read the full abstract: http://www.lambdadays.org/lambdadays2019/bartosz-sypytkowski --- THE SPEAKER - BARTOSZ SYPYTKOWSKI Bartosz Sypytkowski Red Pill An OSS contributor, a great fan of functional and distributed programming. One of the core team members of Akka.NET project. Creator of F# implementation of GraphQL server library. More on Bartosz Sypytkowski: http://www.lambdadays.org/lambdadays2019/bartosz-sypytkowski --- 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 #CRDT #DistributedSystem

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- TEACHING FUNCTIONAL PROGRAMMING by Michael Sperber ABSTRACT You want to teach functional programming to someone else: To enable fellow developers, as a professional trainer, or to teach students. However, as natural as functional programming feels to us, it is hard to teach well. In particular, professional functional languages are powerful tools for development, but are not necessarily the best tools beginners. This talk is about teaching functional programming well using the Program by Design / DeinProgramm approach. It will give an overview of effective teaching approaches, techniques and tools, and highlight pitfalls. Read the full abstract: http://www.lambdadays.org/lambdadays2019/michael-sperber --- THE SPEAKER - MICHAEL SPERBER CEO of Active Group, functional programmer Michael Sperber is CEO of Active Group in Tübingen, Germany. He has been developing software since 1984, and taught programming courses since 1987. Mike specializes in functional programming, with many publications and several books under his belt. Mike maintains a strong interest in teaching programming, and has designed introductory courses for several German universities. He is co-organizer of the annual BOB developer conference. www.deinprogramm.de/sperber More on Michael Sperber: http://www.lambdadays.org/lambdadays2019/michael-sperber --- 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 #Teaching #Racket

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- FUNCTION TOTALITY: ABSTRACTION TOOL IN PROGRAMMING by Marko Dimjašević ABSTRACT Abstraction is a cornerstone of programming a complex software system. Without it, a complex software system is a complicated software system. In this talk, an important abstraction tool is considered: function totality. It covers termination and productivity. If a supposedly terminating program is not total, it can lead to a program crash or an infinite loop. Furthermore, a non-total program that needs to run forever can end up in a deadlock. This talk covers techniques for achieving function totality. Read the full abstract: http://www.lambdadays.org/lambdadays2019/marko-dimjasevic --- THE SPEAKER - MARKO DIMJAŠEVIĆ Computer scientist interested in correct software Marko Dimjašević is a computer scientist with research interests in type theory and formal methods. He is an engineer at Input Output Hong Kong where he works on formally specifying a blockchain. Marko holds a doctoral degree in computer science from the University of Utah, USA. His dissertation was on automatic software testing. At NASA he performed research and development on software testing and runtime verification techniques for an aircraft collision avoidance system. dimjasevic.net/marko More on Marko Dimjašević: http://www.lambdadays.org/lambdadays2019/marko-dimjasevic --- 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 #Haskell #Agda #Iris

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- SCALA SUPERPOWERS: EFFORTLESS DOMAIN DRIVEN DESIGN by Bartosz Mikulski ABSTRACT Don't come to this talk. You will not hear anything cool. No new libraries, languages. No clever code. No buzzwords even. I want to show you how you can use the features you already know to write less code and make the code so easy to understand that people who join your project can be productive on their first day. You didn't come to a tech conference to see that, did you? Your new, shiny toys are not here. Go somewhere else ;) Read the full abstract: http://www.lambdadays.org/lambdadays2019/bartosz-mikulski --- THE SPEAKER - BARTOSZ MIKULSKI An unpassionate programmer A Java/Scala programmer with almost 8 years of experience. In his career, he worked on network sniffers, old school ETL software for banks, web applications written in ancient technologies like RichFaces, modern web applications written in React with Scala microservice-based backends, and data pipelines. Co-founder of Poznan Scala User Group and Software Craftsmanship Poznan group, organizer of Poznan meetups of Siraj Raval's School of AI. Currently interested in machine learning and data science and strongly believes that such techniques and skills should be in the toolset of every programmer. mikulskibartosz.name More on Bartosz Mikulski: http://www.lambdadays.org/lambdadays2019/bartosz-mikulski --- 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 --- WHY TYPE THEORY MATTERS by Thorsten Altenkirch ABSTRACT Modern Type Theory (usually called Homotopy Type Theory) is at the same time the ultimate functional programming language and a novel foundation of Mathematics, an alternative to the mathematical assembly language called set theory. Type theory exploits the advantages of static typing to the limit, meaning that by hiding implementation details you can identify tow object which behave the same - this is called the univalence principle. Read the full abstract: http://www.lambdadays.org/lambdadays2019/thorsten-altenkirch --- THE SPEAKER - THORSTEN ALTENKIRCH University of Nottingham Thorsten Altenkirch is a Professor of Computer Science at the University of Nottingham known for his research on logic, type theory, and homotopy type theory. Altenkirch was part of the 2012/2013 special year on univalent foundations at the Institute for Advanced Study. At Nottingham he co-chairs the Functional Programming Laboratory with Graham Hutton. More on Thorsten Altenkirch: http://www.lambdadays.org/lambdadays2019/thorsten-altenkirch --- 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 #TypeTheory

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- REALTIME STREAM ANALYSIS IN FUNCTIONAL REACTIVE PROGRAMMING by Riccardo Terrell ABSTRACT In today’s world it’s imperative to be able to make split second decisions based on real-time data. Real-time event-based systems process millions of messages per second by defining and combining small flows to create processing graphs. This session talks about a reactive approach to your application design, and how to account for handling events in near real time employing the Functional Reactive Programming paradigm, which is used to implement complex reactive system with simple and composable semantic. Read the full abstract: http://www.lambdadays.org/lambdadays2019/riccardo-terrell --- THE SPEAKER - RICCARDO TERRELL A functional guy living in an imperative world Riccardo Terrell is a seasoned software engineer and Microsoft MVP who is passionate about functional programming. He is active in the .NET community and believes in polyglot programming as a mechanism for finding the right tool for the job. www.rickyterrell.com More on Riccardo Terrell: http://www.lambdadays.org/lambdadays2019/riccardo-terrell --- 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 #frp #Reactive