David McCarthy πŸ‡ΊπŸ‡¦'s Avatar

David McCarthy πŸ‡ΊπŸ‡¦

@totalutility

Philosopher, likes ethics, epistemology, uncertainty, welfare economics, category theory, climbing πŸ‡ΊπŸ‡¦

530
Followers
194
Following
461
Posts
21.11.2024
Joined
Posts Following

Latest posts by David McCarthy πŸ‡ΊπŸ‡¦ @totalutility

Writing eulogies for both my parents made me reflect on just how much they'd done for me. Coordinating eulogies written by others brought it home that even as adult children, your parents are always 'mum and dad', and that there is another side to them seen much more clearly by their friends.

09.03.2026 15:13 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I wonder how much of a country's success (measured in terms of social welfare) comes down to how much thinking (of particular sorts) is valued in that country

09.03.2026 13:43 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I'm sure that every time they barged into someone's home they took careful records, recorded the IDs of the agents involved, and logged the incident

07.03.2026 15:45 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

a special kind of hell to be in physics then find your inner bourbakiist?

05.03.2026 11:06 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

introverts who forget they are in a group are all set

05.03.2026 11:02 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Who's the force for good? What do they do?

04.03.2026 13:05 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

A good initiative, but with e.g. meta making 16 billion a year out of ads it knows are scams, I'm not holding my breath waiting for some letters from Norway to make a difference. Would prefer concretely actionable solutions

01.03.2026 22:42 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Preview
Decimation (punishment) - Wikipedia

a wussy version of decimate

en.wikipedia.org/wiki/Decimat...

01.03.2026 13:10 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Since when did tenure protect against department closure or redundancy on the grounds of financial emergency?

28.02.2026 17:37 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

What do you think of categorical probability? Does it count as applied category theory? Too niche?

28.02.2026 12:21 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

i can haz dandelion soup an live well?

27.02.2026 17:17 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
The Man Who Stole Infinity | Quanta Magazine In an 1874 paper, Georg Cantor proved that there are different sizes of infinity and changed math forever. A trove of newly unearthed letters shows that it was also an act of plagiarism.

"No one shall expel us from the paradise that Cantor and Dedekind created for us"

The title of this Quanta article is perhaps a bit harsh, but still, its content is rather shocking

www.quantamagazine.org/the-man-who-...

27.02.2026 17:11 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

seems like some people only watched the first episode of the borg

26.02.2026 17:35 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Awodey Ch 7 uses that Cat has small coproducts to show it has all limits

26.02.2026 13:18 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

What does conservapedia make of the Manhattan project? One of those paradoxical instances where two negatives, "liberal claptrap" and "Jewish science" made a positive?

26.02.2026 13:00 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

philosopher here, noting n≠1

25.02.2026 16:41 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

So that’s why, according to Krugman, we’ve only seen such investments recently, as a result of the huge increase in wealth in the top gazzillionth. Of course, lining his pockets and furthering right wing extremism is probably a win-win for Musk

24.02.2026 15:07 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Nice format and content! There was a recent Krugman post that explained how buying X (or similar) makes financial sense, even if X loses a ton of money. The twist is that it only makes sense if you are colossally wealthy to start. Otherwise the return on influencing policy isn’t enough.

24.02.2026 15:07 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
category in nLab

According to nLab, Eilenberg & Mac Lane 1945, `General theory of natural equivalences', introducing categories, functors and natural transformations, was at first rejected on the grounds of having "no content"
#Reviewer2

ncatlab.org/nlab/show/ca...

24.02.2026 13:31 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

a bit of a low bar tbh, not being Buckingham Palace material

24.02.2026 00:41 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Grad students in all disciplines read there

22.02.2026 15:16 πŸ‘ 2 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0

Not on top of the full breadth of his work, but *Reasoning about Uncertainty* is such a gift to so many disciplines

16.02.2026 13:16 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Representation (mathematics) - Wikipedia

Not sure I put my question very well. This is the kind of notion of representation I had in mind. Do your views cover it? en.wikipedia.org/wiki/Represe...

16.02.2026 11:39 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

I'm told there's evidence that people think their wage increases are deserved, while price increases are undeserved. So even if people accept that they better off with respect to the wage-increase-minus-price-increase perspective, they may well be resentful, Biden-blaming etc..

16.02.2026 00:04 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

In paper n+1 we extend paper n via that lemma in paper 0 that we'll double check a bit later

13.02.2026 15:18 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

I'm not necessarily a fan of this early specialization though, just the way it was.

12.02.2026 20:35 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Depends on the education system. In the UK in my time there was faster specialization than in other countries. If you liked math the last two years of high school were pure math, applied math + one other. Survey was the text for the last year of pure, we covered about half of it. Loved it.

12.02.2026 19:53 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

In high school we had Survey of Modern Algebra as the pure textbook, and applied covered e.g. line, surface, volume & vector integrals. Hadn't properly met epsilon, but I think this would have been enough to have got a lot out of MacLane. Learning by osmosis is underestimated

12.02.2026 13:40 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Took me a long time to realize that much of mathematical activity is about the development of the right concepts and terminology. Tell students we need to develop languages so we can understand cool stuff like shapes, numbers and spaces, give them Mac Lane Mathematics Form and Function to discuss.

12.02.2026 12:05 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

"most illustrative endeavor"?

11.02.2026 00:19 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0