RSS
custom type checker errors for propellor
Posted 5 years and 10 months ago by joey
custom ARM disk image generation with propellor
Posted 7 years and 5 months ago by joey
unifying OS installation and configuration management
Posted 7 years and 9 months ago by joey
Functional Reactive Propellor
Posted 7 years and 10 months ago by joey
Linux.Conf.Au 2017 presentation on Propellor
Posted 8 years and 6 months ago by joey
type safe multi-OS Propellor
Posted 9 years and 1 month ago by joey
letsencrypt support in propellor
Posted 9 years and 3 months ago by joey
propelling disk images
Posted 9 years and 7 months ago by joey
propellor orchestration
Posted 9 years and 7 months ago by joey
it's a bird, it's a plane, it's a super monoid for propellor
Posted 9 years and 7 months ago by joey
then and now
Posted 9 years and 8 months ago by joey
making propellor safer with GADTs and type families
Posted 10 years and 3 months ago by joey
clean OS reinstalls with propellor
Posted 10 years and 5 months ago by joey
propelling containers
Posted 10 years and 6 months ago by joey
propellor is d-i 2.0
Posted 10 years and 8 months ago by joey
using a debian package as the remote for a local config repo
Posted 10 years and 9 months ago by joey
how I wrote init by accident
Posted 11 years ago by joey
propellor-driven DNS and backups
Posted 11 years and 1 month ago by joey
propellor introspection for DNS
Posted 11 years and 1 month ago by joey
propellor type-safe reversions
Posted 11 years and 1 month ago by joey
adding docker support to propellor
Posted 11 years and 1 month ago by joey
introducing propellor
Posted 11 years and 1 month ago by joey