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