你可能會喜歡
What is the origin of Lambda? Why does everything go back to Cadiz? Only 2 weeks for Lambda World 2025 - October 23-24 - lambda.world/tickets/ #FunctionalProgramming #Lambda #CategoryTheory #TypeSystems #Haskell #Scala #OCaml #Rust #Elixir
Looking forward to seeing you all at Cadiz tomorrow as #Lambdaworld25 kicks off in style. Bring your sun cream as the weather is glorious for October. #Cadiz #functional_programming #Conference
Two New Voices Join Lambda World! We’re thrilled to welcome: @IBartelborth who will join: “Prompting Safely: Building Secure LLM Prompts with a Scala DSL.” @raulraja leading an open discussion: “Does Functional Programming Still Matter in the Era of AI?” Join the conversation…
Let’s Match, but Smarter What if your quiz didn’t just guess, but used math to find your perfect fit? In this workshop, build a “Which [X] are you?” app powered by 3D vector matching. Answer three simple questions, and see how Rust, Axum, and SurrealDB crunch the numbersno…
![Lambda_World's tweet image. Let’s Match, but Smarter
What if your quiz didn’t just guess, but used math to find your perfect fit? In this workshop, build a “Which [X] are you?” app powered by 3D vector matching. Answer three simple questions, and see how Rust, Axum, and SurrealDB crunch the numbersno…](https://pbs.twimg.com/media/G3swAGaXoAALTiY.jpg)
Lambda World is this WEEK! And Wendy Randolph is fully prepared to take part in it. Check out this great video she sent us from Florida, and go and grab your tickets NOW! lambda.world #FunctionalProgramming #Elixir #Clojure
The Art of Functional Web Apps Wendy Randolph compares building web apps in Clojure and Elixir; two functional languages, two very different approaches. See how language design shapes architecture, tooling, and dev workflows in unexpected ways More here:…
Rust meets functional programming, and the result is powerful. Join Stefano Candori and @AdrianRaFo from Prima as they walk you through turning chaotic Rust code into something clean, reliable, and highly performant. They’ll kick things off with solid data modeling, dive into…
What if your AI coding assistants actually understood your specs every single time? Moisés Macero García shows how to turn vague business needs into precise, actionable instructions using actor-based modeling. In this workshop, you’ll learn to orchestrate specialized AI agents…
What if pattern matching could make music? Join Luca Dei Zotti, Engineering Manager at Prima, for a hands-on workshop where Elixir becomes your instrument. You’ll build a real-time generative music system where pure functions compose melodies, concurrent processes play the…
What if complexity wasn’t just a problem… but a sin? Volodymyr Yaroslavskyi, Scala Developer at @jpmorgan , takes on one of the sneakiest code killers out there: uncontrolled complexity. That shiny new side project? Without discipline, it’s just one pull request away from…
What do you get when two functional programmers meet the world’s fastest time-series database? Kevin Oscar Arce Vera and Christian Aberturas will show you in their workshop featuring KDB-X the newly available, free-for-non-commercial-use version of KX’s ultra-fast time-series…
What happens when a theoretical physicist sets out to build a functional language in Scala? Join Sergei Winitzki for a deep dive into creating a Dhall-inspired functional language from scratch entirely in Scala. Imagine Haskell-style syntax brought to life through Scala…
Say it --> See it --> Your UI comes alive. Describe your UI, and watch it build itself. Adam Granicz @granicz shows how AI + a custom DSL can turn your words into real WebSharper + F# apps...fast. See more: lambda.world/speakers/?spea… #AI #WebDevelopment #DSL #FSharp…
OCaml, multicore, and a dash of magic? Merlin might not cast spells, but it makes OCaml feel magical. Sonja Heinze and Carine Morel from @tarides_ will show how they run Merlin on a separate core for faster tools and happier developers. No OCaml experience needed, just…
Calling all Kotlin fans! Mikhail Zarechenskii, Lead Language Designer at @jetbrains , is about to show a surprisingly elegant way to handle effects in Kotlin; no effect handlers, no extra complexity. In his talk at Lambda World 2025, it all starts with functions… and leads to…
Functional Language Implementation? Check this! Check out Sergei Winitzki’s video where he spills the beans about his upcoming workshop for Lambda World 2025! If you’re curious about building a functional language in Scala, this is your jam. Everything is explained clearly and…
youtube.com
YouTube
Announcement for my workshop at Lambda World 2025 (Cádiz)
How badly do you want to be at Lambda World? We’re giving away 𝟓 𝐋𝐀𝐒𝐓 𝐂𝐀𝐋𝐋𝐀𝐌𝐀𝐑 𝐓𝐈𝐂𝐊𝐄𝐓𝐒 + 𝟑 𝐭𝐢𝐜𝐤𝐞𝐭𝐬 𝐚𝐭 𝟓𝟎% 𝐎𝐅𝐅! Just fill out the form below and tell us why YOU deserve a ticket. Winners announced Monday, October 6. Your chance starts here:…
The Mastermind behind Refinement Types, at Lambda World 2025! Have you ever wondered if types in programming languages can do more than just describe data? What if they could think? What if your code could be proven correct before it even runs? Jorge Luis Mayoral Pérez and Juan…
Sketching Functional Streams Lambda World... Dive Into the Flow! Functional streams are everywhere. But truly understanding how they work? That’s a different story. And that’s where Zainab Ali comes in. In her talk, "Sketching streams with aquascape", she will take us on a…
United States 趨勢
- 1. #AEWDynamite 7,086 posts
- 2. Maxey 2,374 posts
- 3. Knicks 21.6K posts
- 4. Embiid 6,183 posts
- 5. VJ Edgecombe 4,121 posts
- 6. Cavs 11.9K posts
- 7. Inside the NBA 5,663 posts
- 8. Lonzo 2,625 posts
- 9. East Wing 154K posts
- 10. Hornets 7,360 posts
- 11. #NewYorkForever 2,060 posts
- 12. Sixers 8,526 posts
- 13. Mobley 2,656 posts
- 14. Barlow 2,333 posts
- 15. Brunson 4,696 posts
- 16. #LetEmKnow 4,608 posts
- 17. Tyler Kolek N/A
- 18. Mike Brown 3,393 posts
- 19. #ChicagoMed N/A
- 20. Mikal 1,886 posts
你可能會喜歡
-
Xebia
@Xebia_Global -
Scala Times
@ScalaTimes -
Scala Days
@scaladays -
Signify Technology
@Signify_Tech -
Raúl Raja
@raulraja -
Adam Warski
@adamwarski -
Alejandro Serrano
@trupill -
Oli Dinov 💙
@olidinov -
Scalar Conference
@scalarconf -
Sébastien Doeraene
@sjrdoeraene -
Paweł Szulc
@EncodePanda -
Rúnar
@runarorama -
Eric Torreborre
@etorreborre -
Ólafur Páll Geirsson
@olafurpg -
Itamar Ravid
@iravid_
Something went wrong.
Something went wrong.