delish

16 ms·

121.
by delish 10y ago
> How much tacit knowledge does that rely on? It looks like you're criticizing the GP's praise of Idris' concise formal definition of its unsugared semantics. I wouldn't use such a formal definition for educating novi
122.
by delish 10y ago
In HN, the headline currently reads: Latest Intel, AMD chips will only run Windows 10 and Linux, BSD, OS X But on thereg it reads: Latest Intel, AMD chips will only run Windows 10... and Linux, BSD, OS X The ellipsis impl
123.
by delish 10y ago
I recommend that Stephen Wolfram skeptics read this press release. I was surprised by language-level support for 3D printing: In Version 11 it’s finally realistic to take any 3D plot, and just 3D print it. I didn't know that
124.
by delish 10y ago
I strongly identify with this problem. I've used "hackervision", a chrome plugin, for years. It works pretty well. hackervision inverts website's colors. I'd prefer to read white-text-on-black-background everywhere.
125.
by delish 10y ago
I should have been more explicit. I'm wishing for a less discontinuous shell-learning-path, meaning to say that you'd stick with Go Terminal_ until you found you wanted something that zsh or tmux or whatever offered you. Everythin
126.
by delish 10y ago
If you're like me, you'll think, "aliases!" But, the shell is a bunch of nontrivial things to learn. Tools like Go Terminal_ could make a less discontinuous learning path for shell. I recently had to teach[0] someone a b
127.
by delish 10y ago
Some commenters here are saying, "I already know this stuff." Indeed. I'd be curious if people could put out a list of "advanced" mental models. For example, Bayes' theorem is more advanced than Occam's ra
128.
by delish 10y ago
This is from a linked memo from the California Sex Offender Management Board: > One recent large study found a recidivism rate of 5.3%. The re-offense rate is the lowest of any crime category (except murder) and research shows that the
129.
by delish 10y ago
>I'm not sure why knowingly swindling ordinary people should be anything other than criminal We (or, to speak for myself, I) should understand: how often does fraud happen in this industry as compared to others what causes it whethe
130.
by delish 10y ago
In my estimation (I'd like to be wrong!) righteous fury adds nothing to the pursuit of insight. And, again in my estimation,[0] we'll better distribute justice if we stay unbiased and seek to understand the situation. The people a
131.
by delish 10y ago
Where do you see that?
132.
by delish 10y ago
> fucking light-box I completely agree. I turn off javascript for sites that have light-boxes or large top-bars. It's worked well for sites like priceonomics, which appear on HN intermittently. In case it's helpful, the one I u
133.
by delish 10y ago
I'll echo what gp said to help make tau happen: tau : the circumference (perimeter) of a circle. (1/2) tau ^2 : the area of a circle. Beautiful. To go from one to the other, you integrate or take a derivative. Like gp said, ther
134.
by delish 11y ago
> In California, anything you do on your own time belongs to you, and the previous employer can't enforce most non-compete agreements. I work in Pittsburgh, and recently learned that my employer can own intellectual property that I
135.
by delish 11y ago
> Fukushima was caused by shoddy planning. > In 2002 they already knew the seawater pumps were located too low, but took no action A relatively-unasked question is, "How many nuclear power plants have analogous failings?"[0]
136.
by delish 11y ago
To my fellow self-taught mathematicians and computer scientists: When I was starting out, I'd learn from what was too-dense-for-me (Mac Lane, Awodey, Spivak). When I didn't understand, I'd get frustrated, then go learn someth
137.
by delish 11y ago
I couldn't find this memo. I'm interested in reading it. I did find a WSJ article with a quote from a Google engineer: "We have been over a bunch of these [alternatives to Java] and think they all suck," the Google emai
138.
by delish 11y ago
I've worked in three school systems. My experience accords with many things Kohn says, especially: Unfortunately, even some people who are educators would rather convince students they need to adopt a more positive attitude than addre
139.
by delish 11y ago
I'm pointing out what makes--in my experience--a problem interesting.
140.
by delish 11y ago
Here are two math problems. The first is from an article linked-to in the post. The second is from Challenging Problems in Linear Algebra. Two planes, which are 2400 miles apart, fly toward each other. Their speeds differ by 60 miles per h
141.
by delish 11y ago
> What impressive programs are written in Lisp? I'd only call this anecdote, but one or more benchmarks assert that cl-ppcre, common lisp's perl-compatible regex implementation, is faster than any other, include perl's. Th
142.
by delish 11y ago
The headline invites ridicule. A more descriptive headline would be, "That young people ignore social media age limits exposes them to bullying." When I was a 6th grader, I played Diablo II online. A player named "I-Dupe&quot
143.
by delish 11y ago
That was worth my time. Thank you. I wrote down Cowen's laws for future reference.
144.
by delish 11y ago
Thank you. Every time I read, "I never expected so-and-so to stoop so low ," I think, "Well I wasn't inventing expectations of others, so I don't have this problem you have." This how- dare -so-and-so instin
145.
by delish 11y ago
I agree. Paul Graham's essays on income inequality expressed my views on income inequality more clearly than even I was thinking them. I appreciate this, but now I need to hear a critique by someone who understands the issue how I unde
146.
by delish 11y ago
I enjoyed this article. I've been thinking of getting a macbook. This article allayed my fears of not being able to charge my phone from my laptop, which I do more than I'd like. I bet the author has an iphone with better battery
147.
by delish 11y ago
I'm interested in the future of CAD. Here's a link to implicitCAD[0], a constraint-solving CAD written in Haskell. There's interesting discussion; apparently what the author was trying to was proven by academic research to be
148.
by delish 11y ago
This is funny and interesting. SO stands for significant other in this case, right? This is happening because the game-player wants to play the game, but the SO is, in a leisurely way, taking it all in?
149.
by delish 11y ago
> as a (an?) Haskell exercise In american english, this would be "a Haskell exercise," pronouncing "a" to rhyme with "hey" or "ah." In british english, it would be "an 'askell exercise.&q
150.
by delish 11y ago
Wow! I read /u/thefinder's account of the lisp machine. What a find. > Forth as a programming style is the definitive predecessor of the DSL, so I see no benefit in using it for standardization. Yup. I believe that standar

More ›