Four short links: 23 January 2020

Formal Methods, Backends, Binary Representation, and Chat Bridging

By Nat Torkington
January 23, 2020
Four Short Links
  1. The Business Case for Formal Methodsa short explanation, a list of benefits and case studies, and a demo. Everything’s in TLA+, but the arguments apply equally well to Alloy, B, statecharts, etc. (Via Lobsters)
  2. Backend LoreFrom late 2012 to the present I have been writing backends (server-side code) for web applications. This document summarizes many aspects of how I write these pieces 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. float-toy — play with the binary representation of IEEE floats.
  5. matterbridge[chat] bridge between mattermost, IRC, gitter, xmpp, slack, discord, telegram,, steam, twitch, ssh-chat, zulip, whatsapp, keybase, matrix, and more with REST API (mattermost not required!)
Post topics: Four Short Links
Post tags: Signals