Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
mzweav
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
1.
▲
by
mzweav
8mo ago
Ooooh! Those indeed look fun! :)
2.
▲
by
mzweav
8mo ago
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 extracted to matches the functional