Computer scientist at URJC, CTO at Habla Computing
Madrid, Spain
Joined September 2011
- Tweets1.2K
- Following222
- Followers636
- Likes1K
Pinned Tweet
I'm glad to share that I'll be giving a workshop on embedding DSLs in Scala @Lambda_World
Tagless-final💕Scala 3!
👉lambda.world/workshops/Embed…
Juan Manuel Serrano retweeted
A statement from Anthropic CEO, Dario Amodei, on our discussions with the Department of War.
anthropic.com/news/statement…
Juan Manuel Serrano retweeted
🚫 No LLMs needed here — just pure logic and type wizardry!
@juanshac shows how types can do the heavy lifting in your implementation. From deriving verified code to exploring recursion schemes, (co)algebras and Scala 3 macros come together in this mind-expanding talk on type-driven development.
📅 12–13 June 2025 in Krakow, Poland! lambdadays.org
¡Basta de atacar a la población civil y la misión médica!
Hoy te pido que te unas a #NuestraLíneaRoja con @MSF_Espana. Yo ya lo he hecho.
Firma y comparte: nuestralinearoja.es?nlr_usua… Manuel_S.
Juan Manuel Serrano retweeted
Today was an all-day Crema Workshops delivered by the great Zainab Ali, @trupill , and @juanshac .
Thanks a lot to all the attendees!
#FunctionalStreamProcessing #ImplementTypeChecker #EmbeddingDSL #Scala #LambdaWorld
Juan Manuel Serrano retweeted
Pepe explains us how Doctors Without Borders helps people in need all around the world
Juan Manuel Serrano retweeted
And the best way to close this year's event is with this announcement:
Lambda World 2025
October 22nd-24th 2025
Palacio de Congresos de Cadiz
Save the dates!!!
Juan Manuel Serrano retweeted
🤷♂️ Have you ever wondered how type checkers work inside of your compiler? 🤔
Check out the video from Don Alejandro Serrano @trupill about the workshop he is giving next October 2nd.
Still few places available! lambda.world/workshops/Imple…
#FunctionalProgramming #Kotlin #Haskell
Juan Manuel Serrano retweeted
Just one month to Lambda World!
Cadiz,
Functional Programming,
Tortillita de Camarones,
IN THAT ORDER.
🗓️2-4 October 2024
📌Palacio de Congresos de Cadiz
🎟️ Standard Tuna Ticket €225
🌐 lambda.world
#functionalprogramming #Scala #Erlang #Haskell #ArrayLanguages
Juan Manuel Serrano retweeted
Check out this video from @juanshac explaining the workshop he is giving in a few weeks at @Lambda_World
Few places are available!
lambda.world/workshops/Embed…
#FunctionalProgramming #DSLs #Scala
Juan Manuel Serrano retweeted
Preparing with my colleague Jorge Mayoral the workshop on Agda and Lean to be held next month at @Lambda_World : lots of code, lots of examples, lots of applications.
I certainly wouldn't miss it 🙂
lambda.world/workshops/Agda%…
Juan Manuel Serrano retweeted
Array Champion Stephen Taylor @5jt has an important message for YOU!
Do not miss the chance to visit Cadiz and enjoy the coolest #FunctionalProgramming conf in South Europe!
👉lambda.world
Juan Manuel Serrano retweeted
Dear Twitter, I'm looking for a couple of developers who may want to review a set of exercises for Functional Kotlin using @arrow_kt and Compose.
(These exercises should be available to everybody after the Arrow Open Space at @Lambda_World)
Juan Manuel Serrano retweeted
💣KABOOOOOOOOM!🤯
The one and only Robert Virding @rvirding co-creator of Erlang and language expert at @ErlangSolutions will be the closing keynote of @Lambda_World
You cannot miss it!
lambda.world/?speaker=Robert…
#Erlang #FunctionalProgramming #ErlangSolutions
ALT Robert Virding will close Lambda World
Juan Manuel Serrano retweeted
We have published all workshops that will be delivered on the first and second day of #LambdaWorld!
Check them out and get your tickets before they sell out!
lambda.world/workshops/
#FunctionalProgramming #Scala #kotlin #ArrayLanguages
ALT Workshops at Lambda World
Juan Manuel Serrano retweeted
📢 Attention Functional Programming enthusiasts! @Lambda_World is back for the first time since the pandemic, and Habla Computing is proud to be a sponsor this year! 🚀
👉 lambda.world/
We look forward to seeing you at Lambda World! 🌍✨
Juan Manuel Serrano retweeted
Please welcome Chris Ford @ctford to our panel of Speakers for @Lambda_World 24!
Chris will hilariously decode birdsong into Clojure, proving once and for all that even birds are better coders than us!
#Clojure #FunctionalProgramming
ALT Chris Ford enjoying the day in his terrace in Barcelona
Juan Manuel Serrano retweeted
A BIG WELCOME to ABBY SASSEL to our panel of speakers of Lambda World 24!
Abby is a Haskell engineer at @artificiallabs and will give a talk about resilient REST APIs!
Check more about her talk here: lambda.world/speakers/?speak…
#Haskell #FunctionalProgramming #LambdaWorld
ALT Abby Sassel will speak at Lambda World
Juan Manuel Serrano retweeted
🎶#LambdaWorld is also about music and we are super excited to have Johanna Odersky @ikukojohanna as a speaker at our event! 💗
Catch her insights blending coding and music! 🌟
Check more about her talk here lambda.world/speakers/?speak…
#TechandMusic #Scala #FunctionalProgramming
ALT Johanna Odersky will speak at Lambda World 2024
Juan Manuel Serrano retweeted
Array Languages will be very present in our next #LambdaWorld and that is why ...we are more than happy to welcome Conor Hoekstra @code_report to our panel of speakers!!!!
Check more about his talk:
lambda.world/speakers/?speak…
#ArrayLanguages #APL #BQN #Kap #Uiua @arraycast
ALT Conor Hoekstra will speak at Lambda World