If you're curious: An API is more or less just the communication boundary between two pieces of software.

A common sign of a bad API (including this one) is when it presents data in an overly human-centric way rather than something more computer-friendly.

For a human it's really easy to see "Regents Park" and "Regent's Park" are very very likely referring to the same station, but a computer can't know that unless a human goes out of their way to tell it that.

You could argue the TfL API is perfectly fine for its intended use-case of updating the arrival screens (which are meant for humans), but it's generally better to design APIs to grow for future use-cases you haven't thought of yet. Changing an API tends to be hard once it's being used in the real world.

For example: The older TfL stations have LED matrix displays for displaying information, which are very limited in how much text they can display at once. The newer stations have big TV screens instead, which can show a lot of information. It wouldn't surprise me if this is the underlying reason behind some of the inconsistencies, especially ones like "Kings Cross" vs "King's Cross St. Pancras". I'd bet the longer names with punctuation correspond to arrival displays in the newer stations.

this reminds me of the time I got on a train to Kingsley instead of King's Cross, because the train board only said "Kings" and I didn't think to check the boards/platform number in a rush.

Ahh, that's the worst. Hopefully you realized your mistake sooner rather than later.

only went one or two stops the wrong way and turned around. I was new to the British train system.

If the GitHub Actions temporary token does not have workflow-defined permissions scope, it defaults either to a permissive or restricted default scope based on the repository's setting. This setting can also be configured at the organization level to restrict all repos owned by the org.

Historically the only choice was permissive by default, so this is unfortunately the setting used by older organizations and repos.

When a new repo is created, the default is inherited from the parent organization, so this insecure default tends to stick around if nobody bothers to change it. (There is no user-wide setting, so new repos owned by a user will use the restricted default. I believe newly created orgs use the better default.)

[0]: https://docs.github.com/en/actions/security-for-github-actio...

You might find value in the glTF sample renderer https://github.com/KhronosGroup/glTF-Sample-Renderer

It won't be plug and play since you'd have to pull out the shaders and make them work in your app, but the implementation supports quite a few material variants. The PBR shader implementation starts in source/Renderer/shaders/pbr.frag

I just checked and the curl.exe on my system does not export any symbols, so not in this case.

It is possible to do that in the general sense though.

The context menu item for duplicating tabs might be new, but you've been able to middle-click the refresh button to duplicate the current tab for quite some time now.

Have you heard of eMOTIONAL Cities by any chance? https://emotionalcities-h2020.eu/

It's basically an ongoing large-scale research project working to quantify the way people experience city spaces from a neuroscience perspective (or at least that's my understanding -- I work with some of the people who are working on it.) Maybe the work they're doing could be relevant to what you all are doing?

Doesn't seem like they do. They attempted to acquire them back in 2009 but it didn't work out.

> but since an indeterminate amount of time ago, it just stopped working for me.

Updating both Git and Git Extensions has seemingly fixed it for me, but the issues I was having were sporadic so maybe I've just been lucky

It doesn't change the output encoding by default, but if you manually set it to UTF8 it works. (IE: Console.OutputEncoding = System.Text.Encoding.UTF8;)

That might be all you need to fix the F# REPL too.

I recently learned that some Google TVs have a “Basic Mode” that removes all the smart crud. https://www.androidcentral.com/new-google-tv-feature-will-le...

I haven’t had a chance to look into it further so I don’t know if it’s any good, but it might be worth looking into. (I’m also curious if anyone here has experience with it)