← Back to context

Comment by Ygg2

1 day ago

In theory they are the same statement; in practice there is 0.01% chance someone wrote unsound code.

0 comments

Ygg2

Reply

No comments yet

Contribute on Hacker News ↗