Favorite projects
- openbsd ★3 » OpenBSD image builder
- lua-bigint ★1 » A small arbitrary precision integer Lua library
- h ★4 » Hardened script host programs
- displayswitcheroo » Configure your monitors using Lua
- continuously » Run things continuously when files change
- silly-k ★16 » silly-k is an experimental language inspired by K and APL
Projectssorted by recent activity
- scripts » rootmos' scripts
- config ★1 » My configuration bucket
- wwwo » My continuation-passing style static website generator written in OCaml
- transfer-file » How hard can it be to transfer a file?!
- templates » Opinionated project templates
- dot-nvim » My Neovim configuration
- media » My Python wrappers around feh and mpv
- texhelp » TeX Live isolated installation tool
- lua-hack » Public domain Lua modules
- release.py » Create GitHub releases based on a .version file
- libr » Opinionated public domain C snippets
- xhook » Monitor X11 focus and execute hooks
- fetch » One script to fetch them and in git bind them
- dvorak » My customized Dvorak layout
- AoC » Solutions to Advent of Code
- silly-actor ★4 » Small actor model implementation that compiles to C using nanopass-framework
- silly-ml ★7 » A a small ML-like language interpreted or compiled to x86-64 assembly with a custom runtime
- silly-joy ★35 » An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
- turn » Terminal livesplit application written in Rust
- coq-hack » A place to collect things I learn about Coq.
- silly-church ★8 » A small example of a nanopass style compiler
- twitch-cli ★9 » Twitch command line interface
- action » To act or not to act, that's the socket
- go-pkg-proxy » Golang package proxy server
- git-audit » Manages an audit trail for a Git repository by considering it as an Ethereum side-chain
- tabs-vs-spaces » Configure Vim according to heuristics based on the current buffer
- xpanel » stdin to an X11 window
- audio-journal » Android app and Linux scripts to keep a diary of sounds
- midi » Music and MIDI processing tools
- spl » Deterministically configure, build and install custom Linux distributions from scratch
- stream ★1 » Streaming utilities
- fb » rootmos generates buffers with frames
- agda-hack ★1 » A place to collect things I learn about Agda
- bf » A BrainFuck interpreter
- apl-hack ★1 » A place to collect things I learn about APL
- arweaver ★10 » An Arweave client written in Rust
- loom ★9 » Run a local development Arweave blockchain with faucets and on-demand mining
- dont-fear-the-reaper ★3 » A Linux subreaper that terminates orphans
- libpquv ★10 » A small library combining libpq and libuv
- lambdasylum ★2 » A place to study some lambda calculi
- ppx_useless ★4 » A useless ppx extension
- ppx_ski ★1 » SKI combinator calculus implemented in OCaml
- ldapy ★3 » Command line tool to explore LDAP databases
Recent Git activity
Sat, 21 Jun 2025 05:29 +02:00 | ||
Fri, 20 Jun 2025 11:17 +02:00 | ||
Fri, 20 Jun 2025 10:51 +02:00 | ||
Thu, 19 Jun 2025 14:02 +02:00 | ||
Thu, 19 Jun 2025 13:54 +02:00 | ||
Thu, 19 Jun 2025 13:25 +02:00 | ||
Thu, 19 Jun 2025 13:25 +02:00 | ||
Thu, 19 Jun 2025 12:43 +02:00 | ||
Thu, 19 Jun 2025 12:38 +02:00 | ||
Thu, 19 Jun 2025 12:32 +02:00 | ||
Thu, 19 Jun 2025 12:32 +02:00 | ||
Thu, 19 Jun 2025 12:26 +02:00 | ||
Thu, 19 Jun 2025 12:14 +02:00 | ||
Thu, 19 Jun 2025 12:04 +02:00 | ||
Thu, 19 Jun 2025 11:59 +02:00 |
Posts
Soundsjamdemoallbor19
| 2020 Q1 | Wed, 08 Apr 2020 | |
| Unscalable walls | Wed, 15 Jan 2020 | |
| Negative space | Thu, 10 Oct 2019 | |
| Introduction to what comes after | Tue, 17 Sep 2019 | |
| M44 | Sat, 24 Aug 2019 |
Twitch highlights
Services
Academic work
- 2014 » Carleman-Sobolev classes and Green’s potentials for weighted Laplacians
- Licentiate thesis (DiVA)
- Paper 1: Carleman-Sobolev classes for small exponents (arXiv, coauthored with Aron Wennman)
- Paper 2: Solving Poisson's equation for the standard weighted Laplacian in the unit disc (arXiv)
- 2012 » Green’s function for two weighted Laplacians in the unit disc
- Master's thesis (PDF)
- 2010 » On p-groups of low power order, Representations of p-groups
- Bachelor's thesis (PDF)
- joint work with Gustav Sædén Ståhl and Johan Laine
Resume
PDF (updated May 17, 2024)