Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
wsx-antithesis
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
wsx-antithesis
7mo ago
The sequel is now up at https://antithesis.com/blog/2026/rust_formal_methods/
2.
▲
by
wsx-antithesis
8mo ago
Hi, I (Shuxian) worked with Michael on this project. Happy to answer any questions! We'll also post a followup next week on formally verifying our unsafe primitives in the style of RustBelt ( https://plv.mpi-sws.org/rust