Hacker News: philipwhiuk

New comment by philipwhiuk in "Britain should reject the lure of cheap – and scary – Chinese AI"

philipwhiuk — Mon, 19 Oct 2026 11:45:48 +0000

I'm not sure it's good for any country to depend deeply on the technologic might of another country - be that the US on Chinese AI or the UK on American or any combination.

Just as the US has put up restrictions around export of technology and use of non-American tech in CNI, so should every other country.

New comment by philipwhiuk in "There's never been a better time to go into math (by: 3blue1brown) [video]"

philipwhiuk — Mon, 19 Oct 2026 09:10:50 +0000

It's not really missed though. He does spend a good amount of time saying that it'll be a problem for many. Whether it's most of professional mathematicians is an open question I think.

New comment by philipwhiuk in "I never authorized an integration that scans my secrets"

philipwhiuk — Fri, 16 Oct 2026 21:31:58 +0000

> Only the first 5 characters of a SHA-1 hash go to HIBP

Some would consider the first five characters being sent over the internet to be 'your secret leaving your system'.

Some would consider phoning home to a remote server to be worrisome. It's home assistant not cloud assistant.

New comment by philipwhiuk in "Tesla Roadster"

philipwhiuk — Fri, 16 Oct 2026 16:57:47 +0000

That's not even the original part - it's been done by a car with a driver in it - the McMurtry Spéirling.

New comment by philipwhiuk in "US Rep Announces Congressional Legislation to Protect Video Game Ownership"

philipwhiuk — Fri, 16 Oct 2026 16:55:39 +0000

Video games is about as big an industry as TV and movies.

New comment by philipwhiuk in "Why is every rationalist blog post way too long?"

philipwhiuk — Thu, 15 Oct 2026 13:17:53 +0000

The canon doesn't even arrange all the books. It's a somewhat arbitrary selection.

New comment by philipwhiuk in "Show HN: Spotatui, a Spotify TUI/GUI without web API rate limits"

philipwhiuk — Tue, 13 Oct 2026 22:23:15 +0000

I've never understand the correlation between using Linux and needing to suddenly have everything run in a CLI to the extent of building your own windows in text.

It's like you're not aware Linux has desktop environments.

New comment by philipwhiuk in "Show HN: My live 3D satellite tracker, now with asteroids and a UAP archive"

philipwhiuk — Tue, 13 Oct 2026 22:21:09 +0000

Why is Mars so close and small?

New comment by philipwhiuk in "BB(10) > Graham's Number"

philipwhiuk — Tue, 13 Oct 2026 18:46:30 +0000

No I haven't. Because the purpose of a paper is communicating the development in the field. If they aren't doing it, they're bad papers.

How do I know when I read Claude's interpretation of the paper that it's not hallucinating.

New comment by philipwhiuk in "The United Kingdom generates less electricity per person than in the 1970s"

philipwhiuk — Tue, 13 Oct 2026 18:44:37 +0000

Heating the ceiling with the light is an extremely inefficient approach to heating a room.

New comment by philipwhiuk in "Redesigning source control at Anthropic"

philipwhiuk — Tue, 13 Oct 2026 18:23:20 +0000

I'm worried that the frontier lab doesn't read the code they are writing.

It's also hard to believe all these non-Git alternatives aren't merely an attempt to capture developers into a new proprietary solution.

This could have been done as an open-source fork of Git.

New comment by philipwhiuk in "Gemini 4 Argon"

philipwhiuk — Tue, 13 Oct 2026 18:15:35 +0000

There's plenty of highly complex benchmarks for this stuff. Simon doesn't need to do that.

New comment by philipwhiuk in "BB(10) > Graham's Number"

philipwhiuk — Tue, 13 Oct 2026 16:28:07 +0000

One problem with LLMs in academic contexts is that because you're paying by the token, it's resulting in extremely short papers that don't adequately explain the context. It's the same problem with long-standing short papers.

And this is a fine example of this.

New comment by philipwhiuk in "11 year old unsoundness bugs found in Rust borrow checker"

philipwhiuk — Tue, 13 Oct 2026 13:15:23 +0000

What's wrong with Wales?

New comment by philipwhiuk in "I Found a $90k Remote Code Execution Vulnerability in Google"

philipwhiuk — Mon, 12 Oct 2026 16:14:21 +0000

For now, an AI agent is not a 'someone'

New comment by philipwhiuk in "“Math 2.0” will need to value mathematical progress more holistically"

philipwhiuk — Thu, 08 Oct 2026 14:15:58 +0000

SIGBOVIK with extra steps.

New comment by philipwhiuk in "Tell HN: GitHub refuses to remove cracked copies of my software after a month"

philipwhiuk — Wed, 07 Oct 2026 09:12:08 +0000

By the way, are you really allowed to deeplink to Imgur to host most of your templates?

(I only noticed because your site is not blocked in the UK but most of the templates are.)

New comment by philipwhiuk in "Integer multiplication below n log n"

philipwhiuk — Wed, 07 Oct 2026 01:00:17 +0000

The -182 feels highly arbitrary.

New comment by philipwhiuk in "Account bans on Reddit"

philipwhiuk — Wed, 07 Oct 2026 00:56:13 +0000

> The anti AI slant is hilarious since the whole site is mined for AI.

The whole of everything is mined for AI. The decisions of the site owners to profit from the mining aren't necessarily the views of the contributors.

New comment by philipwhiuk in "Sharing AI progress in mathematics"

philipwhiuk — Wed, 07 Oct 2026 00:46:03 +0000

My guess is that the constant terms are large enough it's not practically useful in most cases.