Absolutely, the quickest way to lose faith in "The Science" is actually to do Science in a formal research institute....

Is there any particular reason why they keep building colliders with ever increasing diamaters, instead of going vertical? If we can create magnetic fields strong & precise enough to force particles into a very large loop, surely we can bend the loop upwards ever so slightly and gain additional distance by coiling the collider like a spring?

Seems like an insane amount of tunnels is always needed for these things, which is obviously expensive and labour intensive.

Automation of Hoare logic is quite good these days. Dafny, from MS Research (https://dafny.org), is probably the most friendly formal language of any kind. It's built around Hoare logic and its extension, separation logic. The barrier of entry is low. A seasoned imperative or functional programmer can get going with Dafny in just a few days. Dafny has been used to verify large systems, including many components of AWS.

I am hoping that LLMs make more advanced languages, such as Liquid Haskell or Agda, less tedious to use. Ideally, lots of code should be autocompleted once a human provides a type signature. The advantage of formal verification is that we can be sure the generated code is correct.

Toronto Pearson had wind gusts of 60km/h today.

Edit: listing to the ATC audio I think they said gusts in the 30s (man do they ever speak fast and mumble! Enunciate damn it! Unique New York), which is markedly slower than what the Apple Weather app reported for Pearson.

Nowhere – I don’t follow the issue. The question was for those people who are somehow convinced that it’s complete chaos. In my experience, complete chaos is very rare, but fake reports of chaos in every field are a daily occurrence. If you believe every report of chaos that comes along, you’ll believe the world is ending every day. Which it obviously has not, yet. It follows that most reports of chaos are always false. Therefore, if you believe that some specific issue is really as chaotic as reported, you’ll have to have some pretty good sources to back that up.

In my experience, normal people are quite confused by this. I've heard "Is that Juliette with a J?" and facepalmed.

Coincidentally, I've just finished Thomas' Religion and the Decline of Magic. It's very long and massively overexampled, but still a good and eye-opening read.

When it came out in 1971 it cost an extortionate £7; one national newspaper had an editorial saying people might be forced to pay for it in instalments.