posts

RSS

custom type checker errors for propellor
Posted Tue Jul 2 20:53:16 2019 by joey

custom ARM disk image generation with propellor
Posted Sun Nov 19 19:51:22 2017 by joey

unifying OS installation and configuration management
Posted Wed Aug 9 15:57:13 2017 by joey

Functional Reactive Propellor
Posted Sat Jul 15 21:43:21 2017 by joey

Linux.Conf.Au 2017 presentation on Propellor
Posted Wed Nov 16 15:13:32 2016 by joey

type safe multi-OS Propellor
Posted Mon Mar 28 11:29:18 2016 by joey

letsencrypt support in propellor
Posted Sun Feb 7 22:10:20 2016 by joey

propelling disk images
Posted Fri Oct 23 02:09:17 2015 by joey

propellor orchestration
Posted Thu Oct 22 01:02:58 2015 by joey

it's a bird, it's a plane, it's a super monoid for propellor
Posted Sat Oct 17 18:43:20 2015 by joey

then and now
Posted Thu Aug 27 00:01:59 2015 by joey

making propellor safer with GADTs and type families
Posted Sun Jan 25 03:54:14 2015 by joey

clean OS reinstalls with propellor
Posted Fri Dec 5 20:24:32 2014 by joey

propelling containers
Posted Fri Nov 21 21:33:06 2014 by joey

propellor is d-i 2.0
Posted Mon Sep 8 09:32:25 2014 by joey

using a debian package as the remote for a local config repo
Posted Tue Aug 19 22:55:20 2014 by joey

how I wrote init by accident
Posted Wed May 14 15:05:49 2014 by joey

propellor-driven DNS and backups
Posted Sat Apr 19 07:08:45 2014 by joey

propellor introspection for DNS
Posted Fri Apr 11 05:05:54 2014 by joey

propellor type-safe reversions
Posted Wed Apr 2 17:09:02 2014 by joey

adding docker support to propellor
Posted Tue Apr 1 08:22:41 2014 by joey

introducing propellor
Posted Sun Mar 30 07:50:42 2014 by joey