Resources › cs › theory › algorithms › verification Bookmarks Proof of correctness of data representation Added on January 25, 2025 · 1 min read TLA+ is hard to learn Added on December 16, 2024 · 5 min read What is an Invariant? Oct 6, 2023 Added on July 22, 2024 · 9 min read cs/software_development/design The next fifty years Added on July 11, 2024 · 10 min read cs/software_development/design/simplicity Leslie Lamport Added on June 28, 2024 · 3h 51m read cs/software_development/concurrency Subcategories