logoalt Hacker News

Yopolotoday at 12:56 PM0 repliesview on HN

We just put different things together and then we evaluate it.

In math its simple: does the verification say its okay.

If its mechanical: is any property better than what we have already.

etc.