Trevor McLeodMar 11

Most aspiring #programmers and #computerscientists learn the #quicksort #algorithm

It's #inventor Tony Hoare has passed away.

#turingaward

https://developers.slashdot.org/story/26/03/10/2038225/tony-hoare-turing-award-winning-computer-scientist-behind-quicksort-dies-at-92?utm_source=feedly1.0mainlinkanon&utm_medium=feed

Tony Hoare, Turing Award-Winning Computer Scientist Behind QuickSort, Dies At 92 - Slashdot

Tony Hoare, the Turing Award-winning pioneer who created the Quicksort algorithm, developed Hoare logic, and advanced theories of concurrency and structured programming, has died at age 92. News of his passing was shared today in a blog post. The site I Programmer also commemorated Hoare in a post...

Benjamin Carr, Ph.D. 👨🏻‍💻🧬Mar 5
#ComputerScientists Caution Against Internet #AgeVerification Mandates
An #openletter warns of #censorship, centralized power, and loss of #privacy.
The computer scientists aren't just responding to California's law. #Age-verification requirements are spreading across the world. "The age-gating wave is coming along with calls for stronger child safety measures online, despite concerns about privacy, security, and censorship."
https://reason.com/2026/03/04/computer-scientists-caution-against-internet-age-verification-mandates/
Computer scientists caution against internet age-verification mandates

In an open letter, over 400 computer scientists caution governments against imposing age restrictions on internet platforms.

Reason.com
ETH ZurichFeb 13
Two #ETH Zurich #ComputerScientists, Menna El-Assady and Bernhard Schölkopf, have been #Elected by the United Nations General Assembly to the newly established Independent International Scientific Panel on Artificial Intelligence, a landmark initiative assessing the opportunities and risks of AI.

Professors Menna El-Assady and...
Professors Menna El-Assady and Bernhard Schölkopf elected for UN AI Scientific Panel

Two ETH Zurich computer scientists, Menna El-Assady and Bernhard Schölkopf, have been elected by the United Nations General Assembly to the newly established Independent International Scientific Panel on Artificial Intelligence, a landmark initiative assessing the opportunities and risks of AI. 

Department of Computer Science
m bonbonDec 15
Donald Knuth -- I found a mistake in my copy of "Concrete Mathematics". On writing to Knuth I learned that it had already been reported, so there was to be no $100000000 cheque for me. I did get a letter from Ron Graham at Bell Labs though. #computerscientists
amen zwa, esq.Aug 6, 2025

I cannot get enough of our shared Vulgar Technobabble that we #ComputerScientists speak. Even #ACM #TuringAward winning blokes speak this way.🤣

Interviewer—What is a good way to understand what #ModelChecking is and what it does?

#AllenEmerson—[staring intently at his toes] Well, uh, in "layman's terms", model checking is an algorithmic method of verifying correctness of nominally finite state systems, uh, against a specification that's typically given in temporal logic. Uh, if the model checker, the model checking tool that's been implemented, uh, returns "yes", then the system is correct. If it, uh, returns "no", the specification is violated, and a counterexample is produced.

Sure, we get it; it is but #SoftwareVerification in so many words. But does a "layman" get it?

https://youtu.be/sUwxA8px7O8?si=O4MVOVDT2rkIToNd

#VulgarLatin https://en.wikipedia.org/wiki/Vulgar_Latin

Emerson on the introduction of model checking for hardware and software verification.

YouTube
MOULE Jan 10, 2025

Happy birthday #DonaldKnuth! 🥳🎉

https://en.wikipedia.org/wiki/Donald_Knuth

#ComputerScience #ComputerScientists #Mathematicians

Donald Knuth - Wikipedia

SilverGMJul 28, 2024
I believe the only difference between science and magic is whether or not you understand it.
From this, I infer that #ComputerScientists are wizards
Eugene Alvin Villar 🇵🇭Jun 13, 2024

We lost another pioneer. 😢

https://www.advocate.com/news/lynn-conway-transgender-computer-scientist

#LynnConway #ComputerScientists #trans

Lynn Conway, pioneering trans scientist and activist, dies at 86

Conway was fired by IBM in 1968 for transitioning, but she went on to make major advances in her field, such as revolutionizing the chip design process.

Advocate.com
Wladimir MuftyJun 11, 2024

Lynn Conway
1938-2024 🙌🏽

#conway #computerscientists #activism #LGBTQ

https://www.independent.co.uk/news/world/americas/iphone-science-trans-woman-lynn-conway-b2458269.html

‘I was completely, manically joyful’: How a trans woman changed computing in the modern world

Her ideas launched a global microchip revolution – but for years she was afraid to claim her share of credit. Io Dodds meets the LGBT+ pioneer who helped create the modern world

The Independent
eicker.media ❖ social mediaJan 19, 2024
»Is #Google getting #worse? This is what leading #computerscientists say: It’s not just you—the search engine superpower does have a #spam problem, a new #study claims.« https://www.fastcompany.com/91012311/is-google-getting-worse-this-is-what-leading-computer-scientists-say?eicker.media #media #socialmedia
Is Google getting worse? This is what leading computer scientists say

It's not just you—the search engine superpower does have a spam problem, a new study claims.

Fast Company