Together with Monad, OtaNix ry organizes its first Nix meetup outside Helsinki.

Presentations (tentative):

1. Niklas Halonen: Lean+Nix

   Introduction to building Lean projects with Nix. I will show how to set up a mathlib-based formalization project and verso-based book using Nix.

2. Luukas Pörtfors: Project showcase – llm-jail

   Showcasing a solution for isolating LLM agents in NixOS based MicroVMs.

3. @SomeoneSerge: Current state of Nixpkgs CUDA (Infra)

Sign up here.

TL;DR
WHAT? Nix meetup
WHEN? 28.05.2026 at 18->
WHERE? Monad office in Tampere: Dynamo Business Park (Hatanpään valtatie 24)
WHY? Meet the community and listen to interesting presentations