I see this on the mail archive link 03/26/2019 - Validating a Coordination Protocol with Alloy, Using Sequence Properties to Verify a A Serial Port Transmitter

I see this on the mail archive link 03/26/2019 - Validating a Coordination Protocol with Alloy, Using Sequence Properties to Verify a A Serial Port Transmitter, Enums In JavaScript 03/25/2019 - Boolean blindness, Ruby's Hidden Gems, StringScanner, Build yourself a DVCS