rootmos' what-nots

Soundsjamdemoallbor19

Twitch highlights

Activity

Projects

• config » Personal configuration files: vimrc and what-not.
• tabs-vs-spaces » Configure Vim according to heuristics based on the current buffer
• git-audit » Manages an audit trail for a Git repository by considering it as an Ethereum side-chain
• libpquv » A small library combining libpq and libuv
• twitch-cli » Twitch command line interface
• wwwo » A continuation-style static website generator in OCaml
• audio-journal » Android app and Linux scripts to keep a diary of sounds
• displayswitcheroo » Configure your monitors based on a list of preferred profiles
• midi » Music and MIDI processing tools
• spl » Deterministically configure, build and install custom Linux distributions from scratch
• stream » Streaming utilities
• fb » rootmos generates buffers with frames
• agda-hack » A place to collect things I learn about Agda
  • bf » A BrainFuck interpreter
• dvorak » My customized Dvorak layout: a mixture of Dvorak, Svorak and programmers Dvorak, combining the best of all worlds.
• apl-hack » 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 » An Arweave client written in Rust
• loom » 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 » Small actor model implementation that compiles to C using nanopass-framework
• dont-fear-the-reaper » A Linux subreaper that terminates orphans
• lambdasylum » A place to study some lambda calculi
• silly-joy » Interpreter for Joy in Haskell using extensible-effects
• silly-ml » A small ML-like, type-checked, interpreted or x86-64 compiled, language created because it's weekend
• silly-k » silly-k is an experimental hobby language inspired by K and APL
• ppx_useless » A useless ppx extension
• silly-church » A small example of a nanopass style compiler
• ppx_ski » SKI combinator calculus implemented in OCaml
• ldapy » 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 30 Nov 2018)