Today I learned about the first female permanent secretary in the British government en.wikipedia.org/wiki/Evelyn_...
rwitte.bsky.social
rwitte.bsky.social reposted
This seems like something to celebrate
I have just launched a "Lean companion" to my textbook "Analysis I": github.com/teorth/estim... . This gives a Lean translation (or paraphrasing) of the various definitions, theorems, and exercises in the textbook into Lean. Further discussion at terrytao.wordpress.com/2025/05/31/a...
rwitte.bsky.social reposted
The latest in my history of home computers is live. Covers the era of Commodore, Atari and Jack Tramiel. He was a brutal manager. But also an Auschwitz survivor, and that shaped him, and his legit drive to build a better world. This warning from him hit home, right now. every.to/the-crazy-on...
rwitte.bsky.social reposted
NEW: My piece for the Observer on how I was so deep into my investigation into Cambridge Analytica that I failed to realise that Hannah - my ex's daughter - was facing a human version of it: a stalker who was harvesting her data and weaponising it against her. 1/ www.theguardian.com/world/2025/m...
rwitte.bsky.social reposted
rwitte.bsky.social reposted
rwitte.bsky.social reposted
People are different.
I’m always looking for things that explain a lot but that people have a hard time remembering. Examples: Air is stuff. Pee comes from blood. All land vertebrates have a single common ancestor. Venus is bright enough to cast visible shadows. Clouds are heavy. Bones are alive. Any others you know?
Jill Bearup is one of my goto youtube channels; itht why youtube demonetised her? www.youtube.com/watch?v=6RZH...
rwitte.bsky.social reposted
rwitte.bsky.social reposted
You are up to date.