Ignacio Gallego Sagastume
@igallegosagas
Software Engineer at @Hivemind_Tech - Tweets are of my own thoughts (mainly on #Scala)
I am very pleased to announce that I will be a speaker at @Lambda_World conference, held next October in Cadiz, Spain. My talk will explore how a #Scala #DSL can be used to build #LLM prompts, in a safe and composable way. #LambdaWorld2025 #FP #AI #LLMs
Will be visiting the Stockholm #Scala meetup on Monday 18th of August to do a presentation on the Mill build tool. If you're in the area, come by and say hi! meetup.com/scala-stockhol…
it's crazy that I can make a decent library for @moonbitlang within 5 minutes, in a year, we probably wouldn't worry about lacking libraries any more. And would you like ai to generate reliable&efficient MoonBit vs slow&fragile Python? Huge potential here
Will be giving a talk at the Copenhagen #Scala meetup on the 19th August. If you are in the area come say hi! meetup.com/the-copenhagen…
Adapting the words from Carl Sagan, 'We live in a society exquisitely dependent on computing, in which hardly anyone knows anything about computing.'
🧵1/ New speakers landed at #LambdaWorld 2025! Cádiz → Oct 23–24 Get ready for #FunctionalProgramming magic 🤯 Let’s go:
Catch them all at: 🗓️ Oct 23–24 📍 Cádiz, Spain 🌍 lambda.world #FunctionalProgramming #FP #Scala #Kotlin #Haskell #OCaml #DevTools #Agda #LLMs
Sonja Heinze & Carine Morel (Tarides) OCaml’s multicore magic + Merlin language server = blazing fast editor support. Parallel, smart, and truly magical 🪄 lambda.world/speakers/?spea…
Alessio Ferrarini & Pablo Castellanos (@IMDEA_Software ) Testing is out. Proving is in. They’ll show how to use Liquid Haskell to guarantee your code behaves 💯 lambda.world/speakers/?spea…
@JackHiggs (@jpmorganChaseJobs) Can functional programming survive the land of legacy Java? Yes. He’ll show you how to make FP work inside massive orgs 💼 lambda.world/speakers/?spea…
Jorge L. Mayoral & Juanjo Madrigal @jxm_math Math meets FP! 🧮 They’ll turn dependent types + SMT solvers into your new favorite tools for correctness. lambda.world/speakers/?spea…
Zainab Ali, the stream whisperer is back! Using fs2 + aquascape, she’ll help you visualize and understand functional streams like never before 🔍🌊 lambda.world/speakers/?spea…
Alejandro Serrano @trupill & Simon Vergauwen @vergauwen_simon (@jetbrains ) The Kotlin dream team returns to teach: ✨ How to craft elegant DSLs ✨ How to tame side effects with FP lambda.world/speakers/?spea…
Alexander Gryzlov (@IMDEA_Software ) writes Agda theorem provers that always halt. 🧠 Logic + functional programming + guarantees. Boom. lambda.world/speakers/?spea…
Hey, Scala CLI v1.8.4 is out! 🚀 And with it, the publish sub-command support for the new Sonatype Central Portal. You can publish to Maven Central with Scala CLI again! That, and some other fixes, updates and improvements: github.com/VirtusLab/scal…
Ignacio Gallego Sagastume @igallegosagas (@Hivemind_Tech ) is building a Scala DSL for LLM prompts that's secure and composable. Say goodbye to prompt injection. Hello smart AI. lambda.world/speakers/?spea…
🎯
Yes. Writing is not a second thing that happens after thinking. The act of writing is an act of thinking. Writing *is* thinking. Students, academics, and anyone else who outsources their writing to LLMs will find their screens full of words and their minds emptied of thought.
I am truly delighted to speak at one of my favourite conferences!
📢 First talks of ScalaIO 2025 ! - Hands-on Direct Style from @NicolasRinaudo 👐 - ZIO from a Data Scientist’s Perspective: For Those Who Don’t Speak Category Theory from Kostas Passadis 👀 Tickets + sponsors + more info at scala.io
📢 A new YouTube channel all about Scala! Hit the subscribe button - this guy already has 8 episodes on macros! #scala youtube.com/@Kalin-Does-Co…
v1.0.1 of the Mill Build Tool for #Java, #Scala, and #Kotlin is out! github.com/com-lihaoyi/mi…
Legacy data architecture ≠ real-time outcomes. We helped Clients cut data latency from hours to seconds — with a streaming-first Medallion model powered by @RisingWaveDB. 🧵⬇️1/2 #HivemindTechnologies