Really cool. Tried to run it, unfortunately the code is broken at the moment- saw this error:<p><pre><code>    May 11 19:42:11 fbctf hhvm[12971]: [Wed May 11 19:42:11 2016] [hphp] [12971:7f304b7ff700:6:000001] [] \nFatal error: Class undefined: AsyncMysqlConnectionPool in &#x2F;var&#x2F;www&#x2F;fbctf&#x2F;src&#x2F;Db.php on line 19
</code></pre>
Very much looking forward to trying it out.