Owen Lynch
@olynch@mathstodon.xyz
mastodon
4.5.8
Grad student at Oxford, Research Software Engineer at the Topos Institute.
Currently working on the programming language side of systems theory.
Trump is a fascist, fascists are bad.
0
Followers
0
Following
Joined April 25, 2022
Website:
Posts
Owen Lynch
@olynch@mathstodon.xyz
Grad student at Oxford, Research Software Engineer at the Topos Institute. Currently working on the programming language side of systems theory. Trump is a fascist, fascists are bad.
mathstodon.xyz
Owen Lynch
@olynch@mathstodon.xyz
Grad student at Oxford, Research Software Engineer at the Topos Institute. Currently working on the programming language side of systems theory. Trump is a fascist, fascists are bad.
mathstodon.xyz
@olynch@mathstodon.xyz
·
Apr 04, 2026
1
0
0
Owen Lynch
@olynch@mathstodon.xyz
Grad student at Oxford, Research Software Engineer at the Topos Institute. Currently working on the programming language side of systems theory. Trump is a fascist, fascists are bad.
mathstodon.xyz
Owen Lynch
@olynch@mathstodon.xyz
Grad student at Oxford, Research Software Engineer at the Topos Institute. Currently working on the programming language side of systems theory. Trump is a fascist, fascists are bad.
mathstodon.xyz
@olynch@mathstodon.xyz
·
Apr 04, 2026
@tml @jonmsterling @albertcardona @elduvelle Presumably the claim is something like "transit was 10x more competently and sensibly prioritized and organized relative to the technological capabilities of the time" not "transit was 10x faster."
View full thread on mathstodon.xyz
0
4
0
Owen Lynch
@olynch@mathstodon.xyz
Grad student at Oxford, Research Software Engineer at the Topos Institute. Currently working on the programming language side of systems theory. Trump is a fascist, fascists are bad.
mathstodon.xyz
Owen Lynch
@olynch@mathstodon.xyz
Grad student at Oxford, Research Software Engineer at the Topos Institute. Currently working on the programming language side of systems theory. Trump is a fascist, fascists are bad.
mathstodon.xyz
@olynch@mathstodon.xyz
·
Apr 04, 2026
@jonmsterling @tml @albertcardona @elduvelle I'm all for improving the train system, but I worry that this is unnecessary FUD (fear, uncertainty, doubt) w.r.t. people making transit decisions. I've traveled between Southern England and Scotland probably four or five times now (and other long distances in the UK) and sometimes it takes longer than advertised, but the magic of a train ticket being "any permitted route" means that Google maps can just route me around missed trains. And Oxford<->Cambridge is annoying but certainly doable for a day trip with an early morning start.
Perhaps I'm less optimized for reliably getting places on time than you, but I think there's a strong case to be made for not refusing to use infrastructure until it's perfect.
View full thread on mathstodon.xyz
6
2
0
Owen Lynch
@olynch@mathstodon.xyz
Grad student at Oxford, Research Software Engineer at the Topos Institute. Currently working on the programming language side of systems theory. Trump is a fascist, fascists are bad.
mathstodon.xyz
Owen Lynch
@olynch@mathstodon.xyz
Grad student at Oxford, Research Software Engineer at the Topos Institute. Currently working on the programming language side of systems theory. Trump is a fascist, fascists are bad.
mathstodon.xyz
@olynch@mathstodon.xyz
·
Apr 04, 2026
@jonmsterling @albertcardona @elduvelle OK, this I can get behind! We must feed our magnificent beasts well :)
View full thread on mathstodon.xyz
6
0
0
Owen Lynch
@olynch@mathstodon.xyz
Grad student at Oxford, Research Software Engineer at the Topos Institute. Currently working on the programming language side of systems theory. Trump is a fascist, fascists are bad.
mathstodon.xyz
Owen Lynch
@olynch@mathstodon.xyz
Grad student at Oxford, Research Software Engineer at the Topos Institute. Currently working on the programming language side of systems theory. Trump is a fascist, fascists are bad.
mathstodon.xyz
@olynch@mathstodon.xyz
·
Apr 04, 2026
@jonmsterling @albertcardona @elduvelle I kind of enjoy the vibe of public transit where it's like these are migrating beasts and by careful divination and ritual offering you can harness their primal energy to speed you in a particular direction, like a raptor riding thermals. Of course there isn't going to be a migration going precisely from A to B, but with a bit of cleverness you can stitch together something.
It's pretty magical and unprecedented in human history that I can cross so many different countries by land safely and relatively quickly. Sure, OK, it could be faster. But like, thank you migrating beasts you are wonderful creatures.
View full thread on mathstodon.xyz
18
4
2