| user: | _doctor_love |
| created: | March 1, 2026 |
| karma: | 1.0k |
| about: | life is good, take care of yourself and go outside |
| 1. | The Unreasonable Effectiveness of Property Testing for Validating Formal Specs(proofsandintuitions.net) |
| 2. | When the Hard Part Stops Being Hard(proofsandintuitions.net) |
| 3. | S. R. Ranganathan(en.wikipedia.org) |