Graydon Hoare personal blog
Some notes on Rust, mutable aliasing and formal verification
The original page did not respond normally when we last checked (HTTP 403). The archived copy may help.
- Points
- 357
- HN comments
- 145
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesSoftware Engineering2024
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| May 16, 2024 | Some notes on Rust, mutable aliasing and formal verification by todsacerdoti | 357 | 145 |
