lmkg

106 ms·

961.
by lmkg 12y ago
> That's usually 12-14 hours of studying on top of 30-40 hours of classes. That sounds like an extremely unusual balance of classes vs studying. An 'average' class-load is something like 12-18 credit-hours. That's s
962.
by lmkg 12y ago
How well does Dart interact with JavaScript, especially libraries that are asynchronously loaded? I know that the Dart compiler is a whole-program optimizer, and I get the impression that Dart wants to own all the code on the page. In my li
963.
by lmkg 12y ago
It changes the economics. If your botnet used to be able to post a million spams per second, and now it can only do a thousand, then now you're making 99.9% less money from renting out your botnet compared to last week. The fact that y
964.
by lmkg 12y ago
Due process is a guarantee made to citizens. The form it takes or method it is delivered by is not overly specific, and there is nothing about it that mandates it be scoped to one particular branch of government. If it's the executive
965.
by lmkg 12y ago
Without the commas, it sounds to me like the author is excited and animated about his topic, tumbling forward. I imagine him gesticulating wildly. I guess you were imagining more of a measured pronouncement, with paused emphasis to cause us
966.
by lmkg 12y ago
Counterdata: I've lived in California my entire life, my only other language exposure in day-to-day life is Spanish, and I have no Norwegian ancestry or local connections. It still thought my second- and third-most likely native langua
967.
by lmkg 12y ago
Not true. He made a predictive hypothesis of how the brain activity in a schizophrenic person behaves that was later borne out by imaging technology. Now, to be fair, that particular hypothesis is pretty far removed from the rest of this th
968.
by lmkg 13y ago
I think there are a few cases of non-transitive equalities in JavaScript, specifically around falsey values. Part of it also has to do with whether x is the right-side input or the left-side input, because that changes type coercion rules.
969.
by lmkg 13y ago
There are a couple of statements that have been proven to be unprovable in the standard axiom set (ZF). The provability of the unprovability of unprovable statements is not guaranteed, but happens to be true for many of the more useful axio
970.
by lmkg 13y ago
The more I studied holomorphic functions, the more I felt that the real numbers were fundamentally incomplete without the imaginary numbers to accompany them. In just the reals, there are tons of ways for functions to misbehave and become
971.
by lmkg 13y ago
> For almost all practical applications for which bitcoin is being used, this doesn't actually come in to play very often. But could this be a self-fulfilling prophecy? Perhaps this property of Bitcoin is hurting its adoption, by
972.
by lmkg 13y ago
It's a compile-to-JavaScript language, like CoffeeScript. Differentiating features: - Strict superset of JS. All(?) JS is valid TS, making it easier to migrate to TS. - Many of the added features are from EcmaScript 6, i.e. JavaScript
973.
by lmkg 13y ago
Before making conclusions, this graph needs to be controlled for at least one outside factor: the overall geographic distribution of companies. If one were to take the complete bipartite graph of [All Startups, All Fortune 500s] and plot th
974.
by lmkg 13y ago
I am not seeing that many comments in the vein of "unfit to be CEO." To the contrary, I've seen a lot of comments (especially high-voted ones) saying "I disagree, but that's his right." I am seeing quite a few
975.
by lmkg 13y ago
There is a meta-issue going on in this discussion. Funnily enough, it has to do with nomenclature, but not of people. Specifically, the meaning of the word 'discrimination,' and how it can refer to two different concepts (intentio
976.
by lmkg 13y ago
The rational roots of integers will cause interesting interactions, because when you multiply them you get back integers. In other words, the fact that sqrt(7) * sqrt(7) is an integer means that sqrt(7) interacts with the integers when you
977.
by lmkg 13y ago
Agreed. This is an interesting story in its own right, and a rather unique one, since most poorly-managed projects don't get a second gasp at life (and the stories of most merely-mediocre outcomes don't get told). But, I also feel
978.
by lmkg 13y ago
Paraphrasing Clinton, that depends on what you mean by the suffix 's. It is wholly Mt. Gox's disaster, in the sense that they alone caused it and are responsible for the consequences. It is Bitcoin's disaster in the sense th
979.
by lmkg 13y ago
To build on this: 1. It's nice to have the same view of the code that your compiler has. This matters less for C# than it would for C++, but it's nice to know you handle the edge cases in a consistent fashion. 2. Invalid code. Sin
980.
by lmkg 13y ago
But reverting to the original source gives the program a stability property that will maintain functionality through multiple generations. Outputting the modified source would cause the program to accrue errors over time, meaning eventually
981.
by lmkg 13y ago
IMHO, the entire point of the story is that causality has become twisted into a counterintuitive shape. From a naive literal point of view, no, the universe above theirs is independent. Diane's hypothesis/theorem is that, becaus
982.
by lmkg 13y ago
I work in web analytics. Recently, one of our clients decided that they wanted to track visitors across multiple domains. After much hemming and hawing, and research proposals, and industry comparisons, the ultimate solution that was decide
983.
by lmkg 13y ago
Equivalently, "time-constrained professionals apply 90-10 rule to increase throughput by discarding time-consuming edge cases."
984.
by lmkg 13y ago
Apropos of nothing, one internet guy's unjustified personal opinions on the future of teaching and software: The one-to-many "lecturing" interaction should be replaced by software, in order to give teachers more free time for
985.
by lmkg 13y ago
What is the current state of formal verification in Rust (of the language, of compilers, of other programs)? I would assume that since parts of the language are still undergoing change there isn't much work towards super-rigorous proof
986.
by lmkg 13y ago
The original McCarthy LISP started even more abstract than ML: it was intended as a logical thought exercise, and was only accidentally a programming language at all. COBOL (and Ada) were standards-first languages. The industry-driven stand
987.
by lmkg 13y ago
> * Now a really good answer or tip that would otherwise be on the 'regular' stackoverflow (albeit in broken English) will remain, unknown* This assumes that, had the Portuguese site not existed, the question would have been an
988.
by lmkg 13y ago
Send them to a small teaching-focused college. Institutions that are large, focused on graduate students, and/or focused on research have an incentive structure that puts a lower priority on the care of individual students. I went to a
989.
by lmkg 13y ago
Amazon is focused on growth and market control. It is willing to take a smaller (short-term) profit in order to achieve those goals.
990.
by lmkg 13y ago
In Dijkstra's world, there is no 'real software' but what has been mathematically proven correct. Horribly unworkable in practice, but man, having core libraries & frameworks be formally verified sounds like utopia.

More ›