Four short links: 20 October 2017

Four short links
Four short links
  1. Facebook Open Sources Race DetectionRacerD 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. Wargameslearn and practice security concepts in the form of fun-filled games.
Article image: Four short links

Powered by WPeMatico