Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
tschottdorf
on May 19, 2017
|
parent
|
context
|
favorite
| on:
Writing correct lock-free and distributed stateful...
https://github.com/uwplse/verdi
is a good example of this (it uses coq and extractions along with minimal glue).
unboxed_type
on May 22, 2017
[–]
Have you tried it yourself or maybe you know someone who have? Honestly, I think that this development is highly impractical due to very high entrance ticket price for someone not belonging to UW PLSE group ;-)
Consider applying for YC's Summer 2025 batch! Applications are open till May 13
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
