harveywi

28 ms·

241.
by harveywi 10y ago
Turtles evolved shells so that they could work from home.
242.
by harveywi 10y ago
Reminds me of the seashell ear-thimbles from Fahrenheit 451.
243.
by harveywi 10y ago
For n <= 3 dimensions, you may have the beginnings of a great SoCG (pronounced "sausage") paper. Generalizing to n >= 5 dimensions would expand on the well-known Sausage Conjecture. [1] http://socg2016.cs.tufts.ed
244.
by harveywi 10y ago
Unfortunately, we have things like this in the mix... libraryDependencies += "com.lihaoyi" %% "scalatags" % "0.4.3" libraryDependencies += "com.lihaoyi" %%% "scalatags" % "0.4.3&
245.
by harveywi 10y ago
To add to the list of the multilayered problem: - Sabotage and subversion. (It is easy to forget to add this one to the list...but there is probably quite a bit of this going on at various levels). - Lack of "Jokers" or lack of t
246.
by harveywi 10y ago
Similar in spirit to John Rauser's 2014 Strata Conference + Hadoop World keynote "Statistics Without the Agonizing Pain" ( https://youtu.be/5Dnw46eC-0o ).
247.
by harveywi 10y ago
You went in with an optimization problem and came out with 3-satisfiability.
248.
The Gauss-Jordan-Floyd-Warshall-McNaughton-Yamada Algorithm(r6.ca)
1 points by harveywi 10y ago|1 comments
249.
by harveywi 10y ago
When I was growing up, we were told that the Internet is not a toy. You were not supposed to engage in tomfoolery, and you were not supposed to use your real name. At some point (cough Facebook, Google) that changed. Social media is not a
250.
by harveywi 10y ago
It's like there are two principal eigenfrequencies competing for dominance and inducing high-energy instability. Would separating the components reduce the free energy of the system and allow a better equilibrium to occur?
251.
by harveywi 10y ago
> As anecdotal evidence, I've seen people belittled and harassed on facebook, reddit and twitter for asking any of the following: * Why should we legalize Marijuana? * Why is BLM important? * Why should I care about ${cause}? People
252.
by harveywi 10y ago
Bingo (vote with your dollar etc.). However, as others have mentioned, there is a huge risk gradient to overcome for students wishing to drop out to stand behind their principles. They need to be somewhat reassured that they are not gambli
253.
by harveywi 10y ago
What are you studying? The difference between STEM and humanities experiences is huge.
254.
by harveywi 10y ago
Reminds me of what happens when a bunch of independent software dev teams at an organization suddenly are forced to assimilate under a monolithic "IT Governance" structure where they (and their constituent workers) are modeled as
255.
by harveywi 10y ago
> Constraints provide freedom. For a great video on this, see Runar Bjarnason's talk "Constraints Liberate, Liberties Constrain" ( https://www.youtube.com/watch?v=GqmsQeSzMdw ).
256.
by harveywi 10y ago
> It might turn my writing into delusional drivel like Ayn Rand, a noted speed addict for decades. Or maybe your writing would start to look like the work of genius Paul Erdős, a noted speed addict for decades.
257.
by harveywi 10y ago
Many years ago I attended a talk by Bernard Widrow (discovered/invented a precursor to the backpropagation algorithm; i.e. the least mean squares filter) [1]. He believed that long-term memories are stored in DNA [2]. At the time, I
258.
by harveywi 10y ago
Looking forward to the chapter on Mmrnmhrm Monad Transformers. [1] http://wiki.uqm.stack.nl/X-Form
259.
by harveywi 10y ago
I wonder about this too. It seems like some ideas from category theory and pure functional programming could really help here to provide an abstraction over the top of the (pseudo)relational model. While doing some research on an unrelated
260.
by harveywi 10y ago
What about an agda proof?
261.
by harveywi 11y ago
This "naive reductionism" looks to me like the difference between the way that analysts and algebraists work on problems [1]: "If I have to wave my hands and explain it, I would explain it like this. In algebra there are sequ
262.
by harveywi 11y ago
Requiring that a third party "explain it to the carpenter" is a big part of the problem. Our coddled carpenter inevitably shrivels up in bewilderment and frustration when confronted with a new (actually, a century old...) concept
263.
by harveywi 11y ago
Does anyone have any information about when/if we will see support for higher-kinded types in Rust? There is the RFC thread on Github ( https://github.com/rust-lang/rfcs/issues/324 ), but I haven't b
264.
by harveywi 11y ago
The observation that hierarchical things are easier to describe is interesting. Maybe it has something to do with the adjointness of syntax and semantics [1], and that posets induced by hierarchical structures just naturally share more str
265.
by harveywi 11y ago
Because the type "Any" is the least upper bound of Int and Null. http://ktoso.github.io/scala-types-of-types/#unified-type-sy...
266.
by harveywi 11y ago
Right. It's a lot like deciding to set out on a risky mountaineering expedition where success is determined only by reaching the summit. Along the way, there are numerous pitfalls that can be your undoing regardless of your level of
267.
by harveywi 11y ago
> I will say that graduate school was one of the best periods of my life. Results not typical ( https://news.ycombinator.com/item?id=8720640 ). It's surprising for me to read the author's account and not find ev
268.
by harveywi 11y ago
The Scala compiler is excruciatingly slow for me. I frequently rely on polytypic programming techniques to prove (with a small "p") that my code is correct. The compiler simply can't keep up with me. The end result is that
269.
by harveywi 11y ago
The author had (too much) fun using a combination of the SKI combinator calculus [1] and the "B, C, K, W" system [2]. [1] https://en.wikipedia.org/wiki/SKI_combinator_calculus [2] https://en.wikipe
270.
by harveywi 11y ago
Loans are the only way that some students can compete with the other students who get to go to school for free or at a discount. Maybe free money should be banned, or distributed more "intelligently" even if that means spreading

More ›