We are deeply saddened to hear of the passing of Cleve Moler, co-founder of MathWorks and original author of MATLAB, on May 20, 2026.
A SIAM President and Fellow, Cleve was an icon and leader who helped shape generations and advance applied mathematics: https://t.co/kNWl7kvefQ
Today we honor the life and work of Sir Tony Hoare (1934–2026), one of the giants of computer science. His work shaped algorithms, programming languages, concurrency, and formal verification.
In 1960, while a visiting student at Moscow State University working on a machine translation project, Hoare needed a way to sort the words of Russian sentences before looking them up in a Russian–English dictionary. His first idea was insertion sort, but this line of thinking led him to invent Quicksort — still one of the most widely used sorting algorithms in the world.
In 1969 he introduced Hoare Logic in An Axiomatic Basis for Computer Programming, giving us the famous Hoare triple {P} C {Q} and launching the field of formal reasoning about programs.
He also created Communicating Sequential Processes (CSP), a foundational model for concurrency and message-passing systems that influenced languages and systems for decades.
Hoare also introduced null references in ALGOL W, which he later called his “billion-dollar mistake,” a candid reflection that pushed language designers toward safer type systems.
For these and many other contributions he received the ACM Turing Award in 1980.
Few researchers have shaped the intellectual foundations of our field so deeply. Thank you, Tony Hoare. May you rest in peace.
It’s a hefty 206-page research paper, and the findings are concerning.
"LLM users consistently underperformed at neural, linguistic, and behavioral levels"
This study finds LLM dependence weakens the writer’s own neural and linguistic fingerprints. 🤔🤔
Relying only on EEG, text mining, and a cross-over session, the authors show that keeping some AI-free practice time protects memory circuits and encourages richer language even when a tool is later reintroduced.
I found her—right here in Stegemühlenweg! After weeks of searching, Emmy Noether’s plaque was just around the corner from my home in Göttingen. No wonder she remained so invisible in her time… but that ends now. Let’s make her visible. Let’s shout her name from the rooftops.
I found ya, on the Internet Archive, another great little book (155 pages) by Kolmogorov and Fomin under the title '' Measure, Lebesgue Integrals, and Hilbert space.
As the preface states ,'' Of particular value to the student is the initial chapter in which all of the ideas of measure are introduced in a geometric way in terms of simple rectangles in the unit square'', and if you ever had trouble with measure theory, this chapter is an excellent introduction.
Both physicists and mathematicians may be interested in this one!
@hiddenliburua Un acteur essentiel de la Diaconie de la Beauté: "association [qui] aide les artistes dans leur quête de la beauté qui transparait dans leurs créations artistiques." https://t.co/dxEUQ9unnr