julesh

Applied Compositional Thinking

🔗: https://julesh.com
🔗: https://cybercat.institute
📍: London
pronouns: they/them

Last Notes

2025-12-25 10:39:36 UTC

The number of gifts sent to you by your true love up to and including the 𝑛th day of Christmas is
𝑛(𝑛+1)(𝑛+2)/6
https://oeis.org/A000292

2025-09-29 22:20:31 UTC

For some reason I was 100% convinced Wikipedia was based in Sweden, I'm actually horrified to learn that it's entirely American
So...... rest-of-world alternatives to Wikipedia?

2025-08-12 22:49:28 UTC

- reply

You probably have an unreasonable number of category theorists who follow you... I consider the most important definition I know to be that of monoidal categories. Specifically the one due to Kelly, which only needs 2 coherence diagrams

2025-04-01 19:37:14 UTC

- reply

For those who don't know, PhD positions in the UK that are not just open to UK citizens (or those with existing residence permits) are rare as hens teeth

2025-02-15 17:35:32 UTC

- reply

I'm thinking of moving my stuff github stuff to codeberg for exactly this reason. Now arXiv, I had not thought about that until now.....

2024-12-17 17:34:26 UTC

Prediction: over the next decade or 2 the remaining basic principles of proof assistants will be figured out, and the first minimally viable language will be proudly handed over to the mathematicians, who will then look at the millions of lines of code they've already written in Lean and collectively decide to just keep building on that. Only another decade or 2 after that will they learn the meaning of "technical debt"

2024-11-06 12:26:28 UTC

Basic question but I'm not 100% sure: it's not possible to have a "reasonable" syntax that captures exactly the total computable functions N → N, right?