HNHacker News
TopNewBestAskShowJobs

indolering

1,301 karma · joined August 31, 2011

submissionscomments
indolering··on Ironclad – formally verified, real-time capable, Unix-like OS kernel
I was agreeing with you! It's a drinking game because the infosec field is laughable. Who needs a zero day RCE when the president is using an EOL Samsung?
indolering··on Ironclad – formally verified, real-time capable, Unix-like OS kernel
seL4 has the lowest IPC overhead of any kernel and it's an order of magnitude faster than Linux [1]. But you are correct: switching cost amounts of noise when architectured correctly. LionsOS [2] (which is based on seL4) has some benchmarks showing improved performance over Linux [3].

I am betting you know what mandatory access control is ; ). They basically amount to a firewall that is placed on applications restricting what they can do. The rules are generally written by downstream distros and are divorced from the implementation. The problem is that it's hidden control flow, so the program just dies and can't fall back gracefully. Capability oriented APIs make broker processes and narrowing of permissions tractable.

[1]: https://sel4.systems/performance.html

[2]: https://lionsos.org/

[3]: https://trustworthy.systems/publications/papers/Heiser_25%3A...

indolering··on Ironclad – formally verified, real-time capable, Unix-like OS kernel
Everything thinks of Defcon et al a a gathering of elite hackers. But it's more of a fucking drinking game.

The depressing fact is that you don't need an RCE to accomplish most goals.

indolering··on Ironclad – formally verified, real-time capable, Unix-like OS kernel
We do see it! Do you not remember the Snowden leaks?

Shit hasn't changed much. We still have monolithic kernels written in portable assembly. Linus still doesn't tag bug fixes with potential security impacts as such because he is more worried about unpatched consumer garbage (which compromise all low end phones). When your mitigation for such problems is to not make it obvious, then your OS is not safe enough in safety critical settings (which includes consumer devices).

Process isolation would downgrade the vast majority of critical Linux CVEs to availability bugs (crash a server but not compromise it).

Just because governments don't need to reach for RCE everytime doesn't mean that it is safe. Th fact that such bugs are so cheap is an indication that your safety margin is too thin.

indolering··on Ironclad – formally verified, real-time capable, Unix-like OS kernel
Militaries have billion dollar budgets.
indolering··on Ironclad – formally verified, real-time capable, Unix-like OS kernel
I was not being hyperbolic: a couple million dollars is very cheap for virtually any military. Both exploit broker bounties and corporate bug bounties are in that range.

What is your objection?

indolering··on Ironclad – formally verified, real-time capable, Unix-like OS kernel
There is power in restricting access and air gapping helps a lot. A drone (for example) can fall back to basic cryptography to limit access.

Air gapping is a baseline requirement in most safety critical systems. Nuclear power plants in particular have lots of redundant layers of safety. AFAIK Russia hasn't physically tried to cause a meltdown, presumably due to the political blow back (although they have attacked Chernobyl's sarcophagus). I assume this limits their digital espionage attacks too.

We do get glimpses of the use of such malware, like when Saudi Arabia hacked Jeff Bezos' phone. But we don't hear about most of it because there is a benefit to keeping a hack secret, so as to keep access.

Finally, it's usually cheaper to social engineer someone into loading a PowerPoint presentation and doing a local privilege escalation. They burn those for things as petty as getting embarrassing political information.

indolering··on Ironclad – formally verified, real-time capable, Unix-like OS kernel
These prices are consistent (actually more costly) than public bounties by (now defunct) western based exploit brokers and manufacturer bounties.

> Those are (mostly) not RCE, and are for consumer devices configured in a default way.

I'm more worried about activists and journalists in developing counties without the financial means to afford flagship phones. But even Google can't manage to keep out a pedestrian mid sized security outfit selling to the cops and the FBI.

When activists lobbying for a fucking sugar tax in Mexico get hacked, then the bar is too fucking low.

Let's not talk about the nightmare that is old networking equipment or IoT devices.

indolering··on Ironclad – formally verified, real-time capable, Unix-like OS kernel
The publicly available exploit prices put a browser zero day at $200k-$500k. That's the same cost as firing a few Javalin missiles. OS RCE runs into $1-$2 million. Much less than a cheap Russian tank. [1]

The cost of internally developed exploits is probably much lower. They aren't one shot assets either, they can be used until someone plugs the hole.

There are private companies selling devices to law enforcement that can extract information from locked phones [2]. Availability of that sort of access to anyone's phone by local law enforcement is absurdly cheap.

[1]: https://opzero.ru/en/prices/

[2]: https://arstechnica.com/gadgets/2025/10/leaker-reveals-which...

indolering··on Ironclad – formally verified, real-time capable, Unix-like OS kernel
You need a different kernel for firmware verification. But it should be regulated at this point.
indolering··on Ironclad – formally verified, real-time capable, Unix-like OS kernel
Any government can get RCE on any OS with the change in their couch. Formal verification of process isolation is REALLY important when lives depend on it. That's a huge value add!

My main concern is speed and the lack of capability based security. seL4 is faster than Linux by a mile and I'm guessing that this is much slower. You can put a POSIX layer on seL4 but POSIX is inherently flawed too. MAC separates privileges from code and is too clunky to use in practice (see seLinux).

indolering··on "Green Llama" did not just beat Cascade Platinum Plus
> You focus on a very specific type of soil that Technology Connection didn't even mention, and isn't even relevant for a typical wash.

But that's a primary issue with TC's tests: it doesn't consider corner cases like this or water hardness. Consumers want it to "just work" and are not going to use a specific settings based on the contents of their dinner.

Sure, it helps the prewash remove fats. But if the main wash and the rinse aid get rid of all that regardless, then it doesn't really matter.

indolering··on "Green Llama" did not just beat Cascade Platinum Plus
Consumer Reports has the objective metrics you are looking for.
indolering··on "Green Llama" did not just beat Cascade Platinum Plus
Then why don't manufacturers recommend this? Why don't dishwashers in Europe (which have access to higher voltages) run the prewash hotter?

It's because, as outlined in the linked article, hot water makes the problem of staining plastic worse. So they try to mechanically remove it before the main wash. Note that in the original video, the main wash heat temperature wasn't impacted by preheating the prewash.

indolering··on "Green Llama" did not just beat Cascade Platinum Plus
I am loving this level of petty nerd fighting over detergents! My co-workers thought I was joking when I told them I have HOURS of high quality dishwasher content on YouTube.

Claiming that a leading brand was being beaten by a random formula made by a contractor is a big red flag. They tend to dominate Consumer Reports testing and this is a trend across detergents and cosmetics: the big manufacturers have the money to do original research and the scale to do stuff bit players just can't. Pantene is hated in hair salons but blinded end-user tea ing shows that it outperforms everything else on the market, for example.

But it's also true that making a good enough soap for a given task isn't hard. Otherwise you wouldn't have so many damn cosmetic products out there. The delta just isn't that significant and plenty of people are fine with bar soap for everything. So I'm not surprised that the llama detergent scored well on some tests.

TC really should have partnered with a detergent scientist to check his experimental setup first.

Can't wait for the YouTube drama over something so petty as dishwasher detergent and the prewash!

indolering··on Removing XSLT for a more secure browser
It started with Mozilla, Apple, and Opera jumping ship and forming WHATWG. That stopped new XML related technologies from being adopted in browsers twenty years ago. Google is just closing the casket and burying the body.
indolering··on Oracle default fears surge as credit swaps spike – is AI taking its toll?
God I hope the AI bubble bursting takes out a chunk of Ellison's wealth!
indolering··on Do you know that there is an HTML tables API?
Yeah, they definitely stopped investing in the APIs themselves. If someone can make a polyfill to shoe-horn in the functionality, then they don't really see a need. Which is sad, as we have outsourced our future to TypeScript, React, etc.
indolering··on Do you know that there is an HTML tables API?
What has stalled with IndexedDB and BigInt?
indolering··on Addiction Markets
I would support taxes based on long term health effects. The sugar tax in Mexico had measurable impacts IIRC.
indolering··on Addiction Markets
> “21% of sports bettors say they’ve verbally abused an athlete, either in person or online, after losing money on a bet.”

This is exactly what it felt like to work in crypto.

indolering··on Intent to Deprecate and Remove XSLT
Yeah, just because browser vendors put XML tech in maintenance mode doesn't mean that it wouldn't be nice to have.

We might see real world usage of these technologies had browser vendors not frozen them out.

indolering··on Intent to Deprecate and Remove XSLT
Mozilla and others fell out of love with XML a long time ago. Deprecation of these technologies was probably inevitable after the WHATWG pivot and when they stopped adopting new XML tech. XML and related technologies got frozen in time and JavaScript took over.

The XML proponents lost this fight a long time ago. Without continued development, the user base shriveled up. Now that no one uses it, the runtimes are looking to cut dead weight.

I disagree with the pivot (RIP noscript) but it's not Google making this move unilaterally. It's been in the works for a long time.

indolering··on SailfishOS: A Linux-based European alternative to dominant mobile OSes
My understanding is that it met some government requirements that Android did not. Niche for sure but useful in some contexts.
indolering··on AMD could enter ARM market with Sound Wave APU built on TSMC 3nm process
This is a "why not both" strategy: ARM has the market share whereas the RISC-V ecosystem is still being built up. Once you have a RISC based chip, it's not nearly as much work to change to another RISC ISA.
indolering··on An ex-Intel CEO's mission to build a Christian AI: Hasten the return of Christ
I guess the "build it and they will come" fab investment policy was faith based all along!
indolering··on Germany's Porsche pauses shift to EVs as profits tank [video]
Probably best to not mention "Porsche" and "tank" in the same headline.
indolering··on RFC 9861: KangarooTwelve and TurboSHAKE
Note that the tweaks to Blake2 and Blake3 weakened the cryptanalysis done for the SHA3 hashing contest such that it is not directly applicable. That doesn't mean they are not well respected and probably fine, it's just that we have less confidence in them than K12 and other sibling Keccak hashes.

I would love to hear how the benchmarking goes!

indolering··on RFC 9861: KangarooTwelve and TurboSHAKE
Keccak is core to the SHA3 standard. If speed is a concern, there are hand tuned assembly versions and hardware implementations out there.
indolering··on RFC 9861: KangarooTwelve and TurboSHAKE
It enables you to build a cipher.
← PreviousPage 4 of 18Next →