RSS BotBM to Hacker NewsEnglish · 3 hours agoShow HN: Green tests are not proof – verifier for C/C++ and firmware fixesunfix.devexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10file-text
arrow-up12arrow-down1external-linkShow HN: Green tests are not proof – verifier for C/C++ and firmware fixesunfix.devRSS BotBM to Hacker NewsEnglish · 3 hours agomessage-square0linkfedilinkfile-text