hyh1048576

5 ms·

1.
by hyh1048576 3y ago
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?
2.
by hyh1048576 3y ago
Yep. Imagine doing multiplication in Roman numerals :)
3.
by hyh1048576 3y ago
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
4.
by hyh1048576 6y ago
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... ).
5.
by hyh1048576 6y ago
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.
6.
by hyh1048576 6y ago
I really hope Chinese start to use this as YouTube is being blocked by the Government.
7.
How Has Coronavirus Affected Mathematics?(quantamagazine.org)
1 points by hyh1048576 6y ago|0 comments
8.
Project Management in the Time of Coronavirus(medium.com)
1 points by hyh1048576 6y ago|0 comments
9.
by hyh1048576 7y ago
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:/&#x2F
10.
by hyh1048576 7y ago
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.
11.
Brown eliminates GRE test requirement for 24 doctoral programs(brown.edu)
2 points by hyh1048576 7y ago|2 comments
12.
by hyh1048576 7y ago
I've noticed a lot of command line utilities are being rewritten in Rust. Is there a reason for this?
13.
by hyh1048576 7y ago
Isn't that what meditation/mindfulness do for you?
14.
How our 1,000-year-old math curriculum cheats America's kids (2014)(latimes.com)
3 points by hyh1048576 8y ago|0 comments
15.
Arxiv.org is down(arxiv.org)
3 points by hyh1048576 9y ago|1 comments
16.
by hyh1048576 9y ago
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, bu
17.
by hyh1048576 10y ago
Then you just risk of losing your smart phone. 100 - 200 bucks is good enough for thieves.
18.
by hyh1048576 10y ago
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'
19.
by hyh1048576 10y ago
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.
20.
by hyh1048576 10y ago
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 wi
21.
by hyh1048576 10y ago
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 there. I agree there's a lot to lea
22.
by hyh1048576 10y ago
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 convenient. It's video Chat is so much bette
23.
by hyh1048576 10y ago
So is there anyway to speed it up? The font part is essential to me though.
24.
by hyh1048576 10y ago
Well I mean LuaTeX (in fact LuaLaTeX) is too slow to compile tex files. I'm using a Mac and it has SSD. a simple slides takes 5 seconds to compile, which is very slow compare to things like pdfLaTeX.
25.
by hyh1048576 10y ago
Does that mean Karabiner and Seil are now combined? I mapped my Caps Lock to escape, but I just realized that it's not by Karabiner, and I need Seil from the same author to do it.
26.
by hyh1048576 10y ago
Great news. BTW is there anyway to make LuaTeX compile faster?
27.
by hyh1048576 10y ago
You certainly get what I'm talking about, comrade.
28.
by hyh1048576 10y ago
OP here. Although it is very often for me to call out Western-centric viewpoint on English forums, this time I tend to agree with people from Romania or other ex-communist countries :D. At least for me, it's more like a communist thing
29.
by hyh1048576 10y ago
I found this paragraph in the Wikipedia page pretty amazing: > Roughly equivalent words in other languages include sociolismo in Cuba; blat in Russia; guanxi in Chinese and Vetternwirtschaft in German, protektzia in Israeli slang, un pit
30.
by hyh1048576 10y ago
As someone who was born and raised in China I just like to remind people that the real meaning of "guanxi" is a function of location and time. i.e. the real meaning of "guanxi" is different from 20 yrs ago to present, an

More ›