Hacker News: phs

New comment by phs in "First Proof"

phs — Sat, 07 Feb 2026 21:59:06 +0000

I wonder how many of these the authors privately know to be false.

New comment by phs in "BusyBeaver(6) Is Quite Large"

phs — Sat, 28 Jun 2025 19:32:45 +0000

So what is the richest logic whose proofs can be enumerated with only a five state TM?

New comment by phs in "Ohmaps: your image montage is a resistor network"

phs — Wed, 13 Nov 2024 04:52:45 +0000

You might also find David Ellerman's "Serial Chauvinism" interesting.

https://www.ellerman.org/series-parallel-duality-part-i-comb...

New comment by phs in "Galois Theory"

phs — Thu, 15 Aug 2024 16:37:48 +0000

Radicals are a "natural" extension in a certain sense, just as subtraction and division are. They invert an algebraic operation we often encounter when trying to solve equations handed to us by e.g. physics. I find it understandable to want to give them a name.

Why not something like "those things we can solve with Newton"? As you note Newton is broadly applicable; one would hope, given how popular the need to invert an exponent is, that something better (faster, more stable) if more specific than Newton might be created. It is hard to study a desired hypothetical operation without giving it a name.

On a related note, how come we don't all already have the names of the 4th order iterative operation (iterated exponents) and its inverse in our heads? Don't they deserve consideration? Perhaps, but nature doesn't seem to hand us instances of those operations very often. We seemingly don't need them to build a bridge or solve some other common practical engineering problem. I imagine that is why they fail to appear in high school algebra courses.

New comment by phs in "BusyBeaver(5) is now known to be 47,176,870"

phs — Tue, 02 Jul 2024 18:23:37 +0000

It is a dupe? I honestly trust Prof. Aaronson to be more informed on this topic than quanta.

New comment by phs in "Anonymous Source Shared Leaked Google Search API Documents"

phs — Thu, 30 May 2024 01:45:31 +0000

> Both companies seem to monetize clickstream data and personal information from users who probably didn't give informed consent.

I don't think you know what you're talking about. During Rand's tenure Moz was a subscription business selling access to marketing analytics tools. Those tools focused on the structure of the clients' sites themselves rather than any analytics they might have consumed.

Source: I worked at Moz for several of those years, and helped maintain those tools.

New comment by phs in "The boiling frog of digital freedom"

phs — Sun, 03 Sep 2023 19:23:08 +0000

postmarketOS and waydroid are almost there, though I still went back to lineage. No answers for iOS.

New comment by phs in "LXD is now under Canonical"

phs — Wed, 05 Jul 2023 02:59:20 +0000

As a stepping stone out of Ubuntu, Pop_OS! has been pleasant and snap-free.

New comment by phs in "Ask HN: Stock Android phone free of bloatware?"

phs — Fri, 30 Jun 2023 15:13:37 +0000

Been using a FP4 in Washington State USA under T-Mobile for about 6 months now. Bought it from a British reseller.

Very occasionally I need to bounce the cellular connection, I suspect because I land on an unsupported band/channel. Otherwise LineageOS runs on it like a charm.

New comment by phs in "Am I the Unethical One?"

phs — Fri, 26 May 2023 21:03:05 +0000

As an extension, after the exam publicly declare the poison-pill answers to deter the next semester's batch.

Would that start an arms race causing the students to work harder to find the right answers? Mission accomplished.

New comment by phs in "Show HN: Boring Report, a news app that uses AI to desensationalize the news"

phs — Thu, 11 May 2023 18:38:52 +0000

Please allow me to pay you so you can focus on this full-time.

Achewood is back, and it’s weirder than ever

phs — Tue, 09 May 2023 01:49:10 +0000

Article URL: https://www.theverge.com/23713940/achewood-chris-onstad-return-patreon-ai-raybot

Comments URL: https://news.ycombinator.com/item?id=35869299

Points: 3

# Comments: 0

New comment by phs in "People are trying to claim real videos are deepfakes"

phs — Mon, 08 May 2023 17:30:01 +0000

My partner and I now half-jokingly refer to all legitimate pictures, footage, etc. as "legacy".

New comment by phs in "Update to the “Samsung space zoom moon shots are fake”"

phs — Sun, 12 Mar 2023 23:26:47 +0000

I suppose the veracity of history could be an excellent block chain application.

New comment by phs in "Update to Kagi Search Pricing"

phs — Thu, 09 Mar 2023 22:27:11 +0000

It does appear that my current usage (as confirmed on their linked dashboard) will be covered by $10/mo plan I'm already effectively on.

Without even considering the early adopter benefit, this pricing update for me is a nothing-burger.

New comment by phs in "Microsoft announces new Bing and Edge browser powered by upgraded ChatGPT AI"

phs — Tue, 07 Feb 2023 19:28:40 +0000

It'll 23 skidoo when the time comes.

New comment by phs in "I don’t want a new phone, but I’m probably buying one"

phs — Tue, 07 Feb 2023 03:26:17 +0000

To be clear, it could place calls and run a web browser on mobile data. The device was very much a phone.

It falls down (of course) at the larger list of secondary use cases many take for granted. For me it was mobile navigation, though it would also still hard crash noticeably often. I do expect the crashes at least to be fixed next time I look.

New comment by phs in "I don’t want a new phone, but I’m probably buying one"

phs — Tue, 07 Feb 2023 01:10:35 +0000

> You can actually install Linux on these old phones, the technical restrictions are long since broken. But there is no funding to make something usable using this capability.

I gave postmarketos a shot for 6 months or so, and sadly I have to agree that it's not ready for daily driving, even by experienced users.

This fairphone 4 on the other hand with lineage 20 looks like it will keep me going for a few more years.

New comment by phs in "Show HN: ELI5 Powered by GPT-3"

phs — Mon, 30 Jan 2023 23:43:53 +0000

> actually forget all that and give me a link to a picture

Here is a link to a picture of a puppy: https://pixabay.com/photos/puppy-cute-dog-animal-pet-portrai...

New comment by phs in "Natural language is the lazy user interface"

phs — Fri, 27 Jan 2023 21:37:16 +0000

Would databases have been better to work with if SQL didn't ape natural language?

Would Excel, if it _did_ choose to embrace a "natural" macro syntax?

Remember when CGI movies were all stuck in the uncanny valley? Turns out language has a valley too.