Lambda Days 2023

Lambda Days 2023 - 5-6 June | Kraków | Poland For nearly a decade, Lambda Days have brought the functional programming worlds of academia and industry together. The collision of practical application and research has offered an exciting fresh approach, regardless of your level of expertise. This year, we’re celebrating our 10th anniversary and we want to make it special. Whether you’re new to Lambda Days or you are one of the many friendly faces we see regularly at our events, we look forward to celebrating with you. Come to beautiful, sunny Krakow for Lambda Days to find out what is possible with functional programming - explore the latest in battle-tested Scala, Erlang and Haskell, experience the energy that F# and Elixir bring to the table, connect with the innovators working with Elm, Luna and Ocaml and see what will come next! https://www.lambdadays.org/

Keynote talk by Simon Peyton Jones and Tim Sweeney from Epic Games. Verse is a new programming language, being designed at Epic Games as the language of the metaverse. Verse is a functional logic language, with a bunch of innovative ideas. Like Haskell, Verse is declarative (a variable in Verse stands for just one, immutable value), and higher order (lambdas are first class). But Verse goes well beyond Haskell, with existential variables, unification, expressions that yield multiple values, and much more besides. In this talk we'll give you a sense of what functional logic programming is about, what it looks like to program in Verse, and how we can give meaning to Verse programs using rewrite rules.

✨This talk was recorded at Lambda Days 2023. If you're curious about our upcoming event, check https://lambdadays.org ✨ Keynote: General Purpose, Generative or Foundation: how to regulate Large Language Models Over the last several months, models and programs like GPT have successfully invaded our collective imagination. This includes European politicians and regulators who have been working hard for the last 2 years on the AI Act - a new regulatory framework designed to establish a human-centered, European approach to AI. What are the main legal and societal risks posed by such programs? How has the advent of this new technology influenced the policy debate in the EU? What might a future “general purpose AI” ecosystem look like and how will it impact AI companies? Can fundamental rights and sound business regulations go hand in hand and what needs to be done to make it happen? The speech presents different stages of the legal and political debate around GPT, with special focus put on the AI Act legislative process in the EU, particularly on the challenges for fundamental rights and its potential consequences for the AI sector. 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 ✨ A decade ago we began organising the Lambda Days conference. Over the years of hosting a conference I have learned that it is all about the people: attendees, speakers and the crew running the event. In the keynote opening the 10th anniversary edition I review what contributes to a positive conference experience. I also discuss what were the most watched talks and what we think made them so popular. I also summarise what I have learned about functional programming, what were the most influential talks and what made me step down from chairing the programme committee to focus on teaching. I share my recent experiences of teaching in a primary school and argue why functional programming matters to kids. 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 ✨ Scalability under load. The holy grail of much of a developer's life is that our software survives its beginning. The system went live. Made it to production. Got its first user. But surely, the true test of good software is how it lives up to expectation over its lifetime? After all, you wouldn't say a bridge or building was successful just because the first 100 cars made it across safely. In other forms of engineering, things are load tested under demand either by weight, shocks or overload. As a software developer we should be ensuring SLAs or exploring error conditions under extreme load. But what is “load” in the context of software? And how do we test its many different definitions? In this talk, I will present a relationship made in heaven, the relationship between the actor model and the answer to these questions. I will also introduce you to a library that applies all this knowledge in a ready-to-use dependency.

✨This talk was recorded at Lambda Days 2023. If you're curious about our upcoming event, check https://lambdadays.org ✨ In this talk José Valim - creator of Elixir - discusses Livebook, a computational notebook platform for Elixir: the challenges and opportunities in implementing computational notebooks for a functional language, and how we can enrich a programming environment once we have rich visualizations and interactivity available.

Ever since Girard came up with linear logic back in the 1980s, computer scientists have been trying to figure out how to bring the idea of linearity into the realm of programming languages in order to demonstrate benefits in the real world. Nowadays, there are enough languages starting to take inspiration from linear logic to make your head spin; whether it's linear types in Haskell, uniqueness types in Clean, quantitative types in Idris, or the ownership system in Rust, there seems to be a different approach for everyone - but which is right for you? In this talk, we'll take a whirlwind tour through the design space. I'll explain the strengths and weaknesses of each of these ideas and show you how mixing and matching them can help to improve both safety and performance when working with resources such as file handles, mutable arrays, and communication channels, taking lessons from my ongoing work towards unifying these various concepts in our very own research language, Granule. Let's stay in touch! https://twitter.com/LambdaDays

Functional Programming in Postgresql The Timescaledb toolkit is a PostgreSQL extension that leverages the power of data analytics inside the SQL. Leveraging custom types and operators, it's possible to build functional pipelines directly in the SQL. In this talk, we'll explore functional pipelines in Postgresql using the TimescaleDB toolkit and how to build functional pipelines in Postgresql. The project is written in Rust and is also open-source. The idea is also to give a small intro to the project structure to encourage more functional developers to jump in and contribute!

Have you ever wondered how your editors and IDEs are able to support so many programming languages? Perhaps you've been thinking about designing your own language and wanted to know how you can give it editor support? This talk is for you - Jakub has spent over a year building a small language and integrating it with code editors, and in this talk he shares some of the challenges he has faced, as well as lessons he's learned in that time. Jakub also shows how easy it is to build a new Language Server project in Scala 3 thanks to the Langoustine library. 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 ✨✨✨ Jordan Miller is an autodidact, a she/her, a modern dev, a dev for the millennium. She enjoys cats, clojure(script) and community building. Sometimes known by her online pseudonym "Lambduhh" she is a Cognitect sponsored content creator, podcast host, conference speaker and organizer (and soon to be author!) She resides in sunny Sarasota, FL where you may catch her spinning fire hoop, doing aerial dance, practicing circus arts or inspiring others by producing instructional technical content on multiple platforms. ✨✨✨ 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 ✨✨✨ First impression about Lambda Days? "It's very technical and not a sales pitch for a particular tooling". See what else Kimberley Huizing thought about the event! And make sure you join us in 2024! lambdadays.org ✨✨✨ 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 world's most widely used programming language, Excel, is now Turing complete. A multi-year collaboration between product and research teams has brought pure functional programming to spreadsheets. In this talk, we will cover this journey and its challenges, as well as demonstrating some of the amazing new capabilities of spreadsheets - powered by functional programming. For us, this journey is only getting started. We will show some of the exciting new research ideas we are continuing to explore in collaboration the Excel team. 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 ✨ Conor Hoekstra, Research Scientist, NVIDIA: Most people think of function composition as composing two unary functions together (the B combinator). However, this is only the tip of the proverbial "function composition" iceberg. This talk will be both an introduction and an overview of the world of combinatory logic and combinators. If you have ever wondered what the S, Phi, Psi, or B1 combinators are and why they are so useful, this is the talk for you. And even if you have never wondered that - I promise this talk will be worth your time. It will expand the limits of what you thought was possible with programming languages and give you the tools and knowledge to use combinators in your choice of programming language. 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

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 ✨ "In this talk, I will present Libretto, a Scala DSL that is concurrent by default, with no notion of a thread. The goal is for causal dependence to be the only form of sequencing. Everything else is automatically concurrent—no need to manage concurrency manually. Session types facilitate safe interaction between parts of the program, while linear types ensure resource safety. We will see that concurrent programming can be made as seamless as sequential programming is today" 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 ✨ Combined with an effect system based on abilities, Unison solves many common problems in a novel way. From editing code and publishing libraries, through avoiding dependency hell and implementing dependency injection, to running distributed computations in the cloud. Let's take a whirlwind tour of Unison, writing some Unison code along the way! 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

In Michał's practice throughout the years, too often, young programmers (up to 10 years of experience) concentrate on implementation details of their language/framework of choice rather than on larger principles because that’s what they see in tutorials and in documentation most of the time. That results in a skewed perspective on programming. Contrast that with the field of classical music, where students practice with tutors from the youngest years. A famous composer and pianist, Robert Schumann, wrote Rules for Young Musicians, presenting non-trivial observations students should pursue and discuss with their tutors. In the talk, Michał Moroz proposes that we can improve our industry by adopting a similar perspective. This talk encourages everyone experienced to write down rules, discuss them with others and pass non-obvious knowledge in a form that a young programmer can explore with a more experienced programmer as a guide. 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

GRiSP is a software stack the allows to run the standard Erlang VM and all it’s languages directly on hardware. For a faster start the GRiSP2 board is being build. This year several new things will land, new hardwares, a SaaS which integrates GRiSP and mor but that wouldn’t fit a lightning 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://mastodon.social/@codesync

A short explanation of how the unique properties of the Erlang VM allow for building CQRS/eventsourcing read-optimised applications Join us for next Lambda Days! Check details: https://lambdadays.org 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

Learn about a lawful framework for solving large optimization and "missing information" problems. 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

A lightning talk by Conor Hoekstra, Research Scientist, NVIDIA Conor (he/him) is a Research Scientist at NVIDIA working on array programming models and languages. He is extremely passionate about programming languages, algorithms and beautiful code. He is the founder and organizer of the Programming Languages Virtual Meetup, he has a YouTube channel and is the host of two podcasts: * Algorithms + Data Structures = Programs * ArrayCast: Podcast about Array Languages You can find all of Conor’s conference talks and podcast appearances (on other podcasts) here: https://github.com/codereport/Content 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 ✨ This talk presents three apparently different situations: protocol evolution, flexible data generation, and modular applications. In each case, the main concern is how the code can be easily wired and rewired. It turns out that a simple idea, building a list of functions and values, can help us solve those challenges and is implemented with a suite of libraries in Haskell. 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 ✨ Infrastructure as code is a problem space dominated by declarative yet not functional solutions that leave a lot to wish for. On the other hand, functional languages seem ideally positioned to support declarative yet expressive and powerful tools to manage the complexity inherent to infrastructural concerns. In my talk, I will introduce and present a purely functional Scala language SDK for Pulumi - the programming language-based alternative to Terraform. I will also show how it allows for safer abstractions and how it leverages new language features introduced in Scala 3 for a better Developer experience and improved safety. 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 ✨ Keeping real-time auctions running during rollout. From white-knuckle to continuous deployments Deploying an Elixir cluster that keeps stateful connections with the clients and manages distributed state is usually a much more challenging task than in the case of stateless services. At Whatnot, we learned this the hard way. With every deployment, there was a big risk of data inconsistencies that were very disruptive to auctions in progress. Which, of course, led to the buyers' dissatisfaction and the sellers’ financial losses. Consequently, we limited deployments to off-peak hours. In this talk, we will present a case study of how we drastically increased the reliability of our Elixir service. We did this by automatically verifying the system against most of the problems we've been experiencing in various conditions. We tested the deployments and locally simulated cases where nodes were going up and down randomly. Having included these new tests in our CI pipeline, we gained enough confidence to deploy to production after every single commit, at any time of the day. 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 ✨ Have you ever tried testing that your system fairly delivers requests to worker threads or that updates eventually reach all your nodes? These are “liveness properties” and testing them is hard work! Wouldn’t it be great if you could say roughly what your system does and what it takes for the property to hold and have the computer come up with the tests? Fortunately, QuickCheck Dynamic gives you this power! At Quviq we’ve been successfully using property-based testing since 2006 and in this talk I’m going to tell you about our recent open source extension to Haskell QuickCheck that makes it easy to test even the trickiest properties. The work I will present puts together established techniques that have previously only been available in papers and new ideas that let you give strategies for reaching the most difficult-to-test behaviours in your system. In the talk I will highlight both the principles behind and successful use cases of QuickCheck Dynamic. 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 ✨ Dependently typed programming is a green field. I want to present my experiences with Idris and how dependent types would fit into everyday programming, where proofs are not relevant but software correctness is still essential. I think dependently typed programming is not only for proof engineering. In this talk, I will present a few approaches that don't require a deep knowledge of mathematics but solve problems around software correctness. I guarantee you will understand this talk if you know how to write algebraic data types and functions in an FP language. 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 ✨ Towards Clearly Defined Doubt and Uncertainty: Probabilistic Design-Time Modelling for a Real-Time Globally Distributed Blockchain Much effort is spent building software that can NEVER work because its basic design requirements are contradictory, poorly defined, or simply not understood. No amount of software engineering effort will ever overcome these fundamental limitations. Ensuring quality & performance is especially problematic. Our contention, backed by substantial industrial experience (including Vodafone & the Broadband Forum), is that good functional programming principles and practices, including compositionally (of probabilistic models), separation of concerns & strong semantics can be hugely beneficial in designing as well as developing such systems. The talk describes the ΔQSD metrics-based, quality-centric design methodology and workbench and show how it was used to develop a successful real-time globally distributed blockchain network implementation (Cardano) in Haskell. 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 ✨ Local-first is a new paradigm for developing apps, where you code against an embedded database in the client and have reactive, real-time, multi-user sync in the background. ElectricSQL is a new, open-source, platform for local-first development that works with standard Postgres and SQLite. This talk introduces the ElectricSQL system and dives into its core replication technology, developed in Elixir. OBJECTIVES Introduce local-first software. Introduce the ElectricSQL system. Outline the challenges developing local-first software, including replication model, concurrency and consistency issues. Show how the ElectricSQL system addresses them and how to build apps with ElectricSQL. Discuss the trade-offs with the development model and the role of Erlang and Elixir in the core replication layer. 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 ✨ Anyone who has played Minecraft, The Binding of Isaac, or Diablo has experienced the wonders of procedurally-generated levels in a video game, but very few ponder of the algorithms being used to drive such innovations. In this talk, we will give a brief introduction to computer graphics in WebGL, a rundown of level generation algorithms, and explain good and bad of using ClojureScript to do it all. 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 ✨ If you like pure FP on production - take a look at Daml. It has many faces: -it is a language for smart contracts in a zero-trust environment, -it may be called a Haskell for enterprises, -it may be called a persistence engine on a blockchain, or a tool to design a business model and prototype your application I will show the last aspect and present a sample working application - where Daml is used to model a business and Scala with ZIO for infrastructure. 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