PhD War Stories Time

I'm sure there's a happy ending here somewhere, it's just there are so many strings around the place you can't see the Ball!

This is the argument I had with Roger Bishop Jones, who retired from the UK defence industry where he had worked on verified formal systems for the British computer manufacturer ICL which span off into an enterprise named Lemma One run by a guy called Rob Arthan. See https://mathoverflow.net/users/8187. His job involved a port of Mike Gordon's HOL theorem prover to Ada.

Subscribe to Sabine Hossenfelder.

And I still don't have a PhD. See Terence Tao on Mathematics and AI. Not that I'm too fussed:

I sent this to Philippa Gardner at Imperial, asking her about whether she worked for Ubiquity UniFi and telling her about my awful hack job on the OpenBSD TCP/IP stack and my Standard ML hack of a VPN with QEmu emulated OpenBSD hosts for servers. I also asked her whether Raspberry Pi was the new Ferranti. I didn't say anything about Brazilian Battleships though.

Toby was doing a Physics PhD at Cambridge, but ...

Subscribe to Tibees.

Here's a beautiful lecture on sanity by Joan Rand Moschovakis, see Joan Rand Moschovakis – A Logical Look at Kripke's Idea of Free Choice Sequences :

Saul Kripke died 15 September 2022. I was in an isolation cell in a prison in Arizona at the time, and when  they transferred me to Louisiana a week later they didn't mention Kripke, but they told me Queen Elizabeth II had died.

Subscribe to UConn Logic Group.

Here my YouTube recommendations

Subscribe to Sabine Hossenfelder.

Subscribe to Quanta Magazine.

I got up before dawn this morning and went for a walk with Nick Cave and Daniel Greenberg:

Subscribe to Daniel Greenberg.

Well, my ontologies are a bit all over the place today, ... See Sabine Hossenfelder on Brian Greene's Quantum Computer Modeling String Theory Hype.

See Toby Reads A Mathematician's Lament.

David Gilmour - Luck and Strange Rehearsal

Subscribe to David Gilmour.

See Jeremy Narby Talking About His Book "The Cosmic Serpent" for the other side of the story. This is a butterfly post by Polly Samson. See Jane Street Capital. The people in Bolivia seemed more real to me than people do here. It's just how I saw it, maybe. See David Quintieri on William White's Recent Comments About Central Banks Monetary Policy.

Comments

Post a Comment

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

Image
... and his posterity too? See  On Communication in Linear Time And Hypertext And The Gospel of Sophia . So it looks like El Cielo of the cistine [sic!😂] chapel is not the limit anymore.  I think I just met one of his descendents. A guy called Versailles Toledo who is from Chiapas. That might explain the murals I mention in my recent untitled post , just before the post mentioning this video. I also just took this photo of Rafael Gonzales, born here in Tecate, B.C., who told me about a spring near here called Agua Fría , half way from Tecate to Loma Tova , where, a few decades ago, people used to go to have barbecues and stuff, but now he thinks it may be private land. If someone reading this has a Facebook account, please write a link to this post onto his FB page. To see why I took the photo, look at his T-shirt and the horse-shoes and ponder this: Subscribe to BeatrizER and her video(s?) about mathematical logic, ... Sounds like Edith (II) Rix has been online all the time, ...
Read more

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023

Image
This was in The Guardian: David Turner obituary , only eight days after I posted  David Turner Talking About Sixty Years of Functional Programming History : This talk was given in London in 2017: See  Turner, D. A. "Some History of Functional Programming Languages" also  John Hughes - Why Functional Programming Matters  and David MacQueen's talk at ICFP 2015 in  Numberphile - Sophie Maclean on the Catalan Numbers . At 10:30 This whole discussion abut combinator reduction is especially interesting. I didn't know Arthur Norman had tried building hardware for combinator machines. I'll look that up: maybe start here A.C. Norman  Faster combinator reduction using stock hardware  in LFP '88: Proceedings of the 1988 ACM conference on LISP and functional programming. At 26:25 on the ISWIM virtual machine implemented in the PAL compacting garbage collector?! This work Reynolds and others did was at MIT in Masecheusetts and Argonne National Laboratory Illinois. Did
Read more