#CodeBEAM #CodeBEAMAmerica #CodeBEAMLiteStockholm #CodeBEAMEurope #CodeBEAMLiteNYC #ElixirConfEU #LambdaDays #RabbitMQSummit
#CodeBEAM #CodeBEAMAmerica #CodeBEAMLiteStockholm #CodeBEAMEurope #CodeBEAMLiteNYC #ElixirConfEU #LambdaDays #RabbitMQSummit
Evan Czaplicki, creator of #Elm, shares ideas on how we really get #functional languages adopted in industry: from business concerns to collaboration across the stack.
💡 Watch “Rethinking our Adoption Strategy”: youtu.be/YPAaUFGrlEE
Evan Czaplicki, creator of #Elm, shares ideas on how we really get #functional languages adopted in industry: from business concerns to collaboration across the stack.
💡 Watch “Rethinking our Adoption Strategy”: youtu.be/YPAaUFGrlEE
Creator of Elm, Evan Czaplicki, explores how we can make our own luck in typed functional programming—winning over decision-makers, improving tooling, and creating more jobs for FP enthusiasts.
🎟️ Hear his insights at #LambdaDays → www.lambdadays.org
Creator of Elm, Evan Czaplicki, explores how we can make our own luck in typed functional programming—winning over decision-makers, improving tooling, and creating more jobs for FP enthusiasts.
🎟️ Hear his insights at #LambdaDays → www.lambdadays.org
They build scalable, fault-tolerant systems with #Erlang, #Elixir & #RabbitMQ—and now, they're helping more people join our community. 💙
🎟️ Apply for Community Tickets: www.lambdadays.org
They build scalable, fault-tolerant systems with #Erlang, #Elixir & #RabbitMQ—and now, they're helping more people join our community. 💙
🎟️ Apply for Community Tickets: www.lambdadays.org
From LLMs to symbolic tools - can AI become a true co-author in math?
📺 Watch here: youtu.be/rLr6VCLlq64
#LambdaDays #AI #TheoremProving #FunctionalProgramming
From LLMs to symbolic tools - can AI become a true co-author in math?
📺 Watch here: youtu.be/rLr6VCLlq64
#LambdaDays #AI #TheoremProving #FunctionalProgramming
Meet our Community Partner for #LambdaDays 2025: @scalatimes.com, your source of knowledge for all things #Scala 🙌
Meet our Community Partner for #LambdaDays 2025: @scalatimes.com, your source of knowledge for all things #Scala 🙌
🎟️ Don't miss her talk at #LambdaDays 2025. Get your tickets now: www.lambdadays.org
🎟️ Don't miss her talk at #LambdaDays 2025. Get your tickets now: www.lambdadays.org
The video of my talk @LambdaDays is up! :) www.youtube.com/watch?v=pnZS...
The video of my talk @LambdaDays is up! :) www.youtube.com/watch?v=pnZS...
#lambdadays
#lambdadays
👉 sessionize.com/lambda-days-...
#FunctionalProgramming #CallForTalks #ComputerScience
👉 sessionize.com/lambda-days-...
#FunctionalProgramming #CallForTalks #ComputerScience
They connect, support, and uplift women in IT across Poland - and we’re proud to have them with us at #LambdaDays 2025!
👉 womenintechnology.pl
They connect, support, and uplift women in IT across Poland - and we’re proud to have them with us at #LambdaDays 2025!
👉 womenintechnology.pl
Nicolas Rinaudo will show you how to create a programming language from scratch and level up your tools and #DSL. 💻
Zainab Ali will treat docs like code, improving your workflow. #Racket #Elixir #Scala 📝
🎟️ Register here: www.lambdadays.org
Nicolas Rinaudo will show you how to create a programming language from scratch and level up your tools and #DSL. 💻
Zainab Ali will treat docs like code, improving your workflow. #Racket #Elixir #Scala 📝
🎟️ Register here: www.lambdadays.org
What’s an #FPGA? How can #Haskell help build one? 🛠️ @gergoerdi.bsky.social will show how a bit of Clash code gets you from zero to a working Flappy Bird circuit! 🐦🎮
Join us at #LambdaDays! 🎟️ Save a spot for you and your team: www.lambdadays.org
What’s an #FPGA? How can #Haskell help build one? 🛠️ @gergoerdi.bsky.social will show how a bit of Clash code gets you from zero to a working Flappy Bird circuit! 🐦🎮
Join us at #LambdaDays! 🎟️ Save a spot for you and your team: www.lambdadays.org
-@szymonrd.bsky.social on developer experience
-Marcus Crestani (@activegroupgmbh.bsky.social) on Bidirectional #Data Transformations
-Nelson Vides (@erlangsolutions.bsky.social) on #Automata
Watch on:
youtube.com/playlist?lis...
🫵 www.lambdadays.org
-@szymonrd.bsky.social on developer experience
-Marcus Crestani (@activegroupgmbh.bsky.social) on Bidirectional #Data Transformations
-Nelson Vides (@erlangsolutions.bsky.social) on #Automata
Watch on:
youtube.com/playlist?lis...
🫵 www.lambdadays.org
(we can only post 4 pics here, but you can find full gallery on our FB page 🖼️)
#lambdadays #functionalprogramming
(we can only post 4 pics here, but you can find full gallery on our FB page 🖼️)
#lambdadays #functionalprogramming
At #LambdaDays 2025, Hécate will dive into Effectful in Haskell, while Flavio Brasil unveils the Kyo Monad in Scala. Two talks, two languages—one powerful concept.
🛠️ How do they compare? Find out in Krakow!
🔗 lambdadays.org/lambdadays2025#register
At #LambdaDays 2025, Hécate will dive into Effectful in Haskell, while Flavio Brasil unveils the Kyo Monad in Scala. Two talks, two languages—one powerful concept.
🛠️ How do they compare? Find out in Krakow!
🔗 lambdadays.org/lambdadays2025#register
@etorreborre.blog #Rust dev at #Ockam, returns to #LambdaDays! 🚀 He’ll tackle #dependency injection in FP, exploring what makes a good DI system & how to implement one in #Unison. Don’t miss it!
🎟️ Get your ticket now: www.lambdadays.org
@etorreborre.blog #Rust dev at #Ockam, returns to #LambdaDays! 🚀 He’ll tackle #dependency injection in FP, exploring what makes a good DI system & how to implement one in #Unison. Don’t miss it!
🎟️ Get your ticket now: www.lambdadays.org