Viewing profile — wsx-antithesis
wsx-antithesis
HN member- Joined
- Fri, Feb 13, 2026, 3:12 PM UTC
- HN karma
- 5
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About wsx-antithesis
No profile information was provided.
Recent public activity
-
comment
Comment #47168069
The sequel is now up at https://antithesis.com/blog/2026/rust_formal_methods/
-
comment
Comment #47003666
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…