harveywi

26 ms·

181.
by harveywi 10y ago
Did they investigate garbage collection as a possible explanation?
182.
by harveywi 10y ago
> Would Dodos would be "Eaten by sailors on a lonely island"? That is precisely where the name came from; i.e. the accretions left behind by satiated sailors after feasting on the endangered birds. The Great Vowel Shift hides
183.
by harveywi 10y ago
This is actually a really good idea, as it would ensure that there is a citizen behind each Twitter account. Currently this lack of control hinders implementation of more effective systems for combating online abuse such as a social credit
184.
by harveywi 10y ago
I miss Jim Lehrer's complete lack of smile, sharp wit, and humor.
185.
by harveywi 10y ago
I believe a there is a plot line in Pulp Fiction that touches on a solution satisfying both constraints.
186.
by harveywi 10y ago
> proven, reality-based statistics Ex falso quod libet. The statistical mechanics can be rock solid, but if the data is garbage or the model is garbage then the prediction will likely be garbage. Hiding behind mechanical minutiae is no
187.
by harveywi 10y ago
> my liberal friends filled my timeline with screeds about the death of America and minorities, while my conservative friends messaged me privately in celebration. I didn't see a single pro-Trump post all day. This is an example of
188.
by harveywi 10y ago
Just because an idea makes one uncomfortable ("eating sludge", "efficient and sustainable nutrition impacting public policy", etc.) does not make it unreasonable, least of all unreasonable for discussion. The opposite s
189.
by harveywi 10y ago
> food in sludge form Hardly. People tend to enjoy Soylent. Even some troops prefer to use Soylent rather than eat MREs.
190.
by harveywi 10y ago
What is wrong with reasonable speculation? You just speculated about why I was downvoted.
191.
by harveywi 10y ago
Collecting money from the risk-takers is telling as well, due to the psychological/influential aspect of the buyer as well as the motives of the seller.
192.
by harveywi 10y ago
While the Soylent formula is a modern medical marvel, its marketing is the real secret ingredient.
193.
by harveywi 10y ago
> What a silly game to play when people's health is at stake. This is an important observation, and one that deserves some serious and deep reflection.
194.
by harveywi 10y ago
> What? You don't like columns?! Columns everywhere! Form follows function when you're a fifth column.
195.
by harveywi 10y ago
I never made that claim, but thank you for the reply. I am glad you found a way to be fitter, happier, and more productive.
196.
by harveywi 10y ago
What's wrong with skipping a meal? (While we're on the subject, what's right about it?) Folks have been sold a solution to a problem that does not exist. Marketing and its various permutations wins again. The use case of t
197.
by harveywi 10y ago
Probably because people do not get to choose. The end result can have awful consequences for many people in various aspects of their life that should not be affected by their work environment, the most benign of which is demoralization.
198.
by harveywi 10y ago
Black propaganda.
199.
by harveywi 10y ago
On the juice and weight gain: If the pants don't fit, you must not acquit.
200.
by harveywi 10y ago
"Google EnnUI: The UI for Existential Boredom."
201.
by harveywi 10y ago
The trick is to cook all the food en masse, in one fell swoop, maybe once or twice per week.
202.
by harveywi 10y ago
Type theory. The Curry-Howard-Lambek correspondence shows that type theory, logic, and category theory are equivalent. Even ideas such as set theory can be grounded in type theory (due to the univalence axiom), as type theory can be used
203.
by harveywi 10y ago
Does anyone know if there has been any work in formalizing incremental compilation? It would be great to have some sort of theoretical framework to use as a guide when implementing various incremental compilation strategies. There is some
204.
by harveywi 10y ago
Another notable reference is "Alzheimer's Disease Is Type 3 Diabetes–Evidence Reviewed" [1]: "We conclude that the term "type 3 diabetes" accurately reflects the fact that AD represents a form of diabetes that
205.
by harveywi 10y ago
It is not always wise advice. ("Now you see that evil will always triumph because good is dumb." - Dark Helmet) In an iterated prisoner's dilemma [1] where both players know the number of rounds that will be played, the opti
206.
by harveywi 10y ago
I guess you could just call F[_] a monoid in the category of endofunctors of F[_]...
207.
by harveywi 10y ago
Scala has jokingly been called Hascalator [1], but not everyone who is "ready" to make the leap to Haskell can actually do it (existing work tied to JVM, dependencies on JVM libraries, etc.) or wants to do it (better ability to re
208.
EvenOdd in Agda, Idris, Haskell, Scala(brianmckenna.org)
1 points by harveywi 10y ago|0 comments
209.
by harveywi 10y ago
> But I do disagree that implementing Select and SelectMany should by default give you access to the 143 methods. We both agree on that. ("GetEnumerator" in IEnumerable is what makes all that possible.)
210.
by harveywi 10y ago
> The only way to understand them is to replay them Reminds me of the same kind of problem that arises in trying to understand the runtime behavior of nontrivial programs involving side-effects, mutable state, multithreading, etc. Somet

More ›