roca

6 ms·

1.
by roca 1mo ago
Too bad the RAM crisis makes GC languages like Go far less attractive.
2.
by roca 5mo ago
It's not that.
3.
by roca 1y ago
Especially with combined with reverse-execution in rr or UndoDB!
4.
by roca 1y ago
Record-and-replay debuggers like rr and UndoDB are designed for exactly this scenario. In fact it's way better than logging; with logging, in practice, you usually don't have the logs you need the first time, so you have to iterat
5.
by roca 1y ago
We have explored that sort of debugging/visualization tool in https://pernos.co . We built it before the age of genAI, but I think for coming up with powerful visualizations AI is neither necessary nor (yet) sufficient.
6.
by roca 1y ago
You are correct. I worked on this for years at Mozilla. See https://robert.ocallahan.org/2007/02/units-patch-landed_07.h... and https://robert.ocallahan.org/2014/11/relax-scaling-user-int
7.
by roca 1y ago
It's depressing how many people are enthusiastic about making humans obsolete.
8.
by roca 1y ago
[rr developer here] Undo has cool features like Live Recording that we don't have in rr. They don't need access to the hardware PMU which is a big advantage in some situations. They can handle accesses to shared memory in cases wh
9.
by roca 1y ago
Huh. I would pull out my phone, hold down the power button, and talk to Gemini Live. That's shipping today. Altman apparently doesn't know what he's competing against. Not a good sign.
10.
by roca 1y ago
The least plausible part of this is the idea that the Trump administration might tax American AI companies to provide UBI to the whole world. But in an AGI world natural resources become even more important, so countries with those still ha
11.
by roca 1y ago
I don't know where that ranking comes from. It also matters that attackers adapt: UAF exploitation is harder than out of bounds, but it is well understood, and attackers can switch to it, so shutting off one source of UB isn't as
12.
by roca 1y ago
And COBOL.
13.
by roca 1y ago
Writing new graphics drivers in Rust will definitely be helpful, and is starting to happen. The safety of LLVM and GCC need not be a priority... they're not normally exposed to untrusted input. Also, it's a particularly hard area
14.
by roca 1y ago
There isn't anything new here to defend against lifetime-related UB. For that it simply references https://arxiv.org/pdf/2503.21145 , which is just a summary of existing dynamic mitigations --- which don't fix
15.
by roca 1y ago
The same "argument" could be applied to the medical profession, teachers, police, programmers, just about anyone.
16.
by roca 2y ago
Musk's rightward lurch will be good for the electric car transition. His ideological opponents are just switching to other EV vendors. His ideological friends would normally not have considered buying an electric car, because anthropog
17.
by roca 2y ago
How can Waterfox substitute for Firefox when 99% of the work that goes into Waterfox is actually done by Firefox developers? Almost the same argument applies to Edge and Chrome.
18.
by roca 2y ago
> But what if Putin thinks that unless he takes Ukraine, Russia will cease to exist (or Putin will cease to exist). In that scenario, taking Ukraine is an existential goal for Russa, and he will blow up the world unless he wins. Russia&#
19.
by roca 2y ago
Sure, just don't practice Falun Gong or be a Christian or an Uyghur.
20.
by roca 2y ago
And the habitats. I came here to say this!
21.
by roca 2y ago
Seems to me that Musk should be investing billions in tech for recycling. That will be critically important. Probably sounds too "green" for his current friend group, oops...
22.
by roca 2y ago
A kernel maintainer can completely ignore any submission with no repercussions even in principle. And they often do. In Firefox, in my era at least, a reviewer who simply ignores a review request indefinitely was not doing their job and wou
23.
by roca 2y ago
"The email patch usually gets dealt with within a week or two" is absolutely not my experience dealing with the kernel. Firefox and Chromium's bespoke tools have their pluses and minuses but they're a lot easier to deal
24.
by roca 2y ago
I'm sorry you had a bad experience with someone, but at least you know who wasn't doing their job. On the kernel side, you don't.
25.
by roca 2y ago
This part of the reply exemplifies one of the big problems in the kernel community: > You think you know better. But the current process works. Regardless of how badly broken the kernel development process is, Linus and others observe th
26.
by roca 2y ago
It's way more painful to contribute to the kernel than contribute to Firefox, at least, unless things have changed since I was involved with Firefox. Suppose you find a bug in the kernel and come up with a patch. You email the patch to
27.
by roca 2y ago
> Refactoring can be painful in Rust when it involves very low-level changes in semantics I don't know what this is about. In my experience, refactorings that change the semantics of APIs are much easier in Rust than in C. E.g.,
28.
by roca 2y ago
> It doesn't motivate me any more. I find it hard to understand how $60K means no motivation but $100K would be highly motivating. > I'd like to put more money towards things I care about. You said later that you care about
29.
by roca 2y ago
"The market" is just a lot of people making decisions about what to do with their money. If you want the market to behave differently, be the change you want to see, and teach others to do the same.
30.
by roca 2y ago
I'm also on the 39% marginal income tax rate in New Zealand. That income tax rate isn't the problem. Keeping $60K out of every $100K extra salary I make is plenty of motivation to work harder to make the extra $100K... especially

More ›