Viewing profile — liuyao
liuyao
HN member- Joined
- Thu, Mar 28, 2019, 3:42 AM UTC
- HN karma
- 11
- Public activity
- 5 items
- HN profile
- View on Hacker News ↗
About liuyao
No profile information was provided.
Recent public activity
-
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 …
-
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?
-
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 …
-
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…
-
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…