The PDF describes model checking in TLA working through minimal background (fairness, model state etc.), application in TLA, two non-trivial models, and two appendices with reference background on TLA, and its procedural cousin PlusCal.
The issue at hand is that the US "mid-wifed" a nationalistic coup in the Ukraine in 2014.
The first thing the Ukrainian parliament did after the coup was passing the bill that repelled the law protecting the Russian language in the Ukraine. [1]
There are over 190 countries around the world provoking Russia by having their own nationality and not giving special privilege to Russia. I guess it'll just have to go killing and invading those people too as they are obviously nazis and a threat to Russia's security interests.
Ukrainian nationalism has spanned generations. The U.S. certainly helped, but it was not a contrived psychological operation to convince a majority of Ukrainians to revolt against their Russian dominated government.
When a nationalist movement has garnered support centuries ago from the Ottomans, Nazis, etc. it's a hard sell for me to believe it was not inevitable.
My understanding of Mearsheimer, the only person whose work I've seen, is that the U.S. dropped the ball and made the conflict an inevitable and deadly one which will end in a frozen conflict.
I believe he has argued the U.S. should have supported a Ukrainian nuclear weapons program or accepted its existence as a buffer state controlled by Russia.
Even if you accept the most charitable estimation of the number of people on Maidan in 2014, it's less than 2% of Ukrainian population. Hardly a majority.
>against their Russian dominated government
It is the government that the Ukrainian people democratically elected not a long time before the coup.
>it's a hard sell for me to believe it was not inevitable
The Ukraine was evenly split between pro-Russian South-East and pro-Western, well, West. The only chance they had for stability is respecting the democratic principles when people respect the authority of the president who won an election even if they voted for a different candidate.
The US supported the coup and broke that system. Despite famous Bush Sr.'s speech in Kiev in 1991[0] that warned of 'suicidal nationalism', the successive American administrations nurtured Ukrainian nationalism, supported and fed it.
>its existence as a buffer state controlled by Russia
Ukraine being neutral was enough for Russia, but not for the West.
No, not tyranny necessarily. If it's malign morphing into hate speech, racial or genetic seregation, imposing religion, esp. backed up by state power that's a problem. For example, the US has a senate to balance out the house while at the same time California's take on something cannot be rejected out of hand reflexively as tyranny
Politics? Is it? Or is politics a grand word for whining and adults in a perpetual small world? Law, history are at least more grounded as a basis to argue for or against.
Let's not let politics' meaning become so diffuse it's just free speech by another name. Herein "politics" seems to be too inconsequential for a far more consequential result than cycling out party A for B for a few years would have.
I've half joked before that brexit was the only solution Cameron et al saw left because they didnt have a way to hold Brussel's paper pushers to account. Taking your ball and going home is not bold leadership: it's an admission one's argument and solution is weak.
>If the people want to change them, they absolutely have the right to do so
Not so fast. They are in a union with other provinces ergo they have a say.
If nonetheless in some asinine way they secede, will they take their portion of Canada's debt, and other liabilities?
Won't all other provinces require them to negotiate a border, security, and trade policy? Surely they can't expect to be separate yet equal to BC or even the NWT?
Exactly. The dod was dumb enough to sign the restrictive contracts too. Simultaneously it's darn time the dod gets off their duff and either demands much higher customer satisfaction or tells the other side we'll handle selected repairs ourselves.
It's the enlisted men/women who ultimately have to bear up under their choices: does their equipment work in battle or not? And tax payers to pay. As soon as the dod discovers they have ultimately accountability whence ultimate control things will balance better
And an aside: it'd be awesome if every round didnt cost 500 million+ ... I have recently been depressed to hear we spent a large majority of missiles etc in Iran. Iran? Really? How in the hell are we gonna deal with something serious? (Iran/oil is serious of course .. but Iran isn't china)
Reactionary. At worst young kids are lazy (in selected cases only) and nieve about how work works.
Entitlement comes from mental disorder or growing up in affluence like much of the upper 5%.
Moreover, kids from middle to lower income brackets i think work harder, are more resilient, and take their education more seriously than those that just fall in Harvard. The underlying difference? Consequences in the real world. When you always land on your feet or feel untouchable entitlement is 6 months away to a lifetime of clueless.
He's got control of the executive branch. So he's safe, for now.
His plans for when someone else inevitably has control of the executive branch boggles the mind. Does he have no foresight whatsoever?
I've come across others who live only in the present. I recall an inmate breaking out of jail a week before his release because his sister was sick and needed help. They are a rare breed. Life can't be easy for them. I would have thought it was impossible for someone like that to ascend to the level of President.
Yet even now when a disaster is looming in the mid terms, he manages to keep the Republican party cowed. It is something to behold. I still have no idea how he does it. Do these people have no sense of self-preservation?
Im learning zig for kernel bypass packet work. Aside from some noise, and one bug filed on cross compliation (prob simple to fix) bug, it works like I expect. Export of zig code to clib works fine. Comptime is great. Compile time superb. Like TB I will import no other modules ... and avoid all async.
But this link has got me concerned. When I get more ibverbs work done ill see how good/bad it is in rust.
In this kind of extremely low latency high throughput work there is hardly any (mostly none) MT data structures. Memory is pre-allocated for one pinned thread. Atomics are not much used either. So rust isn't going to help on design much. But I think rust/c interoperability is worse than zig.
In fairness to zig many of these issues were closed when zig 0.16.0 was released, which is what im using.
- tla.pdf - numerous examples
The PDF describes model checking in TLA working through minimal background (fairness, model state etc.), application in TLA, two non-trivial models, and two appendices with reference background on TLA, and its procedural cousin PlusCal.
reply