Radar

Four short links: 3 June 2020

Undie Detector, Formal Methods, Workflow Automation, and Open Source Multimedia Communications

By Nat Torkington
June 3, 2020
Four Short Links
  1. Undie Detector — Safe Meeting keeps an eye on you during your video conferences, and if it sees business-inappropriate attire, the video is immediately muted.
  2. Using Formal Methods to Eliminate Exploitable Bugs — An overview video of the use of formal methods to prevent bugs, with reference to DARPA’s High Assurance Cyber-Military Systems project.

    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
  3. n8n — A workflow automation tool with a not-for-sale/hosting license (Apache 2.0-licensed, with a “Commons Clause”).
  4. PJSIP — a free and open source multimedia communication library written in C language implementing standard based protocols such as SIP, SDP, RTP, STUN, TURN, and ICE. (via Hacker News).
Post topics: Four Short Links
Post tags: Signals
Share: