Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
Using TLA+ to Model Cascading Failures (2019) (medium.com/software-safety)
5 points by Tomte 11 months ago | past
Introduction to TLA+ Model Checking in the Command Line (2019) (medium.com/software-safety)
4 points by Tomte on Feb 20, 2024 | past
A Software Engineer’s Guide to Cybernetics (2020) (medium.com/software-safety)
2 points by TeacherTortoise on Oct 23, 2022 | past
Why Self Driving Cars Are Not Safe (medium.com/software-safety)
2 points by mbellotti on July 8, 2022 | past

Consider applying for YC's Summer 2026 batch! Applications are open till May 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: