Viewing profile — roca

It's not that.

Especially with combined with reverse-execution in rr or UndoDB!

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 l…

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 …

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-u…

It's depressing how many people are enthusiastic about making humans obsolete.

[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. The…

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 s…

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 …

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…

And COBOL.

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 unt…

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 mi…

The same "argument" could be applied to the medical profession, teachers, police, programmers, just about anyone.

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 ha…

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.

> 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 Russ…

Sure, just don't practice Falun Gong or be a Christian or an Uyghur.

And the habitats. I came here to say this!

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...

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…

"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 m…

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.

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 k…

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 …