Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
rntz
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
65 ms
·
241.
▲
by
rntz
11y ago
> where it accepted for young children to be attracted or even in love with other children of the same sex. That's sexual orientation, not gender identity, no? One of the salient points in the original article is precisely the disti
242.
▲
by
rntz
11y ago
There is a difference between believing some particular individual is guilty of harassment and accepting that a harassment problem exists in an industry or company. If we want to convict someone, either in the court of public opinion or i
243.
▲
by
rntz
11y ago
I had not seen that post about the investigation before; it's very enlightening, and I upvoted spangry for linking it. My default assumption is that when there are claims of harassment, there is some substance to them, even if the spec
244.
▲
by
rntz
11y ago
> The sexual-harassment stuff is unfortunate, but organizations of primates have things like that happen now and then, it's just rare that the victims decide to go public. This does not excuse it but it doesn't necessary say an
245.
▲
by
rntz
11y ago
The author is being sarcastic. They are saying that, from the point of view of the "wolves", Github doesn't look like a $20bn company - so it will be made to look like one, by hiring more employees, changing the power str
246.
▲
by
rntz
11y ago
Indeed, but proving a whole compiler correct is really hard . :P
247.
▲
by
rntz
11y ago
No, the proof that the compiled code is "correct" does not depend on the compiler being correct - it can be checked independently. Of course, if the compiler is incorrect it might generate incorrect code, but then the "proo
248.
▲
by
rntz
11y ago
Sure, but I wasn't talking about what it takes to be the best in your field. I was talking about what it takes to even be given a fair shot . (Original comment: "If you didn't spend a lot of time with computers on your own b
249.
▲
by
rntz
11y ago
I think it simply reflects that the distinctions each is making are, to a great degree, subjective and up for debate. See, for example, http://blog.ezyang.com/2012/08/is-haskell-liberal-or-conserv... , which argues
250.
▲
by
rntz
11y ago
Cathedral and Bazaar are about different ways of organizing projects; Liberal/conservative or Type B/Type A are about individual programmer preferences. So they're not the same thing, although there's some amount of symp
251.
▲
by
rntz
11y ago
This is basically reinventing Steve Yegge's analysis in [1] of programmers into "conservative" (risk-averse, prioritize safety) and "liberal" (accepting of risk, prioritize expressivity), except less polarizing (bec
252.
▲
by
rntz
11y ago
Are teachers, accountants, mathematicians, scientists, doctors, or lawyers known for practicing to get into their respective fields in elementary & middle school? Not so much. Even for the most demanding fields, we expect them to begin
253.
▲
by
rntz
11y ago
Do you have anything more than anecdata for the idea that "If you didn't spend a lot of time with computers on your own before college, you're not in the running."? I've heard that idea in a lot of places, but it&#x
254.
▲
by
rntz
11y ago
This is a misrepresentation of the article's position. The article's actual, more ambiguous, position is better summarized in another paragraph: > People tend to discuss Silicon Valley’s diversity problem in binary terms. One c
255.
▲
by
rntz
11y ago
Hm, which bits of syntax are you confused by in particular? At the beginning, when defining what types, expressions, contexts, etc. looks like. I use a bunch of BNF ( https://en.wikipedia.org/wiki/Backus%E2%80%93Naur_For
256.
▲
by
rntz
11y ago
It's true that you don't need to know Haskell in order to learn about monads, but Haskell is a perfectly reasonable language in which to write a monad introduction. Haskell is good for learning about monads for the same reasons mo
257.
▲
by
rntz
11y ago
Ignore the instructions and grab putStrLn if you need it in order to check your work. The instructions about not using other modules are there to avoid you "cheating". Looking at your work is definitely not cheating and will not p
258.
▲
by
rntz
11y ago
Sean McDirmid's work on Glitch is an interesting (and distinctly contra- the current "FP all the things!" zeitgeist) approach to live programming: http://research.microsoft.com/en-us/people/smcdirm&#
259.
▲
by
rntz
11y ago
> Its not as if somebodies coins will suddenly become worthless. I think this is in fact the nightmare scenario that some folks are worried about. I agree with you it's unlikely to happen, because it's in very few people'
260.
▲
by
rntz
11y ago
Sure. What do you believe is the purpose of saying what that clause says rather than badsock's shorter and clearer "A party may only make laws that are consistent with this agreement"? You seem to be suggesting that somehow
261.
▲
by
rntz
11y ago
The WWW's fundamental job is not to establish consensus. It is to communicate information. Incompatible changes to the web and incompatible changes to the bitcoin protocol have very different significance.
262.
▲
by
rntz
11y ago
Then it seems to make even less sense, no?
263.
▲
by
rntz
11y ago
This is the opposite of what the article is saying. The users weren't clicking randomly . They were clicking with a purpose, they just didn't understand the difference between their menu bars and the ones inside the image. They
264.
▲
by
rntz
11y ago
Monads themselves don't compose nicely. There's no guarantee that the composition of two monads is itself a monad, for example. That's why Haskell has monad transformers. But monad transformers are quite hard to reason about
265.
▲
by
rntz
11y ago
Have a source for that paraphrasing of Felleisen and Sussman? I don't know about Sussman, but I'd be surprised to hear Felleisen say that. My extremely loose characterization of Felleisen's view would be that the most importa
266.
▲
by
rntz
11y ago
It's wonderful when simplifying an argument exposes its problems more clearly. I now wish more writers would do this. Omit needless words, indeed!
267.
▲
by
rntz
11y ago
> And in the unlikely event I left no holes, some will say I'm backpedalling or doing "damage control." There's nothing particularly wrong with doing damage control if you think people have misunderstood or misreprese
268.
▲
by
rntz
11y ago
Welcome to science! Also, not just flaws in methodology, but also flaws in its model, which is a more significant issue. Making better models & checking them against reality is a big part of science. It's not necessarily that the o
269.
▲
by
rntz
11y ago
> There's secrecy within most for-profit entities, what makes AI so different? It's not about AI vs other fields, it's about research vs. engineering. Admittedly, that line is more blurry than most, especially in highly te
270.
▲
by
rntz
11y ago
> And the claim that "Japan had planned to declare war shortly before its planes bombed the US fleet at Pearl Harbor, but a series of errors by typists and translators prevented the Japanese embassy from giving Washington the declar
More ›