julesh
@julesh.mathstodon.xyz.ap.brid.gy
Applied Compositional Thinking
🌉 bridged from ⁂ https://mathstodon.xyz/@julesh, follow @ap.brid.gy to interact
🌉 bridged from ⁂ https://mathstodon.xyz/@julesh, follow @ap.brid.gy to interact
I'm allergic to LaTeX
November 19, 2025 at 9:17 PM
I'm allergic to LaTeX
Slapping a credit card on the contactless reader like you're playing Yugioh
November 19, 2025 at 5:24 PM
Slapping a credit card on the contactless reader like you're playing Yugioh
It's funny how a bunch of my local mastodon discourse today is about how the "u" sound doesn't exist in American, that's a thing I've joked about for years. Waaaay back in the day my twitter display name was "Categories with Jules" and only after like 2 years I got rid of that because I suddenly […]
Original post on mathstodon.xyz
mathstodon.xyz
November 18, 2025 at 11:18 AM
It's funny how a bunch of my local mastodon discourse today is about how the "u" sound doesn't exist in American, that's a thing I've joked about for years. Waaaay back in the day my twitter display name was "Categories with Jules" and only after like 2 years I got rid of that because I suddenly […]
A genre of twoot I just don't understand is screenshots of google dot com showing a hilariously and/or dangerously wrong answer. Like, you're using an LLM and trying to treat it like it's a search engine, literally what did you expect?
November 18, 2025 at 11:13 AM
A genre of twoot I just don't understand is screenshots of google dot com showing a hilariously and/or dangerously wrong answer. Like, you're using an LLM and trying to treat it like it's a search engine, literally what did you expect?
You know you're living in Glasgow in winter (and also have executive function deficiency) when you're eating lunch after sunset
November 16, 2025 at 4:59 PM
You know you're living in Glasgow in winter (and also have executive function deficiency) when you're eating lunch after sunset
I'm very sorry to lower the tone, but this title did literally make me do a double take
https://arxiv.org/abs/2503.10963
https://arxiv.org/abs/2503.10963
![[Submitted on 14 Mar 2025]
A study of Kock's fat Delta
Tom de Jong, Nicolai Kraus, Simona Paoli, Stiéphen Pradal
Motivated by the study of weak identity structures in higher category theory we explore the fat Delta category, a modification of the simplex category introduced by J. Kock. We provide a comprehensive study of fat Delta via the theory of monads with arities, and use these results to show that fat Delta is a hypermoment category in the sense of C. Berger. Specifically, by proving that the free relative semicategory monad is strongly cartesian and identifying a dense generator, the theory of monads with arities immediately gives rise to the nerve theorem. We characterise the essential image of the nerve via the Segal condition, and show that fat Delta possesses an active-inert factorisation system. Building on these results, we also establish an isomorphism between two presentations of fat Delta and show that it is a strongly unital and extensional hypermoment category.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:sueerx3lvdeq7q424rvbd6l7/bafkreifzmtzoc54yudf7hdle6cspn6ysquo56prxbgnlhdawcx3mbsh25y@jpeg)
November 16, 2025 at 4:42 PM
I'm very sorry to lower the tone, but this title did literally make me do a double take
https://arxiv.org/abs/2503.10963
https://arxiv.org/abs/2503.10963
Had an incredibly productive research retreat with @bgavran @Andrev @zanzi & others. We bookended the week with 2 big successes that I didn't expect to hit so quickly: right at the start we figured out a much better way to handle container fixpoints, and right at the end we successfully […]
Original post on mathstodon.xyz
mathstodon.xyz
November 15, 2025 at 11:33 AM
Reposted by julesh
There are some goings on at the World Othello Championships right now. A couple of years ago, Othello was announced to be weakly solved as a draw, with essentially 5 different proven perfect draw games (see https://arxiv.org/abs/2310.19387). Since that time, the community has come to believe the […]
Original post on mathstodon.xyz
mathstodon.xyz
November 15, 2025 at 11:28 AM
There are some goings on at the World Othello Championships right now. A couple of years ago, Othello was announced to be weakly solved as a draw, with essentially 5 different proven perfect draw games (see https://arxiv.org/abs/2310.19387). Since that time, the community has come to believe the […]
Mister President, there's been a second derivative
November 14, 2025 at 3:25 PM
Mister President, there's been a second derivative
Abstract algebra question that is probably very easy for somebody: Am I correct that infinite coproducts in the category of commutative monoids is given by "finite support products", ie. an element of the coproduct of {M_i} is an infinite tuple of elements of {m_i} only a finite number of which […]
Original post on mathstodon.xyz
mathstodon.xyz
November 14, 2025 at 1:34 PM
Abstract algebra question that is probably very easy for somebody: Am I correct that infinite coproducts in the category of commutative monoids is given by "finite support products", ie. an element of the coproduct of {M_i} is an infinite tuple of elements of {m_i} only a finite number of which […]
Yesterday I learned that the list functor can be equipped with a binary laxator given by zipping, ie. pair up the elements in the same position and if one of the lists is longer then truncate it. But the corresponding unitor is an infinite list, so this actually is a lax monoidal structure on […]
Original post on mathstodon.xyz
mathstodon.xyz
November 13, 2025 at 11:34 AM
Yesterday I learned that the list functor can be equipped with a binary laxator given by zipping, ie. pair up the elements in the same position and if one of the lists is longer then truncate it. But the corresponding unitor is an infinite list, so this actually is a lax monoidal structure on […]
Small puzzle: prove that infinity is the neutral element of binary minimum on conatural numbers
November 12, 2025 at 11:48 PM
Small puzzle: prove that infinity is the neutral element of binary minimum on conatural numbers
purely fictional programming
November 11, 2025 at 10:39 PM
purely fictional programming
Booty Call of Cthulhu
November 9, 2025 at 4:49 PM
Booty Call of Cthulhu
US spelling believes that a synthesizer is something that does music synthesiz
November 9, 2025 at 12:51 PM
US spelling believes that a synthesizer is something that does music synthesiz
Ah yes, the Fourier Methodology in software engineering
November 9, 2025 at 11:47 AM
Ah yes, the Fourier Methodology in software engineering
Reposted by julesh
A common strategy when implementing arrays that grow at the end is to allocate space for N bytes initially and then when more space is required resize to a block of size AN for some A, typically in the range (1, 2], and then keep reallocating as needed scaling […]
[Original post on mathstodon.xyz]
[Original post on mathstodon.xyz]
November 7, 2025 at 4:44 PM
A common strategy when implementing arrays that grow at the end is to allocate space for N bytes initially and then when more space is required resize to a block of size AN for some A, typically in the range (1, 2], and then keep reallocating as needed scaling […]
[Original post on mathstodon.xyz]
[Original post on mathstodon.xyz]
I keep doing research in PL by accident
November 6, 2025 at 9:29 PM
I keep doing research in PL by accident
Reposted by julesh
I've released Nashpy v0.0.43 which includes numerical simulation of introspection dynamics: https://nashpy.readthedocs.io/en/stable/how-to/use-introspection-dynamics.html
My PhD student Harry and I have been talking about introspection dynamics a lot after seeing Christian Hilbe's LEG Seminar < […]
My PhD student Harry and I have been talking about introspection dynamics a lot after seeing Christian Hilbe's LEG Seminar < […]
Original post on fosstodon.org
fosstodon.org
November 6, 2025 at 6:57 PM
I've released Nashpy v0.0.43 which includes numerical simulation of introspection dynamics: https://nashpy.readthedocs.io/en/stable/how-to/use-introspection-dynamics.html
My PhD student Harry and I have been talking about introspection dynamics a lot after seeing Christian Hilbe's LEG Seminar < […]
My PhD student Harry and I have been talking about introspection dynamics a lot after seeing Christian Hilbe's LEG Seminar < […]
What might be the world's first vibecoded language, and it's based on Idris ?!?
https://news.ycombinator.com/item?id=45832954
https://news.ycombinator.com/item?id=45832954
Erlang Meets Idris: Cure Programming Language | Hacker News
news.ycombinator.com
November 6, 2025 at 10:37 AM
What might be the world's first vibecoded language, and it's based on Idris ?!?
https://news.ycombinator.com/item?id=45832954
https://news.ycombinator.com/item?id=45832954
I have just realised that I need 2 different variants of thinnings, one that only permits dropping cartesian variables, and the other that permits dropping linear variables too. The former is used inside my co-de-Bruijn-scoped language every time there is a binder, allowing you to immediately […]
Original post on mathstodon.xyz
mathstodon.xyz
November 5, 2025 at 12:24 PM
I have just realised that I need 2 different variants of thinnings, one that only permits dropping cartesian variables, and the other that permits dropping linear variables too. The former is used inside my co-de-Bruijn-scoped language every time there is a binder, allowing you to immediately […]
The arXiv is doing fine, leave it alone
November 2, 2025 at 8:03 PM
The arXiv is doing fine, leave it alone
The problem with modernism is they tried to build grand theories but then they failed to have sufficiently high standards
November 2, 2025 at 7:44 PM
The problem with modernism is they tried to build grand theories but then they failed to have sufficiently high standards