Ivan Di Liberti

For the case of Elon Musk, Goodhart's Law essentially proves that if your benchmark is Tony Stark as opposed to doing good, you will end up being The Penguin.

A protester holding an "Elon Musk cheats at Diablo" sign

Protesters gather to stop infamous video game cheater from gutting US Treasury

aftermath.site/elon-musk-tr...

I am happy to announce that since January 2025 I will be an assistant professor at Gothenburg University, becoming staff in the Logic Group. I will also coordinate our Master in Logic. Stay tuned for the news, this will be great.

Manchester's event organised by Gambino and Tendas just ended. It was truly great, both for the selection of topics and for its more social aspects. Well done guys, this was a great occasion to gather. It almost felt like a CT.

Musk’s Charitable Foundation Sent Most of Its Millions to His Own Entities Elon Musk’s charitable foundation ballooned to $9.5 billion in assets last year while handing out $237 million in gifts, most of which went to other entities controlled by the world’s richest person.

Elon Musk's charitable foundation ballooned to $9.5 billion in assets last year while handing out $237 million in gifts, most of which went to other entities controlled by him.

The figures are part of the Musk Foundation’s latest tax filing, obtained Thursday by Bloomberg News

Constructing projective modules We discuss elements of a social history of the theory of projective modules over commutative rings. We attempt to study the question: how did the theory of projective modules become one of "mainstream...

Suggested reading of the day.

Bi-accessible and Bipresentable 2-Categories - Applied Categorical Structures We develop a 2-dimensional version of accessibility and presentability compatible with the formalism of flat pseudofunctors. First we give prerequisites on the different notions of 2-dimensional colim...

My paper with Axel Osmond "Bi-accessible and bipresentable 2-categories" finally got published on ACS.

European Federation of Journalists to stop posting content on X The EFJ represents over 295,000 journalists in 44 countries.

"We cannot continue to participate in the social network feed of a man who proclaims the death of the media and therefore of journalists... X is a platform that no longer serves the public interest at all, but the special ideological and financial interests of its owner and his political allies"

Compactness Theorem for First Order Logic Hi all, I am interested in proofs without using Goedel's completeness theorem. Does anyone have a reference to a proof of this theorem that uses Skolem Functions? How come Enderton's (Introduction...

mathoverflow.net/a/45501/104432

Completeness vs Compactness in logic One standard approach to showing compactness of first-order logic is to show completeness, of which compactness is an easy corollary. I am told this approach is deprecated nowadays, as Compactness is

mathoverflow.net/questions/68...