Usually, i remember that type annotations exist when I'm debugging after things aren't working. If you look at the python code that I've written, type annotations are a sure sign that "there was a problem here". it's like a scar on repaired code
The first and only time I've ever felt like I really know Chinese was when I came across the phrase '洋汽扑鼻' in "Fortress Besieged" by Qian Zhongshu. It literally means 'the breath of the sea assaults the nostrils". It's a joke on how fashionable and in demand everything Western was in China in the 1920s. For me it's just laugh-out-loud-for-10-minutes funny. I've tried to explain it to literal dozens of my friends and now I know not to even try.
I really don't think it's all that different, sorry. The difference is that there is a more direct and established way of talking about these things in China, because it has such a long history of bureaucracy and everyone got used to these dnyamics over thousands of years, but even in places like Sweden you can have guanxi. It boils down to doing something for a member of your ingroup strictly because he's in your ingroup.
I mean even the word 关系 and "network" have the same etymology. 系 = threads of silk arranged in a pattern.
Well that's all fun and games until you start putting off paying Internet bill for two weeks because it turns out that you misconfigured your password app and it actually didn't save your password to the utility service provider and you realize you have no internet one day and you have a school assignment ugh and maybe your credit score gets 0.5% lower and yeah it's all very much your fault. "But you can just be more careful! Handle stuff like this as it arises!" Yeah, sure, just like during Communist times you could easily get more than one pound of coffee per half a year if you're just careful and note when it's available in stores as a drop-in
I believe this whole Apple vs Linux debate is perfectly analogous to the West vs East Germany debate, to the point that almost all intuitions/arguments for the latter are perfectly reusable in the former
> Well that's all fun and games until you start putting off paying Internet bill for two weeks because it turns out that you misconfigured your password app and it actually didn't save your password to the utility service provider
As opposed to the centralized service that will kindly misconfigure it for you, or just discontinue it out from under you, or ban you because of a false positive, or ban you because of a true positive because you unwittingly violated their broad and ambiguous terms but you're still just as screwed.
> I believe this whole Apple vs Linux debate is perfectly analogous to the West vs East Germany debate, to the point that almost all intuitions/arguments for the latter are perfectly reusable in the former
The fallacy of Soviet Communism was the fallacy of central planning. The Party decides what's good for you and The Party is infallible so if you try to resist you'll be punished. Freedom of choice is heresy. Divergence is verboten.
Does that sound to you like the typical Linux user, or like Apple?
I have now read the paper and it alone is enough to make me seriously consider devoting significant amount of my time to the author's project. Here's why:
In my introductory statistics class, I learned that a independent and identically distributed sample is a sequence of random variables X[1], ..., X[n], all of the same signature Omega -> (usually) R. All of them are pairwise independent, and all of them have the same distribution, e.g. the same density function. Elsewhere in probability I have learned that two random variables that have the same density function are, for all intents and purposes, the same.
For all, really? Let's take X[i] and X[j] from some i.i.d. random sample, i != j. They have the same density, which leads us to write X[i] = X[j]. They are also independent, hence
P(X[i] in A, X[j] in A) = P(X[i] in A)*P(X[j] in A),
but X[i] = X[j], so
P(X[i] in A, X[j] in A) = P(X[i] in A, X[i] in A) = P(X[i] in A), so
P(X[i] in A) in {0, 1}.
This was a real problem for me, and I believe I had worse results in that statistics class than I would have if the concept was introduced properly. It took me a while to work out a solution for this. Of course, you can now see that the strict equality X[i] = X[j] is indefensible, in the sense that in general X[i](omega) != X[j](omega) for some atom omega. If you think about what needs to be true about Omega in order for it to have two different variables, X[i] and X[j]:Omega -> R, that are i.i.d, then it will turn out that you need Omega to be a categorical product of two probability spaces:
Omega = Omega[i] x Omega[j]
and X[i] (resp. X[j]) to be the same variable X composed with projection onto first (resp. second) factor. This definition of "sampling with replacement" is able to withstand all scrutiny.
Of course, just like in Buzzard's example of ring localization, it was all caused by someone being careless about using equality.
I really like this. I remember my first serious math book, which was this old-school set theory and topology book, and being all excited about learning set theory up until I encountered iterated Cartesian product, and was forced to accept that ((x, y), z) and (x, (y, z)) are supposed to be indistinguishable to me. An answer on StackExchange said that "you will never, ever, ever need to worry about the details of set theory", but I still did.
I kinda have this idea that while psychedelics like LSD are the easiest to catch a ride with, it is specifically tea that can get you furthest. When I was reading "Dream of the Red Chamber" some of the descriptions of tea drinking were really psychedelic, like being transported into a different realm of heavenly purity that permeates everything with effortless perfection, etc. Certainly I never experienced anything like this with any drug.
Green tea also contains l-theanine, which interacts with caffeine uptake. Anecdotal but after having a pot of tea at a tea shop in Sheung Wan in Hong Kong I was high as a kite for a while afterwards in a way I’ve never experienced before or after, although I wouldn’t describe it as psychedelic - more stimulant.
Getting "Tea Drunk" is a common pursuit for many fine tea drinkers, myself included. My partner and I enjoy cultivars that give you a buzz. I went down a rabbit hole in trying different varieties and we found some that can only be drunk at the end of the day after work, else you'd write off the rest of the day. We had an aged white tea once that made us giggle like we were on shrooms, without all the overwhelming side effects or fear of a "bad trip".
I started watching "Mei Leaf", who's a YouTuber with a deep knowledge of tea and gong fu style brewing specifically and was hooked. He's got a video on getting tea drunk specifically that made me hunt the feeling initially: https://www.youtube.com/watch?v=HrLaKX9J8Uo
Adding my own experience, I take 200MG L-Theanine supplements daily and there is a noticeable calmness. It used in combination with Caffeine a lot to soothe the jitters. There isn't a known LD50 and I've taken up to 600MG, at best I can say it's borderline euphoric. Nowhere comparable to LSD even at the 20MCG level
That's correct. Puerh tea particularly has very strong "ChaQi" which is (part of) why people prize it so much. Some other teas have it as well, and it's really not just caffeine but something much more interesting and deeper.
Real ancient tree puerh (for example [1]) or very old tea are excellent examples of teas with a lot of ChaQi
[1] [link redacted]
Edit: both the site and the rambling about this tea and its ChaQi are mine (it's the best example I could think of from the top of my head)
dont mean to offend, just didnt realize things were this rabid over the big pond