Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
asQuirreL
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
9 ms
·
31.
▲
by
asQuirreL
3y ago
Sounds like the kind of planned obsolescence that Apple has been [sued for in the past]( https://www.theverge.com/2020/3/2/21161271/apple-settlement-... ).
32.
▲
by
asQuirreL
3y ago
IANAL but does this argument not smell like Bundling? https://en.wikipedia.org/wiki/Bundling_(antitrust_law) It's not quite the same because Bundling seems to be about setting a price that is too low, so this isn&
33.
▲
by
asQuirreL
3y ago
I'm not sure if this is a serious suggestion or not, but I don't think trying to measure intelligence gives a full picture of consciousness. I can't know for sure but I also don't believe that if a living being is assess
34.
▲
by
asQuirreL
5y ago
If we are talking about billions of entries, even of just 32bit integers, we are talking about 4GB of data, your sort is probably going to be IO dominated, not CPU (comparison) dominated. In which case you'd likely use a sorted data s
35.
▲
by
asQuirreL
5y ago
I do think the second implication makes sense, if you take out the tenses, i.e.: If I am willing to entertain then they honestly spell what they're doing and why. It means that if you know that I am entertaining the idea you can infer
36.
▲
by
asQuirreL
6y ago
I've got to be honest, I answered yes to both your rhetorical "are these algorithms?" questions, which I'm guessing was not your intention. It would help if you gave some examples of what is missing in each case (in you
37.
▲
by
asQuirreL
9y ago
Oxford also taught a few courses in Haskell: - Functional Programming - Digital Systems - Principals of Programming Languages. Compilers was primarily in OCaml, and there were several other courses in Scala.
38.
▲
by
asQuirreL
9y ago
There absolutely is a filter bubble, you just aren't the one doing the filtering. Not that I am philosophically opposed to the filtering, but rather the denial of its existence.
39.
▲
by
asQuirreL
10y ago
Your app doesn't need to be single threaded. To begin with, the JS that you write is running on a different thread to the app's UI thread, but if you also have blocking work that you want to offload to another thread, that is pos
40.
▲
by
asQuirreL
10y ago
Recent studies [Nolan 2010] have shown this method to be tricky and dangerous, but effective. [Nolan 2010]: https://en.wikipedia.org/wiki/Inception P.S. Sorry... couldn't resist ;)
41.
▲
by
asQuirreL
10y ago
As far as I can tell, the definition is accurate. The only thing I would say is that `flatMap` is the name given to the (usual) list monad's bind operation, and is not used for arbitrary monad's binds.
42.
▲
by
asQuirreL
10y ago
That would be more like inoremap <Tab> <Space><Space> The request was: when I press two spaces, I want a tab character to be inputted. I agree that if you want `n` spaces when the tab key is pressed, you should use
43.
▲
by
asQuirreL
10y ago
In vim, adding the following to your .vimrc should do it: inoremap <Space><Space> <Tab>
44.
▲
by
asQuirreL
10y ago
Clarity is a bit subjective, I think. The difference between: CaseSensitive CaseInsensitive Is harder to spot (for me) than between: CaseSensitive True CaseSensitive False This is because the bit that is the same i
45.
▲
by
asQuirreL
10y ago
The variations are in the implementation detail, the type checking algorithm that Kiselyov describes in your link is extensionally equivalent to Algorithm W. OCaml's type checker is slightly different to HM, but only to deal with the t
46.
▲
by
asQuirreL
10y ago
The article seems to advocate type synonyms like the following: type Case = String -> String -- ... type Announcer = String -> IO String I would argue that these are actually much worse than not having type synonyms a
47.
▲
by
asQuirreL
10y ago
Traits and mixins are different. A trait/interface/protocol doesn't generally contain implementation, and when it does, it is based only on other methods in the trait (for things like default implementations), whereas mixins
48.
▲
by
asQuirreL
10y ago
Just to clarify, the position of people insinuating that training 2 million Indian people to be Android developers will cause a proliferation of malware: Would your reaction be the same if it were a western country? If it is, then I would a
49.
▲
by
asQuirreL
10y ago
Perhaps the willingness to prepare indicates the candidate is motivated and the algorithmic knowledge they gain from it forms a solid basis and language in which it is possible to test their problem solving abilities?
50.
▲
by
asQuirreL
10y ago
Ah yes, I see. I guess I was looking for a place where the fact that `Pd1` and `Pd2` were small, but I guess that's not necessary.
51.
▲
by
asQuirreL
10y ago
You are right, they are different questions, but the straw man was not intentional, I thought the original phrasing was ambiguous enough that it could be interpreted in both ways ;) In other words, it was unclear to me what the answer to th
52.
▲
by
asQuirreL
10y ago
At least in the terminology I'm used to, of mathematical proof, an assumption is a part of the context under which a thing is proven. So having more assumptions weakens the claim (and there is an associated weakening rule [1]). In othe
53.
▲
by
asQuirreL
10y ago
Occam's razor, as stated by GP is not about correctness, but tractability. In fact, if you look at it probabilistically, the hypothesis founded on more assumptions is more likely to be correct: Suppose you have a hypothesis, H, which i
54.
▲
by
asQuirreL
10y ago
I take it then, that your username is ironic?
55.
▲
by
asQuirreL
10y ago
You are right, it is just democracy at work, but I'm not sure that that is different from a group trying preserve its identity. The interesting thing is that most people assume that democracy is inclusive, because everybody has a voice
56.
▲
by
asQuirreL
10y ago
I feel like it is a diversity issue, albeit not of the usual kind, and it is not exclusive to groups whose identity is strongly linked to gender. All groups will try and preserve their own identity, because if they don't, they stop e
57.
▲
Lessons Learned from 30 Years of MINIX
(cacm.acm.org)
2 points
by
asQuirreL
10y ago
|
0 comments
58.
▲
by
asQuirreL
10y ago
Lattices and the associated Galois connections are used quite a bit in the Abstract Interpretation school of program analysis [1]. [1]: https://en.wikipedia.org/wiki/Abstract_interpretation
59.
▲
by
asQuirreL
10y ago
This is some interesting work! I was musing about another algorithm to achieve the same effect, as I was reading: * First render the scene in 3D, from the viewer's position, using a perspective transformation with the right field-of-vi
60.
▲
by
asQuirreL
10y ago
Parent means something closer to pointers (in C++) when they say "reference type". In other words, if a type contains null, then we must always check locally that values of that type are not null before it is safe to use them (or
More ›