rootmos' what-nots

Soundsjamdemoallbor19

Activity

Projects

• wwwo » A continuation-style static website generator in OCaml
• config ★1 » Personal configuration files: vimrc and what-not.
• openbsd ★3 » OpenBSD image builder
• silly-church ★8 » A small example of a nanopass style compiler
• displayswitcheroo » Configure your monitors using Lua
• lua-hack » Public domain Lua modules
• twitch-cli ★10 » Twitch command line interface
• h ★3 » Hardened script host programs
• texhelp » TeX Live helpers
• 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
• fetch » One script to fetch them and in /tmp bind them
• AoC » Solutions to Advent of Code
• libr » Opinionated public domain C snippets
• turn » Terminal livesplit application
• dvorak » My customized Dvorak layout
• 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 ★8 » Run a local development Arweave blockchain with faucets and on-demand mining
• 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-actor ★4 » Small actor model implementation that compiles to C using nanopass-framework
• 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
• silly-joy ★34 » Interpreter for Joy in Haskell using extensible-effects
• silly-ml ★7 » A small ML-like, type-checked, interpreted or x86-64 compiled, language created because it's weekend
• silly-k ★15 » silly-k is an experimental hobby language inspired by K and APL
• 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

Posts

• Scala implicits and the Curry-Howard correspondence (2017-05-07)
• A small nanopass example (2017-05-30)
• Implementing a K-like language targeting Malfunction (2017-06-09)
• Combining Brick and Haskeline (2017-08-31)

Services

• ip.rootmos.io

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)