Fourth Online Func Prog Sweden 2026

Welcome to the fourth online Func Prog Sweden MeetUp 2026

This MeetUp will be streamed live online on the Func Prog Sweden YouTube channel: https://www.youtube.com/c/FuncProgSweden

The program starts at 18:00.

• Intro by Magnus Sedlacek
• TBA
• Λ polite and well educated LLM agent, with excellent manners, that always behaves well by Ramón Soto Mathiesen

Λ polite and well educated LLM agent, with excellent manners, that always behaves well
In the age of AI, we seem to have lost our ways when it comes to basic notions of IT-sec. From using (payed) web applications, leaking all kind of sensitive information through "telemetry" (https://infosec.exchange/@k3ym0/116161635202253362), to utilizing agentic tools, from our local devices, without ANY kind of restriction and hereby resulting in leakage of all kind of credentials and VERY sensitive/private data (https://snyk.io/articles/poisoned-security-scanner-backdooring-litellm/#stage-1-information-collection).
To provide a bit of hope to the scene and offer well known security mechanism such as: Information Flow Control (IFC), Mandatory Access Control (MAC), protection rings, restricted binaries and I/O, (pure) sandboxing, package hardening, …, we would like to introduce a LLM Λ-gent, which is build on a sound foundation and is standing on the shoulders of giants (nix/NixOS ecosystem and Haskell programming language).
An analogy to Λ-gents could be Framework devices. Fully-tailored to YOUR needs, think of physical hardware as restricted I/O effects, enforced by a pure nix sandbox and a Haskell interpreter/compiler. Later on, add or remove effects. Whatever suits you best, due the scripting nature of the LLM Λ-gents. YOU decide what the YOUR Λ-gent does and nobody else.

Ramón Soto Mathiesen
Mr. Mathiesen (Ramón Soto Mathiesen), a passionate datalogist (*), with flair for functional programming languages and business, that advocates for: correctness, quality and high-standards; but, always with the customer in mind.
He is currently working for his own company SPISE MISU ApS: “Stay Pure, Isolating Side-Effects, while Making Illegal States Unrepresentable”, where he seems to have discovered his Holy Grail in SAFE Haskell.
(*) At the University of Copenhagen (KU), we don’t study Computer Science, but rather Datatology (“data” as information or facts about something and “logos” (Greek) meaning study). This is because Peter Naur, the founder of the (first) department at KU and Denmark’s only Turing Award winner, came up with the term after listening to his good friend Edsger Dijkstra when he said: «Computer Science is no more about computers than astronomy is about telescopes».
https://www.linkedin.com/in/ramonsotomathiesen/

Invite for the FPS Discord Server: https://discord.gg/rMT6xRPwgZ

Video sponsor – Ada Beat
https://adabeat.com

Merch
If you want to spread functional programming and support the channel, buy something from the shop:
https://funcprogsweden.myspreadshop.net/

#funcprogsweden