Live data from Hacker News

Viewing profile — liuyao

liuyao

HN member
Joined
Thu, Mar 28, 2019, 3:42 AM UTC
HN karma
11
Public activity
5 items

About liuyao

No profile information was provided.

Recent public activity

  1. comment
    Comment #23120954

    I thought something as simple as this would have been tried out long ago. Here are some related ideas. Instead of pruning channels, one should try to prune connections. Say with a …

  2. comment
    Comment #21544596

    Come on, if I defined f(x)=x^2, and later used f(y) for y=x/2 or something, do you have problem with that?

  3. comment
    Comment #20752126

    You can weaken "completeness" though. In each of its many manifestations, completeness asks for the existence of something for all subsets (sequences, functions, ...) of reals. We …

  4. comment
    Comment #20743461

    Great example. Weil is said to be the one who was deeply immersed in both the geometric tradition of the Italians and the functional perspective of Riemann, so he was in a unique p…

  5. comment
    Comment #20706289

    These kind of heuristics are supposedly a prerequisite to the formal study, but sadly most textbooks don't spend the time talking about it (since logically it's not necessary). Ins…