Hacker News: hyh1048576

New comment by hyh1048576 in "AlphaGeometry: An Olympiad-level AI system for geometry"

hyh1048576 — Thu, 18 Jan 2024 01:03:12 +0000

Maybe it's mentioned somewhere but I missed it, could someone provide a list of the five problems that AlphaGeometry failed to solve? The paper mentioned IMO 2008p6 and IMO 2019p2. What are the other three?

New comment by hyh1048576 in "Using spaced repetition systems to see through a piece of mathematics (2019)"

hyh1048576 — Tue, 17 Oct 2023 23:38:49 +0000

Yep. Imagine doing multiplication in Roman numerals :)

New comment by hyh1048576 in "Using spaced repetition systems to see through a piece of mathematics (2019)"

hyh1048576 — Tue, 17 Oct 2023 22:22:32 +0000

If you want to see how some very simple notations greatly simplifies some math, check out J. H. Conway's proof of Morley's theorem.

Background: Morley's theorem is a non-trivial theorem in planar euclidean geometry stated in 1899 (first proof appeared 15 years later). The proofs are not easy. One can use complicated trignometry identities to prove it. Even the "simple" proofs are sometimes quite involved.

Conway introduced some notation and almost trivialized it. The notation he introduced was just a* := a + 60 where a is the degree of an angle. No one would believe this notation can do anything good, but with them (and some other insight) Conway can explain the proof in just a few sentences! (One might think anyone who understand that the interior angles of a triangle will always have a sum of 180° can come up with this simple proof, but that just didn't happen for 100 years until Conway revealed it.)

See page 3-6 here: http://thewe.net/math/conway.pdf

New comment by hyh1048576 in "Show HN: I built a Rotten Tomatoes-style platform for durable products"

hyh1048576 — Wed, 07 Oct 2020 16:16:02 +0000

Is it brand based, or product based? In the URL I see /brand/ and /product/.

I have trouble finding reliable floor lamp like [this](https://i5.walmartimages.com/asr/c38e8535-2ee2-477d-9e9a-836...). The base is almost always coming off after using for a few years so the whole thing is unstable.

New comment by hyh1048576 in "Math.min(Math.max(num, min), max)"

hyh1048576 — Thu, 20 Aug 2020 16:23:27 +0000

I agree.

But "min(-, constant_x)" should be thought of as "at most constant_x" and similarly for max. Maybe there's a way to make it more expressive.

New comment by hyh1048576 in "We Are Trying Out PeerTube"

hyh1048576 — Sat, 09 May 2020 22:57:40 +0000

I really hope Chinese start to use this as YouTube is being blocked by the Government.

How Has Coronavirus Affected Mathematics?

hyh1048576 — Wed, 29 Apr 2020 15:49:26 +0000

Article URL: https://www.quantamagazine.org/how-has-coronavirus-affected-mathematics-20200428/

Comments URL: https://news.ycombinator.com/item?id=23020616

Points: 1

# Comments: 0

Project Management in the Time of Coronavirus

hyh1048576 — Thu, 09 Apr 2020 16:23:27 +0000

Article URL: https://medium.com/1point3acres/project-management-in-the-time-of-coronavirus-6a63d486cc9

Comments URL: https://news.ycombinator.com/item?id=22824081

Points: 1

# Comments: 0

New comment by hyh1048576 in "Text Editing Hates You Too"

hyh1048576 — Tue, 29 Oct 2019 08:56:07 +0000

Chinese here. To be a little picky, phonetics is just one of the several methods to input Chinese. (Pinyin is the dominant one, and yes it is phonetics, other ways uses shapes of the characters and maybe a lot faster, see https://en.wikipedia.org/wiki/Wubi_method for example.)

Speaking of input methods I always with there are good English input methods, it will be useful too! For example if user enters "compre" the input methods goes 1. comprehension 2. comprehensive (with an order depending on the conditional probability -- there is some interesting math behind input prediction, and with their help input can be a lot smooth, however I only see it used on phones not computers.)

New comment by hyh1048576 in "A uBlock Origin update was rejected from the Chrome Web Store"

hyh1048576 — Sat, 12 Oct 2019 16:49:24 +0000

I tried several times to use Firefox as my default browser, but eventually I switched back to Chrome, due to some weird issues I got at some sites.

I still hate what Google is doing for Chrome and I'm now using a dual browser strategy... I use Firefox and Chrome at the same time, with a preference to Firefox.

Brown eliminates GRE test requirement for 24 doctoral programs

hyh1048576 — Mon, 07 Oct 2019 21:20:32 +0000

Article URL: https://www.brown.edu/news/2019-10-03/gre

Comments URL: https://news.ycombinator.com/item?id=21186075

Points: 2

# Comments: 2

New comment by hyh1048576 in "Lsd: The next gen ls command"

hyh1048576 — Tue, 21 May 2019 00:19:23 +0000

I've noticed a lot of command line utilities are being rewritten in Rust. Is there a reason for this?

New comment by hyh1048576 in "Leisure Is Our Killer App"

hyh1048576 — Tue, 23 Apr 2019 18:01:13 +0000

Isn't that what meditation/mindfulness do for you?

How our 1,000-year-old math curriculum cheats America's kids (2014)

hyh1048576 — Sat, 01 Dec 2018 19:56:06 +0000

Article URL: https://www.latimes.com/opinion/op-ed/la-oe-adv-frenkel-why-study-math-20140302-story.html

Comments URL: https://news.ycombinator.com/item?id=18578571

Points: 3

# Comments: 0

Arxiv.org is down

hyh1048576 — Mon, 26 Mar 2018 22:07:22 +0000

Article URL: https://arxiv.org/

Comments URL: https://news.ycombinator.com/item?id=16683085

Points: 3

# Comments: 1

New comment by hyh1048576 in "China orders Bitcoin exchanges in capital city to close"

hyh1048576 — Tue, 19 Sep 2017 19:22:23 +0000

I don't think this is to protect WeChat.

But speaking of this, it's really interesting to witness many Chinese bitcoin users/traders start to abandon WeChat and switch to Telegram. Many of them are totally new to telegram, but fear of Gov-monitoring drive them there.

New comment by hyh1048576 in "My phone was searched at LAX, which apparently is the new normal"

hyh1048576 — Fri, 07 Apr 2017 14:17:11 +0000

Then you just risk of losing your smart phone. 100 - 200 bucks is good enough for thieves.

New comment by hyh1048576 in "Beepi Winding Down After Burning Through $150M"

hyh1048576 — Fri, 17 Feb 2017 07:40:56 +0000

I used them and sold my car at a price better than any dealer. But I personally doubted whether their business model was viable. Actually people don't sell cars very often and being an "car dealer on the internet" doesn't change that fact.

New comment by hyh1048576 in "SHA-512 is 1.5x faster than SHA-256 on 64-bit platforms"

hyh1048576 — Thu, 02 Feb 2017 03:18:34 +0000

As a side note, there are some cryptocurrency project using half of the sha512, since it's faster and using a 256 bit hash saves spaces.

New comment by hyh1048576 in "Facebook will lose 80% of users by 2017, say Princeton researchers (2014)"

hyh1048576 — Fri, 06 Jan 2017 00:09:41 +0000

I went through several cycles like that. But somehow I stopped using Facebook in 2013. I managed to shift the mindset from "it's a waste of time" to "it's very shameful to use facebook" (and maybe connect it with some really shameful thing in your mind, like, "using Facebook is the same as stealing an old man's money") and that magically works! And it doesn't require any iron will for me.

After that, every single time I think about using Facebook the shame engine in my mind generates enough repel force for me to not do it.

I didn't do that whole process intensionally. I remember seeing some meme like "checking out Facebook in the summer -- all my friends are having fun somewhere and me masturbating lonely in a dark room" and that initiated the mindset change.

To be honest, I know using Facebook is NOT a shame, but now I don't have any reason to use it at all. (There are some stupid website which only allows Facebook login, and I use my gf's account for it -- neither I nor her care about what's on her facebook.)