Viewing profile — mzweav
mzweav
HN member- Joined
- Mon, Jan 26, 2026, 3:54 PM UTC
- HN karma
- 2
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About mzweav
No profile information was provided.
Recent public activity
-
comment
Comment #46779903
Ooooh! Those indeed look fun! :)
-
comment
Comment #46767368
I'm the other dev of Crane. Our current plan is to use BRiCk ( https://skylabsai.github.io/BRiCk/index.html ) to directly verify that the C++ implementation our STM primitives are …