Hacker Newsnew | past | comments | ask | show | jobs | submit login

user: chaitanyya created: May 14, 2024 karma: 3 about: All things software correctness, reliability, formal methods, and mathematics submissions comments favorites