๐จNEW VIDEO! If your Thursdayโs dragging a bit, hereโs something to shake it up โก
Martin Odersky, the creator of #Scala, dives into making capabilities #safe and convenient, with some very cool Scala features along the way.
๐บ Watch the talk: youtu.be/CJ19_h5cECY
26.06.2025 10:30 โ ๐ 5 ๐ 0 ๐ฌ 0 ๐ 0
Lambda Days 2025
Share your videos with friends, family, and the world
โก๏ธ #LightningTalks 2025 recordings are here!
7 bite-sized talks packed with quirky ideas, experimental projects, and #functional fun - from #Gleam to gaming, #Unison to unusual use cases.
Perfect if youโve only got a few minutes but still want to get inspired.
๐บ Watch now:
25.06.2025 14:30 โ ๐ 3 ๐ 2 ๐ฌ 0 ๐ 0
๐ฅ Start the week with a new Keynote video from #LambdaDays!
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
23.06.2025 10:05 โ ๐ 6 ๐ 0 ๐ฌ 0 ๐ 0
โจ This talk was recorded at Lambda Days in June 2025. If you're curious about our upcoming event, check https://lambdadays.org โจKeynote: AI for Mathematical...
Keynote: AI for Mathematical Discovery: (...) Neuro-Symbolic Methods - Moa Johansson |Lambda Days 25
๐ฅ Just dropped: Moa Johanssonโs Lambda Days keynote on AI for mathematical discovery!
From LLMs to symbolic tools - can AI become a true co-author in math?
๐บ Watch here: youtu.be/rLr6VCLlq64
#LambdaDays #AI #TheoremProving #FunctionalProgramming
18.06.2025 15:05 โ ๐ 3 ๐ 0 ๐ฌ 0 ๐ 0
Thanks for joining this year ๐ซถ And see you in 2026 ๐ฅ
15.06.2025 13:43 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0
#LambdaDays 2025 - Ruby on Rails
12.06.2025 13:46 โ ๐ 2 ๐ 1 ๐ฌ 0 ๐ 0
Both #GleamLang talks at #LambdaDays were super well prepared, really nice to see!
13.06.2025 09:45 โ ๐ 8 ๐ 1 ๐ฌ 2 ๐ 0
... just checking if you're actually reading posts ๐ฅธ
14.06.2025 16:54 โ ๐ 3 ๐ 0 ๐ฌ 0 ๐ 0
Thanks for joining us for Lambda Days 2024 ๐ Mark your calendars and and see you next year ๐ฒ
13.06.2025 15:07 โ ๐ 15 ๐ 2 ๐ฌ 1 ๐ 0
We're wrapping up the conference with keynote talk by Romain Michon ๐ฅ
13.06.2025 14:40 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0
Robotics and computing by Natalia Chechina ๐๐๐๐@erlangsolutions.bsky.social at @lambdadays.bsky.social
13.06.2025 12:39 โ ๐ 2 ๐ 1 ๐ฌ 0 ๐ 0
Congrats to all the winners ๐ Hope you had fun with the puzzle ๐ค
13.06.2025 13:31 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0
Don't miss the third one with @hayleigh.dev soon!
13.06.2025 12:16 โ ๐ 5 ๐ 0 ๐ฌ 0 ๐ 0
Time to thank our sponsors that made this event possible ๐
We appreciate your ongoing support, Standard Chartered, @erlangsolutions.bsky.social and @ahrefs.bsky.social ๐
13.06.2025 09:57 โ ๐ 2 ๐ 2 ๐ฌ 0 ๐ 0
Itโs day two at @lambdadays.bsky.social and our very own Natalia Chechina is speaking at 14:20 local time! Come along to 'Functional programming in robotics' to explore how robots could benefit from modern functional programming and distributed systems thinking. ๐ค
13.06.2025 09:49 โ ๐ 6 ๐ 3 ๐ฌ 1 ๐ 0
Martin Odersky's Keynote on Lambda Days, Krakow, Poland.
Martin Odersky's Keynote on Lambda Days, Krakow, Poland. #scala #functionalprogramming
13.06.2025 07:22 โ ๐ 2 ๐ 1 ๐ฌ 0 ๐ 0
We learned how to learn, now it's time to mingle! Enjoy your coffee break and get ready for next round of inspiring talks.
13.06.2025 09:10 โ ๐ 3 ๐ 1 ๐ฌ 0 ๐ 0
Starting day 2 with Martin Odersky, the creator of Scala himself ๐
๐ Panel discussion: Learning How to Learn
and Lightning talks โก๏ธ
#lambdadays @scala-lang.org #scalalang
13.06.2025 07:52 โ ๐ 5 ๐ 0 ๐ฌ 0 ๐ 0
Laptop with a slide deck
Good morning @lambdadays.bsky.social!
Today, together with @michal.pawlik.dev, we will go through the history of Scala: there will monads, transformers, actors, singers and the meaning of being in a startup!
Come coin us in Track 2 @13:30!
13.06.2025 07:09 โ ๐ 5 ๐ 2 ๐ฌ 0 ๐ 0
Heading out to Cracow for #LambdaDays Any other #FSharp people attending?
11.06.2025 12:49 โ ๐ 5 ๐ 1 ๐ฌ 0 ๐ 0
Should we rename Lambda Days to Dragon Fest? ๐ค
Check @erlangsolutions.bsky.social stand to see how you can win one of the brick dragons ๐
Or make yourself one - origami instructions and paper are waiting for you downstairs.
#lambdadays
12.06.2025 10:50 โ ๐ 6 ๐ 3 ๐ฌ 0 ๐ 0
Had the pleasure to give a keynote about mathematical discovery and AI today at #lambdadays in lovely Krakow.
12.06.2025 14:25 โ ๐ 5 ๐ 1 ๐ฌ 1 ๐ 0
Evan Czaplicki, creator of Elm, at Lambda Days Conf 2025 on Silicon Valley culture and how its incentives are inherently opposed to quality
Evan Czaplicki, creator of Elm, at Lambda Days Conf 2025 on Silicon Valley culture and how its incentives are inherently opposed to quality
Evan On Killing
12.06.2025 15:10 โ ๐ 2 ๐ 1 ๐ฌ 0 ๐ 0
๐ฅ
12.06.2025 18:57 โ ๐ 4 ๐ 0 ๐ฌ 0 ๐ 0
Evan Czaplicki is wrapping up the talks part of the day with his presentation about language adoption.
Next stop โก๏ธ afterparty ๐
#lambdadays #elm
12.06.2025 15:03 โ ๐ 4 ๐ 0 ๐ฌ 0 ๐ 0
Talks are great but don't forget about the hallway track (a.k.a. gossiping and geeking out with friends and new people). Grab a coffee and enjoy being part of this amazing community!
12.06.2025 13:29 โ ๐ 9 ๐ 1 ๐ฌ 0 ๐ 1
Weโre a non-profit focused on growing and supporting a diverse community and tech based on the BEAM #erlef
Associate Professor in Data Science and AI at Chalmers University of Technology. Neuro-symbolic AI, AI for maths, a bit of NLP and stir.
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Artist ๐จ | Photographer ๐ท | Globetrotter ๐ | Speaker ๐คน๐ปโโ๏ธ | Author of Ionide ๐ | Researcher @ Github Next ๐ฌ| Co-creator of #GitHubCopilot and Copilot NES | Building the future of software development ๐ป
Software engineer ๐ป โข #Scala โข #FP ฮป โข https://github.com/majk-p โข https://polyvariant.org/ โข Speaker ๐๏ธ โข Learning through teaching โข Blog ๐๏ธ https://blog.michal.pawlik.dev
Elixir, Rust, Open Source.
https://leandro.io
https://mdelixir.dev
https://autumnus.dev
MQ Summit explores the future of messaging systems with expert talks and networking on scalable, reliable solutions. Join us in Berlin on 6 November 2025.
CFT: https://sessionize.com/mq-summit-2025/
Waiting list: https://mqsummit.com/#newsletter
Love being in Earth. Also: walking, math, music. And pure functional languages like Elm.
Finite tape Turing machine
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk, and am also to found at @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Elixir contributor | Linux fanatic | Emacs zealot | Bonafide nerd | Frustrated (Indian) teenager
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. โ๐ฎ๐ณ โง โ๐ฌ๐ง โง โ๐ช๐บ โง โ๐บ๐ธ #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://satnam.raintown.org
Dad, software engineer, and lover of metal. He/him
Making compilers, SoCs, renderers and more in Scala
Ex Scala Compiler Team
happiness through functional programming
Website: https://active-group.de
Fediverse: @activegroupgmbh@discuss.systems
Unsere Konferenz: @bobkonf.bsky.social
๐จ Join the waiting list for exclusive ticket prices:
https://elixirconf.com/
๐ 27-28 August
๐ Orlando, Florida & Online
Staff Engineer at Discord working on Design Systems, Accessibility, Other Stuffโข๏ธ Collage & generative plotter artist ๐
Supporting the worldwide #fsharp community via online channels
https://hachyderm.io/@fsharponline
https://x.com/fsharponline
web application, golang, fsharp, dotnet, node.js, distributed systems, functional stuff - making internal developer platforms at day
Twitter: @silverfighter
