The possibilities of devops engineering often disregarded by functional programmers: discover them with Łukasz Biały in May 🙌
🎟️ lambdadays.org 🎟️

#functionalprogramming #devops

Using functional abstractions like optics, lenses, and projections to specify composable bidirectional data transformation: sounds interesting? Then see you in May for Marcus' talk: lambdadays.org

#lambdadays #functionalprogramming #datatransformations

🙌 Well-Typed joined us as Silver Sponsor for Lambda Days 2024! Thank you for your support!

#lambdadays #haskell

Discover QuickCheck, an open-source extension to Haskell, designed to simplify the testing of 'liveness properties' in systems.
The talk by Maximilian Algehed is on Code Sync's YT: youtu.be/qimeNfslrHg

#haskell #functionalprogramming #lambdadays

Discover the efficiency of formal verification with Isabelle/HOL and how better tools are making it more accessible: join Maja Trela's talk in May 🙌
lambdadays.org

#functionalprogramming #lambdadays

Our Diversity & Inclusion Programme for #LambdaDays 2024 is up and running thanks to our sponsor, #StandardCharteredPoland 🙌
➕ Details: lambdadays.org
Share this post with your networks, so these opportunities reach those who can benefit the most.

An overview of algebraic effect handlers, and how to combine effect handlers with parallelizable computations: check details of Ningning Xie's keynote talk 👉 lambdadays.org/lambdadays2024…

#functionalprogramming #lambdadays

Discover how a simple concept - creating a list of functions & values - revolutionizes coding challenges.
Eric Torreborre talk from #LambdaDays 2023 is here: youtu.be/fFCcvsbCrH8

#functionalprogramming #codinglife

Insights into DSL and library design, with examples presented using a Haskell-like language from Mart Lubbers: be there with us! lambdadays.org

#haskell #functionalprogramming #lambdadays

Get a glimpse of Lambda Days 2023 and what made the event truly amazing: the inspiring talks, game-changing innovations, and unique networking opportunities 🙌

#LambdaDays #LambdaDays 2023 #codesync #techconference #functionalprogramming

That's Robin H. Hansen's ideal #programming language 👀
Learn more about his ideas for designing one for local reasoning and simple debugging: youtu.be/1Z5NJs_gy0w

#lambdadays #programming #debugging

It's all about community! 🙌 Let's welcome our Community Partner for Lambda Days 2024: Techie's Space, an initiative that gathers technology enthusiasts in Kraków 🐉 techiesspace.pl

#lambdadays #techiesspace #kraków

🔥 lambdadays.org 🔥
2 months to go! Do you have your ticket yet?

🙌 The Elixir programming language and #functionalprogramming enthusiast, Linux user and.... highschooler!
Benjamin Philip is our youngest speaker and a valued member of Erlang Ecosystem Foundation.
Join his talk in May at #LambdaDays : lambdadays.org

The impact of faulty compilers on #SoftwareDevelopment : in his talk Thodoris Sotiropoulos will explain how important are robust type checkers.
Come and see it in Krakow: lambdadays.org 🔥

#functionalprogramming #lambdadays

Lambda Days Palantir coffee mug served solidly for some time now. It's time to revisit the conference.

Why understanding human cognition matters in tech? Join Michael on a journey through #accessibility tools for the ADHD brain in #SoftwareDevelopment .
Details ➕ tickets: lambdadays.org

#functionalprogramming #lambdadays

Concurrent All the Way Down: Functional Concurrency with Libretto by Tomas Mikula will show you that concurrent #programming can be made as seamless as sequential programming is today
youtube.com/watch?v=jDCoR0…

#lambdadays