Queer people posting this kind of thing is a definite phenomenon. Since it's the internet, it could totally be that IRL people think they're creeps, just the same as if they were straight. It's hard to say.
It's because "just asking" is a common tactic for certain people who definitely aren't, and a different kind of toxic person turns that into "you can't ask certain questions". (And telling people not to answer isn't better)
Something like "sets that aren't even hypercomputable aren't real". Inventing proper classes, which are like sets but randomly can't go in other things, is a pretty lame solution, anyway. Although, it can probably emulate the former approach, and it's easy to describe.
Yeah, understanding proof assistants would be the big practical thing. I can read a short proof in Lean, but a lot of it just feels like magic right now.
It looks like I was mainly missing sequent calculus (I learned all in the Hilbert style of deduction) and the convention that gamma is the whole context. I'd see the notation and wonder if I missed something. Thank you for the effort you put in on this!
Well, there's more than one dimension here. There's distribution of wealth and distribution of income, as well as absolute wealth and income. Poverty itself has gone way down, globally. Poor countries are able to start exporting stuff and get way richer. Ones that really have it rough benefit from the existence of aid programs, as well.
In China specifically, things began to get super unequal starting around 2000, but the economy's growth has been so fast it probably more than offsets it, as seen by the average person. At least on the eastern side of the country.
I should point out that historically, wealth pretty reliably self-accumulates until a war breaks out. It's not like an exclusively modern trend, either.
Not sure if you caught that before my ninja edit or not.
Yes, of course, the trajectory has continued. For cis gay people it hasn't really stopped improving, even, despite government efforts. All three decade pairs were transformative in their own way. From a political non-issue to a fight, from a fight to basic rights, or from basic rights to social acceptability.
Eh. We have forest fire smoke season where I live now, as well as more extreme or hot weather, but it's a pretty subtle shift compared to the internet appearing. At least so far.
All of the pairs of decades going back to 1906 have been a bigger swing than than 2006-26. This century seems on track to be a bit more like the 19th, in terms of social change.
Edit: Although, Those platforms were all brand new, and Reddit didn't really take off at all until Digg died years later. The basic ideas existed, but they weren't a part of everyday life yet.
Politics has shifted way more on this side of 2006, as well.
China actually saw a worse growth of inequality in the same period, for what it's worth. Not sure about the rest of the third world, although inequality was insanely bad there to start with. You might not need that caveat, it's just a bad story all around.
That's kind of an exotic approach. Normally, morality is built around the idea you shouldn't inflict suffering on others, and to suffer requires consciousness (or something similar).
Sure, there's other reasons to be a vegetarian as well, like just your own health and saving money.
If we're handwaving the whole transition, nothing too dramatic. It would be more like Canada. People would be healthier and not stressed about the costs of seeing a doctor.
Guano reserves ran out by 1900 IIRC. It's concentrations of nutrients in ancient mineral deposits now (and peak phosphorus is coming).