Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
megamorf
on July 12, 2023
|
parent
|
context
|
favorite
| on:
Vale's first prototype for immutable region borrow...
I was confused by the title because when my bubble talks about Vale they mean this:
https://github.com/errata-ai/vale
zahllos
on July 12, 2023
[–]
There is also
https://project-everest.github.io/vale/
, which is a programming language used in formal verification.
I was slightly confused when I first read the title as well :)
Consider applying for YC's W25 batch! Applications are open till Nov 12.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
https://github.com/errata-ai/vale