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 --- KEYNOTE: F# CODE I LOVE by Don Syme ABSTRACT I’ll talk about examples of F# code I love and why. Along the way, I’ll talk about how it relates to doing language design, functional programming, object programming, language features and the “sweet spot” for using functional-first programming both as an individual and in teams. Much of it will be other people’s code. Read the full abstract: http://www.lambdadays.org/lambdadays2019/don-syme --- THE SPEAKER - DON SYME .NET Generics, C# 2.0, F# 1.0-4.5, Async, Type Providers Don is a language designer, compiler hacker, researcher at Microsoft Mobile Tools and a contributor to F#. He works with users and open source communities to make better programming technologies, and, through that, make people more productive and happier. More on Don Syme: http://www.lambdadays.org/lambdadays2019/don-syme --- 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

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- KEYNOTE: RETHINKING BLOCKCHAIN CONTRACT DEVELOPMENT by Manuel M T Chakaravarty ABSTRACT With the proliferation of blockchain designs, we see a proliferation of proposals for languages and systems to script the rules governing transactions on these blockchains, generally known as smart contract languages. Despite the name, these languages are usually fairly conventional programming languages used to impose constraints on the transactions permitted to transfer assets and manipulate data stored on the blockchain. Given the high financial stakes and widely publicised exploits on first generation (Bitcoin) and second generation (Ethereum) blockchains, the third-generation Cardano blockchain places a strong emphasis on functional programming and formal methods. This includes a new approach to contract languages based on state-of-the art research in programming languages and the increased safety provided by functional programming. The benefits of functional programming go even further: instead of having to invent yet another custom language, we simply use Haskell for the job, we design a superior blockchain architecture, and we seamlessly combine on-chain and off-chain computations. Read the full abstract: http://www.lambdadays.org/lambdadays2019/manuel-m-t-chakravarty --- THE SPEAKER - MANUEL M T CHAKARAVARTY Tweag I/O & IOHK Manuel M T Chakravarty works with Tweag I/O as a functional programming evangelist, architects blockchain languages at IOHK, and develops the interactive development environment Haskell for Mac — one of the first Swift apps on the Mac App Store. His interests span from functional programming, novel compiler technology & programming language theory over high-performance & distributed computing to blockchain technology. More on Manuel M T Chakaravarty: http://www.lambdadays.org/lambdadays2019/manuel-m-t-chakravarty --- 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 --- KEYNOTE - USERS' PRIVACY IS IN YOUR HANDS! by Katarzyna Szymielewicz ABSTRACT Internet services promise ever faster and more intuitive online experience, often without mentioning real price and risks that come with them. Data leaks are just a small part of the problem. Data generated by algorithms or collected by applications beyond users' control have direct influence on their lives – credit score, job opportunities or exposure to biased news and advertising. GDPR [new data protection regulation] gave users stronger safeguards and new tools to protect their data. Privacy by design is no longer an aspiration - it became a requirement. But it won't become reality without people who build and design technology! Every day you make important choices that have real consequences for users' privacy. Let me convince you to use with power with a sense of responsibility. Read the full abstract: http://www.lambdadays.org/lambdadays2019/katarzyna-szymielewicz --- THE SPEAKER - KATARZYNA SZYMIELEWICZ privacy by design believer Expert in human rights and technology, lawyer and activist. Co-founder and president of Panoptykon Foundation – Polish NGO defending human rights in surveillance society. Since 2012 vice-president of European Digital Rights. From 2005 to 2009 associate at international law firm Clifford Chance, specialized in data protection and other regulatory matters. Graduate of the University of Warsaw (Law) and the School of Oriental and African Studies (Development Studies). Stipendist and member of Ashoka – international network of social entrepreneurs. More on Katarzyna Szymielewicz: http://www.lambdadays.org/lambdadays2019/katarzyna-szymielewicz --- 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 #GDPR #privacy

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- EMPOWERING THE QUANTUM REVOLUTION WITH Q# by John Azariah ABSTRACT Quantum computing takes a giant leap forward from today’s technology—one that will forever alter our economic, industrial, academic, and societal landscape. This has massive implications for your customers in any industry including healthcare, energy, environmental systems, smart materials, and more. This talk covers the basics of Quantum Computing, Q#, the Microsoft Quantum Development Kit, and some resources to help you get started in programming quantum algorithms. Read the full abstract: http://www.lambdadays.org/lambdadays2019/john-azariah --- THE SPEAKER - JOHN AZARIAH ❤ (I, _) (Q#) John is a regular speaker at developer conferences around the world, on topics such as functional programming, quantum computing, cloud computing, language design, and other trends in technology and software architecture. He has over 25 years of professional software development experience including over 10 years at Microsoft Corporation. His experience with functional programming and DSL design saw him move to Microsoft Research where he led the compiler design of Microsoft Q# - a language for the domain of quantum computing. He is currently a Principal Architect in the Microsoft Quantum team. More on John Azariah: http://www.lambdadays.org/lambdadays2019/john-azariah --- 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 #QuantumComputing #microsoftq#

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- BUILDING ON DEVELOPERS' INTUITIONS TO CREATE EFFECTIVE PROPERTY-BASED TESTS by John Hughes ABSTRACT Property-based testing is increasingly popular, yet the properties that developers write are not always effective at revealing faults. Developers often don't notice this, because it’s impractical to inspect all the generated tests. But they DO have intuitions for tests they would like to run. Many try to generalize these into properties, but this works poorly. In this talk, I’ll show another way to use those intuitions to build effective properties cheaply. I'll also show new features in Haskell QuickCheck that support this way of working. Read the full abstract: http://www.lambdadays.org/lambdadays2019/john-hughes --- THE SPEAKER - JOHN HUGHES Co-Designer Of Haskell And Quickcheck John Hughes has been a functional programming enthusiast for more than thirty years, at the Universities of Oxford, Glasgow, and since 1992 Chalmers University in Gothenburg, Sweden. He served on the Haskell design committee, co-chairing the committee for Haskell 98, and is the author of more than 75 papers, including ""Why Functional Programming Matters"", one of the classics of the area. With Koen Claessen, he created QuickCheck, the most popular testing tool among Haskell programmers, and in 2006 he founded Quviq to commercialise the technology using Erlang. More on John Hughes: http://www.lambdadays.org/lambdadays2019/john-hughes --- 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 #QuickCheck #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 --- DOES JAVASCRIPT ADOPTS FUNCTIONAL PROGRAMMING? by Yoav Luft ABSTRACT In this talk I'll present a small study I'm conducting which attempts to determine whether Javascript developers are adopting more declarative programming style, and whether this style influenced by functional programming. The study analyses code from popular open source projects to detect changes in coding style. Read the full abstract: http://www.lambdadays.org/lambdadays2019/yoav-luft --- THE SPEAKER - YOAV LUFT Making software for the jilted generation @ Prototyp SE Yoav was born and raised in Israel and had recently moved to Sweden with his partner Dafna. Since his first line of code (Q Basic, age 11) until this day he had tried to perfect his knack for doing more work with less effort. He is highly involved with the meta of programming: how we work, think, develop and communicate. He is the founder of Israel's first functional programming conference, FLIP, and was on the organising team for HackExtend - a diversity focused hackathon. He now creates awesome software at Prototyp.se More on Yoav Luft: http://www.lambdadays.org/lambdadays2019/yoav-luft --- 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 #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 --- FAST & FUNCTIONAL by Michał Płachta ABSTRACT In this talk we are going to create a functional and blazingly fast microservice. We will use functional programming abstractions to quickly mix & match different HTTP libraries, state implementations and concurrency configurations. Each step will be followed by a performance analysis using different tools from JVM toolbox. This talk is for you if you want to see how cats IO monad, async-profiler, flame graphs and wrk are used together to create nanoseconds-fast Scala service for YouTube videos statistics. Read the full abstract: http://www.lambdadays.org/lambdadays2019/michal-plachta --- THE SPEAKER - MICHAŁ PŁACHTA Making games using λs Polyglot programmer & functional programming enthusiast. Husband, father, cyclist, avid fan of coffeine, theine and mateine. Loves the human component in software projects. Works @ Reality Games (reality.co). Has a blog at michalplachta.com. More on Michał Płachta: http://www.lambdadays.org/lambdadays2019/michal-plachta --- 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 #performance #jvm

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- TYPE THEORY IN PRACTICE by Gabriel Habryn ABSTRACT After amazing presentation “Propositions as Types” by Philip Wadler, I felt intrigued and lost. What is the type theory? How can I benefit from it as a software engineer? The story of how I end up applying Type Theory in static configurations files like JSON and YAML. What I learn in the process of this experiment, and how it changed my perspective in software design. Read the full abstract: http://www.lambdadays.org/lambdadays2019/gabriel-habryn --- THE SPEAKER - GABRIEL HABRYN Backend Domain Lead at Brainly Gabriel Habryn functional programming enthusiast who is not afraid to use free-monads and the Type Theory. During the day at Brainly helps engineers to use best practices. Encourage experimentation and research. Coach, and train in new technologies and concepts (#GraphQL, #CRDTs, #EventStorming, #SystemDesign...). During afternoons explore concepts of functional programming, and publish code on GitHub under @widmogrod nickname. More on Gabriel Habryn: http://www.lambdadays.org/lambdadays2019/gabriel-habryn --- 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 --- PROGRAMMATION EN LOGIQUE by Lars Hupel ABSTRACT Prolog is one of the most underrated programming languages around; possibly because of its strange syntax and the unusual paradigm. But it is a very nice special-purpose programming language. In this talk, I would like to introduce Prolog’s programming model, showcase some programming domains in which Prolog allows for very concise, elegant programs, and finally describe how it can also be used as a general-purpose tool. Read the full abstract: http://www.lambdadays.org/lambdadays2019/lars-hupel --- THE SPEAKER - LARS HUPEL INNOQ Lars is a consultant in Munich, Germany. He has been using Scala for quite a while now, and is known as one of the founders of the Typelevel initiative which is dedicated to providing principled, type-driven Scala libraries. He also talks about Haskell and Isabelle a lot. lars.hupel.info More on Lars Hupel: http://www.lambdadays.org/lambdadays2019/lars-hupel --- 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 #Prolog