dwheeler

5 ms·

1.
by dwheeler 5d ago
> COCOMO says that the cost scales superlinearly with the number of SLoC; my point is that drivers scale linearly because they're effectively separate projects. (In fact, to the extent that they're not separate projects, the co
2.
by dwheeler 6d ago
> I'm not convinced. The core OS kernel code, sure; but more than half of the Linux kernel is drivers ... I agree that more than half of the Linux kernel is drivers. In fact, in my analysis of Red Hat 7.1 at https://dwhee
3.
by dwheeler 6d ago
No specific number; getting one would require actual analysis. But I expect it would easily be in the trillions, and probably over 10 trillion.
4.
by dwheeler 6d ago
> Also, this pinged a few neurons deep in my memory, so I found what it made me remember. Back in 2004, some random named Jeff V. Merkey tried to buy a special license to the then-current kernel for $50,000.00: > https://dw
5.
by dwheeler 6d ago
> I consider this a simplistic analysis, because a closed-source Linux with a straightforward monetary pricetag would be worth a lot less in practice, since it would cease to be the de-facto OS for pretty much all new hardware products.
6.
by dwheeler 6d ago
Author here! I was surprised to see this on hacker news, it's a blast from the past. Ask me anything!
7.
by dwheeler 21d ago
Metamath is short, which does make it easier to verify. In addition, because it's simple, there are many implementions. The set.mm Metamath database, the most popular, is checked by 5 independently implemented proof verifiers.
8.
by dwheeler 1mo ago
Another AI harness is Goose, which is OSS and housed under the Linux Foundation (LF) Agentic AI Foundation (AAIF): https://github.com/aaif-goose/goose Full disclosure: I work at the LF, but not the AAIF.
9.
by dwheeler 1mo ago
Very cool. The metamath community tends to centralize results, so its equivalent is simply: https://us.metamath.org/
10.
by dwheeler 1mo ago
Most HUMANS will do anything to avoid learning from history. Engineers are merely an example. Sigh.
11.
by dwheeler 2mo ago
Yes, there's even a spec here: https://www.usb.org/sites/default/files/usb_type-c_cable_log... The cables are supposed to be labelled with their maximum speed (5, 10, 20, 40, or 80 Gbps or nothing if n
12.
by dwheeler 2mo ago
Metamath contributor here! Each proving tool has its pros and cons, but always happy to see Metamath noted :-). One thing that's cool about Metamath is that the axioms are not built-in. It's true that the most-used system is bas
13.
by dwheeler 2mo ago
I love this, and more generally the Triptych Project. We shouldn't need to use JavaScript to work around important limitations in HTML that are widely needed.
14.
by dwheeler 2mo ago
That beautiful is.
15.
by dwheeler 2mo ago
Wait a sec. My understanding is that passkeys are public/private keypairs. Public is in server, so even breaking into a server does not reveal the private key. The big risk with passkeys is storing the passkey where it will be held h
16.
by dwheeler 2mo ago
Impressive, but no castling or en passent, so it's not really chess.
17.
by dwheeler 3mo ago
Should be, but no.
18.
by dwheeler 3mo ago
Thanks! I strongly suggest copy-pasting that explanation to your web page, that's a nice summary.
19.
by dwheeler 3mo ago
I'm so glad I left LastPass a long time ago. There are better alternatives.
20.
Linux Foundation announces Akrites: coord/remediate/disclose OSS vulnerabilities(akrites.org)
8 points by dwheeler 3mo ago|0 comments
21.
by dwheeler 3mo ago
Perhaps, but I think volcanic eruption followed by system collapse is very compelling. Here is the story I find most convincing from the experts whose works I have read. It likely started with a volcanic eruption, leading to widespread fami
22.
by dwheeler 4mo ago
Horrible. Brilliant. Love it.
23.
by dwheeler 4mo ago
Thanks for the credit, I appreciate it! Glad it was helpful. I wouldn't call it a "blog post" though, it's simply an essay. I update my essay whenever I decide it needs updating, and "blog posts" are usually ch
24.
by dwheeler 4mo ago
Those interested in this might also like my "Project Hail Mary Stellar Map" at: https://dwheeler.com/essays/project-hail-mary-map.html My page shows a stellar map (from the viewpoint of Polaris) and a sky cha
25.
by dwheeler 5mo ago
Gnome Console seems to be intended for people who don't use terminals. I quickly install GNOME terminal for real use.
26.
by dwheeler 5mo ago
No, there is no reason to believe it can be enforced. In the US, training is considered fair use at this time, and thus DOES NOT require a license at all. That might change, but I doubt it.
27.
by dwheeler 5mo ago
I would say "limited and unreliable access". What it says is the cause might be the cause, but it's not on any way certain.
28.
by dwheeler 5mo ago
I think Inform 7 is pretty cool. I suggest checking in to that as well.
29.
by dwheeler 5mo ago
No. And training is currently considered fair use in the US (some court cases pending). I am not a lawyer, tho.
30.
by dwheeler 6mo ago
I suspect this is really a surveillance bill, but we won't know until the text is revealed.

More ›