[0]: https://github.com/TecharoHQ/anubis

Rust is indeed a safe language, in terms of memory safety. Vulnerabilities are still very possible within a rust program, they just need to not rely on memory exploits, and the borrow checker won't catch them. That is why formal verification exists. If you have a really critical, high security application then you should ensure the maximum amount of safety and reliability.

Formal verification enables the developer to write a mathematical proof that the program behaves correctly in all situations, something that the borrow checker cannot do.

As I've already stated, any company that may fork a similar project would actually cause more benefit than harm. KHTML died because the web started to get very complex very fast and KDE volounteers couldn't keep up with that pace, unlike Apple employees. Now that the web is a bit more stable, with less standards that are more thought-out (webassembly), it's a lot easier to maintain a web browser. So if tomorrow Microsoft hops in and announces it's intent to fork ladybird, then the latter would not only be fine, but it would probably recieve a new wave of contributors.

That said, my point here was that realistically no company is going to fork ladybird since there's already chromium, plus even if ladybird was somehow forked by let's say microsoft and got popular, I don't think it would be detrimental to ladybird itself, if not even beneficial, since it would attract more users and, to a lesser extent, more contributors.

Thank you for the tip!

That's the real problem of Sicily; it's not about the bridge itself, but rather the whole ecomomic situation and living standard that lags behind the rest of Italy. I don't remember if the rest of Sicily is affected, but in Trapani we don't even get fresh water every day! Instead each house has canisters and pumps that fill every 3 days or so. Another example might be the almost complete lack of actual industries and a much more agricultural-based economy, to the point that almost all sicilians also own a farm or a piece of farmland (or at least I think so, again, I haven't visited much outside of Trapani). There are *lots* of things to improve, but I still think that Sicily has one of the highest economic potentials of the 20 regions, because it has lots of natural resources, people and space, and Catania is definitely an example of that potential turned into reality.

Also Palermo does have a subway, so Catania isn't the only city with such privilege.