julesh

Applied category theorist. I like microeconomics and diagrammatic syntax.

Affiliations: MSP Group / 20squares / CyberCat Institute

Public Key

npub162av2ljs9sm0x3t0ryrz0ucrj6a70her80m7m0lrtxg086zu73rstvlr5t

NIP-05 Address

julesh_at_mathstodon.xyz@mostr.pub

Profile Code

nprofile1qqsd9wk90egzcdhng4h3jp387vpedwl8mu3nhaldhl34ny8napw0g3cpz4mhxue69uhhyetvv9ujumt0wd68ytnsw43q8mqlkn

Publishing to

relay.mostr.pub

Author Public Key

npub162av2ljs9sm0x3t0ryrz0ucrj6a70her80m7m0lrtxg086zu73rstvlr5t

Show more details

Last Notes

2024-09-30 18:04:29

- reply

@npub1c9m…9xjd It's like the old joke: I had a problem, so I tried using Haskell. Now I have a monoid in the category of problems.

2024-09-23 21:44:27

Genuine question, when you flip a coin and you're using a currency that doesn't have the monarch's head on it, how do you know which side is heads?

2024-09-07 21:21:56

Just realised the literal first message humanity sent into space was sending nudes
https://media.mathstodon.xyz/media_attachments/files/113/098/363/741/852/524/original/18b8424efdbd34eb.png

2024-08-28 08:45:48

- reply

@npub1knz…c73p It's both a particle and a wave until you observe it, at which point you hurt your eyes

2024-08-20 12:19:59

- reply

@npub1knz…c73p no, but he liked the string diagrams

2024-08-15 13:43:02

In the last week Idris has finally clicked for me. What I've concluded is that even though it looks like a functional programming language, the act of writing Idris really doesn't feel like functional programming to me. I'd call it something like "algebraic datatype oriented programming"

2024-08-11 22:08:46

Today I learned that the Alien franchise is owned by Disney, which means that every xenomorph egg that hatches, being a daughter of the xenomorph queen, is technically a Disney princess

2024-08-08 19:11:54

Tense scenes at George Square in Glasgow, where a bunch of young kids are petting and having photos taken with the police horses

2024-08-06 10:14:44

Who called it spreading misinformation and not errorism

2024-07-31 15:11:55

Like a month after my latest bout of the rona I'm still mainly stuck in bed a couple of days per week, for example today

2024-07-22 11:01:05

Is there a Stone duality theorem for categories? Set^op is equivalent to complete atomic boolean algebras, is Cat^op equivalent to anything like that?

2024-07-17 17:17:53

- reply

@npub1c9m…9xjd This is real math, done by real mathematicians &c &c

2024-07-16 12:48:16

Gotta do the paperwork for my annual review today, wondering how to say "I'm having health problems, I'm burned out as fuck and I couldn't give any less of a shit about this job anymore" in more bureaucratic language

2024-07-06 12:16:09

- reply

@npub1ky2…ghvc Several times throughout history, various kings ordered their prize cow to be tipped with a force gauge, leading to a patchwork of slightly different definitions of the newton across Europe

2024-07-04 16:50:40

Happy 4th July, congrats to the USA for making it through just an a run of just under 248 years with a head of state subject to the rule of law. That's easily the longest stretch in human history, nobody else is anywhere close to beating that record.

2024-07-03 09:42:55

- reply

@npub1knz…c73p Wow!

2024-06-25 14:13:12

- reply

@npub1knz…c73p This is one of the greatest book titles I've ever heard

2024-06-22 17:02:56

Is there any theoretical advantage to thinking about square roots of probabilities, so instead of a distribution being a bunch of things that sum to 1 it's a bunch of things whose squares sum to 1, like a euclidean norm?

2024-06-21 10:57:12

- reply

@npub1knz…c73p The upside is it means atoms consist of one big positive thing together with a bunch of small negative things, which to me feels a bit nicer than the other way round

2024-06-17 12:49:35

Meme about the ACT conference
Hands up who wants to do applied category theory
Hands up who wants to do an application

2024-06-12 17:06:36

If "to milkshake" is to be a verb, I strongly feel that it should conjugate as a strong verb like its root:
"Nigel Farage was milkshaken today while ..."
"The person who milkshook Nigel Farage yesterday has been …”

2024-06-09 13:14:19

- reply

@npub1ky2…ghvc you're forgetting the other half, where you hit stuff with hammers

2024-06-09 12:40:54

What I do by now might not qualify as Applied Category Theory, but it's absolutely still Applied Compositional Thinking
Who in the field even remembers that the acronym coincidence was intentionally designed back in 2018

2024-06-04 14:13:13

- reply

@npub1c9m…9xjd Obviously it's a tram that drives on a road that happens to be in a tunnel

2024-05-29 14:00:08

Vaguely get the feeling that (multivariate) Gaussians are like the linear functions of probability
In which case the central limit theorem kinda looks like differentiation as in the best linear approximation
Is this a thing?

2024-05-21 11:03:47

It's not just imagination, Englandandwales really is a conservative religious country compared to Scotland
https://media.mathstodon.xyz/media_attachments/files/112/478/740/082/737/242/original/f256a10e8153d0d4.png

2024-05-21 10:13:40

I need my students to understand that to get away with openly committing blatant plagiarism you have to be a billion dollar megacorporation, which they are not

2024-05-16 21:24:33

Obviously not everything can be understood with just category theory, although I'm starting to kinda suspect that everything can be understood with a mixture of category theory and statistical physics

2024-05-12 15:21:40

Funny (?) thought: one of the most successful Silicon Valley companies is Stanford University

2024-05-11 01:35:34

I'm a city kid and I've never seen any astronomy before... but the northern lights were so bright we could see them in central Glasgow

2024-04-22 10:05:04

I wish I could make my students understand: write in their own voice and they'll write like an intelligent scientist who is not a native speaker, cheat with GPT and they'll sound like a native speaker who's a fucking idiot, like a politician or something

2024-03-17 15:37:15

Just realised that the purely economic case for UBI is basically identical to the case for VCs, just on a different scale: when people can absorb risks, innovation happens