Author | Lightnews

Ignacio Gallego Sagastume @igallegosagas.bsky.social · Sep 19

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"

6

Reposted by Ignacio Gallego Sagastume

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

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 🧪

Writing is thinking - Nature Reviews Bioengineering

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

www.nature.com

1 7 33

Ignacio Gallego Sagastume @igallegosagas.bsky.social · Jul 16

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.

1 1

Reposted by Ignacio Gallego Sagastume

Hivemind Technologies @hivemindtechnologies.com · Jun 24

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

1 2

Reposted by Ignacio Gallego Sagastume

Hivemind Technologies @hivemindtechnologies.com · Jun 12

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

Overview of HTTP frameworks for Scala (Part 2)

Sangria and Play Framework

medium.com

2 4

Reposted by Ignacio Gallego Sagastume

Adam Warski @warski.org · Jun 9

Star the project, experiment, give us feedback & bug/feature requests!

github.com/softwaremill...

GitHub - softwaremill/chimp: Build type-safe, boilerplate-less MCP servers in Scala using the HTTP transport

Build type-safe, boilerplate-less MCP servers in Scala using the HTTP transport - softwaremill/chimp

github.com

1 1

Ignacio Gallego Sagastume @igallegosagas.bsky.social · Jun 11

This is what we were expecting!

Adam Warski @warski.org · Jun 9

Announcing Chimp: build type-safe, boilerplate-less #MCP servers in #Scala using the HTTP transport!

Below is a self-contained, scala-cli runnable example:

Reposted by Ignacio Gallego Sagastume

Hivemind Technologies @hivemindtechnologies.com · Jun 3

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

Using AI and Climate Science to Optimise Operations

www.reset-connect.com

1 2

Reposted by Ignacio Gallego Sagastume

Hivemind Technologies @hivemindtechnologies.com · Jun 3

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

1 1 1

Reposted by Ignacio Gallego Sagastume

Hivemind Technologies @hivemindtechnologies.com · Jun 5

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

1 3

Reposted by Ignacio Gallego Sagastume

Hivemind Technologies @hivemindtechnologies.com · Jun 6

More about Hivemind at #ResetConnect25

hivemindtechnologies.com/en/hivemind-...

Hivemind at Reset Connect

Meet Hivemind at Reset Connect London 2025. Discover real-time IT for ESG, AI and sustainability – live at our booth & on stage with CEO Erik Schmiegelow

hivemindtechnologies.com

1 1

Reposted by Ignacio Gallego Sagastume

Hivemind Technologies @hivemindtechnologies.com · Jun 6

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

1 1 2

Reposted by Ignacio Gallego Sagastume

Lambda Days @lambdadays.bsky.social · May 22

🎥 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

2 3

Reposted by Ignacio Gallego Sagastume

Lambda Days @lambdadays.bsky.social · May 23

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

1 3

Reposted by Ignacio Gallego Sagastume

Alexandru Nedelcu @alexn.org · May 21

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.

1 6

Reposted by Ignacio Gallego Sagastume

Alvin Alexander @alvinalexander.bsky.social · May 22

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

www.youtube.com

2 7

Reposted by Ignacio Gallego Sagastume

Scalar @scalar-conf.com · Apr 15

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

www.youtube.com

3 6

Reposted by Ignacio Gallego Sagastume

Scalar @scalar-conf.com · Apr 15

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

www.youtube.com

1 2

Reposted by Ignacio Gallego Sagastume

Lambda Days @lambdadays.bsky.social · Apr 16

🔹 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

1 1

Reposted by Ignacio Gallego Sagastume

Scalar @scalar-conf.com · Apr 16

Scala Sampler for Functional Soundscapes by Johanna Odersky

Subscribe to our our YouTube channel so you don't miss the rest of #scalarconf videos.

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

YouTube video by SoftwareMill

youtu.be

2 5

Reposted by Ignacio Gallego Sagastume

Lambda Days @lambdadays.bsky.social · Apr 17

🚀 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

2 5

Reposted by Ignacio Gallego Sagastume

Lambda Days @lambdadays.bsky.social · Apr 23

🔹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

1 2

Reposted by Ignacio Gallego Sagastume

Lambda Days @lambdadays.bsky.social · Apr 24

🔹 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

6 16

Reposted by Ignacio Gallego Sagastume

Hivemind Technologies @hivemindtechnologies.com · Apr 17

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

1 1 2

Reposted by Ignacio Gallego Sagastume

Hivemind Technologies @hivemindtechnologies.com · Mar 24

🎯 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

1 1 2