Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
rntz
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
27 ms
·
211.
▲
by
rntz
10y ago
> If you hire using know it or not questions about binary trees The article author doesn't think of his question as a "know it or not" question, but a "you should be able to figure this out" question: > Here&#
212.
▲
by
rntz
10y ago
> The article seems to push the idea that we think less of animals and that should change, but I don't think it's clear that the motive behind us humans pulverizing the animal kingdom is because we think we're superior to
213.
▲
by
rntz
10y ago
From the article: > Like native people all around the Arctic — and all over the world — Greenlanders were seeing the deadly effects of rapid modernization and unprecedented cultural interference. [...] Between 1970 and 1980, the suicide
214.
▲
by
rntz
11y ago
> And I don't even know how to google any one of them. Don't know how to solve this for myself. https://www.haskell.org/hoogle/ lets you search for functions by name, including symbol-named functions like
215.
▲
by
rntz
11y ago
> I think it would be fair to flip that around: if your philosophy doesn't result in testable predictions, then what's the point? "Untestable philosophies are pointless" is an untestable philosophy, and therefore poin
216.
▲
by
rntz
11y ago
> That is, suppose I have something that, semantically, I want to move into a function, and which the function later returns. I think I could also pass a `& mut` instead. That is exactly what `&mut` is for. An &mut gives you
217.
▲
by
rntz
11y ago
> I'm guessing aside form a dangling pointer GC doesn't offer much protection form a segfault? Correct. By using GC and banning free() you avoid use-after-free bugs, but not out-of-bounds accesses. Out of bounds accesses have t
218.
▲
by
rntz
11y ago
Decidability actually is optional; some folks experimenting with dependent type systems are bullish on giving up decidability (allowing type checking to fail to terminate in some cases). Typechecking is already 2^(2^PROGSIZE) for, say, ML.
219.
▲
by
rntz
11y ago
The best possible a language can be for a given situation is that the empty program solves the problem you're trying to solve. Obviously, in no language can the empty program solve all problems. QED, there is no language that is optima
220.
▲
by
rntz
11y ago
There is no magic other than the unfamiliar. The problem is not magic or the unfamiliar, it is complexity. A technique can be understood, and still a pain in the ass to use; then it is bad. This is of course subjective, by comparison with o
221.
▲
by
rntz
11y ago
> Women who write the software that runs on mainframe computers earn on average 72 cents per dollar earned by their male counterparts, according to research conducted by Glassdoor Inc., the online job information firm. Do they really mea
222.
▲
by
rntz
11y ago
I've just published a draft paper on an entirely different approach to the same problem: instead of creating a higher-order Prolog, we've discovered a functional (and so higher-order) analogue of Datalog, a more limited language (
223.
▲
by
rntz
11y ago
> I think my choice of the term "poker face" was a bad way of describing a certain kind of evasiveness which can indicate bad motives or bad people skills, either of which can make the person a bad hire. As a practical matter,
224.
▲
by
rntz
11y ago
A big long list of relevant but subjective traits is a perfect vector for bias to creep in. Take what you call "poker face", for example - how do you measure openness? By how well they make small talk? What if they're just ne
225.
▲
by
rntz
11y ago
That's a case of deflation due to hype, not due to anti-hype. The whole point of the original article is to avoid overpromising and underdelivering.
226.
▲
by
rntz
11y ago
> Anti-hype is perhaps more pernicious in bringing about an "AI Winter" than is drumming up interest in what AI, or more accurately AGI, will be capable of in the not-too-distant future. AI is massively popular in both industry
227.
▲
by
rntz
11y ago
Wrong article. You probably meant to reply to https://news.ycombinator.com/item?id=11288841
228.
▲
by
rntz
11y ago
You might wanna rethink that target date (April Fool's Day).
229.
▲
by
rntz
11y ago
The article could use a better example. "C++ templates are complicated and hard to write compared to straight-line imperative code" is not going to convince any functional programmers that imperative programming is nice, even if y
230.
▲
by
rntz
11y ago
Anecdatally, I'm a very top-down programmer, and also a discrete math & logic nerd, and I tend to prefer FP. I'm not sure why you think "math types" tend to work bottom up. Perhaps we mean different things by top-dow
231.
▲
by
rntz
11y ago
What do you mean by "strict semantics"? As a PL researcher, I associate "strict" with eager (as opposed to lazy) evaluation, but Go is eager, so you can't mean that.
232.
▲
by
rntz
11y ago
The linked article doesn't support your claim that brainstorming "emphasizes only communication abilities"; it only claims that brainstorming in groups is a worse way to generate ideas than to have people generate ideas indiv
233.
▲
by
rntz
11y ago
> This is the classic phenomenon of male friendship. Why do you single this out as an especially male phenomenon?
234.
▲
by
rntz
11y ago
Both. There's a massive bias in our historical records towards Europe. But Europe has also seen a lot of wars.
235.
▲
by
rntz
11y ago
Presbyopia and myopia are not opposite; in fact, you can have both at once! My mother has to wear bifocals for precisely this reason.
236.
▲
by
rntz
11y ago
There's some folks called I-Novae trying to do a similar thing, but making a space-fight simulator game on top as well, called Infinity: https://www.inovaestudios.com/Technology . I'd be curious to hear a technical
237.
▲
by
rntz
11y ago
> The point of the posted link is that worse is better than nothing. No, that's inaccurate. For instance, one example the article used to support WiB was that x86 (a CISC architecture) beat out RISC architectures. There were many RI
238.
▲
by
rntz
11y ago
Taken charitably, it sounds like the official is describing the state-level equivalent of operating inside an enemy's OODA loop (cf https://en.wikipedia.org/wiki/OODA_loop , brought to my attention and reasonably
239.
▲
by
rntz
11y ago
> All GC'ed languages still have issues of ownership, especially if threaded, This is not true. Ownership is only relevant in the presence of mutability. In a GC'ed language where most or all data is immutable, one rarely needs
240.
▲
by
rntz
11y ago
> All the stuff about the adolescent he may or may not have mocked is a red herring - I've followed this issue, and literally the only place I've heard it mentioned is articles defending Zucker. The article brings up many more
More ›