Pierre-Loïc Garoche

Researcher interested in formal verification of numerical intensive (control) software : aircraft controllers, AOCS, trajectory planning, HPC, ...

Compte perso

[SIAM @TheSIAMNews]

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

[Pierre-Loïc Garoche @yeploc]

@jvanegue @moyix

[Fermat's Library @fermatslibrary]

Dijkstra on why he believed programmers should stop using the term "bug"

[Type Theory Forall @ttforall]

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.

[Pascal-Emmanuel Gobry @pegobry_en]

🫡

[Pierre-Loïc Garoche @yeploc]

@ComteCyprien Il y a la grecque sur le même site. La plupart des ouvrages sont hébergés chez Google ou sur https://t.co/wvsdHKrCyN.

[Rohan Paul @rohanpaul_ai]

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.

[Eva Miranda @evamirandag]

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.

[Pierre-Loïc Garoche @yeploc]

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

[Pierre-Loïc Garoche @yeploc]

@Jaeger_bombe @ThreadReaderApp unroll

[Didier 'Dirac's ghost' Gaulin @DiracGhost]

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!

[Pierre-Loïc Garoche @yeploc]

@larsblackmore 🔥

[Fermat's Library @fermatslibrary]

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

[Pierre-Loïc Garoche @yeploc]

@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

[Tetra @greenTetra_]

This is an optical illusion caused by the map projection you're using. On a globe, this is actually a straight line.

[Pierre-Loïc Garoche @yeploc]

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

[Jason Scott @textfiles]

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