A Gleam implementation of PASETO (Platform-Agnostic SEcurity TOkens), a safer alternative to JWT. Supports v3 and v4 local and public tokens, is verified against the official test vectors, and comes with gaseto_http for using it over HTTP.
A simple website showcasing how to (not) use AI when working with other people.
A public tool that exposes systemic delay patterns in the Norwegian rail network through open data — because the official statistics don't tell the full story.
A programming language built for Norwegian speakers — using Nynorsk keywords (forKvart, prøv, gjevTilbake) so code reads naturally in the language you think in. Built in Zig, it compiles to native binaries and WebAssembly.
Getting started with Gleam is easy. Getting something production ready is less so, regardless of the language. Bygg aims to help developers getting started by generating projects with sensible defaults already configured and ready to go.
A WireMock-style HTTP mock server for Gleam integration tests. Start a real HTTP server in your test, tell it what to respond to, make requests against it, and verify what was called — on both Erlang and JavaScript targets.
A small library that creates human-readable and deterministic UUIDs for testing purposes.
On exploring a different language on a different VM: how Gleam brings a statically-typed, functional, immutable language with no exceptions to the BEAM, where every process is tiny, isolated, communicates via messaging, and embraces "let it crash".
Here I shared advice for graduates touching on AI, automated testing, legacy code, and the importance of understanding practical implementations of theory and concepts.
A two-part talk: first on how technical skills can help shed light on real-world societal problems — using surtoget.no as a case study — then on driving correctness through the type system.
A talk all about thinking about architecture in terms of dependencies, and how these dependencies connect, but also how the size and complexity of the codebase impacts architecture.
On writing testable systems and what testability actually means in practice. Demonstrated different approaches to automated testing, including contract and approval testing.