Loved the book Inventing Temperature. Would highly recommend. Bit of a shame that statistical mechanics isn't taken into picture in the discussions of reduction.
(I should really read more works of Chang and lakatos award winners)
Poscat retweeted
Congratulations to the entire SpaceX team on an exciting first integrated flight test of Starship!
Poscat retweeted
🥳🎉🍾IT IS OUT! 🍾🎉🥳discuss.ocaml.org/t/ocaml-5-…
Poscat retweeted
BBC Statement on Ed Lawrence

ALT BBC STATEMENT ON ED LAWRENCE “The BBC is extremely concerned about the treatment of our journalist Ed Lawrence, who was arrested and handcuffed while covering the protests in Shanghai. He was held for several hours before being released. During his arrest, he was beaten and kicked by the police. This happened while he was working as an accredited journalist. “It is very worrying that one of our journalists was attacked in this way whilst carrying out his duties. We have had no official explanation or apology from the Chinese authorities, beyond a claim by the officials who later released him that they had arrested him for his own good in case he caught Covid from the crowd. We do not consider this a credible explanation.”
Poscat retweeted
Replying to @andrejbauer @wilbowma
M is often Turing complete and it admits non-terminating programs. That does not mean F is inconsistent, it just means that I needs to be a bit careful. And there are many, many variations on the theme. I've been compiling this intro lately: andrej.com/zapiski/MGS-2022/…






