Ivan Di Liberti's Avatar

Ivan Di Liberti

@diliberti.bsky.social

Academic at Gothenburg University. Mathematician. Late millennial.

161 Followers  |  516 Following  |  22 Posts  |  Joined: 22.11.2024
Posts Following

Posts by Ivan Di Liberti (@diliberti.bsky.social)

Full argument: Trump-Zelensky White House meeting descends into shouting match
YouTube video by The Telegraph Full argument: Trump-Zelensky White House meeting descends into shouting match
01.03.2025 07:59 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
A Sad Moment in American History
YouTube video by Senator Bernie Sanders A Sad Moment in American History
20.02.2025 12:23 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Can Trumpism be defeated? Absolutely. Here’s how | Bernie Sanders What we are fighting for is not β€˜utopian’ or unachievable. Trumpism can and must be defeated
19.02.2025 14:45 β€” πŸ‘ 4    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0
Could the Ukraine Crisis Create a Federal EU?
YouTube video by TLDR News EU Could the Ukraine Crisis Create a Federal EU?
15.02.2025 19:46 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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.

11.02.2025 15:29 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Brexit is More Unpopular than Ever: What Now?
YouTube video by TLDR News Brexit is More Unpopular than Ever: What Now?
08.02.2025 13:47 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Is Elon Musk Taking Over the US Government?
YouTube video by TLDR News Global Is Elon Musk Taking Over the US Government?
08.02.2025 13:42 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
A protester holding an "Elon Musk cheats at Diablo" sign

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...

05.02.2025 01:18 β€” πŸ‘ 3827    πŸ” 820    πŸ’¬ 40    πŸ“Œ 51
Presidential Historian Answers Presidency Questions | Tech Support | WIRED
YouTube video by WIRED Presidential Historian Answers Presidency Questions | Tech Support | WIRED
04.02.2025 17:35 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
AI Super Agents are coming. Allegedly. What does this mean?
YouTube video by Sabine Hossenfelder AI Super Agents are coming. Allegedly. What does this mean?
29.01.2025 13:28 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Categorical Diffusion of Weighted Lattices We introduce a categorical formalization of diffusion, motivated by data science and information dynamics. Central to our construction is the Lawvere Laplacian, an endofunctor on a product category in...
08.01.2025 23:53 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
How Corporations Are Courting Trump's Shadow President
YouTube video by More Perfect Union How Corporations Are Courting Trump's Shadow President
02.01.2025 16:34 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Comparing semantic frameworks for dependently-sorted algebraic theories Algebraic theories with dependency between sorts form the structural core of Martin-LΓΆf type theory and similar systems. Their denotational semantics are typically studied using categorical techniques...
31.12.2024 15:56 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Marco Abbadini - Quantifier-free fragments and quantifier alternation depth in doctrines
YouTube video by Marco Abbadini Marco Abbadini - Quantifier-free fragments and quantifier alternation depth in doctrines
29.12.2024 08:57 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
This open problem taught me what topology is
YouTube video by 3Blue1Brown This open problem taught me what topology is
25.12.2024 16:25 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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.

20.12.2024 22:21 β€” πŸ‘ 9    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

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.

20.12.2024 22:20 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
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

13.12.2024 06:40 β€” πŸ‘ 892    πŸ” 444    πŸ’¬ 137    πŸ“Œ 139
Preview
Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation Many structures of interest in two-dimensional category theory have aspects that are inherently strict. This strictness is not a limitation, but rather plays a fundamental role in the theory of such s...
11.12.2024 08:58 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
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.

10.12.2024 11:03 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
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.

09.12.2024 12:11 β€” πŸ‘ 4    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
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"

02.12.2024 15:12 β€” πŸ‘ 80777    πŸ” 15257    πŸ’¬ 2056    πŸ“Œ 932
The Crisis in Cosmology Just Got So Much Worse
YouTube video by Sabine Hossenfelder The Crisis in Cosmology Just Got So Much Worse
01.12.2024 23:15 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
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

01.12.2024 14:40 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
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...

01.12.2024 14:39 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0