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
Catching the subway home at 11.15 and I haven't missed the last one, finally I'm in a real city
December 3, 2025 at 11:16 PM
Catching the subway home at 11.15 and I haven't missed the last one, finally I'm in a real city
I'm mildly entertained to see hoards of Arsenal fans on Liverpool Road
December 3, 2025 at 6:42 PM
I'm mildly entertained to see hoards of Arsenal fans on Liverpool Road
There are (to me) surprisingly many libraries for Idris 2 built by a small number of very dedicated people. The one library I wish existed but doesn't is a parser generator library (there's like 3 parser combinator libraries). I really hope I don't have to be the change I want to see in the […]
Original post on mathstodon.xyz
mathstodon.xyz
December 3, 2025 at 11:57 AM
There are (to me) surprisingly many libraries for Idris 2 built by a small number of very dedicated people. The one library I wish existed but doesn't is a parser generator library (there's like 3 parser combinator libraries). I really hope I don't have to be the change I want to see in the […]
Reposted by julesh
I would not have guessed this was possible!
Vladan Majerech has found a one-dimensional spaceship in the Game of Life: a pattern just one cell high and 3,707,300,605 cells wide that, after 133,076,755,768 generations (during which it is not confined to the one-dimensional line, of course) […]
Vladan Majerech has found a one-dimensional spaceship in the Game of Life: a pattern just one cell high and 3,707,300,605 cells wide that, after 133,076,755,768 generations (during which it is not confined to the one-dimensional line, of course) […]
Original post on mathstodon.xyz
mathstodon.xyz
December 3, 2025 at 3:54 AM
I would not have guessed this was possible!
Vladan Majerech has found a one-dimensional spaceship in the Game of Life: a pattern just one cell high and 3,707,300,605 cells wide that, after 133,076,755,768 generations (during which it is not confined to the one-dimensional line, of course) […]
Vladan Majerech has found a one-dimensional spaceship in the Game of Life: a pattern just one cell high and 3,707,300,605 cells wide that, after 133,076,755,768 generations (during which it is not confined to the one-dimensional line, of course) […]
Me and @zanzi's forthcoming (hopefully next week) paper "Canonical bidirectional typechecking" is *so* canonical that even the wrong things are right
(specifically, we ballsed up all 4 rules for bidirectional shifts in system L; half of them turned out to be the rules for linear-nonlinear ! and […]
(specifically, we ballsed up all 4 rules for bidirectional shifts in system L; half of them turned out to be the rules for linear-nonlinear ! and […]
Original post on mathstodon.xyz
mathstodon.xyz
December 2, 2025 at 7:23 PM
Me and @zanzi's forthcoming (hopefully next week) paper "Canonical bidirectional typechecking" is *so* canonical that even the wrong things are right
(specifically, we ballsed up all 4 rules for bidirectional shifts in system L; half of them turned out to be the rules for linear-nonlinear ! and […]
(specifically, we ballsed up all 4 rules for bidirectional shifts in system L; half of them turned out to be the rules for linear-nonlinear ! and […]
First I lived in Oxford when Lewis was still be regularly filmed, and later a chunk of a Transformers film was also filmed there. Then I moved to Leipzig where a police procedural for local tv was filmed in the same building I worked in. Then I moved to Glasgow where many Hollywood films are […]
Original post on mathstodon.xyz
mathstodon.xyz
December 2, 2025 at 4:18 PM
First I lived in Oxford when Lewis was still be regularly filmed, and later a chunk of a Transformers film was also filmed there. Then I moved to Leipzig where a police procedural for local tv was filmed in the same building I worked in. Then I moved to Glasgow where many Hollywood films are […]
The periodic table of being n steps ahead and playing k-d chess
November 30, 2025 at 5:46 PM
The periodic table of being n steps ahead and playing k-d chess
Nature reporting that the majority of ICLR reviews were AI written:
November 29, 2025 at 10:52 PM
Nature reporting that the majority of ICLR reviews were AI written:
angel investor
devil investor
devil investor
November 29, 2025 at 11:47 AM
angel investor
devil investor
devil investor
Laptop has been recovered, all for the low cost of an 8am start this morning
November 29, 2025 at 9:14 AM
Laptop has been recovered, all for the low cost of an 8am start this morning
This idiot left their laptop in a cafe so I'm forced to (gasp) read books
Just did the first half of Logicomix and now making a start on Piketty's Capital
Just did the first half of Logicomix and now making a start on Piketty's Capital
November 28, 2025 at 10:17 PM
This idiot left their laptop in a cafe so I'm forced to (gasp) read books
Just did the first half of Logicomix and now making a start on Piketty's Capital
Just did the first half of Logicomix and now making a start on Piketty's Capital
I have downloaded the transport for london navigation app on my phone, am now a cybernetic organism with my brain fused with the city
November 27, 2025 at 10:45 AM
I have downloaded the transport for london navigation app on my phone, am now a cybernetic organism with my brain fused with the city
*waking up in the morning*
We've had one sleep, yes, but what about second sleep?
We've had one sleep, yes, but what about second sleep?
November 27, 2025 at 9:53 AM
*waking up in the morning*
We've had one sleep, yes, but what about second sleep?
We've had one sleep, yes, but what about second sleep?
Reposted by julesh
If I was applying for a PhD today I think the topic I'd pick would be related to random matrices. The content of this paper illustrates why in the most readable summary I've come across […]
[Original post on mathstodon.xyz]
[Original post on mathstodon.xyz]
November 26, 2025 at 3:32 PM
If I was applying for a PhD today I think the topic I'd pick would be related to random matrices. The content of this paper illustrates why in the most readable summary I've come across […]
[Original post on mathstodon.xyz]
[Original post on mathstodon.xyz]
I guess the question of whether language is grounded has quietly in the last few years become one of the most empirically tested philosophical questions of all time
November 26, 2025 at 12:34 PM
I guess the question of whether language is grounded has quietly in the last few years become one of the most empirically tested philosophical questions of all time
Reposted by julesh
Riemann Hypothesis proof claimers: here's my proof bro, all the mathematicians didn't see it because it's simple and they are blinded by BiG mAtH. It only took 5 pages!!
Actual analytic number theorist who proved the weak Goldbach conjecture: here's an […]
[Original post on mathstodon.xyz]
Actual analytic number theorist who proved the weak Goldbach conjecture: here's an […]
[Original post on mathstodon.xyz]
November 24, 2025 at 12:44 AM
Riemann Hypothesis proof claimers: here's my proof bro, all the mathematicians didn't see it because it's simple and they are blinded by BiG mAtH. It only took 5 pages!!
Actual analytic number theorist who proved the weak Goldbach conjecture: here's an […]
[Original post on mathstodon.xyz]
Actual analytic number theorist who proved the weak Goldbach conjecture: here's an […]
[Original post on mathstodon.xyz]
we had one of the days of all time. are now in a good place
November 22, 2025 at 12:49 AM
we had one of the days of all time. are now in a good place
🚄 : Glasgow -> London
⨂
🚚 : Glasgow -> London
⨂
🚚 : Glasgow -> London
November 21, 2025 at 12:49 PM
🚄 : Glasgow -> London
⨂
🚚 : Glasgow -> London
⨂
🚚 : Glasgow -> London
It's 7am. Our moving van arrives at 8am, which is still before dawn
November 21, 2025 at 7:10 AM
It's 7am. Our moving van arrives at 8am, which is still before dawn
Reposted by julesh
Moving my piano is always a little bit like dealing with industrial equipment. First, unscrew the back panel. Then disconnect the 2 cables that join the 2 halves of the cabinet. Then unscrew the 4 bolts that hold the top half to the bottom half. Finally the top half (which weighs something like […]
Original post on mathstodon.xyz
mathstodon.xyz
November 20, 2025 at 4:44 PM
Moving my piano is always a little bit like dealing with industrial equipment. First, unscrew the back panel. Then disconnect the 2 cables that join the 2 halves of the cabinet. Then unscrew the 4 bolts that hold the top half to the bottom half. Finally the top half (which weighs something like […]
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