List of videos

Static analysis tools love pure FP | Jeroen Engels | Senior software engineer at Humio, a CrowdStrike company ABSTRACT Functional programming languages have many benefits that are often explained from the developer's point of view, such as how easy it is to maintain a codebase. But we rarely look at it from the point of view of tools. Static analysis tools try to infer meaning and intent in order to find bugs and code smells, but they can be very hard to write depending on the features of the analyzed language. We will look at how explicitness, the lack of side-effects and dynamic constructs in pure FP languages empower tools to trivially achieve surprising results that would be nearly impossible with other paradigms. • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what’s coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw

This video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays2022 Predicting and Preventing Chaos with Formal Methods in TLA+ | Thomas Gebert - Lecturer at CUNY CityTech ABSTRACT You wouldn't build a house without a blueprint, but a lot of design in distributed computing still comes in the form of untestable whiteboard drawings and ad-hoc scripts, with the hope (and prayers) of that Kubernetes will save you. A good use of formal methods can be the difference between you sleeping through the night and being paged, and TLA+ is great for formal methods. • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Lambda Days conference near you! • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global

Teaching Functional Programmers Logic and Metatheory | Frederik Krogsdal Jacobsen | Making formal methods easier to understand ABSTRACT We present a novel approach for teaching logic and the metatheory of logic to students who have some experience with functional programming. We define concepts in logic as a series of functional programs in the language of the proof assistant Isabelle/HOL. This allows us to make notions which are often unclear in textbooks precise, to experiment with definitions by executing them, and to prove metatheoretical theorems in full detail. Our experience is that students grasp the meaning of programs quickly, and appreciate the precision available in the mechanized definitions and proofs. Authors: Frederik Krogsdal Jacobsen and Jørgen Villadsen - Technical University of Denmark, Copenhagen, Denmark • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what’s coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw

This video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays2022 osnap! Painless & massive regression test generation for OCaml | Valentin Chaboche - Software Engineering Intern at Nomadic Labs ABSTRACT The presentation is a story of building data access library for a functional language. Crucial design decisions and their reasons will be described, showing the process of growing it up over time from the minimal solution to a fairly feature-rich product. The presentation will bring up following topics: - place of data access mechanisms in overall application architecture and its impact on library design - representing queries as functions; using runtime code generation to implement query execution and result mapping - controlling side-effects and connection management with Async and Reader monad composition - making DSL for transforming results to application-level data structures - building dynamic query framework with templating and poor-man existential types. • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Lambda Days conference near you! • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global

This video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays2022 An Enigma Machine in Elm | Ju Liu - Software Engineer ABSTRACT The Enigma machine was an encryption device that was used by German forces during WW2 to send secret messages. In this talk, we will explain exactly how the encryption process works and go through an implementation of it in Elm. We will demonstrate how to encrypt and decrypt a message. Then we will go over the weaknesses that made it exploitable by Alan Turing and the other fine folks in Bletchley Park. By the end of the talk, you'll be able to point out all the inaccuracies in "The Imitation Game". • Timecodes: 00:00 - 08:43 - Intro 08:44 - 14:32 - The Enigma Machine 14:33 - 24:52 - Journey of a Letter 24:53 - 30:23 - How to Encipher a Message 30:24 - 33:59 - Rotor: Encoding 33:40 - 38:23 - Enigma Machine Test 38:24 - 43:50 - Resources & QnA • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Lambda Days conference near you! • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global

What every programmer should know about cognition | Felienne Hermans | Programming is easy ABSTRACT Often when we talk about libraries, frameworks and modules, we talk about their technical aspects, like the language they are created in. However, programming languages and code bases can also be viewed through a cognitive lens. In this talk, Felienne Hermans, author of the Programmer's Brain, will discuss how your brain sees code, and what the impact of that is for reading code and for learning new languages. Examining code from a cognitive perspective, rather than a technical perspective, can help you gain a better perspective on how people interact with code and how you learn. • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what’s coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw

This video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays2022 Orthotope APL inspired arrays for Haskell | Lennart Augustsson - Principal Programmer at Epic Games ABSTRACT Orthotope is a Haskell library for multi-dimensional arrays, with an API is somewhat inspired by APL. The library provides a number of efficient structural (i.e., changing the shape of the array, but not its contents) operations on arrays. By using a clever (and ancient) representation of arrays, many structural operations can be done in constant time. The array comes in several variants depending on what underlying storage is used, and how strongly typed the API is. • Timecodes 00:00 - 10:49 - Intro for Orthotope + Array Type and Notation 10:50 - 25:19 - Examples 25:20 - 29:00 - Matrix Multiply 29:01 - 33:06 - Complexity 33:07 - 38:17 - Implementation 38:18 - 43:27 - Conclusion & QnA • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Lambda Days conference near you! • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global

This video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays2022 A case study about Comparative Programming Languages' Energy Consumption | Aleksander Lisiecki - Erlang and Elixir developer and trainer @Erlang Solutions ABSTRACT The IT industry is doing well, thanks to high revenues, but what if we could save some power writing more efficient programs and by that save costs and become eco friendly and more? In my talk, I would like to present the results of experiments where I implement the same program using different technologies and compare how are they doing regarding energy consumption and discuss its pros and conns to increase public awareness. • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Lambda Days conference near you! • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global

This video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays2022 Using smoke and mirrors to compile a functional programming language to efficient GPU code | Troels Henriksen - Assistant Professor at the University of Copenhagen ABSTRACT It's been often said that pure functional programming is a great fit for parallel programming, because it is free of side effects. So how come GPUs, perhaps the most parallel mainstream devices, are not dominated by functional programming languages? It turns out that GPUs and similar high-performance processors are heavily restricted in what they can efficiently do, and the way we normally compile functional languages tends to run face-first into most of these restrictions. How do you compile a functional language when even something as simple as allocating memory becomes a struggle? The trick is to carefully design a functional language that can be transformed into the kind of heavily restricted code expected by the hardware. The programmer may think they're using all the lovely higher-order functions we know and love, but really they're writing the kind of code you'd expect from a C compiler, full of loops, in-place updates, and up-front memory allocations! We have designed one such language, Futhark, which really feels like you're programming in a pretty decent subset of a language such as OCaml or Haskell, but with strategically placed limitations (and a very aggressive compiler) that lets it generate GPU code that is competitive with hand-written code. In my talk, I'll talk about some of the crucial transformations, how the compiler transforms the program, and how it lays out data in memory in ways that allow efficient access - without the programmer having to worry about anything but writing nice, parallel, purely functional code. • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Lambda Days conference near you! • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global