Viewing profile — brighteyes

Yes, here is another example of major work in this area: https://arxiv.org/html/2605.22763v1 > Our most capable agent autonomously resolved 9 of 353 open Erdős problems at the per-…

It definitely does. And even better in some ways like no ads and fewer trolls.

No, there is wide consensus that it was most likely (but not certainly) an errant rocket from Gaza, and not Israel. Wikipedia has a good summary: https://en.wikipedia.org/wiki/Al-A…

It is downvoted because it said "sizable fraction", which is a conspiracy theory. It is true that there were a few incidents, but they only account for a very small fraction of the…

Yes, the ICJ can order a ceasefire. It ordered Russia to stop its invasion of Ukraine, for example. In this case it decided not to, but it did order other measures (which hopefully…

Unfortunately for the Palestinians, that is not what was ruled. They were hoping for a full ceasefire like what you have interpreted, but they are very disappointed in the ruling b…

That is already being worked on, of course, regardless of the Houthis. The Keren Shalom crossing from Israel to Gaza just opened, which should allow double the aid to reach Gazans,…

To clarify, WebAssembly specs are made by the WebAssembly W3C community group here: https://www.w3.org/community/webassembly/ Its true that many of those companies are also members…

Even aside from the immediate danger, the reputational damage to Microsoft and Bing is growing quickly. I'm amazed they haven't removed it yet. And also eventually it will do somet…

Igalia is doing the work, but does anyone know who is funding Igalia to work on it? (Or are they doing this without funding?)

Maybe you're right, I might be too sensitive on this matter. Thank you for your thoughts.

I just think our industry would be a better place if we didn't try to tear down other technologies, say stuff like "X sucks", etc. But I agree that friendly competition is a good t…

GC might not be a productivity win for you, but for many people it definitely is. I'm pretty sure that's true for the great majority of software developers, but of course they don'…

Chrome does this too, it times GCs for when it has free time or is rendering in another thread, https://blog.chromium.org/2015/12/smarter-garbage-collection...

You're right, yes - a 1ms pause has a cost, even in a 16ms budget. I interpreted the author's point as "GC is now potentially viable for games", in the sense that older GCs might h…

The technical detail in this article is excellent! A great read. But I think it would have been an even better article without the negativity about Go and how the author thinks "th…

No, the article focuses on something completely different: That more men are diagnosed with HPV-associated cancer than women, these days. That's because of a huge increase in mouth…

At least one presidential candidate does support some form of nuclear, https://www.yang2020.com/policies/nuclear-energy/ but yes, it's a rare position.

Rust would have tradeoffs here, though. For example, in C# you'd be able to do (non-leaking) graphs and other structures in 100% safe code, while Rust would need unsafe.

> I really hope this works, but I fear it will die a shumway death. Yes, it may find a niche subset of Flash content it can do well, but there have been many attempts at Flash repl…

Yes, leaks are possible in all languages. In Rust you can leak due to reference cycles for example: https://doc.rust-lang.org/book/ch15-06-reference-cycles.html C# will clean up re…

I think that's too generous to the author given the other mistakes in the article, but sure, if you expand the meaning beyond regular memory safety, then it becomes a mixed picture…

It's interesting that someone in Microsoft is talking about Rust, but the article is very flawed. For example, > C#, a programming language developed by Microsoft, also features so…

Yes, much easier to tinker with a more barebones system. The downside of powerful toolchains is often their complexity. So there's a difference between one being better for shippin…