Software

Software archaeology, hunting bugs in Emacs

Moving my devboxes to Docker

Embedding a new runtime into your legacy C/C++ app

What is a software company?

Applied Symbolic Execution with KLEE/LLVM

Is LLVM the beginning of the end for GNU (as we know it)?

Symbolic Execution

What is software?

Welcome and some guiding words...