stereochrome

Inklings in April 2014

Getting Apache, php-fpm, and in-app HTTP authentication working

Inside the vhost config for the site, include the following:

SetEnvIf Authorization "(.*)" HTTP_AUTHORIZATION=$1

That way, the Authorization header will be passed through regardless of Apache’s usual filtering. Keep in mind that with this rule in place, you have to check for HTTP_AUTHORIZATION being empty too.

Migrating from Pathogen to Vundle

Given an SSL/TLS certificate, walk all its intermediates to construct a CA bundle

While this script’s a hack, it blows my mind that there isn’t already something out there which does this.

"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers" by Leslie Lamport

Huh. This looks interesting for modelling distributed systems. “TLA” refers to Temporal logic of actions.

Spin

Spin is a popular open-source software verification tool, used by thousands of people worldwide. The tool can be used for the formal verification of multi-threaded software applications.

Super Planet Crash

Game about creating a planetary system that can last at least 500 years. The more complexity and interaction between bodies, the higher your score!

Organizational Skills Beat Algorithmic Wizardry

On Making Mistakes