James Wood
@mudri.mathstodon.xyz.ap.brid.gy
(2025-06-24) Programming Languages at Huawei. Formerly, linear and modal type systems in Agda. Thesis: https://stax.strath.ac.uk/concern/theses/tt44pn44w. Website […]
🌉 bridged from https://mathstodon.xyz/@mudri on the fediverse by https://fed.brid.gy/
🌉 bridged from https://mathstodon.xyz/@mudri on the fediverse by https://fed.brid.gy/
[Edinburgh urban design]
This feels like a common problem with Edinburgh bus stop design: The overhang of the shelter obscures part of the departure board from natural waiting positions. Moreover, it obscures the part with the next few buses – the most important information on the board.
This feels like a common problem with Edinburgh bus stop design: The overhang of the shelter obscures part of the departure board from natural waiting positions. Moreover, it obscures the part with the next few buses – the most important information on the board.
January 20, 2026 at 7:49 PM
[Edinburgh urban design]
This feels like a common problem with Edinburgh bus stop design: The overhang of the shelter obscures part of the departure board from natural waiting positions. Moreover, it obscures the part with the next few buses – the most important information on the board.
This feels like a common problem with Edinburgh bus stop design: The overhang of the shelter obscures part of the departure board from natural waiting positions. Moreover, it obscures the part with the next few buses – the most important information on the board.
In unrelated news, 4 of my tray icons either have images missing or display as black-on-black (5 while taking a screenshot).
January 1, 2026 at 11:07 AM
In unrelated news, 4 of my tray icons either have images missing or display as black-on-black (5 while taking a screenshot).
Today's journey, current status:
December 31, 2025 at 3:29 PM
Today's journey, current status:
Next train: Sprinter Bond
December 20, 2025 at 3:19 PM
Next train: Sprinter Bond
Gif of the day:
October 27, 2025 at 7:00 PM
Gif of the day:
[Trains]
Here's an interesting line of Realtime Trains. The train didn't, in fact, stop – hence the early running.
Here's an interesting line of Realtime Trains. The train didn't, in fact, stop – hence the early running.
![Church Fenton [CHF] /
Service stops for pathing (passing train), stop unadvertised. 5 mins early.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:iq4xlimhdngvtqq6owwrgx6z/bafkreicsftevwmpig733geikr5drxktxcv3wy3zwhqbmhbn667grrylm3e@jpeg)
April 14, 2025 at 7:48 AM
[Trains]
Here's an interesting line of Realtime Trains. The train didn't, in fact, stop – hence the early running.
Here's an interesting line of Realtime Trains. The train didn't, in fact, stop – hence the early running.
Pictured: parked car, overhanging parked van, and the shadow cast by the bus from almost perfectly behind, showing its width. Nope, not happening!
April 2, 2025 at 5:07 PM
Pictured: parked car, overhanging parked van, and the shadow cast by the bus from almost perfectly behind, showing its width. Nope, not happening!
February 14, 2025 at 11:06 PM
America, I am in you.
January 19, 2025 at 3:33 AM
America, I am in you.
[Edinburgh public transport]
Wait, is the tram really slower than *2* buses?
Wait, is the tram really slower than *2* buses?
January 14, 2025 at 5:54 PM
[Edinburgh public transport]
Wait, is the tram really slower than *2* buses?
Wait, is the tram really slower than *2* buses?
I don't want to change the world
November 25, 2024 at 6:27 PM
I don't want to change the world
Bloody Trots, always opping mine work!
November 25, 2024 at 6:25 PM
Bloody Trots, always opping mine work!