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 --- DO PARSERS DREAM OF ELECTRIC GUITARS? by Ju Liu ABSTRACT In this talk we build a web application in Elm that reads a guitar chord sheet and emits a beautiful page. Instead of parsing the guitar chord data using a regular expression, we will use a proper parser and show that it's not as hard as it sounds. We will then proceed to implement some more advanced features for our parser and check out some edge cases of our implementation. By the end of the talk, you should be prepared to write your first parser and unleash it into the world! Read the full abstract: http://www.lambdadays.org/lambdadays2019/ju-liu --- THE SPEAKER - JU LIU Master of the Useless Ju was born in China, moved to Italy as a kid, grew up eating a lot of pasta, and started messing around with computers. He now lives in London and works for NoRedInk. He loves to solve hard problems and build amazing products. When he’s not doing that, he’s probably rock climbing. More on Ju Liu: http://www.lambdadays.org/lambdadays2019/ju-liu --- 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

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 VISUAL FUNCTIONAL PROGRAMMING MATTERS by Piotr Moczurad ABSTRACT Many people believe that conventional textual programming is the only way of expressing complex data processing logic, while visual programming languages are suitable for learning programming only. Although there are many domains where visual programming languages are popular, like in procedural architecture, graphics design, electronics design or ETL, visual programming languages never took off on a broader scale. Read the full abstract: http://www.lambdadays.org/lambdadays2019/wojciech-danilo --- THE SPEAKER - PIOTR MOCZURAD Member of the Luna team, Haskell developer Haskell developer in the Luna language team, changing the way people think about software development. Always a functional programming enthusiast, especially Scala and Haskell. As to my academic career: just got my MSc in Computer Science from AGH University of Science and Technology, now I am a doctoral candidate there, working on seamlessly integrating serverless architecture with visual and functional programming. More on Piotr Moczurad: http://www.lambdadays.org/lambdadays2019/piotr-moczurad --- 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 #Luna

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- SYNTHESIZING RECURSIVE FUNCTIONS WITH BANANAS, LENSES, ENVELOPES AND BARBED WIRE by Krzysztof Krawiec ABSTRACT Synthesis of recursive functions from examples has historically proved difficult, not least due to issues of non-termination and the often ad hoc methods for addressing this. In this talk, after discussing those challenges and sketching a broader context of program synthesis, I will present a general synthesis method of implicit recursion which operates via an automatically-derivable decomposition of datatype structure by cases, thereby ensuring well-foundedness. The method is applied to recursive functions of long-standing interest and the results outperform recent work which combines two leading approaches and employs `human in the loop' to define the recursion structure. We show that synthesis with the proposed method on benchmark functions is effective not only with metaheuristic algorithms, but even with random search. Read the full abstract: http://www.lambdadays.org/lambdadays2019/krzysztof-krawiec --- THE SPEAKER - KRZYSZTOF KRAWIEC Automating program synthesis and improvement Krzysztof is a professor in the Institute of Computing Science, Poznan University of Technology, and co-founder of the Center for Artificial Intelligence and Machine Learning (CAMIL), https://camil-research.pl His main research areas are program synthesis and improvement using metaheuristics, exact algorithms (SMT/SAT-solver based), and more recently deep neural networks. He's been applying these and other techniques to synthesize general-purpose functions, mathematical models, image analysis programs, and game-playing agents. www.cs.put.poznan.pl/kkrawiec More on Krzysztof Krawiec: http://www.lambdadays.org/lambdadays2019/krzysztof-krawiec --- 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 #MachineLearning

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- COMPUTER MATHEMATICS, AI AND FUNCTIONAL PROGRAMMING by Moa Johansson ABSTRACT How do you know that a mathematical proof is correct? And how do we find a nice elegant proof in the first place? Can computers help us with this? Solving mathematical problems was in fact one of the tasks adressed by the earliest AI systems developed already in the 1950’s. In this talk I will give a brief history of computer mathematics and how it connects to the development of early functional programming languages like Standard ML. I will also talk about some of my current research in how we can get computers to act creatively in the domain of mathematics; not only reason about given facts, as historically has been the case, but also invent and prove new interesting facts. To achieve this, we use tools like Haskell’s QuickCheck to allow our system, Hipster, to explore and test its way towards promising conjectures. Read the full abstract: http://www.lambdadays.org/lambdadays2019/moa-johansson --- THE SPEAKER - MOA JOHANSSON Researcher at Chalmers University Moa Johansson is an associate professor at Chalmers University in Gothenburg, Sweden. She’s interested in AI applied to mathematics and reasoning about functional programs. More on Moa Johansson: http://www.lambdadays.org/lambdadays2019/moa-johansson --- 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 #AI #QuickCheck

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- FROM HASKELL TO C#, A STORY OF CULTURE SHOCKS AND HAPPY REUNIONS by Øystein Kolsrud ABSTRACT Six years ago, I joined Qlik as a software engineer in a group developing products in C#. My previous experience came primarily from Haskell and C++, but with C# I quickly realized that I could leverage my knowledge of functional programming also in this object oriented language! And (to the great confusion of my colleagues) I did! This talk focuses on my experience of using C# with a touch of Haskell and the reactions I got from my colleagues when doing so. Read the full abstract: http://www.lambdadays.org/lambdadays2019/oystein-kolsrud --- THE SPEAKER - ØYSTEIN KOLSRUD A functional ambassador in an object oriented world Øystein Kolsrud is a software engineer with a background in Haskell that currently mostly develops solutions in C#. He has been doing multiple talks intended for an object oriented audience on the functional background of some of the features found in C#, and how those features are typically leveraged in a Haskell. More on Øystein Kolsrud: http://www.lambdadays.org/lambdadays2019/oystein-kolsrud --- 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

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- ELM, FABLE, AND THE PRACTICAL IMPLICATIONS OF PROGRAMMING LANGUAGE PHILOSOPHY by Michael Newton ABSTRACT On the surface, Elm and Fable (the F# to JavaScript compiler) look very similar - functional, ML based languages with a focus on pragmatism over complexity. In fact, the most common way of writing JavaScript in Fable is via the ""Elmish"" library which implements the, well, Elm architecture. But the philosophy behind the two languages is very different. Take a tour of the two languages with someone who's used both professionally, and we'll investigate how the different ideas behind them have lead to different features, different ecosystems, and even differences in how teams work with them. Read the full abstract: http://www.lambdadays.org/lambdadays2019/michael-newton --- THE SPEAKER - MICHAEL NEWTON Mostly Functional Human Developer, Architect, Trainer, Consultant: Michael is currently working with NoRedInk to teach children better written communication skills. blog.mavnn.co.uk More on Michael Newton: http://www.lambdadays.org/lambdadays2019/michael-newton --- 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 #Fsharp #Elm

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- EFFECTIVE DATA ENGINEERING USING HIGHER KINDED TYPES by Animesh Kumar ABSTRACT In order to create a canonical framework for real-time and batch data processing in the order of 10s of TBs per day, a general purpose framework to instantiate and extend data pipelines is presented here that can be used to ingest, process, and derive ML based inferences from the base data. Read the full abstract: http://www.lambdadays.org/lambdadays2019/animesh-kumar --- THE SPEAKER - ANIMESH KUMAR Senior Software Engineer at Uber I have been a senior engineer with Uber for over 2 years. I have had a history of being part of high velocity teams, and using functional languages to build systems that perform at scale and correctness. Data engineering with functional languages is a field that I did some groundbreaking work on recently. LinkedIn: @anmshkmr More on Animesh Kumar: http://www.lambdadays.org/lambdadays2019/animesh-kumar --- 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 #MachineLearning #DataEngineering #Spark #Flink

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- DESYNCHRONIZED INFORMATION PROPAGATION FOR HIGHLY SCALABLE SIMULATIONS by Mateusz Paciorek ABSTRACT Efficient information flow in complex, often micro-scale simulation systems is a challenging task. In previous work we presented the way to utilize Akka in the process of creating highly concurrent, distributed, message-driven simulation system. Mechanisms of Akka Actors and Akka Clustering proven to be efficient enough to provide near linear scalability in range of tens of thousands of computational cores. We delved further into this topic to ensure that developed method does not influence correctness of simulation. Experimental tests show that wide variety of simulations can be implemented using our framework with negligible impact on the results. Read the full abstract: http://www.lambdadays.org/lambdadays2019/mateusz-paciorek --- THE SPEAKER - MATEUSZ PACIOREK Enthusiast of too many things PhD student at University of Science and Technology. Acquainted with HPC computation and omnipresent machine learning, currently focused on massively distributed simulation systems. More on Mateusz Paciorek: http://www.lambdadays.org/lambdadays2019/mateusz-paciorek --- 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 #Akka

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- FUNCTIONAL APPROACH TO SERVERLESS COMPUTATION IN A VISUAL-TEXTUAL PROGRAMMING LANGUAGE by Piotr Moczurad, Miron Markowski and Łukasz Nawojowski ABSTRACT The serverless model of computation is cost-effective and scalable. However, it poses some challenges: remote function management and the cognitive load of a complex system. We find existing tools insufficient and propose a novel approach using the Luna programming language, its visual-textual representation of programs and functional semantics. We leverage it to create a proof-of-concept framework for remote function management and execution, using AWS Lambda as a base platform. Read the full abstract: http://www.lambdadays.org/lambdadays2019/piotr-moczurad --- THE SPEAKERS PIOTR MOCZURAD Member of the Luna team, Haskell developer More on Piotr: http://www.lambdadays.org/lambdadays2019/daniel-urban MIRON MARKOWSKI Artist wannabe More on Miron: http://www.lambdadays.org/lambdadays2019/miron-markowski ŁUKASZ NAWOJOWSKI Rambler More on Łukasz: http://www.lambdadays.org/lambdadays2019/lukasz-nawojowski --- 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 #Luna