Raitis Veinbahs
more
about
me
my
toy projects
my
github
my
asciinema
2022-06-05
Proving binary string bijection with naturals in agda
2021-04-01
Grepping scala transitive dependencies
2020-11-15
Compiling hakyll with nix
2018-03-08
What software do my computers run?
2017-10-11
Building docker containers with NixOS
2017-09-26
How to create a process without environment variables
2017-05-24
Simplest POSIX ACL example
2017-05-12
Bootstrapping chef with cloud-init and omnibus
2017-04-02
Customized rsync for vagrant
2016-09-13
Dumping incorrect password entries from i3lock
2016-01-26
Hardcoding host's IP address in PuTTY for windows
2016-01-06
In finite groups e = a^n for every a
2015-12-16
Python cannot even `uniq'
2015-08-10
[lv] Master version controller
2015-08-01
A proof about the identity relation
2015-05-22
Adding context to window managers keybinds
2015-05-18
A simple exercise in lambda calculus
2014-12-07
Beta reduction of metaprograms
2014-10-08
Glorifying IRC
2014-09-23
Duplicating streams in *nix and pointful shell programming
2013-02-28
Cloning setups
2013-02-01
Flushing stdin