Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
hackingonempty | Dark Hacker News
user:
hackingonempty
created:
August 11, 2023
karma:
1.2k
submissions
comments
1.
Pulse: Proof-Oriented Programming in Concurrent Separation Logic (Output C/Rust)
(fstar-lang.org)
1 points
by
hackingonempty
16 days ago
|
1 comment