rootmos' what-nots

Some math, mostly programming and everything in between

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

Sat, 18 Jul 2020	Session @ 2020-07-18: March to the devil
Sat, 30 May 2020	The Vermona Clap, ladies and gents
Sat, 30 May 2020	Session @ 2020-05-29 (2/2)
Sat, 30 May 2020	Session @ 2020-05-29 (1/2)
Tue, 19 May 2020	Session @ 2020-05-19: Dune sample

Activity

Fri, 22 Jan 2021	iotaledger/stronghold.rs	Detect superfluous bytes in the receive function as well
Fri, 22 Jan 2021	iotaledger/stronghold.rs	Detect unexpected EOF and superfluous bytes during transfer
Fri, 22 Jan 2021	iotaledger/stronghold.rs	Correct conditional compilation of the std::panic::set_hook call in tests
Fri, 22 Jan 2021	iotaledger/stronghold.rs	Hook up the Transferable trait (1-byte-at-a-time for now)
Thu, 21 Jan 2021	iotaledger/stronghold.rs	Use X25519 in the snapshot format in order to not use the users snapshot key in the cipher
Thu, 21 Jan 2021	iotaledger/stronghold.rs	Add changelog message
Thu, 21 Jan 2021	iotaledger/stronghold.rs	Adress unnecessary .clone() in engine/vault/benches/benchmark.rs:18
Thu, 21 Jan 2021	iotaledger/stronghold.rs	Sketch a way to transfer objects living on the heap through the zone For instance the `secret::*::Ciphertext` have their data in a `Vec`
Thu, 21 Jan 2021	iotaledger/stronghold.rs	Add the forgotten vault test's fresh module
Thu, 21 Jan 2021	iotaledger/stronghold.rs	Protect data in transit when being written to a vault

Projects

config » Personal configuration files: vimrc and what-not.
wwwo » A continuation-style static website generator in OCaml
twitch-cli » Twitch command line interface
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
audio-journal » Android app and Linux scripts to keep a diary of sounds
displayswitcheroo » Configure your monitors based on a list of preferred profiles
tabs-vs-spaces » Configure Vim according to heuristics based on the current buffer
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
git-audit » Manages an audit trail for a Git repository by considering it as an Ethereum side-chain
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
libpquv » A small library combining libpq and libuv
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

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)