← Back to context

Comment by pfdietz

9 hours ago

That's going to force formalization to become required for any new result to be taken seriously.

0 comments

pfdietz

Reply

No comments yet

Contribute on Hacker News ↗