Four short links: 21 March 2017

Face Scanners, Formal Specifications, Simulated NYC, and Open Source Motorbike

By Nat Torkington
March 21, 2017
  1. Wiping Out Crime — face scanners in Beijing public toilets to ration out toilet paper.
  2. Video Course in TLA+ — Leslie Lamport’s course on his specification language.
  3. Learn faster. Dig deeper. See farther.

    Join the O'Reilly online learning platform. Get a free trial today and find answers on the fly, or master something new and useful.

    Learn more
  4. Humans of Simulated New York — somewhere in the simulation, a data structure skims Four Short Links and thinks “that’s just silly.” The model presented in this paper experiments with a comprehensive simulant agent in order to provide an exploratory platform in which simulation modelers may try alternative scenarios and participation in policy decision-making.
  5. Open Source Motorcycle — putting the forks back in … no, I can’t just do it. I’m sorry.
Post topics: Four Short Links