Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
dnautics
22 days ago
|
parent
|
context
|
favorite
| on:
Xr0 verifier, guarantee the safety of C programs a...
i made a quip and realized that's not a bad description of what fil-c does
throwaway17_17
22 days ago
[–]
Are you implying that Fil-C has this sort of reaction to people confused about why it does certain things in the name of safety, or are you saying Fil-C is just sprinkling magic fairy dust on C and declaring it safe?
dnautics
20 days ago
|
parent
[–]
i like fil-c, so i would say "fil c sprinkles magic fairy dust on C and makes it safe (at the cost of perf and elevated risk of crashing)
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: