Λ polite and well educated LLM agent that always behaves well by Ramón Soto Mathiesen

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/11616..., 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-sec.... 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».   / ramonsotomathiesen   === Slides === http://gitlab.com/a-gent/a-gent/-/raw... === 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/ === Chapters === 00:00 Welcome to Func Prog Sweden Ramon 00:49 Agenda 01:33 About me 02:03 Matching of expectations 1-2/4 05:08 Matching of expectations 3-4/4 07:08 Background 1-2/7 09:36 Background 3-5/7 12:47 Background 6-7/7 14:28 A-gent 1-2/14 16:16 A-gent 3-4/14 17:34 A-gent 5-6/14 18:37 A-gent 7-8/14 21:25 A-gent 9/14 23:07 A-gent 10/14 25:34 A-gent 11-12/14 27:23 A-gent 13-14/14 30:01 SSPL 31:18 Demo Intro 32:15 Demo of A-gent 35:45 Roadmap 46:26 Summary 47:29 Q&A #funcprogsweden