I'm an infrastructure engineer at Improbable. We're building SpatialOS, a distributed operating system that facilitates simulation on an unprecedented scale.
I'm particularly interested in finding people who want to join our new engineering effectiveness team to build tools and define development practices for a rapidly growing organisation. If you're passionate about developer productivity, build systems and designing great APIs for internal usage, reach out to me.
I'm an infrastructure engineer at Improbable.
We're building SpatialOS, a distributed operating system that facilitates simulation on an unprecedented scale, allowing us to ask huge, "what if" questions of the real world.
In addition to a wide range of engineering roles in our rapidly growing London office, we just opened a new office in San Francisco in which we're looking to hire founding software engineers, community managers and product managers.
KLEE is pretty cool. To compensate for the atrocious build instructions there's a docker image which contains KLEE built and ready to use (https://registry.hub.docker.com/u/kleeweb/klee/).
Author here, and good point! I was struggling a bit with the terminology to use, didn't think of decorator factory, it definitely would have been a bit clearer.
I feel like when you remove a large portion of the dynamic features of PHP (references + global variables) you're now comparing different implementations of different languages, not different implementations of the same language.
HHVM is impressive largely because of the strides in performance despite PHP being an obnoxiously dynamic language, in the same way that V8 is impressive in the optimisations they're able to do on Javascript.
It's certainly a cool side project, but I don't think anyone is under the illusion that HHVM (or the official PHP interpreter) wouldn't be orders of magnitude faster if they didn't have to support the idiosyncrasies of PHP.
I'm an infrastructure engineer at Improbable. We're building SpatialOS, a distributed operating system that facilitates simulation on an unprecedented scale.
We recently raised a huge round lead by SoftBank which is allowing to push the boundaries of virtual world creation, which you can read more about on Wired (http://www.wired.co.uk/article/improbable-quest-to-build-the...)
I'm particularly interested in finding people who want to join our new engineering effectiveness team to build tools and define development practices for a rapidly growing organisation. If you're passionate about developer productivity, build systems and designing great APIs for internal usage, reach out to me.
A full list of roles is available at https://improbable.io/careers/opportunities If you're interested and want to chat more about Improbable feel free to contact me directly at [email protected]