Erlend Hamberg hamberg.no

Advent of Code 2025 in Lean 4 – Day 12

hamberg.no·20w

Advent of Code 2025 in Lean 4 – Day 11

hamberg.no·23w

Advent of Code 2025 in Lean 4 – Day 10

hamberg.no·23w

Advent of Code 2025 in Lean 4 – Day 9

hamberg.no·23w

Advent of Code 2025 in Lean 4 – Day 8

hamberg.no·23w

Advent of Code 2025 in Lean 4 – Day 7

hamberg.no·23w

Advent of Code 2025 in Lean 4 – Day 6

hamberg.no·23w

Advent of Code 2025 in Lean 4 – Day 5

hamberg.no·23w

Advent of Code 2025 in Lean 4 – Day 4

hamberg.no·24w

Advent of Code 2025 in Lean 4 – Day 3

hamberg.no·24w

Advent of Code 2025 in Lean 4 – Day 2

hamberg.no·24w

Advent of Code 2025 in Lean 4 – Day 1

hamberg.no·24w

LLM-EA – Using an LLM for mutation in an evolutionary algorithm

hamberg.no·106w

Creating a service on NixOS from a flake

hamberg.no·139w

Packaging a Haskell project as a Nix flake

hamberg.no·141w

Fast, Offline, Reverse Geocoding; or, in Which Polygon am I?

hamberg.no·552w

Playing With SBV

hamberg.no·567w

Jump Consistent Hash in Haskell and C++

hamberg.no·582w

Mutable variables are a side channel

hamberg.no·584w

On Git History – or, “The Case for Merge Commits”

hamberg.no·586w

Log in to enable infinite scrolling