This reminds me of the story of the "Feather" project at YouTube where they improved a lot the page weight and the average page latency went higher just because they were actually seeing a lot more traffic from places with slow Internet.
The ISP named Free in France also did this a while ago.
It was fairly well implemented I think: separated from your network, bandwidth was limited (to avoid impacting the host), you could opt-out (which meant opting out of using the guest network), joining the wifi was automatic if you had a cellphone with the same ISP and it was the same "guest" network for all routers so in big cities, you could rely only on this to access Internet.
It was stopped a few years ago when they deemed cellular network was reliable enough to not need the guest network.
A bit late to the party but there is a famous French internet show called "Faux-raccord" which does exactly what this article does: every episode is focused on mistakes for some movie, told by the duo Michel and Michel with some jokes along the way.
Biometric or password is necessary for every access (which may be an inconvenience for some).
Basically, the addon communicates with a native application on the OS (the iCloud application on Windows or the password application on macOS) so there is nothing stored in Firefox.
This is very impressive but I think Short-Stack [1] is a more impressive project because it is a fully fonctionnal Wii (as in, it works on its own as you would expect from a regular Wii) compared to this one where it needs other accessories to be able to play.
The implicit line here is that if there is peace, then there is military security. And the EU has been pretty good at providing that within its borders (compared to the history of wars between countries of the EU).
The min-sized-rust project [1], which you may already be aware of, has a lot of optimisations to decrease the size of a Rust binay. I think with all the optimisations, at the end, it was around 8kb for the hello world.
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.
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.
Like this: https://nitter.net/MaximeRivest/status/2073544461473169432
Both are running the same software but I guess the protection of the sites work differently.