Yes, both parties commit atrocities and crimes against humanity.
But its good to know that the genocide of my people is less important than the genocide of others. The perspective that two genocides is just as bad as one is absurd.
That’s actually your position where you ignore the genocide being conducted by the democrats while talking about what republicans will do to people in US.
Again, being able to believe that the party of liberals and the party of white nationalists are both fascist parties indicates a level of privilege or insulation from living under a fascist regime.
Liberals are fascists, and people who pretend otherwise are the privileged ones who live under a fascist regime and ignore what the regime does. Look in the mirror buddy.
The other party is actively engaged in a genocide, but I guess as long as its other people being murdered at an industrial scale, libs don’t give a shit.
haha it was right there, although that’d work better with Lenin
As long as people in US treat voting as the sole way to participate politically thing will continue on the exact same trajectory they are on now.
There’s a large number of people out there that think “even though democrats had a disastrous four years, they will magically fund schools and give everyone a pony when they’re back in power.”
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.
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/
The west is not all of humanity though.