jakob.space personal blog
What I've Learned About Formal Methods in Half a Year
A retrospective on a few months of working on a graduate degree in computer science.
- Points
- 164
- HN comments
- 70
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringSystems & Performance2023
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Apr 10, 2023 | What I've Learned About Formal Methods in Half a Year by todsacerdoti | 164 | 70 |
