☆ Yσɠƚԋσʂ ☆
Last I checked the democratic party is the party in charge of the US, a sovereign nation that is actively participating in the genocide. What does Israel being a sovereign nation have to do with any of that? You do understand how two sovereign nations can commit an atrocity together yes?
The funniest part of the article is this bit though
There are certainly credible and cogent arguments to the contrary, such as those stating that a weakened Russia simply won’t have the wherewithal to attack NATO anytime soon, whether it wins or loses, and that Putin’s forces are clearly no match for sophisticated, well-equipped Western armies.
It kind of makes the whole article self-referential. After two years of war it’s become crystal clear that NATO weapons and tactics have utterly failed against the Russian army. Yet, the article is still boldly proclaiming that Putin’s forces are clearly no match for sophisticated, well-equipped Western armies. The cognitive dissonance on display here is really amazing.
The only reason that Israel is able to conduct this genocide is because it’s getting material and political support from the democratic party. The US has shipped billions in weapons to Israel to conduct the genocide and has repeatedly blocked resolutions at the UN aimed at ending the genocide.
The fact that you refuse to acknowledge this basic fact shows that you’re a deeply dishonest individual whose opinions can be safely ignored. People like you are directly responsible for enabling this genocide. The blood is on your hands.
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.