Viewing profile — hyh1048576

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.…

Yep. Imagine doing multiplication in Roman numerals :)

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 th…

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-…

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.

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

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 t…

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 doin…

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

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

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.…

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

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 bein…

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.

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 face…

I use WeChat daily and I left my response in another comment: https://news.ycombinator.com/edit?id=12628827 TL;DR: It's more than a privacy concern, censorship is right built in th…

Disclaimer partly in response to "has anyone criticizing it has actually tried weChat": I use WeChat daily. WeChat is an amazing App with a lot of features. Using it for payment is…

So is there anyway to speed it up? The font part is essential to me though.