@igallegosagas.bsky.social
I am a Software Developer at Hivemind Technologies AG 🇦🇷 🇪🇸
ScalaIO's tomorrow!
If you cannot attend in person, we've opened streaming tickets available on the website 👉 scala.io
This will give you access to live stream and a replay link, in case you're not in the same TZ 🤗
"Scala 3 / Match Types"
Scala has a neat new feature, resembling TypeScript's "conditional types", but more powerful.
#Languages #Programming #Scala #Scala3 #TypeScript
alexn.org/blog/2025/10...
Last week, I spoke at #LambdaWorld with my colleague @isaias-b.bsky.social.
Thanks to the organizers for such a welcoming event, and to @eschmiegelow.bsky.social and @franziskawoeckel.bsky.social from @hivemindtechnologies.com for allowing us to work on this project.
See you next year!
#FP #Scala
Ignacio Gallego Sagastume's talk about "Prompting Safely: Building Secure LLM Prompts with a Scala DSL"
Are you or your company working with #LLMs and #Scala?
Join me next October 24th at #LambdaWorld conference!
I will be giving a presentation about a Scala DSL for building and composing LLM prompts safely.
Last week for Standard Tuna tickets!
#AI @hivemindtechnologies.com @scala-lang.org
Writing is thinking. A reminder on why scientists write, and why we should continue writing in the era of large-language models by Nature Review Bioengineering
@natureportfolio.nature.com
www.nature.com/articles/s44...
#AI #LLM 🧪
Announcement that Ignacio Gallego Sagastume will be a conference speaker at Lambda World 2025 conference.
I am very pleased to announce that I will be a speaker at #LambdaWorld2025 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.
#Scala #DSL #FP #AI #LLMs
Want your AI agent to act with purpose — not panic?
Hivemind CEO @eschmiegelow.bsky.social
shares what actually works:
The Dos and Don’ts of Event-Driven Agentic AI
🗓 June 25 · Data Night Londond · Cloudflare Office
More: lu.ma/jbw4a35m
#AgenticAI #DataInfra #LLMInfra #DataNightLondon
New blog post: @igallegosagas.bsky.social breaks down #Sangria and #PlayFramework — two popular HTTP frameworks in the Scala ecosystem.
When to use which? What to expect in production?
Find out here: medium.com/@hivemind_te...
#ScalaDev #GraphQL #ZIO #Http4s #Caliban
Star the project, experiment, give us feedback & bug/feature requests!
github.com/softwaremill...
This is what we were expecting!
11.06.2025 09:58 — 👍 0 🔁 0 💬 0 📌 0🎤 Join @eschmiegelow.bsky.social live at the Tech Hub Stage – Wednesday, 24 June.
Discover how real-time data systems power the transition to net-zero — without the usual complexity.
📍 Tech Hub Stage, Reset Connect London
📅 When: Wednesday, 24 June 2025
www.reset-connect.com/tech-hub-202...
We'll be at Reset Connect London, June 24–25.
If you're building real-time systems for net-zero goals — we should talk.
💡 AI, ESG dashboards, infrastructure at scale.
🔎 Meet us at Booth J520
meetings-eu1.hubspot.com/meetings/mgo...
Let’s rethink sustainability tech.
#HivemindTechnologies t
ESG doesn’t fail because of lack of ambition.
It fails because of missing infrastructure.
At Reset Connect, we’ll be talking about how real-time, compliance-ready systems can close the ESG execution gap.
Booth J520. June 24–25.
Let’s build the backbone of Net-Zero.
#ESGInfra
More about Hivemind at #ResetConnect25
hivemindtechnologies.com/en/hivemind-...
ESG has shifted — from cost centre to credibility engine.
We’ll be at Reset Connect showing how real-time infrastructure supports scale, compliance and climate impact.
Join us: Booth J520 | 🎤 Talk by @eschmiegelow.bsky.social 24 June, Tech Hub.
#ESGTech #AuditReady #DataInfrastructure #ResetConnect
🎥 Hear it from the creator of Scala himself!
Martin Odersky is joining Lambda Days in June to share how #Scala’s #type system is evolving to make capability-based #security both safe and ergonomic.
Don't miss his keynote on rethinking access control in modern software systems.
🎟️ www.lambdadays.org
No #LLM s needed! Juan M. Serrano shows how types can guide #CodeGeneration — automatically. From recursion schemes to #Scala 3 #macros, it's logic all the way down.
📅 12–13 June 2025 in Krakow, Poland!
🌐 www.lambdadays.org
The Internet is making us dumber because we're fed predigested opinions.
People no longer assimilate information, they're just getting other people's opinions, often packaged in simplistic slogans. It's cognitive outsourcing, and the dawn of GenAI is worsening it.
If you haven’t seen Kyo yet, the first ~20 minutes of this video is a nice introduction. 👍👍
For instance, you’ll learn what this syntax means:
val s: String < IO =
IO(readFile(filename))
There’s also a nice map/flatMap surprise in there as well! 👏
www.youtube.com/watch?v=KIjt...
#scala
Better Scala builds with the Mill build tool by @lihaoyi.com
Subscribe to our our YouTube channel so you don't miss the rest of #scalarconf videos.
Programming a Language by Nicolas Rinaudo
Subscribe to our our YouTube channel so you don't miss the rest of #scalarconf videos.
🔹 Speaker Spotlight: Farhad Mehta & Markus Schlegel 🔹
Functional programming in practice!
1️⃣ Farhad: #TypeSearch – type-directed #API search for #typed languages.
2️⃣ Markus: Treating static sites as #functions to improve design and abstraction.
🎟️ Don’t miss them at #LambdaDays www.lambdadays.org
Scala Sampler for Functional Soundscapes by Johanna Odersky
Subscribe to our our YouTube channel so you don't miss the rest of #scalarconf videos.
🚀 Huge thanks to @erlangsolutions.bsky.social – our Global Community Support Sponsor for #LambdaDays 2025!
They build scalable, fault-tolerant systems with #Erlang, #Elixir & #RabbitMQ—and now, they're helping more people join our community. 💙
🎟️ Apply for Community Tickets: www.lambdadays.org
🔹Speaker Spotlight: Dominik Katkó & Wendy Randolph🔹
Two takes on building reliable Elixir apps!
1️⃣ Dominik: Bridging Elixir distributed systems with formal models for reliability.
2️⃣ Wendy: Lessons from building the same web app in Clojure & Elixir—flexibility vs. structure.
🎟️ www.lambdadays.org
🔹 Keynote Talk🔹
Creator of Elm, Evan Czaplicki, explores how we can make our own luck in typed functional programming—winning over decision-makers, improving tooling, and creating more jobs for FP enthusiasts.
🎟️ Hear his insights at #LambdaDays → www.lambdadays.org
What happens when devs, ethicists and CTOs collide?
@igallegosagas.bsky.social attended #GenAISummit in Valencia.
Important Key Reflections:
→ ROI must be engineered
→ Agentic AI changes everything
→ The human edge still matters
#GenAI #OpenAI #FutureOfDev #LLMOps
🎯 MoonBit: Could this be the dev-friendly cousin of Rust & Scala?
@igallegosagas.bsky.social modelled a full chessboard in MoonBit – just to see if it feels like Scala.
🧵 1/3
#MoonBit #WebDev #RustAlternative #DevLangs #HivemindTechnologies
New video, and this time I'm doing something different: a long-form, wide-ranging conversation with none other than
Martin Odersky, the creator of #Scala!
www.youtube.com/watch?v=tmpP...
#Moonbit is a new programming language with very interesting features. Here is an article that I wrote to explore them.
24.03.2025 16:49 — 👍 0 🔁 0 💬 0 📌 0
