phs

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

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

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

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

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.

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

> 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.

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

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

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.

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.

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

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

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

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.

It'll 23 skidoo when the time comes.

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.

> 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.

> 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...

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.

The system I use is somewhat similar, but with a twist: I wait for the author to die.

This is great, thank you. Now if I could just cross-reference with postmarketos...

Agreed. It seems most comments in here find the quality noticeably better than G or DDG (I know I do.)

Given that, I suppose I could empathize with a hypothetical user who cares about search quality but finds $7 lattes prohibitively expensive. For the rest of us price as a counter argument just seems silly.

It seems to have been around unofficially for some time before that even. https://stackoverflow.com/q/7306004/580412

“The Axiom of Choice is obviously true, the Well–ordering theorem is obviously false; and who can tell about Zorn’s Lemma?" -- Jerry Bona

> Contrary to what we expected (and probably contrary to what you expected as well!), masking gender had no effect on interview performance with respect to any of the scoring criteria (would advance to next round, technical ability, problem solving ability).

Or here's another hot take: the masking did not work. What if there is more gender signal in speech than just in voice pitch?

I don't see any mention of explicitly asking interviewers what gender they perceived the interviewee to be, and with what confidence.

As someone who only wants to occasionally perform one-off firmware flashes on my devices, soldering always felt clumsy and heavy-weight.

For actual chips, SPI programmer clips have been great. For test pads, I just ordered one of these [1], which will hopefully work just a well.

[1]: https://www.amazon.com/dp/B09MKHH7DY

Rocked an unlocked LG v20 (us996) w/ lineage for a few years.

The modem lacks the firmware for VoLTE which is now becoming required in the US as the 3G towers are being retired.

It's being retired for a pine phone. So far postmarketos is delightful, VoLTE works, and we're about to see if waydroid is going to play ball.

I had assumed checking the source was the first warmup.

Been very happy with my system76 galago pro 4 for a few years now, would recommend and will buy from them again.

Oh my. This is the last use case for the last apple product in the house.