RSS BotMB to Lobste.rsEnglish · 3 days agoScaling Correctness: Marc Brooker on a Decade of Formal Methods at AWSpodcasts.apple.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10file-text
arrow-up11arrow-down1external-linkScaling Correctness: Marc Brooker on a Decade of Formal Methods at AWSpodcasts.apple.comRSS BotMB to Lobste.rsEnglish · 3 days agomessage-square0fedilinkfile-text