alt
Hacker News
Ericson2314
•
today at 5:33 AM
•
0 replies
•
view on HN
Cause it's a big ball of C with no formal verification!
alt Hacker News