Provisioning, deploying, and managing virtual machines

Written by hannes

all we need is X.509

Conex, establish trust in community repositories

Written by hannes

Conex is a library to verify and attest package release integrity and authenticity through the use of cryptographic signatures.

Who maintains package X?

Written by hannes

We describe why manual gathering of metadata is out of date, and version control systems are awesome.

Jackline, a secure terminal-based XMPP client

Written by hannes

implement it once to know you can do it. implement it a second time and you get readable code. implementing it a third time from scratch may lead to useful libraries.

Exfiltrating log data using syslog

Written by hannes

sometimes preservation of data is useful

Re-engineering ARP

Written by hannes

If you want it as you like, you've to do it yourself

Minimising the virtual machine monitor

Written by hannes

MirageOS solo5 multiboot native on bhyve

Counting Bytes

Written by hannes

looking into dependencies and their sizes

Configuration DSL step-by-step

Written by hannes

how to actually configure the system

Catch the bug, walking through the stack

Written by hannes

10BTC could've been yours

Fitting the things together

Written by hannes

building a simple website

Why OCaml

Written by hannes

a gentle introduction into OCaml

Operating systems

Written by hannes

Operating systems and MirageOS