Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
pherq
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
7 ms
·
1.
▲
by
pherq
9y ago
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 be easier to build their own that fit their purpo
2.
▲
by
pherq
9y ago
Usenet, back in its heyday, might also qualify
3.
▲
by
pherq
9y ago
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 actual regulation, at which point the patent goes
4.
▲
by
pherq
9y ago
"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 kettle of fish.
5.
▲
by
pherq
9y ago
I know -- I just apparently parsed Gaelic as Scottish and forgot that the spelling is same for Irish Gaelic...
6.
▲
by
pherq
9y ago
We've had it for 2000 years, give or take...
7.
▲
by
pherq
9y ago
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 with the Norse influence in Scotland. See e.g. https:/
8.
▲
by
pherq
9y ago
I'm pretty sure the standard definition of primes permits only natural numbers.
9.
▲
by
pherq
10y ago
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 of mantissa and exponent, there will be a fi
10.
▲
by
pherq
10y ago
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). Apple managed to capture the market, however, whereas LG
11.
▲
by
pherq
10y ago
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.
12.
▲
by
pherq
10y ago
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 (ignoring the AC, briefly)). What you'd replace it wi
13.
▲
by
pherq
10y ago
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 straightforward.
14.
▲
by
pherq
10y ago
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, there are an uncountable number of these sets, but
15.
▲
by
pherq
10y ago
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 comes from visitors to their own site, which given the focu
16.
▲
by
pherq
10y ago
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 quality (as evidenced by quality not bei
17.
▲
by
pherq
10y ago
I've never seen stats placing Firefox much above 30%, where are you getting 45% from?
18.
▲
by
pherq
10y ago
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 browsers to IE. If that was the case, why hadn't they e
19.
▲
by
pherq
10y ago
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 web as Google already has is scary enough, the notion
20.
▲
by
pherq
10y ago
Eco-friendly becomes something of a joke if you need to buy a significant extra number of them...
21.
▲
by
pherq
10y ago
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). However in some areas where bears are a threat, doorknobs are ma
22.
▲
by
pherq
10y ago
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 when evaluating (cons 'a (cons 'b
23.
▲
by
pherq
10y ago
> 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 (and inextricably) an imperative language at heart.
24.
▲
by
pherq
10y ago
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-arrogance-takes-your...
25.
▲
by
pherq
10y ago
Nest remotely bricked Revolv devices a year and a bit after acquiring the company.
26.
▲
by
pherq
10y ago
> It's political first, and only incidentally technological. "Information should be free" and "mistrust authority" are both obviously political statements, and most of the others are at least somewhat political i
27.
▲
by
pherq
10y ago
Conversely, +24 hours may fall on the same calendar date or two calendar days on from now. Really, "tomorrow" should be the interval from the beginning of the next calendar date to the end.
28.
▲
by
pherq
10y ago
And yet you yourself Refuse to make the effort To write in haiku.
29.
▲
by
pherq
10y ago
This can also be done through the GUI -- if you click on the domain at the top left of the uMatrix thingy then you can change it to * to implement a global rule. (Produces the same rules as given above.)
30.
▲
by
pherq
10y ago
> What would your example achieve? You're making the format more verbose and error-prone (someone might easily forget to match a paren), without imposting any additional structure over what is already implied by line breaks. That pa
More ›