Plenty, lobbyists, health insurance industry, and advertisers would be a few off top of my head.
Ah gotcha, you could just omit but in this case and the sentence would have the intended meaning.
Why the but? GPL 3 is the correct license to use for open source projects to ensure they stay open and corps don’t freeload on them.
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.
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.
I believe this is a wrong solution to the problem. Narcotics are fine, but that should be addressed through legalization. Creating a black market for narcotics creates its own set of problems.
And that’s a very good thing too.
Modern LLMs are basically really fancy Markov chains.
I mean, you could set up your own VPN on a VPS and ensure it doesn’t keep logs. You could also get a VPS in a different legal jurisdiction from where you’re at.
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
seems like that’s a scenario that’s most likely to happen in burgerland actually
Subjugating the working class majority is literally the whole point of establishing a dictatorship of the bourgeoisie.
Fair, it’s more that each one sees themselves as being an antithesis of the other.
Completely and utterly masturbatory. The reality is that the US is extremely polarized politically because the living standards are collapsing. There are basically two competing narratives for why that’s happening, and people subscribe to one or the other. The democrats and republicans have fundamentally different world views, so nobody is going to be swayed by the debate. People subscribing to each respective view will hear what they want to hear.
People who will vote for Harris are the ones who think that the dems have been doing a good job for the past three and a half years, meanwhile people who aren’t happy with the way things are going will vote against them or stay home. It’s that simple.
Standard of living has been steadily improving in China since the revolution, and it has managed to develop in an overwhelmingly peaceful fashion. China has achieved astounding feats of engineering with projects like cross country high speed rail, and it’s currently leading the clean energy revolution globally.