Four short links
Four short links
  1. Facebook Open Sources Race Detection -- RacerD has been running in production for 10 months on our Android codebase and has caught over 1,000 multi-threading issues that have been fixed by Facebook developers before the code reaches production. It has helped support the conversion of part of News Feed in Facebook's Android app from a single-threaded to a multi-threaded model. We're excited to say that RacerD is now open source, as a tool on top of our Infer static analysis platform, that will check for concurrency bugs in Java code that uses locks or @ThreadSafe annotations.
  2. Robert Scoble and Me (Quinn Norton) -- I checked in with the organizers after that to make sure I would still be invited again if I broke Robert Scoble’s nose for sexually assaulting me. They said sure. See also Sara's response.
  3. Edward -- a Turing-complete language for probabilistic programming.
  4. Wargames -- learn and practice security concepts in the form of fun-filled games.
Article image: Four short links