Scott Vokes on Atomic Spin

Configuring a Laptop with Ansible, Part Two

An example of how I use Ansible config management to save and reproduce the environment on my laptop.

Developer Tools

Configuring a Laptop with Ansible, Part One

How to use the Ansible configuration management systems to easily reproduce a heavily customized environment on other laptops down the line.

Developer Tools

Fuzz Testing with afl-fuzz (American Fuzzy Lop)

On using Google's American Fuzzy Lop for fuzz testing.

Mobile Apps

expect()ing the Unexpected

While components may work in isolation, subtle assumptions in their designs can lead to surprising failures in combination.

iOS / OS X

Fixing UI Elements that Float Away

The bug appeared when testing on iOS 7 but not iOS 8, which suggested the root cause might be a floating point error with the constraint layout library.

Developer Tools

autoclave: A Pressure Cooker for Programs

autoclave applies prolonged heat and pressure to eliminate hard-to-reproduce bugs.

Extracurricular Activities

Configuring a Git-Controlled Home Directory with Ansible

I wanted to use Ansible to manage my main development environment at home, with a home directory set up in git.

C & C++

odo: Atomic Counters from the Command Line

I couldn't think of a command-line program to increment a counter in a file without race conditions, at least not without some sort of database.

C & C++

Nicer C99 APIs with Designated Initializers

While working on a library for property-based testing in C, I found a trick to making nicer library interfaces in C99: “designated initializers.”

C & C++

theft: Property-Based Testing for C

theft is a a C library for property-based testing: It generates input to stress-test code, and can reduce failures detected to minimal failing input.

Development Practices

Property-Based Testing – Testing Assumptions You Don’t Know You’re Making

Finding good test input can be tricky. Even with loads of unit tests, bugs still get through. Why not just generate input and let that find the edge cases?

Extracurricular Activities

Callaloo Radio System: Part 3 – Publishing Status over MQTT and HTTP

Publishing status data, over a network, with MQTT and HTTP.

Scott Vokes

Keep up with our latest posts.