List of videos

What Mario Rogic enjoyed the most about Lambda Days and its unique blend of academic and industry insights? See for yourself. Let's keep in touch! Follow us on: 💥Twitter: https://twitter.com/LambdaDays 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync

"As an industry we wave our hands about the increasing complexity of software, but we also unwittingly keep heaping on a silent killer: glue code. It often goes unnoticed hiding behind status quo, makes our work more complex, and creates more bugs than we realise. However type-safe functional programming has a unique ability to both expose and tackle this problem, which a number of projects in the Elm community are cluing onto, taking cues from Elm's design itself. I'll walk through the "semantic boundaries" that cause this complexity, show how FP & type-safety helps tame it, and shine light on some emerging projects; from a $1BN valuation company's approach to complex interop with Elm, to an Elm static site generator that turns intra-system integration into a delight. This talk will be a realtime interaction with the entire audience throughout. Attendees will shape the dialogue & live slides. The entire live platform itself is built using the techniques described in the talk." Let's keep in touch! Follow us on: 💥Twitter: https://twitter.com/LambdaDays 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync

10th edition of Lambda Days was amazing! See for yourself, and join as at our next conference: https://lambdadays.org ✨✨✨ Did you know that Lambda Days in 2017 was Nikhil Barthwal's first conference? See what he appreciates the most at events like that! His talk from Lambda Days 2023 is available here: https://youtu.be/bvJmQ5qP--Y ✨✨✨ Let's keep in touch! Follow us on: 💥Twitter: https://twitter.com/LambdaDays 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync

✨This talk was recorded at Lambda Days 2023. If you're curious about our upcoming event, check https://lambdadays.org ✨ The objective of the talk is to show how to create a trading bot in F# and demonstrate how easily various trading strategies can be translated into functionally correct code. Let's keep in touch! Follow us on: 💥Twitter: https://twitter.com/LambdaDays 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync

10th edition of Lambda Days was amazing! See for yourself, and join as next year: lambdadays.org ✨✨✨ Tobi is a developer, leader, benchmarker, Rubyist, Elixir fan, learner, teacher and agile crafter by passion. He loves collaboratively creating just about anything people enjoy - be it the Ruby User Group Berlin, SimpleCov, benchee or other projects while thinking about new ideas to push boundaries.✨✨✨ ✨✨✨ Let's keep in touch! Follow us on: 💥Twitter: https://twitter.com/LambdaDays 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://mastodon.social/@codesync

✨This talk was recorded at Lambda Days 2023. If you're curious about our upcoming event, check https://lambdadays.org ✨ What’s it like to work on Open Source projects? They’re all the same, aren’t they? No, they’re not - the longer I work on Open Source the more I realize how different the experience and feeling are for each one of them. Walk with me through some stories that I experienced in Open Source, the friends made and the lessons learned along the way. This should help you take your first steps in open source, be it as a contributor or maintainer as well as provide some useful insights even for more seasoned Open Source developers.

✨This talk was recorded at Lambda Days 2023. If you're curious about our upcoming event, check https://lambdadays.org ✨ Tauri is a fully open-source Rust framework that lets you build Windows, macOS, Linux, iOS and Android apps using a web-frontend and supercharged native code. And the best part? Tauri apps are tiny and super secure! During this session, we will be diving head-first into the world of native apps and how you can build them without leaving the benefits of functional programming behind.

✨This talk was recorded at Lambda Days 2023. If you're curious about our upcoming event, check https://lambdadays.org ✨ Writing unit tests is pretty much standard practice these days. Otherwise, how would you make sure that your code does what you expect? Yet, some software is mission-critical and merely testing a few examples – or even randomized testing – is not enough. To reach higher levels of assurance, we need proof: mathematical, formal proof. This session will be based on an example from industry, where we successfully verified the core of a financial application. I will describe the core architecture of the system and the mathematical foundations behind the verification, including the classes of problems that we can (or cannot) discover with this approach. Let's keep in touch! Follow us on: 💥Twitter: https://twitter.com/LambdaDays 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync

✨This talk was recorded at Lambda Days 2023. If you're curious about our upcoming event, check https://lambdadays.org ✨ Are you tired of staring at a screen full of confusing error messages when working with a LISP? This talk will focus on the common patterns of errors in the language and teach attendees how to quickly recognize and troubleshoot them. We will specifically be using Clojure as our example language, but the concepts and techniques covered can be applied to other LISP languages. Through real-world examples, and my personal experiences, attendees will gain valuable insights and practical tips for improving their code and becoming more efficient at debugging. Whether you're a seasoned Clojure developer or just getting started, you won't want to miss this fun and informative session on mastering the art of error handling in LISP. Let's keep in touch! Follow us on: 💥Twitter: https://twitter.com/LambdaDays 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync