HNHacker News
TopNewBestAskShowJobs

roca

5,692 karma · joined October 28, 2014

Robert O'Callahan. Christian. PhD from CMU (2001) in static program analysis. Former Mozilla Distinguished Engineer. Primarily worked on Gecko layout and rendering. Started https://rr-project.org and currently maintaining it. Cofounder of https://pernos.co, an omniscient debugger that people actually use. Google.
submissionscomments
roca··on Taming the UB Monsters in C++
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 because the safety of generated code matters just as much as the safety of the compiler itself. However Cranelift is an interesting option.

No silver bullet here unfortunately... but writing new infrastructure in C or C++ should mostly be illegal.

roca··on Taming the UB Monsters in C++
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 UB at the language level, impose performance tradeoffs, and in the case of pointer integrity, require hardware support that excludes e.g. x86.

Look at it this way --- mature products like Chrome are already doing all of that wherever they can. If it was enough, they wouldn't worry about C++ UB anymore. But they do.

roca··on Trapping misbehaving bots in an AI Labyrinth
The same "argument" could be applied to the medical profession, teachers, police, programmers, just about anyone.
roca··on Tesla is done in Germany: 94% say they won't buy a Tesla car
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 anthropogenic climate change is a socialist hoax or something, but Trump is instructing them to buy Teslas as a sign of solidarity.
roca··on Google Being Forced to Sell Chrome Is Not Good for the Web
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.

roca··on Discworld Rules
> 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's nuclear arsenal is a perfectly adequate guarantee of Russia's security. Putin knows this, which is why he's happy to leave Russia's western border with NATO practically undefended while he pursues Ukraine. (This also disproves the "Putin invaded Ukraine because he's afraid of NATO" lie.)

It's more plausible that Putin's survival depends on the outcome of the Ukraine war. But "mad Putin blows up the world" is as much a problem for the Russians as anyone else.

roca··on China tells its AI leaders to avoid U.S. travel over security concerns
Sure, just don't practice Falun Gong or be a Christian or an Uyghur.
roca··on DARPA Large Bio-Mechanical Space Structures
And the habitats. I came here to say this!
roca··on John Carmack discusses SpaceX strategy and Mars
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...
roca··on Asahi Linux lead developer Hector Martin resigns from Linux kernel
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 would get yelled at by someone --- me, if it came to my attention.

roca··on Asahi Linux lead developer Hector Martin resigns from Linux kernel
"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 with that the kernel "workflow".

roca··on Asahi Linux lead developer Hector Martin resigns from Linux kernel
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.
roca··on Asahi Linux lead developer Hector Martin resigns from Linux kernel
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 that Linux continues to dominate and conclude that therefore the development process "works". Success in the market blinds the successful vendor to their defects. Sound familiar?

If Linux carries on down this path then eventually something else that has been subject to more evolutionary pressure will displace Linux, and we'll all be telling stories about how Linux got complacent and how it was obvious to everyone they were heading for a fall.

And honestly, with maintainers like Hellwig maybe that's what needs to happen.

roca··on Asahi Linux lead developer Hector Martin resigns from Linux kernel
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 some kernel mailing list and ask for feedback. Typically, you will receive no response whatsoever, because no-one is responsible for responding. You can try emailing random developers and eventually maybe one of them will have mercy on you.

In Firefox and I think Chromium, you can file a bug, attach your patch, request review from someone (the UI will help you choose a suitable person), and it's their job to respond.

roca··on Asahi Linux lead developer Hector Martin resigns from Linux kernel
> 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., change assumptions about the lifetimes of pointers passed into APIs: the Rust compiler will tell you where you need to change anything; the C compiler will happily compile your code and you'll corrupt memory at runtime.

roca··on Google drops pledge not to use AI for weapons or surveillance
> 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 the public health system and helping the elderly. That's where a large percentage of our taxes go.

> Huh? Dividends are income. Or are you talking about the non-monetary rewards of owning a business?

No, I'm talking about selling all or part of the business. I agree with you that it's a problem our businesses often sell out to overseas interests who hollow out the company. But the general pattern of making most of your money by selling shares in the business is completely normal worldwide.

roca··on Google drops pledge not to use AI for weapons or surveillance
"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.
roca··on Google drops pledge not to use AI for weapons or surveillance
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 because the taxes paid aren't burned, they mostly go to things I care about.

The income tax rate isn't all that relevant to the costs and benefits of starting a company, so I don't understand that part of your story. The rewards for founding a successful company mostly aren't subject to income tax, and NZ has a very light capital gains regime.

I have started my own company and I do agree that there are some issues that could be addressed. For example, it would be fairer if the years I worked for no income created tax-deductible losses against future income.

But NZ's tax rates are lower than Australia and the USA and most comparable nations, and NZers start a lot of businesses, so I don't think that is one of our major problems at the moment.

roca··on Tackling the C++ debugging UI nightmare with Pernosco
A response to the excellent recent Core Explorer blog post about why debugging C++ specifically is a UI nightmare --- explaining how some of the highlighted problems can be solved with a little creativity.
roca··on Baz, recreating AI code review, is now publicly available
It's interesting how most of the problems that they're hoping to address are problems created by the use of AI coding tools.
roca··on Trae: An AI-powered IDE by ByteDance
That makes you an outlier. Despite everything, millions of people are still desperate to get into the USA. China, not so much.
roca··on C stdlib isn't threadsafe and even safe Rust didn't save us
Switching from OpenSSL to rustls solves even more problems than expected.
roca··on TikTok goes dark in the US
Wage growth has exceeded inflation in the USA for the whole of 2024. https://www.statista.com/statistics/1351276/wage-growth-vs-i...

Real wages in all income brackets are at an all-time high (apart from a short blip during the pandemic), and overall have surged since the start of the pandemic. See e.g. https://tradingeconomics.com/united-states/employed-full-tim....

roca··on TikTok says it is restoring service for U.S. users
With or without Tiktok, the USA is nowhere near as restrictive as the CCP. The users who tried RedNote discovered that very quickly.
roca··on TikTok goes dark in the US
Tiktok influencer income was never going to solve any economic problems in a meaningful way.
roca··on TikTok goes dark in the US
It's not a stretch. For example a large fraction of Chinese private companies have CCP committees embedded in them: https://www.seafarerfunds.com/prevailing-winds/party-committ... Nothing equivalent in the USA.

China's rule of law is generally very weak. "Ultimately, no matter what the laws say, it would be difficult for any Chinese citizen or company to meaningfully resist a direct request from security forces or law enforcement, and the courts cannot be relied on to provide a remedy." https://www.chinalawtranslate.com/en/what-the-national-intel...

This is particularly obvious with the number of senior executives of key Chinese companies who have simply disappeared, at least temporarily, when they displeased the government. Again, nothing comparable in the USA (yet).

roca··on TikTok goes dark in the US
The editorial lines of Fox News are completely different to CNN and PBS. Different subreddits are completely different. The idea that they're all part of some conspiracy run by the US government is very strange.
roca··on TikTok goes dark in the US
https://www.nbcnews.com/tech/tiktoks-content-political-subje...
roca··on It's time to abandon the cargo cult metaphor
FWIW "gweilo" literally means "ghost man".
roca··on Deepseek: The quiet giant leading China’s AI race
What does "succumb to US financial policies" even mean?

The situation has waxed and waned but in general West Germany and Japan at the government level have been pretty happy to have US troops stationed there while facing off against the Soviet Union (now Russia) and China. The Ukrainians and the Baltics would love to have some US troops stationed there right now.

← PreviousPage 2 of 34Next →