> If i recall correctly, there is also a part in the transcript where he admits he just didn’t know Russias true strength, and he never would have invaded had he known. Remarkably different language than he used at the time.

In the recording linked here he says (around the 8 min mark), while talking about Russia's strength in terms of the amount of tanks: "Had I known this my heart would have been even heavier but I would have made the decision even more so because I did not have another option".

I could have written your paragraph. Such a great museum. With all the rich tech entrepreneurs in Seattle one would think a solution can be found.

Ada is already mentioned here.

You also want to look at Dafny for a contract-based language: https://github.com/dafny-lang/dafny

Since it has verification support it also covers the second point about semantic relations.

Dafny is a really fun language and I've done some stuff in it before. I was really sad when MSR stopped working on it, but I think AWS has picked up the slack?

Yes, it's under heavy development, and is getting various improvements for usability. You probably want to take a look at the release notes.

I kind of thought Coco/R was a dead project but it seems dafny is using it as the parser generator library.

…have to poke around a bit methinks.

Goedel is there. See pages 8 to 9.

Oops, thanks! Didn't try "oe".

News "regarding a new manufacturing initiative" would hardly be negative. Key word being "new".

What? No! I've been there last year during my Seattle internship and it was the most amazing experience having grown up after most of the machines exhibited were around.

There have to be some philantropists around who got rich in computing and have an interest in keeping it alive.

It is one of a kind, I was raving about it to everyone. I'd be happy to donate even though it's across the world from me.

A circle is 1-dimensional and not 2-dimensional?

Yeah, a disc (the surface contained in a circle) is two dimensional. A circle is one dimensional because it only takes one number to decribe where you are in the circle (think rotary dial).

F1 regulates the maximum number of engines a season (to 3 currently). So they have to last ~7 races.

Edit: old numbers updated

Do you have a source for this image/the data in this image? It's a great plot, but would like to confirm the veracity.

Here is an ugly chart I made using Johns Hopkins data: https://mobile.twitter.com/fagiolinux/status/123705989830484...

I used logarithmic scale and normalized per million people, so despite the ugliness the exponential growth is quite clear, even in countries with relatively few cases.

It's clear, right there in the data.

https://github.com/CSSEGISandData/COVID-19

I've been plotting this data myself for a few countries in EU over the past days, and the trend is plainly visible.

Steps to reproduce the effect:

1) Load https://github.com/CSSEGISandData/COVID-19/blob/master/csse_... into your favourite data processing package (mine is Excel, here's the PowerQuery for data mangling I did, valid up to yesterday's cases: https://gist.github.com/TeMPOraL/2a26d3a1da551fb818efce87493...),

2) Select Italy and other countries of interest, and plot on a log scale.

Didn't he pay too much if 3 extra hitmen accepted a reduced offer? Only the last one was below market rates it seems.

Or not enough since the job was not done

No, he paid so much that everyone thought they'd make money and not do the killing themselves. Had he offered say, $30k, the killer would not have outsourced it.

…and the job might have been done (might because the first person in the chain may never have intended to do the killing himself. The intermediates may just be brokers needed to move from the circles of rich Chinese to the circles of killers)

Of course, offering too much also runs the risk of “Chinese Whispers” (https://en.wikipedia.org/wiki/Chinese_whispers) the initial message “Foo will pay $X to kill bar” could end up as “bar will pay $x to kill Foo”.