I shall never understand why. Macs run UNIX already arstechnica.com/gadgets/2024/0…

I was privileged to meet Carver Mead as an undergraduate at Caltech
caltech.edu/about/news/car…

Our ongoing experiment into whether anyone reads website T&Cs continues. We put this in our terms back in February. Just got claimed.

9 May 1913 | A Polish woman, Helena Hoffmann, was born in Krakow. A teacher.

In #Auschwitz from 11 July 1942.
No. 8549
Evacuated to KL Ravensbrück and liberated there.

8 May 1896 | Stanisława Leszczyńska was born - a Polish #midwife , prisoner of the German #Auschwitz camp no. 41335.

At the female infirmary in Birkenau, she received childbirths trying to save #women in labor & refusing to kill newborn babies.

We know from surviving…

The 1956 Darthmouth Conference, proposed by John McCarthy, Marvin Minsky, Claude Shannon and Nathaniel Rochester ift.tt/li9txkO

New in Isabelle's Archive of Formal Proofs:
Prime Number Theorem with Remainder Term, by Shuhao Song and Bowen Yao.
isa-afp.org/entries/PNT_wi…

Novel attack against virtually all VPN apps neuters their entire purpose | Ars Technica arstechnica.com/security/2024/…

6 May 1945 | Soldiers of the 3rd Cavalry Reconnaissance Squadron of the US Army liberated the Ebensee concentration camp, part of KL Mauthausen. Out of 27,278 male prisoners there, ca. 8.200 died in the camp.

Among the prisoners liberated at KL Ebensee was a Polish man, Jan…

Your interaction here is vital. It's more than a click. It is an act of remembrance against forgetting.

Help us commemorate victims, preserve memory & educate the world. Amplify our voice.

Like, repost & quote this message. Encourage others to follow Auschwitz Memorial.

What’s happening at Tesla? Here’s what experts think. | Ars Technica arstechnica.com/cars/2024/05/c…

The latest version (3.1) of the E Equational Theorem Prover is now available
wwwlehre.dhbw-stuttgart.de/~sschulz/E/E.h…

The BASIC programming language turns 60 | Ars Technica arstechnica.com/gadgets/2024/0…

New in Isabelle's Archive of Formal Proofs: Pick's theorem, for finding the area of a simple polygon whose vertices are integral lattice points. It's by Sage Binder and Katherine Kosaian. And it's one of the famous '100 theorems'!
isa-afp.org/entries/Picks_…

Turing must learn to be 'intelligible and legible'

The Demise of Twitter
theguardian.com/technology/202…

Here’s your chance to own a decommissioned US government supercomputer | Ars Technica arstechnica.com/information-te…

Carl Friedrich Gauss was born today in 1777, known as the 'Prince of Mathematicians,' was a seminal German mathematician whose contributions spanned multiple fields, including mathematics, astronomy, and physics. He displayed early genius in mathematics, leading to significant…

Apple wants to catch up in AI

AI will not destroy us
thebulletin.org/2024/04/drink-…