Pathogen-David
Joined 8 years ago
Karma
539
Submissions
89
Member since
Jul 26
Recent submissions
Comment · 1 year ago
Ahh, that's the worst. Hopefully you realized your mistake sooner rather than later.
Comment · 1 year ago
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.
Comment · 1 year ago
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...
Comment · 1 year ago
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
Comment · 2 years ago
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.
Comment · 2 years ago
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.
Comment · 2 years ago
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?
Comment · 2 years ago
Doesn't seem like they do. They attempted to acquire them back in 2009 but it didn't work out.
Comment · 2 years ago
> 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
Comment · 2 years ago
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.
Comment · 2 years ago
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)
Comment · 2 years ago
It looks like the audio samples have disappeared since 2017, but they're available on the Wayback Machine for those who want to listen: https://web.archive.org/web/20170831162900/https://www.vinci...
https://pixelalchemy.dev