Tissue, cell and organ donation (including blood, semen and oocytes) can and should be done strictly not-for-profit. This is how it’s done in Spain (well, you do get a snack when donating blood and a small amount of money for oocytes since the process is quite long) and there’s usually no shortage of blood components in hospitals. Local governments do a lot of campaigning, set up mobile units etc., which seems to work; people see all of that, think of it when planning their day, and many even go in small groups to donate.

Was he talking about abortion, or “life” in general? As I see it, (provided he was referring to the latter) both candidates’ stances on the war in Gaza are very sub-optimal from a “preservation of life” standpoint.

Fake article

Yes, that’s true and a better way to look at it, thanks!

Well, I was amazed by proof systems like Coq or Isabelle, that let one formally verify the correctness of their code. I learnt Coq and coded a few toy projects with it, but doing so felt pretty cumbersome. I looked at other options but none of them had a really good workflow.

So, I attempted to design one from scratch. I tried to understand Coq’s mathematical foundation and reimplement it into a simpler language with more familiar syntax and a native compiler frontend. But I rushed through it and turns out I had barely scratched the surface of the theory. Not just regarding the proof system, but also with language design in general.

I did learn a lot though. Since then I’ve been reading more about proof systems and language design in my spare time, and I’ve collected quite the stack of notes and drafts. Recently I’ve begun coding a way more polished version of that project, so on to round two I guess!

One of the largest projects under my GitHub account is an attempt at a proof-based programming language that I had to abandon because I underestimated the theoretical work involved, did not RTFM enough and months into it realized the entire thing was unsound af.

The private sector is ceasing to be China’s primary driver of growth, with that role year after year being further taken up by the state. Diminishing private funding is obviously not good, but it does align with their goal of reaching socialism by 2050. We’ll see how their economy does from now on…

Interesting post, I can’t say I personally agree with it, but it poses interesting questions and hypotheses.

I think unions could actually be useful in this hypothetical scenario. They could increase the amount of funding for the working class, as well as make competitors less competitive against the cooperative conglomerate, which in turn would offer jobs to workers to give them a better bargaining position in unions. Hope this helps your line of thought.

Just applied it. Super cool!

Rule 34/34

Members of my party (me included) displayed a huge banner during the kickoff event yesterday.

Reminds me of the time an investigation into a high-profile corruption scandal in Spain revealed the names of those involved, among them “M. Rajoy”. There’s a running joke that no one knows who might be behind that name, it’s a mystery that may never be solved.

This reassures me that all the organizing and praxis we’re doing atm will eventually be not just successful, but also necessary and in agreement with the overall process in the world.

Thanks. Indeed, nobody knows how things will turn out. At the very least I hope that the imperial core doesn’t start a large-scale war to try and stop China, as some media seem to be already suggesting…

Good point, hadn’t really considered that…

Thanks a lot <3 It’s exactly what I needed!

Thank you. Yes, I definitely see that, my question was more concerned with other things like specifically cooperation with overseas communist parties or their next steps in general.

Relevant context

Proceeds to ingest my entire stock of dopamine-depleting medication

Same policies, different PR approach. Democrats didn’t codify Roe v. Wade, for example, because that would have taken away one of their main selling points. Best you can do is vote different in each election so they have it harder to form a coherent strategy.

There’s a public modlog with all removed posts and comments along with the reason, so you can get the pitchforks when a mod goes authoritarian (or, more often, have a look at what a complaining user actually meant by “freedom of expression”).