rootmos' what-nots

but what's with the sloth?

I trust, but verify

rootmos := conflation of root and rotmos

Some math, music, mostly programming and everything in between

Favorite projects

continuously » Run things continuously when files change
h ★4 » Hardened script host programs
openbsd ★4 » OpenBSD image builder
lua-bigint ★1 » A small arbitrary precision integer Lua library
displayswitcheroo » Configure your monitors using Lua
silly-k ★16 » silly-k is an experimental language inspired by K and APL

Projectssorted by recent activity

media » My Python wrappers around feh and mpv
dot-nvim » My Neovim configuration
templates » Opinionated project templates
scripts » rootmos' scripts
twitch-cli ★9 » Twitch command line interface
wwwo » My continuation-passing style static website generator written in OCaml
config ★1 » My configuration bucket
geo-hack » A distance measuring and coordinate sharing tool
action » To act or not to act, that's the socket
transfer-file » How hard can it be to transfer a file?!
xhook » Monitor X11 focus and execute hooks
fetch » One script to fetch them and in git bind them
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
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 ★36 » 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.
- wf » Equivalence between two definitions of a well-founded relation (Coq's and Wikipedia's) using classical logic
- STLC » Formalization of the simply typed lambda calculus
silly-church ★8 » A small example of a nanopass style compiler
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
- aoc19 » My solutions to Advent of Code 2019
- aoc18 » My solutions to Advent of Code 2018
- aoc17 » My solutions to Advent of Code 2017
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 ★4 » 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

Sun, 28 Dec 2025 18:49 +01:00	media	Fix tests?
Sun, 28 Dec 2025 18:38 +01:00	media	Revert "Out of src-tree build"
Sun, 28 Dec 2025 16:43 +01:00	media	Fix tests?
Sun, 28 Dec 2025 16:38 +01:00	media	Update feh (3.11.2) and mpv (0.41.0)
Sun, 28 Dec 2025 16:26 +01:00	dot-nvim	Hook up ,p to put from the clipboard
Sun, 28 Dec 2025 16:12 +01:00	dot-nvim	Add an URL mode to yank.lua
Sun, 28 Dec 2025 15:42 +01:00	dot-nvim	Add a line mode to yank.lua
Sun, 28 Dec 2025 08:09 +01:00	dot-nvim	Update plugins (and add some uncommitted files)
Sun, 28 Dec 2025 08:05 +01:00	templates	Add a mime-type figure-outer
Fri, 26 Dec 2025 08:00 +01:00	scripts	Add a Docker multiarch helper
Thu, 25 Dec 2025 06:57 +01:00	scripts	Get the headphones MAC from the .preferences
Tue, 9 Dec 2025 05:46 +01:00	scripts	Set update preferences
Mon, 8 Dec 2025 07:15 +01:00	twitch-cli	Rework the neovim browser to use a dedicated filetype
Mon, 8 Dec 2025 06:49 +01:00	dot-nvim	Hook up a twitch filetype to be used by https://github.com/rootmos/twitch-cli
Mon, 8 Dec 2025 06:21 +01:00	dot-nvim	Make yank.lua configurable and add callback support

132 activities during last month

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

Session @ 2020-07-18: March to the devil

Session @ 2020-05-29 (1/2)

Session @ 2020-05-29 (2/2)

The Vermona Clap, ladies and gents

Session @ 2020-05-19: Dune sample

Session @ 2020-04-28 (2/2)

Session @ 2020-04-28 (1/2): Lawrence of Arabia sample

Session @ 2020-04-27

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)