roca

72 ms·

841.
by roca 6y ago
That's exactly right, at least up to the last sentence.
842.
by roca 6y ago
"the team that was doing the best job furthering the organization’s mission" is the Gecko team. That team is still largely there. Servo is/was cool, and some cool stuff that originated in Servo made it into Gecko, but make no
843.
by roca 6y ago
Most of "Quantum" has been just solid engineering work on Gecko. Servo tech, in the form of Stylo, helped a bit, WebRender will help a bit more but has been mostly developed in the context of Gecko for years. "Servo is the on
844.
by roca 6y ago
Call it what you like, but the reality is that the USA is so much more free at every level of society than China under the CCP, and that's even ignoring the horrors of Xinjiang and Tibet. Even in this much-derided "Clean Network&q
845.
by roca 6y ago
Can you give an example where CSE/hoisting is necessary to make an abstraction zero-cost? I mean: give an example of a zero-cost abstraction that takes some hand-written code and packages it up nicely, and then show that the compiler c
846.
by roca 6y ago
I mean this: https://en.wikipedia.org/wiki/Copy_propagation
847.
by roca 6y ago
In my experience, Rust and C++ developers seldom use tail recursion with the expectation that it's zero-cost. In almost all cases it's much more natural to use a loop in those languages.
848.
by roca 6y ago
If you're on bare metal, then you have access to supervisor mode. I like the approach of hiding cpuid registers from user-space. It means, for example, the operating system can easily control what hardware features user-space will use.
849.
by roca 6y ago
They're mostly thumbnails of Web sites people have recently visited or visited frequently, i.e. they look familiar. I don't think they look like ads to most people, and I certainly wouldn't conclude they do without actual dat
850.
by roca 6y ago
Very little of the content on the default start page is ever paid advertising. AFAIK it's a few of the Highlights, sometimes.
851.
by roca 6y ago
No "principle Mozilla advocates" says that the start page should default to blank.
852.
by roca 6y ago
It is two clicks to remove that entire "Highlights" section.
853.
by roca 6y ago
https://hacks.mozilla.org/2020/07/safely-reviving-shared-mem... explains how SharedArrayBuffer is being reenabled in a way that prevents it being used for Spectre attacks.
854.
by roca 6y ago
Obviously the genome encodes what you need to grow a brain, but, there aren't enough bits in the human genome to encode many neural network weights.
855.
by roca 6y ago
Keeping image/video/audio data out of process actually sounds kinda reasonable to me :-). I think the really compelling example is cross-origin script loading. I can't imagine a realistic way to keep the script data out of pr
856.
by roca 6y ago
It is inaccurate to describe New Zealand as "shut off from the rest of the world". Trade and communications are running normally. Outgoing international travel is allowed, but of course hardly anyone wants to until the overseas CO
857.
by roca 6y ago
Mars has more Earth-like gravity (should be significantly better for humans). It has a lot more water. It has a 25-ish hour day instead of 4-week day. (The latter may not matter to humans since we'd have to be inside most of the time a
858.
by roca 6y ago
I agree. This is why I am myself skeptical about settling Mars. Maybe there are scenarios where an Earth disaster causes breakdown of physical and intellectual supply chains and expertise/components from Mars are essential to recover
859.
by roca 6y ago
Seems to me this article entirely misses the point. If we had sustainable industrial civilization on both Earth and Mars, then if one planet gets hit we can repopulate it from the other planet, i.e. to kill off humanity any disaster would h
860.
by roca 6y ago
Object recycling often works fine to avoid GC issues for simple stuff, but in more complicated applications you really do need to dynamically allocate and free memory and GC is going to get involved.
861.
by roca 6y ago
You asserted that Rust should be thrown away, but decline to provide any reasons why you think that. So yeah, in the absence of any supporting argument, I reject your claim, and so would any other reasonable person who doesn't already
862.
by roca 6y ago
Right, I know what the reason is, but that doesn't stop it from being a problem.
863.
by roca 6y ago
You have not made your argument clear. Are you questioning whether Rust is simply not good enough to be worth using by anyone? Lots of people, including me, have judged that is worth using for us, both before we tried it and after we'v
864.
by roca 6y ago
https://www.adacore.com/uploads/techPapers/Safe-Dynamic-Memo... > Standard Ada supports safe use of pointers (“access types” in Ada) via strongtype checking, but safety is guaranteed only for programs where the
865.
by roca 6y ago
Right, but still, compiling long dependency chains is slow :-(.
866.
by roca 6y ago
Rust is probably never going to be the ideal first language for anyone to learn. This is a problem because a lot of people will turn to the language they first learnt, which they know best, when faced with any given problem :-(. But it make
867.
by roca 6y ago
Rust makes it easy to write code that's very expressive (dynamic memory allocation etc) and has strong safety properties. Certainly easier than having to verify with SPARK or Frama-C. Rust's type system, especially traits and affi
868.
by roca 6y ago
With Ada you can't use dynamic memory allocation and pointers safely, unless you buy into SPARK, which is heavier-weight than Rust (and also post-dates Rust).
869.
by roca 6y ago
I do not find reference counting problematic in practice. In Rust you have to go out of your way to introduce interior mutability in refcounted values, which discourages problematic patterns. I find that in most cases where ownership patter
870.
by roca 6y ago
As someone who's spent the last few years writing a 170K line Rust project ... I consider it entrenched! I stand by that blog post, though I recognise it's controversial. I think Rust clearly qualifies as "worth the cost of a

More ›