This reminds me of a similar story with YouTube [1] where improving the page weight decreased the metrics because more people with lower end connections could access the page.
Metrics interpretation is as important as the metrics themselves!
I think this already exists for issues. git-bug [1] uses git internal files to store the issues. It is distributed and it even comes with a web ui in addition to the usual cli.
do you know of any projects using [anything like] git-bug?
i know i've encountered something like this once in a notable repo. thought it was graphics related, like mesa or something, but looks like they're using GitLab.
This approach to programming is not all new to me (I studied Prolog at university which looks very similar but does not have the planner feature) but the planner is a very elegant and simple way of solving problems.
The comments about video game at the end of the article makes me wonder: the planner feature allows solving problems very easily by writing few lines of clear code. However, how does the performance compares against an algorithm written in imperative programming?
Picat seems to be fairly efficient compared to similar languages [1] but I don't find a comparison against "standard" languages.
This is impressive and actually looks like a real movie scene. And to think this only fits in 256 bytes makes you rethink how bloated the things we are using everyday are and also how powerful current browsers are.
I am however more impressed by the 8K demos such as "the Sheep and the Flower" [1] which was shared on HN recently or "One of those days" [2] which is a remake of an actual Youtube video [3] (granted not exactly the same video by the second but the style is immediately recognizable). They are way bigger than this 256 bytes movie but convey a lot more graphics and story.
Changing the search engine in Safari is limited to a very specific list though. Using Kagi as a search engine in Safari requires using an extension that intercept search engines queries and redirects through Kagi[1].
About the non timezone version but skates over the fact that he doesn't know the answer in the timezone version either. He says "Google tells me..." well sure, if you're allowed to use Google you could just have easily have asked "what are typical daylight/waking hours in x location?" This is much better anyway since in some countries culturally you siesta in the early afternoon (don't call please) and stay up later.
Anyway there is something of a genuine problem here (although I don't consider it serious) and I'd solve it by drawing the world on the side of the clock and allowing you to rotate the face by selecting a place on the map.
The arguments against removing timezones apply to adding timezones - it just depends on what you're used to or which type of conversion you find easier. The arguments in this oft-circulated article really fall flat.
I am not 100% sure but Firefox VPN is an actual VPN based on mullvad. On the main product page[1], it says it is built with Wireguard which is a VPN software.
Metrics interpretation is as important as the metrics themselves!
[1]: https://blog.chriszacharias.com/page-weight-matters