Four short links: 18 October 2019

Automated Reasoning, Streamsheets Open Source, Build Management, and Assembler Robots

By Nat Torkington
October 18, 2019
Four Short Links
  1. The NAI SuiteA prototype for automated reasoning over legal texts, called NAI, is presented. As an input, NAI accepts formalized logical representations of such legal texts that can be created and curated using an integrated annotation interface. The prototype supports automated reasoning over the given text representation and multiple quality assurance procedures.
  2. Streamsheets — open source release of an open source tool for making your data immediately understandable and for creating IoT applications visually and interactively—without a single line of code.
  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. Bazel Hits 1.0 — Build software from Google. Key features of the release: semantic versioning, long-term support, features supported on Android, Angular, Java, and C++.
  5. Assembler Robots Make Large Structures from Little Pieces“What’s at the heart of this is a new kind of robotics that we call relative robots,” Gershenfeld says. Historically, he explains, there have been two broad categories of robotics—ones made out of expensive custom components that are carefully optimized for particular applications such as factory assembly, and ones made from inexpensive mass-produced modules with much lower performance. The new robots, however, are an alternative to both. They’re much simpler than the former, while much more capable than the latter, and they have the potential to revolutionize the production of large-scale systems, from airplanes to bridges to entire buildings.
Post topics: Four Short Links
Post tags: Signals