What We Mean by Safety
Safety is a highly overloaded term in different communities and contexts. To ease communication, we’ve summarized our definitions and understanding of safety in the Hylo repo.
For the curious, here are some further resources that go into more detail, and provide an expanded framework to think about safety, correctness and contracts, which are all closely related topics.
- Safety, Correctness, and the Shape of Reasoning - Lucian Radu Teodorescu, 2026, Overload 34(193)
- On Contracts and Safety - Lucian Radu Teodorescu, 2026, Overload 34(194)
- Better Code - Safety (Appendix) - Dave Abrahams, Sean Parent, 2026
- Local Reasoning Can Help Prove Correctness - Lucian Radu Teodorescu, Sean Parent, 2025, Overload 33(188)
- Better Code - Contracts - Dave Abrahams, 2025-2026

