Standard ML For The Lady Programmer

This book has in fact already been written. All that remains is to get it into print, I think. See  Terence Tao on Mathematics and Artificial Intelligence and then https://kwarc.info/ and Comma Category. The cover will be a photograph of this portrait by Margaret Sarah Carpenter. See Guerilla Logic - The Books and Margaret Sarah Carpenter.

Image source: Wikimedia Commons, Public Domain in the United States and Britain.

Florian Rabe on MMT: A UniFormal Approach to Knowledge Representation. See  Michael Kohlhase and Dennis Müller - The STeX3 Package Collection.

I think Florian was at Cambridge some time and maybe we had a conversation about the "Semantic Web" that went a bit like this? Me: "What is ontology?" Him: "Well, I don't really know!" If it was he, then I am fairly sure we had also had a brief exchange of emails when I was in Bolivia, in 2011 or so. On semantic antinomies and how to approach them from a Buddhist perspective, see Thomas Forster's 2023 article on the Burali-Forti paradox in The Reasoner.

Subscribe to Topos Institute.

Here's Toby explaining limits (and colimits):


See  Toby Reads A Mathematician's Lament and the book Measurement, by Paul Lockhart.

Subscribe to Tibees.

Turn Up And Write with Kate Rhodes (Oops, that was a faux pas! Good thing we're not partisan.)

That's quite a recovery, because yesterday things weren't looking too great: Hacking Linux in the Federal Republic of Germany? Mein Gott! Thank you Victoria, thank you Che.

Comments

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023