I don’t really think the Russian economy is any real bottleneck here; they have abundant natural resources, a densely-knit industry and even now still many trading partners. Ultimately the only realistic way to stop the war is a peace agreement, which is why people voted for Zelenskyy in the first place.
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.
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.
They count it as Linux, yes!
I wanted to delete all the subfolders in the current directory:
rm -rf ./*
After a few seconds, I realize in horror that I had mistyped the path. Whole system nuked. Had backups though.
If you can’t find a tool, this has worked to some degree for me. Open on e.g. GIMP, scale the images to the desired size in different layers, use perspective transform to align them very precisely, then set layer opacity so that you can merge them down with equal weight on each photo. It’s not a really good method, but might do the job. Good luck!
> be me > lymphoma cell > produce lots of protein called Cdk9 that activates genes that make me divide > cells like me normally die from apoptosis tho (programmed cell death) > okay then > also produce lots of protein called Bcl6 that deactivates genes that make me die from apoptosis > no apoptosis now > researcher gives drug > drug glues together my Cdk9 with my Bcl6 > when Bcl6 visits a gene to deactivate it, Cdk9 activates it instead > apoptosis.jpg