Excellent Twitter thread from colmmacc on how s2n avoids protocol-state errors
using a linearized set of state transitions, and Cryptol and SAW to perform verification of the TLS state machine
(tags: cryptol saw formal-verification twitter threads colmmacc security s2n)
Remapping the silly double-S key on a Macbook running 10.12 Sierra
the latest hacky workaround for this stupid Apple keyboard layout bullshit