The Unreasonable Effectiveness of Property Testing for Validating Formal Specsproofsandintuitions.net·7 pts·_doctor_love·0
CO, FL, GA schools testing pepper-spraying Mithril drones to stop shooterscbsnews.com·6 pts·_doctor_love·1
Dark Software Factories Are Cool. What Comes After Them Is More Interestingflummadiddle.bearblog.dev·2 pts·_doctor_love·0