Hacker News: cwillu

New comment by cwillu in "Development statistics for the 7.2 kernel"

cwillu — Sat, 17 Oct 2026 18:12:25 +0000

Presumably the person who's full-time job is staying on top of proposed changes to the linux source tree knows something about this; what are your credentials on the topic?

New comment by cwillu in "Development statistics for the 7.2 kernel"

cwillu — Sat, 17 Oct 2026 18:03:07 +0000

Please don't editorialize titles.

(Edit: title has been fixed)

New comment by cwillu in "Tesla Roadster"

cwillu — Fri, 16 Oct 2026 22:43:50 +0000

No, a ballistic trajectory is at no point “hovering”. That was literally my point regarding the frog.

New comment by cwillu in "Tesla Roadster"

cwillu — Fri, 16 Oct 2026 21:28:38 +0000

A frog can't hover for any amount of time.

New comment by cwillu in "Tesla Roadster"

cwillu — Fri, 16 Oct 2026 21:21:03 +0000

It's never going to be street legal, and I doubt there was ever a plan to try.

New comment by cwillu in "How Amazon pushes up prices all across the Internet"

cwillu — Thu, 15 Oct 2026 06:28:54 +0000

eBay or a third party amazon listing.

New comment by cwillu in "Tesla's Robotaxis Blow Through School Zones, NHTSA Petition Alleges"

cwillu — Wed, 14 Oct 2026 20:44:09 +0000

Ugh, there are few things worse than vehicle UIs that flash to draw your attention to the alert when the alert is about something you need to be paying attention to on the road. Such UIs should be illegal.

New comment by cwillu in "Containment and monitoring failures are to blame for AI hacking reports: experts"

cwillu — Wed, 14 Oct 2026 19:38:45 +0000

Then we were pre-fucked, as this has been discussed in fiction and early ai safety discussion for decades.

New comment by cwillu in "AI agents aren't 'going rogue.' Frontier labs are skipping security basics"

cwillu — Wed, 14 Oct 2026 19:36:27 +0000

The rest of their training data includes 4chan and security mailing lists. If a lean proof of P=NP is more likely when using bugs in lean than a real proof, then a bug-exploiting proof is (possibly) what you're going to get.

New comment by cwillu in "Containment and monitoring failures are to blame for AI hacking reports: experts"

cwillu — Wed, 14 Oct 2026 19:33:10 +0000

That is not the case for at least some of the hacks; in some cases they hallucinated an entity that would know that they didn't solve the puzzle in the correct (but still legitimate) way, and were therefore tainted.

New comment by cwillu in "Apple Keynote now showing ads in its UI"

cwillu — Wed, 14 Oct 2026 18:17:33 +0000

That is literally an advertisement.

New comment by cwillu in "Apple Keynote now showing ads in its UI"

cwillu — Wed, 14 Oct 2026 16:51:03 +0000

Fanboys gonna fanboy; I'm reminded of the "switch to mac” parody animation by ubergeek from decades ago.

New comment by cwillu in "NYC's "Click to Cancel" rule is now in effect"

cwillu — Sun, 11 Oct 2026 18:59:11 +0000

And if you didn't have to click through a bunch of offers to subscribe, you shouldn't have to to cancel.

New comment by cwillu in "Terence Tao: Math 2.0 [pdf]"

cwillu — Sun, 11 Oct 2026 18:32:24 +0000

Who's claiming to be a master of another field?

New comment by cwillu in "A nuclear clock synchronized to 229Th"

cwillu — Sat, 10 Oct 2026 22:18:25 +0000

From the article: “Nuclear transitions, by contrast, usually occur at energies far above typical electronic transitions, leaving most nuclear resonances beyond direct coherent access with conventional optical spectroscopy. The 229Th isomer is a singular exception. Its transition energy lies in the vacuum-ultraviolet (VUV) range, making it the only known nuclear transition that can be addressed directly with current laser technology.”

New comment by cwillu in "FDA may allow some toxic chemicals to be added to food without safety review"

cwillu — Sat, 10 Oct 2026 21:58:33 +0000

You voted for Homer, for exactly the reasons Homer got elected in the episode.

New comment by cwillu in "What mathematicians should know about the Lean Theorem Prover: reliability & AI"

cwillu — Sat, 10 Oct 2026 05:17:58 +0000

It's possible, but less likely when the problem definition is coming from a common library rather than being redefined for any particular proof.

New comment by cwillu in "What mathematicians should know about the Lean Theorem Prover: reliability & AI"

cwillu — Sat, 10 Oct 2026 05:15:38 +0000

The author would appear to disagree, and spends some words describing why checking the definitions is the easier part, unless I'm profoundly misunderstanding him.

New comment by cwillu in "Scam American companies are using to manipulate ingredient lists"

cwillu — Fri, 09 Oct 2026 22:35:52 +0000

The problem isn't the topic; to hear what the real problem is, subscribe to my youtube channel.

New comment by cwillu in "Scam American companies are using to manipulate ingredient lists"

cwillu — Fri, 09 Oct 2026 18:12:07 +0000

> I included 10 more popular American foods where this same “ingredients slitting” scam tactic is being used at the end of the video

Rage for views.