Four short links: 23 January 2020

  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. float-toy — play with the binary representation of IEEE floats.
  4. 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!)