harveywi

16 ms·

121.
by harveywi 6y ago
I think the 'quackery' that you are recalling could be confusion with the popular Disney movie "D3: The Mighty Ducks" [1] [1] https://en.wikipedia.org/wiki/D3:_The_Mighty_Ducks
122.
by harveywi 6y ago
The more important question is when can we start eating them as a food source
123.
by harveywi 6y ago
So you're saying that cubical type theory will be a good fit for cubical programming?
124.
by harveywi 6y ago
You may be looking for "Optimal Brain Damage": http://yann.lecun.com/exdb/publis/pdf/lecun-90b.pdf
125.
by harveywi 6y ago
Fezzik, do you hear that? That is the sound of ultimate suffering.
126.
by harveywi 6y ago
Nice stinky opinion, captain-oh-so-swift-to-judge.
127.
by harveywi 6y ago
This sums it up pretty well: https://users.dcc.uchile.cl/~gnavarro/CDSbook/intro.pdf
128.
Succinct/compact/compressed data structures for data-intensive Python programs(github.com)
7 points by harveywi 6y ago|4 comments
129.
by harveywi 8y ago
The term is market correction. https://en.wikipedia.org/wiki/Market_correction
130.
by harveywi 8y ago
The bigger question will be how Lyft handles the markets longer term, whether it continues to rise or faces the "Snap" effect.
131.
by harveywi 8y ago
Exactly. For example, the person could be emitting an extremely high-pitched tone before the seizure that is inaudible to the Human ear yet can be heard by the dog. Sort of like a camera flashbulb.
132.
by harveywi 8y ago
This is fascinating. If you do not mind me asking, what was the smell that you experienced?
133.
by harveywi 8y ago
GNU grep is an excellent tool! A similar tool that is rising in popularity is ripgrep ( https://github.com/BurntSushi/ripgrep ), which can be orders of magnitude faster than GNU grep. Give it a try!
134.
by harveywi 8y ago
It is a strange coincidence however that the seizure chemical is the same chemical that causes a dog to bark.
135.
by harveywi 8y ago
I have never seen so many motorcycle helminths.
136.
by harveywi 8y ago
DuckDuckGo is a heel.
137.
by harveywi 8y ago
Pyramid sets. Archaeological evidence supports this, cf. Egypt.
138.
by harveywi 8y ago
How AI could help us with anything, really.
139.
by harveywi 8y ago
The Segway will finally be vindicated.
140.
by harveywi 8y ago
My personal grave warning to doughy-eyed youngsters wishing to get a PhD: https://news.ycombinator.com/item?id=8720640
141.
by harveywi 9y ago
Interesting idea. It seems like this technique could be applicable to bioinformatics, especially sequence assembly.
142.
by harveywi 9y ago
I started with Certified Programming with Dependent Types ( http://adam.chlipala.net/cpdt/ ). If you are more interested in programming, consider trying Idris ( http://idris-lang.org/ ). Edwin Brady, the
143.
by harveywi 9y ago
The word "intelligence" is thrown around without anyone bothering to define it. Why are stigmergic/reactive fluctuations of these biofilms considered intelligence? I prefer the Jeff Hawkins definition: Intelligence is the ab
144.
by harveywi 9y ago
Seems to be similar to the direction taken by John De Goes (using algebras to describe your problem domain, building programs from those algebras via free monads/applicatives/etc., interpreting those programs using natural transfo
145.
by harveywi 9y ago
I would love to see an experience report of someone who has used Bedrock in a nontrivial application.
146.
by harveywi 9y ago
I love this quote by Paul Barham: "You can have a second computer once you've shown you know how to use the first one."
147.
by harveywi 9y ago
>If I had the chance to have a second career, I would try harder not to follow of the fashion of the herd. The mistakes I have made, at least those into which I have insight, have usually resulted from adhering excessively to the prevail
148.
by harveywi 9y ago
>70% of prisoners are there for non-violent offences. Free Bernie Madoff!
149.
by harveywi 9y ago
Gambling can be an addiction, but does not result in physical illness or death upon termination. Still, it can be highly addictive. Same goes for Facebook.
150.
by harveywi 9y ago
We have been conditioned to prefer style over substance.

More ›