Ignacio Gallego Sagastume
@igallegosagas
Followers
244
Following
7K
Media
71
Statuses
3K
Software Engineer at @Hivemind_Tech - Tweets are of my own thoughts (mainly on #Scala)
Comunidad Valenciana, España
Joined December 2010
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
0
1
11
RT @IntelliJScala: Scala Plugin 2025.2 is out!🚀.What’s New:.-Opaque types, named tuples, and new tuples operations are fully supported.-The….
0
13
0
RT @RealJarTaylor: The great Argentine author Jorge Luis Borges (1899 – 1986) explains why English is “a far finer language than Spanish.”….
0
1K
0
RT @li_haoyi: Version 0.9.0 of the uTest #Scala testing framework is out, now with pretty-printed logging, diffs, and auto-updating golden-….
github.com
A simple testing framework for Scala. Contribute to com-lihaoyi/utest development by creating an account on GitHub.
0
5
0
RT @matej_cerny: If you're on cats-effect 3.6.2, upgrade to 3.6.3 as soon as possible, as it turns out there is a huge bug! 🪲 #scala https:….
github.com
This is the fifty-eighth release in the Cats Effect 3.x lineage. It is fully binary compatible with every 3.x release and fully source-compatible with the 3.6.x lineage. WarningPlease note that Cat...
0
5
0
RT @li_haoyi: Will be visiting the Stockholm #Scala meetup on Monday 18th of August to do a presentation on the Mill build tool. If you're….
meetup.com
It's time for another Scala meetup! This time, Rocker / Nordiska will be our gracious hosts. And we will also have a special guest visiting from Singapore: Li Haoyi! Don't
0
3
0
RT @bobzhang1988: it's crazy that I can make a decent library for @moonbitlang within 5 minutes, in a year, we probably wouldn't worry ab….
0
3
0
RT @li_haoyi: 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
**Save the Date: 19 August 2025 @ Dixa!** Join us for an afternoon of connecting with Scala aficionados in Copenhagen! We're excited to bring together local Scala enthusias
0
1
0
RT @Lambda_World: 🧵1/ New speakers landed at #LambdaWorld 2025!. Cádiz → Oct 23–24. Get ready for #FunctionalProgramming magic 🤯 . Let’s go:.
0
4
0
RT @Lambda_World: Catch them all at:.🗓️ Oct 23–24.📍 Cádiz, Spain.🌍 #FunctionalProgramming #FP #Scala #Kotlin #Haske….
lambda.world
Join us on October 23-24 in sunny Cádiz and experience the brilliance of functional programming at Lambda World!
0
2
0
RT @Lambda_World: Sonja Heinze & Carine Morel (Tarides).OCaml’s multicore magic + Merlin language server = blazing fast editor support. Par….
0
6
0
RT @Lambda_World: Alessio Ferrarini & Pablo Castellanos (@IMDEA_Software ).Testing is out. Proving is in. They’ll show how to use Liquid Ha….
0
2
0
RT @Lambda_World: @JackHiggs (@jpmorganChaseJobs).Can functional programming survive the land of legacy Java?.Yes. He’ll show you how to m….
0
1
0
RT @Lambda_World: Jorge L. Mayoral & Juanjo Madrigal @jxm_math .Math meets FP! 🧮.They’ll turn dependent types + SMT solvers into your new f….
0
1
0
RT @Lambda_World: Zainab Ali, the stream whisperer is back!.Using fs2 + aquascape, she’ll help you visualize and understand functional str….
0
1
0
RT @Lambda_World: Alejandro Serrano @trupill & Simon Vergauwen @vergauwen_simon (@jetbrains ).The Kotlin dream team returns to teach:.✨ H….
0
6
0
RT @Lambda_World: Alexander Gryzlov (@IMDEA_Software ) writes Agda theorem provers that always halt. 🧠 Logic + functional programming + gua….
0
2
0
RT @ScalaSpace: Hey, Scala CLI v1.8.4 is out! 🚀.And with it, the publish sub-command support for the new Sonatype Central Portal. You can p….
github.com
(⚡️ experimental) publish support for the Sonatype Central Portal This Scala CLI version adds support for publishing artifacts to the Sonatype Central Portal via its OSSRH Staging API. It is once a...
0
6
0
RT @Lambda_World: Ignacio Gallego Sagastume @igallegosagas (@Hivemind_Tech ) is building a Scala DSL for LLM prompts that's secure and com….
0
1
0