Four short links: 24 January 2018

ActivityPub Approved, Real-Time Compression, Beating Toxic Work, and Javascript Verification

By Nat Torkington
January 24, 2018
  1. ActivityPub is a W3C Recommendationa decentralized social networking protocol based upon the [ActivityStreams] 2.0 data format. It provides a client-to-server API for creating, updating and deleting content, as well as a federated server-to-server API for delivering notifications and content.
  2. Zstda real-time compression algorithm, providing high compression ratios. It offers a very wide range of compression / speed trade-off, while being backed by a very fast decoder. It also offers a special mode for small data, called dictionary compression, and can create dictionaries from any sample set. Zstandard library is provided as open source software using a BSD license. (via Frank Denis)
  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. Tips for Self-Care from Tech Workers (Angie Chang) — Quit if you are in a toxic work environment. (via Mike Stok)
  5. JaVerT: The JavaScript Verification ToolchainUsing JaVerT, we verify functional correctness properties of data-structure libraries (key-value map, priority queue) written in object-oriented style; operations on data structures such as binary search trees (BSTs) and lists; examples illustrating function closures; and test cases from the official ECMAScript test suite. The verification times suggest that reasoning about larger, more complex code using JaVerT is feasible. (via Adrian Colyer)
Post topics: Four Short Links