The benefits of a free market have been discussed by communists in the past, and newer experiments like the reforms implemented by China make it clear that socialism is compatible with a free market, to very good results.
Thanks for engaging with OP in a civil fashion, especially when you felt attacked... Anyway, hmu if you want to discuss this in more depth.
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.
Haha yeah, absolutely! Might be too messy to consider it "well used" though... But it does motivate me, seeing all the signs I put there and imagining one day I will conquer that mountain. Maybe not even on the second attempt, but definitely one day.
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...
Just applied it. Super cool!
This is a positive thing. I hope more governments do this, especially in South America, it could reduce the severity of anti-government protests fueled by outside campaigns.
Hugely cool! Very clearly written too.