nimih

34 ms·

361.
by nimih 7y ago
Please don’t lose sight of the fact that this discussion is occurring in the context of Mozilla reprimanding an extension developer for not putting a big enough warning label on what they view as an extremely dangerous—but ultimately allowe
362.
by nimih 7y ago
Using computers is essential to the jobs and social lives of huge swaths of people, and providing safe tools to accomplish those goals is a very valuable social good. In particular, most people who use a computer don't have the time or
363.
by nimih 7y ago
You might be misremembering the numpy.random api, since you appear to only be generating one or two random numbers in your tests. I get results about 100x slower those of the article's CPU benchmark when using numpy on a 2019 MBP:
364.
by nimih 7y ago
Current-day HN strikes me as very similar to early 00s Slashdot, albeit more self-serious and with an ideology more informed by SV capitalism/entrepreneurialism than the convoluted politics of open source software.
365.
by nimih 7y ago
Only tangentially related, but one of the most incredible accomplishments of Parks & Rec seems to be that Ron Swanson's lines are equally loved by folks who get the joke and folks who don't even realize that there is one.
366.
by nimih 7y ago
Singapore fixed a decades-long housing crisis in the mid-to-late 1900s via a massive public housing program.
367.
by nimih 7y ago
As far as I can tell, the idea of “same size means establishing a bijection” appears (in a formal sense) at essentially the same time as it was discovered that there are pairs of infinite collections where you can’t do that (i.e. with Dedek
368.
by nimih 8y ago
> The “math looks nicer” argument [...] is, for example, the `reason' [...] there are as many integers as rationals. I'm curious what you mean here: The integers and rationals have quite different algebraic and geometric prope
369.
by nimih 8y ago
I really can't speak to that in any way, I was just trying to answer the OP's question as to why there are a number of--on face very similar--Bazel-style build systems. It certainly seems like a fair assumption, though.
370.
by nimih 8y ago
My understand of Buck (and Pants) is that they are the result of ex-Google employees going to other companies (resp. Facebook, Twitter), realizing that Blaze was more or less the Right Way to do a build system (at least for their set of cir
371.
by nimih 8y ago
To the contrary: the reduced (heh) power of functional looping constructs is a benefit in and of itself. Explicitly naming and separating patterns of looping such as map, filter, fold/reduce, etc is in some sense a direct application o
372.
by nimih 8y ago
To the contrary, commercial insurance is often written to explicitly factor in the amount of claims that occur during the policy term, e.g. using retrospective rating[0]. Additionally, commercial underwriters typically have much more legal
373.
by nimih 8y ago
There's a "dirs" command, which lists the directory stack, and a "cdh" command, which lists your directory history.
374.
by nimih 8y ago
I'm not sure what the OP was referring to, but off the top of my head there was a security vulnerability in Windows disclosed last year which seems to fit that description[1][2]. [1] https://twitter.com/natashenka/
375.
by nimih 9y ago
This is more of an artifact of the size of the game board than anything, I think. 9x9 go is decidedly simpler/easier than chess, and I expect chess on a 19x19 board with the number of pieces scaled proportionally (each player starting
376.
by nimih 9y ago
> I can't say I use thirds much more often than fifths. If you bake or cook using imperial units, 1/3 comes up much more often than 1/5, in my experience.
377.
by nimih 9y ago
In contrast, I, personally, have run into programming/design problems where monoids or semigroups seemed to be the correct level of abstraction to work at. People aren't appropriating language and concepts from algebra/catego
378.
by nimih 9y ago
We cannot, as an example, currently predict the zeroes of the Riemann zeta function.
379.
by nimih 9y ago
This doesn't strike me as an especially powerful critique, in spite of your provocative language. We have well understood mathematical models which correctly and accurately predict all physical behavior relevant to our everyday lives,
380.
by nimih 9y ago
It seems like it would be more correct to say that we (the English-speaking masses) redefined the word and the OED has simply done their job and documented common usage.
381.
by nimih 9y ago
Modern prime testing is quite far from brute force. Tests such as AKS[1], ECPP[2], and APR[3] can determine whether a number is prime in polynomial time (in the number of bits/digits), whereas a true brute force search would be exponen
382.
by nimih 9y ago
If you allow reflections of the single tile, an easy counterexample is the pinwheel tiling[1], which is a non-periodic tiling composed entirely of isometric triangles. An (imo less satisfying) example which does not require reflection of th
383.
by nimih 9y ago
Since matter-antimatter annihilation produces radiation, what prevents us from estimating the size of the effect by measuring the background radiation of the universe and comparing it to the amount of observable matter?
384.
by nimih 9y ago
Maybe something like: class Foldable myFoldable where foldl :: (summary -> element -> summary) -> summary -> myFoldable element -> summary This is the translation I do in my head wh
385.
by nimih 9y ago
An anarchist could very well see using a license as a political act: disagreeing with the existence of an institution doesn't prevent you from using the levers of power provided by that institution to achieve a given end.
386.
by nimih 10y ago
Or maybe the exploits were leaked once the exploits lost a lot of their value due to MS fixing the bug(s).
387.
by nimih 10y ago
Binary trees, with the operation being to join two trees at the root, form a magma which should quite clearly be non-associative (and thus not a semigroup). There are of course other examples of sets equipped with non-associative binary ope
388.
by nimih 10y ago
Category theory provides the tools (a language, a set of theorems, etc) to understand why certain things are necessarily true, rather than just "true in practice" or true because of a happy coincidence, similar (IMO) to how comple