Last month Terry gave the Oxford Mathematics London Public Lecture at the Science Museum, revealing his thoughts on the potential of Artificial Intelligence for science and mathematics before joining fellow mathematician Po-Shen Lo for a fireside chat.

What does he think? Well, he certainly sees a future where mathematics is embracing and benefiting from AI. It might even bring more mathematicians in to the subject, some of them not even professionals.

Find out more by watching the lecture from 5pm BST on Wednesday 7th August 2024 onwards.

Work in progress, mentioned on https://groups.google.com/g/pidp-10/c/YWoDDGWPt58/m/a8gOknBFAQAJ

Found on Paolo Amoroso's blog https://journal.paoloamoroso.com/blogroll

Mentioned on MP

jq is like sed for JSON data - you can use it to slice and filter and map and transform structured data with the same ease that sed, awk, grep and friends let you play with text.

Essay about disadvantages of desktop operating systems written in 2017. Found via Karl Voit's blog https://karl-voit.at/2024/06/22/rebooting-the-desktop/
Some results are reported in https://joshondesign.com/2022/09/21/idealos_mark6, but it seems more like a (slow) prototype.

Mentioned on Bruce Schneier's blog https://www.schneier.com/blog/archives/2024/06/demo-of-aes-gcm-misuse-problems.html

The LOCKSS Program at Stanford Libraries provides open-source technologies and services for high-confidence, resilient, secure digital preservation.
Found on David Rosenthal's blog https://blog.dshr.org/2024/01/a-lesson-learned.htm

The Language-theoretic approach (LangSec) regards the Internet insecurity epidemic as a consequence of ‘ad hoc’ programming of input handling at all layers of network stacks, and in other kinds of software stacks.  LangSec posits that the only path to trustworthy software that takes untrusted inputs is treating all valid or expected inputs as a formal language, and the respective input-handling routines as a ‘recognizer’ for that language.
The recognition must be feasible, and the recognizer must match the language in required computation power.

Found on the TUHS mailing list https://www.tuhs.org/pipermail/tuhs/2024-May/029846.html