rice7th

Not really. It probably got overloaded with requests and thought that another crawler was tergeting the repository so it probably bumped up the measures.

Yes but it isn't controlled by it, that's the point.

Well github is very much owned by Microsoft, and with the recent changes of the CEO there are a lot of reasons to prefer a non closed source and non-gigant-tech-corp-controlled software forge.

That's anubis, an anti web crawler tool [0]

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

Then you should try egui. It has a lot of examples and it is among the most mature libraries along with iced and slint, without the licensing problems

Tests do not account for all possible executions of the code, rather only a subset of it.

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.

I guess apple works more as a "cultural monopoly", where if you don't own some apple device you're automatically ostracized by other apple customers. To them apple is more like a fashion clothing company like gucci than a technological one. Apple provides some sort of "privileged status" to their customers, just like purpur in ancient rome, so of course each apple stan considers themselves superior, and to keep their own privilege they need to buy more apple products.

Moltenvk is a great solution

Apple didn't kill KHTML, the web did.

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.

Sorry for my grammatical mistake, English is not my first language.

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.

Because apple themselves forked it. Only a handful of companies have the power to basically change the web browser market, and apple sure was one. Nowadays every company copies from chrome, so why would anyone bother forking ladybird?

And so? Yes people (and companies) would fork your code, but the most realistic scenario would be that the original ladybird would still be the most relevant browser of it's family, just like firefox, so the problem kinda resolves by itself

Thank you, I'll definitely take a look at it.

Wow that was something I wasn't expecting. Well I guess it does kinda make sense that running untrusted code on a gpu wouldn't be the best idea, however I seriously thought that browsers just passed their glsl directly to the GPU. Also since linux doesn't have its own graphics API I am afraid that WebGL support would introduce a lot of complexity, since you can definitely pass via OpenGL but Vulkan could be also an option.

Thank you for the tip!

Isn't webGL's GLSL directly delegated to the driver just like normal OpenGL? Also one could easily write a lot of frontends and a single massive centralised backend with multiple processor targets and optimisation profiles. Think about V8 which works for both JavaScript and WebAssembly. This would create a much simpler codebase and if you're going to use a parser generator it could very well be a breeze.

To be fair, Catania has more fabs than any other city in Italy (2 with another fab in construction), also being home to the largest stmicroelectronics establishment in Italy, so I guess it kinda is Italy's silicon valley

Yea, coming from Trapani I can surely say that Catania doesn't even feel like Sicily. It is much more advanced than even Palermo, and no other city can really compete.

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.

We managed to get twitter bots into HN. Maybe tomorrow the pigs will fly.

It's not?

No it's not. That is not the definition of rudeness. If it told you to fuck off, then thats rude, but if it told you that they will take legal action against you, then that is not rude, simple as.

Same thing with Rai, Italy's main broadcaster: https://www.televideo.rai.it/televideo/pub/

Again, this is not rude at all. You should get a dictionary and search for the meaning of the words you intend to say before you type them (this last sentence was deliberately rude so you can see the difference between the comments)

Janice wasn't rude at all in their comment, suggesting that you have a distorted idea of what rude is, apparently confuing rudeness with meticulousness.

I guess there's no such thing. It's probably going to be raw opengl or something; 3D graphics is A LOT more complex than 2d graphics

That explains a lot of stuff. Thanks for clarifying!

No there was evidence, homophobia and misinformation?

what???

I strongly disagree. The point of the whole SerenityOS project is to do everything from scratch, both for fun and to bring a bit of innovation in a classic environment. I see this "rebuild everything from scratch" effort as beneficial in many areas of browser development, since there are technologies shared by most browsers that create a sort of sub-monopoly, independent from the actual browser marketshare.

Take for example the JavaScript engine. Spidermonkey and V8 are much more prominent in browser engines, even the lesser known ones, compared to JavaScriptCore. Spidermonkey for example is used in Firefox, Servo and Flow (Eikoh's browser engine), while V8 is used in every chrome derivate and most javascript implementations outside of a browser. JavaScriptCore is literally used in only one browser engine, and while WebKit is rather popular, it doesn't change the fact that the browser-grade javascript engine market is dominated by only two engines.

Rebilding everything from scratch is such a fresh breath of air from all of those technological monopolies. I only wish the best for the SerenityOS team and contributors.

Yes but cproc supports c11

Same in Nim IIRC

Thats said, I am a huge fan of D and your work in general. Please keep creating awesome stuff!