Pierre-Loïc Garoche

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.

🫡

@ComteCyprien Il y a la grecque sur le même site. La plupart des ouvrages sont hébergés chez Google ou sur archive.org.

@yeploc Excellent.

[Repost appreciated] Where can I find the Latin and Greek patrology, for nuns who would appreciate to enrich their online/paper French/English/Spanish/Italian librairies? Thanks.

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.

@Pierremorac Je ne peux pas vous écrire en MP. Je vous ai contacté via le site de la faculté Loyola.

@yeploc Oui c'est un calendrier particulier. Contactez-moi par MP avec votre mail et je vous enverrai le PDF d'un sanctoral franciscain assez récent...

Entre le 16 et le 20 mai c'est la bousculade dans le sanctoral franciscain : Marguerite de Cortone, Pascal Baylon, Félix de Cantalice, Théophile de Corte, Crispin de Viterbe, Yves, Bernardin de Sienne... Excusez du peu !

@Jaeger_bombe @ThreadReaderApp unroll

14/ Mais je pense qu'on rentre dans une discussion plus intéressante en ayant construit sur ces bases, qu'en en restant à l'impression (justifiée du dehors) d'un aspect ésotérique de l'épreuve.

[Expliquer les sujets de philosophie] J'ai corrigé par deux fois le concours d'entrée de l'ENS en philosophie, et celles et ceux qui me connaissent savent que j'ai une appétence limitée pour l'exercice de la dissertation, qui possède, à mon sens, beaucoup de tares. (1/N)

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!

@larsblackmore 🔥

Computer scientist Edsger Dijkstra on the frustration of debugging a program you wrote yourself

@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." db.ldhproduction.fr/hommage-a-mich…

Qui pour se souvenir de l'acteur franco-britannique Michael Lonsdale (1931-2020), animateur radio à Casablanca pendant la guerre, acteur au théâtre et au ciné? Il tourna avec Truffaut, Welles, Losey, Buñuel, Malle... et vécut une histoire d'amour contrariée avec Delphine Seyrig.

@Maitre_Poulard @adalberon_pala Y a aussi les trucs modernes: blender, cuisson sous vide, gaufrier, Mini crêpes et autres gadgets indispensables.

Évidemment, que ferions nous sans un indispensable coupe curry-wurst (Merci à @adalberon_pala)

L'électroménager ultra-spécifique des pays du monde, a thread rapide, parce que j'en ai pas trouvé beaucoup -le tchouchkopek, cette machine bulgare produit une chaleur infernale et permet de faire des poivrons grillés en grande quantité et rapidement (1/n)

A small amount of the folks at @internetarchive thank you for standing with us.

⬇️

@internetarchive Huge thanks. You do an amazing work!

Update: archive.org is back online in a provisional, read-only manner. Learn more in our latest post: blog.archive.org/2024/10/21/int…