ghostly_gray

4 ms·

1. 1.▲
   by ghostly_gray 9y ago

   Author here. I guess what I was trying to say is that CompCert as a system has been trusted for over 10 years, yet only now do we find such a silly correctness bug. People won't read the paper to find out that parsing is unverified, th
2. 2.▲
   by ghostly_gray 9y ago

   Hi, author here. I definitely agree the valuable part is thinking through the verification process, which devotes a lot of time to understanding the system and adds resilience in edge cases. Someone on Twitter brought that up: https:/
3. 3.▲
   Tips for speed and ergonomics for programmers and Mac users(raywang.tech)

   1 points by ghostly_gray 9y ago|0 comments