Plenty, lobbyists, health insurance industry, and advertisers would be a few off top of my head.

I use the mouse with the left hand…

I really enjoyed both shows as well. You might enjoy Silo which is a pretty solid recent sci-fi show I can recommend. Andor is also excellent, it’s hands down my favorite thing from the Star Wars universe. Farscape is also absolutely fantastic. It starts out a bit slow, but it’s absolutely amazing once it gets going. Also enjoyed Love Death and Robots, they took a bunch of short sci-fi stories and make episodes out of each. Firefly is another excellent show.

haha you noticed!

for sure

I’ve trained Wu style for a while and there wasn’t any mysticism in the school I was in. We also did a lot of application and sparring, including sparring with other martial arts schools. I think the core principles of the principles of the art are sound, and it can work as an effective fighting style.

That said, I find it really depends on how it is taught. A lot of schools just focus on doing the forms, and they don’t bother with application. It’s fine if you’re doing it to develop body awareness, balance, and so on. However, I don’t think it’s possible to learn to apply a fighting style without actually doing sparring.

Stories about masters single handedly pushing 10 people using the power of chi are just tall tales in my experience. You can get a lot of power by learning to get the most out of body mechanics, but at the end of the day there’s no magic and it’s just physics.

indeed

Windows does this too where they just stop supporting older hardware. I find the worst part is that new versions of Windows/MacOS are largely just random bloat that nobody asked for.

Modern LLMs are basically really fancy Markov chains.

You’r right that only OCaml and Haskell can be used as extraction target for Coq programs. However, it is possible to use Coq to write verified C software. On example is the Verified Software Toolchain that lets you translate C programs to a format that Coq understands and can prove theorems regarding their behavior.

there have been attempts at writing kernels using stuff like Coq https://www.cs.columbia.edu/~rgu/publications/cacm19-gu.pdf

That’s a good point, Luxemburg also hasn’t been demonized in the west the same way Lenin has.

and by accidentally described communism you mean that you accidentally shown that you have no clue what communism is

I see you’ve described capitalism.

Indeed, Lein’s work is highly relevant today. For example, The State and Revolution directly addresses the debates over reformism and the nature of the state that we see constantly happening right now. It’s depressing to see all the same arguments replayed as if we don’t have historical evidence to lean on to decide which ones were correct.

this is a really good thread on the subject https://xcancel.com/existentialcoms/status/1248728086834601984

What sort of a sick person would praise this https://asiatimes.com/2019/12/75-of-young-want-to-escape-south-korean-hell/

that probably sounded really intelligent in your head too

It’s baffling how often we overlook the importance of negative freedoms, such as freedom from poverty and the fear of illness or a lack of financial security in old age. These are tangible, real-world freedoms that directly impact our quality of life. Meanwhile, we’re constantly told that the ability to express ourselves is the ultimate form of liberty. It’s time to reevaluate our priorities and recognize the true value of actual tangible freedoms.

The state of the rail system is a good proxy because it’s a huge infrastructure project that doesn’t generate any immediate profit. These types of projects are done primarily to provide social value, thus it’s an indication of a society that is willing to invest into improving the quality of life for the majority.