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.
While this script’s a hack, it blows my mind that there isn’t already something out there which does this.
Huh. This looks interesting for modelling distributed systems. “TLA” refers to Temporal logic of actions.
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.
Game about creating a planetary system that can last at least 500 years. The more complexity and interaction between bodies, the higher your score!