RSS BotMB to Lobste.rsEnglish · 11 days agoXavier Leroy on programming, languages and formal verificationwww.youtube.comexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10file-text
arrow-up12arrow-down1external-linkXavier Leroy on programming, languages and formal verificationwww.youtube.comRSS BotMB to Lobste.rsEnglish · 11 days agomessage-square0linkfedilinkfile-text