Viewing profile — pherq

The authors of Raddit tried that, but found that actually running Reddit's software, especially on low-end hardware for a smaller community, was a pain in the arse and decided it'd…

Usenet, back in its heyday, might also qualify

If that's a genuine ethical issue then patents would be woefully inadequate at preventing it, since they would only provide a time-limited block. To actually fix things you'd need …

"Denying service" in those cases is not conducting any further sales/etc with them. It's not remotely disabling things they've previously bought from you. That's quite a different …

I know -- I just apparently parsed Gaelic as Scottish and forgot that the spelling is same for Irish Gaelic...

We've had it for 2000 years, give or take...

There are records of similar practices (binding toes or piercing the soles of the feet to stop the dead from escaping) in Scandinavia, so it may have been something that came over …

I'm pretty sure the standard definition of primes permits only natural numbers.

Assuming "floating point" refers to things fitting the IEEE754 spec at some precision, I'm pretty sure there are still only countably many of them. After all, for any specific size…

It should be noted, the LG Prada predates the original iPhone by about 6 months, with largely the same design (to the degree that LG sued Apple alleging that the design was copied)…

There's the old joke that the axiom of choice is obviously true, the well-ordering theorem is obviously false, and Zorn's lemma is too complicated to say.

This is a fair point. I think the only axiom you need to rethink from ZF is powersets (since I think that's the only axiom that produces uncomputable sets from computable ones (ign…

I tend to prefer considering the sets to encode bitstrings (encode a set as sum(2 ^ -x for x in X)), but yes the equivalence between computable sets and computable numbers is strai…

In this case, what you "throw out" are uncomputable (or non-recursive, depending on terminology you like) sets; i.e. sets for which the membership function is not decidable. Yes, t…

For reference, most of the surveys listed by Wikipedia[0] (not including that one, for some reason), list Firefox at about 30% in that period. I assume that the stats in your link …

The point I'm making is that despite FF being a better alternative for years, it didn't actually crush IE's market share. Chrome did, and I'd put that down to marketing more than q…

I've never seen stats placing Firefox much above 30%, where are you getting 45% from?

The flaw with this notion, is that neither Firefox nor Opera beat IE. Chrome did. Most of the people who argue things like this seem to agree that Firefox and Opera were superior b…

To add to that, Google already abuses its position with Chrome (see the stuff surrounding AdNauseum in the past couple days). One company having as much power over the shape of the…

Eco-friendly becomes something of a joke if you need to buy a significant extra number of them...

Doorknobs are much harder than lever type handles for people with arthritis or similar conditions to operate (since they require gripping firmly, as opposed to just pushing). Howev…

The code example you give isn't an example of evaluation order, it's an example of different expressions not giving the same result. Order of evaluation being irrelevant means that…

> Sounds like Rust. If not, what do you think disqualifies it? Rust never struck me as a functional language. It's disciplined, in the manner of ML or Haskell, but it is generally …

There's a record around of correspondence between Dijkstra and Backus relating to the lecture. Don't know of many other reviews off hand. https://medium.com/@acidflask/this-guys-ar…

Nest remotely bricked Revolv devices a year and a bit after acquiring the company.