iiinova — where your digital self keeps evolving

Alexandru Nedelcu @alexn.org · 25/10/2025

Reposted by Ignacio Gallego Sagastume

"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...

alexn.org

Scala 3 / Match Types

Scala has a neat new feature, resembling TypeScript’s “conditional types”, but more powerful.

0103 10

Ignacio Gallego Sagastume @igallegosagas.bsky.social · 27/10/2025

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

061 6

Ignacio Gallego Sagastume @igallegosagas.bsky.social · 19/09/2025

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

Ignacio Gallego Sagastume's talk about "Prompting Safely: Building Secure LLM Prompts with a Scala DSL"

070 7

Reposted by Ignacio Gallego Sagastume

Sophie de Carné (she/her) @sdecarne.bsky.social · 22/07/2025

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 🧪

nature.com

Writing is thinking - Nature Reviews Bioengineering

On the value of human-generated scientific writing in the age of large-language models.

1327 32

Ignacio Gallego Sagastume @igallegosagas.bsky.social · 16/07/2025

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

Announcement that Ignacio Gallego Sagastume will be a conference speaker at Lambda World 2025 conference.

Hivemind Technologies @hivemindtechnologies.com · 24/06/2025

Reposted by Ignacio Gallego Sagastume

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

Hivemind Technologies @hivemindtechnologies.com · 12/06/2025

Reposted by Ignacio Gallego Sagastume

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

medium.com

Overview of HTTP frameworks for Scala (Part 2)

Sangria and Play Framework

042 4

Reposted by Ignacio Gallego Sagastume

Hivemind Technologies @hivemindtechnologies.com · 03/06/2025

🎤 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...

reset-connect.com

Using AI and Climate Science to Optimise Operations

Hivemind Technologies @hivemindtechnologies.com · 03/06/2025

Reposted by Ignacio Gallego Sagastume

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

111 1

Reposted by Ignacio Gallego Sagastume

Hivemind Technologies @hivemindtechnologies.com · 05/06/2025

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

031 3

Reposted by Ignacio Gallego Sagastume

Hivemind Technologies @hivemindtechnologies.com · 06/06/2025

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

Lambda Days @lambdadays.bsky.social · 22/05/2025

Reposted by Ignacio Gallego Sagastume

🎥 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

032 3

Reposted by Ignacio Gallego Sagastume

Lambda Days @lambdadays.bsky.social · 23/05/2025

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

031 3

Reposted by Ignacio Gallego Sagastume

Alexandru Nedelcu @alexn.org · 21/05/2025

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.

061 6

Reposted by Ignacio Gallego Sagastume

Alvin Alexander @alvinalexander.bsky.social · 22/05/2025

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

An Algebra of Thoughts: When Kyo effects meet LLMs by Flavio Brasil

YouTube video by Func Prog Sweden

062 6

Reposted by Ignacio Gallego Sagastume

Scalar Conference @scalar-conf.com · 15/04/2025

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.

Better Scala builds with the Mill build tool by Haoyi Li | Scalar Conference 2025

YouTube video by SoftwareMill

063 6

Reposted by Ignacio Gallego Sagastume

Scalar Conference @scalar-conf.com · 15/04/2025

Programming a Language by Nicolas Rinaudo Subscribe to our our YouTube channel so you don't miss the rest of #scalarconf videos.

Programming a Language by Nicolas Rinaudo | Scalar Conference 2025

YouTube video by SoftwareMill

Lambda Days @lambdadays.bsky.social · 16/04/2025

Reposted by Ignacio Gallego Sagastume

🔹 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

011 1

Reposted by Ignacio Gallego Sagastume

Scalar Conference @scalar-conf.com · 16/04/2025

Scala Sampler for Functional Soundscapes by Johanna Odersky Subscribe to our our YouTube channel so you don't miss the rest of #scalarconf videos.

youtu.be

Scala Sampler for Functional Soundscapes by Johanna Odersky | Scalar Conference 2025

YouTube video by SoftwareMill

052 5

Reposted by Ignacio Gallego Sagastume

Lambda Days @lambdadays.bsky.social · 17/04/2025

🚀 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

052 5

Reposted by Ignacio Gallego Sagastume

Lambda Days @lambdadays.bsky.social · 23/04/2025

🔹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

Lambda Days @lambdadays.bsky.social · 24/04/2025

Reposted by Ignacio Gallego Sagastume

🔹 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

0166 16

Reposted by Ignacio Gallego Sagastume

Hivemind Technologies @hivemindtechnologies.com · 17/04/2025

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

Hivemind Technologies @hivemindtechnologies.com · 24/03/2025

Reposted by Ignacio Gallego Sagastume

🎯 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

Rock the JVM @rockthejvm.com · 18/03/2025

Reposted by Ignacio Gallego Sagastume

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...

Martin Odersky on the Future of Scala, Learning, Teaching and the Quest for the Perfect Language

YouTube video by Rock the JVM

0178 17

Ignacio Gallego Sagastume @igallegosagas.bsky.social · 24/03/2025

#Moonbit is a new programming language with very interesting features. Here is an article that I wrote to explore them.

000 0

Reposted by Ignacio Gallego Sagastume

Hivemind Technologies @hivemindtechnologies.com · 17/02/2025

🗳️ Demokratie lebt vom Mitmachen – also geh wählen! Die Bundestagswahl steht an, und jede Stimme zählt. Aber es geht nicht nur darum, dass du wählst – sondern auch, wie du entscheidest. 🧐 🔍 Schau genau hin: 🧵 1/7 👇 #Bundestagswahl

Hivemind Technologies @hivemindtechnologies.com · 03/03/2025

Reposted by Ignacio Gallego Sagastume

💡 Cloud security isn’t just an IT issue—it’s a business risk. A single misconfiguration can cost millions. ❌Exposed APIs ❌Insecure containers ❌Weak IAM. How do companies protect their cloud-native environments? 📌 Read our expert deep dive: hivemindtechnologies.com/en/blog/secu... #HivemindTech

Hivemind Technologies @hivemindtechnologies.com · 07/03/2025

Reposted by Ignacio Gallego Sagastume

🚀 𝗦𝘁𝗿𝗲𝗮𝗺𝗶𝗻𝗴 𝗔𝗜 + 𝗔𝗴𝗲𝗻𝘁𝗶𝗰 𝗪𝗼𝗿𝗸𝗳𝗹𝗼𝘄𝘀 = 𝗧𝗿𝘂𝗲 𝗕𝘂𝘀𝗶𝗻𝗲𝘀𝘀 𝗜𝗺𝗽𝗮𝗰𝘁. At #MindstoneMeetup, our CEO @ESchmiegelow will share insights on how AI can act autonomously & make real-time business decisions. 📍 𝗝𝗼𝗶𝗻 𝘂𝘀 𝗼𝗻 𝗠𝗮𝗿𝗰𝗵 𝟭𝟴 𝗶𝗻 𝗟𝗼𝗻𝗱𝗼𝗻 www.rfr.bz/b0d42f9 #HivemindTechnologies

111 1

Reposted by Ignacio Gallego Sagastume

Hivemind Technologies @hivemindtechnologies.com · 10/03/2025

🔐 Cloud security is evolving—are you keeping up? From API vulnerabilities to supply chain attacks, modern enterprises face hidden threats in cloud-native environments. 🎥 Our latest video breaks down the 5 biggest risks in cloud-native security. 📺 Watch here: youtu.be/tDrNd9ReHjA #CloudSecurity

youtu.be

Best Practices for Data Security in the Cloud 2025

YouTube video by Hivemind Technologies AG