rntz

13 ms·

91.
by rntz 9y ago
> Humans aren't getting much smarter in general. It's actually possible that we are: https://en.wikipedia.org/wiki/Flynn_effect ; summary: "The Flynn effect is the substantial and long-sustained incre
92.
by rntz 9y ago
This works by executing Javascript code written by the user. Since these notebooks are shareable, and there is also a log-in feature, do any security features need to be put in place to prevent, say, someone linking me to a notebook that se
93.
by rntz 9y ago
> we don't have institutions at present that will allow people to explore the problem thoroughly What about academia? Academia is not a great environment for creating tools that people will actually use, which Eve was definitely try
94.
by rntz 9y ago
Building bridges is hard. But it's a lot easier now than it was five hundred years ago. There's no general reason to think hard things can't get easier.
95.
by rntz 9y ago
Your comment is inconsistent with itself. If LightTable's features "had been standard in IntelliJ, Visual Studio, and even Eclipse for years", how is that evidence that Granger et al were being overly ambitious? Wouldn't
96.
by rntz 9y ago
This mitigates spectre variant #2, branch target injection. We also have a mitigation for meltdown, namely KPTI. Is there a known mitigation for spectre variant #1, bounds check bypass? Maybe I'm being naive, but would a simple modulo
97.
by rntz 9y ago
Could you elaborate for those of you who don't quite understand? I understand the reference, but is there more to this comment than a joke?
98.
by rntz 9y ago
I'm reading "Against the Grain" at the moment. It's good, but James Scott (the author) is also clearly a little out of his academic comfort zone in it - Scott is a political scientist & anthropologist, not an archaeo
99.
by rntz 9y ago
It's not common in ordinary English, but perhaps it is common jargon among linguists?
100.
by rntz 9y ago
I'm actually the Datafun paper's other author, so folks can AMA if they're interested in Datafun. It's very interesting to me to see the connections and differences here: - Monotonicity Types and Datafun both track monot
101.
What is soundness in static analysis? (2017)(pl-enthusiast.net)
1 points by rntz 9y ago|0 comments
102.
Semilattices and their tensor products(rntz.net)
2 points by rntz 9y ago|0 comments
103.
by rntz 9y ago
This article is about Hy, http://docs.hylang.org/en/stable/ "A Lisp that runs Python" is kind of vague. Hy describes itself as "a Lisp-flavored Python". I'd call it "a lisp that compi
104.
by rntz 9y ago
I don't really understand what this abstract is saying. Can someone explain it for me? Are they trying to apply NLP techniques to software source code? To what end?
105.
by rntz 9y ago
Yes, that's why I said: "but then I have to think about rounding error. Ugh." Because integer division rounds. (Or truncates, if you prefer.)
106.
by rntz 9y ago
Huh, is this the stuff you're talking about: http://www.diku.dk/hjemmesider/ansatte/henglein/papers/henglein2011a.pdf http://www.diku.dk/hjemmesider/ansatte/henglein
107.
by rntz 9y ago
I'm tempted to suggest (low / 2) + (high / 2) but then I have to think about rounding error. Ugh. I guess you could write a bunch of nested `if`s to handle the parity errors, assuming you know how your language round
108.
by rntz 9y ago
The O(n log n) bound only holds for comparison-based sorts. It's not a matter of time; it's an assumption/precondition of the proof.
109.
by rntz 9y ago
To me the most interesting part of this article is the part that nobody else seems to be commenting on: the ability to automatically invert a function, even a programmer-defined function. That seems magical! What if I define a hash functi
110.
by rntz 9y ago
It can mostly be done. The OCaml programming language does exactly this - it infers co/contravariance. However, when describing a generic interface which has as part of it a function on types (usually called a "type constructor&qu
111.
by rntz 9y ago
I use "just" to mean "exactly"; I say "X is just Y" to mean "X is exactly Y; when you have Y, you have X and vice-versa". I guess it might be kind of off-putting, because "just" implies the
112.
by rntz 9y ago
> In computer science a lot of the things we are interested in are already reflected in the partial order induced by a category (i.e., subtyping). If by "the partial order induced by a category", you mean 'let A <= B if
113.
by rntz 9y ago
> Wow, that's a new word, "posetal". Does that mean "can be partially ordered"? Posetal means that Hom(A,B) has at most one element (the category is "thin"), and that any two isomorphic objects are equa
114.
by rntz 9y ago
See my other comment about co/contravariance as monotonocity/antimonotonicity. Since monotonicity is just functoriality when your categories are posetal, covariance is a special case of functoriality. More generally, you can see
115.
by rntz 9y ago
Covariance and contravariance are just monotonicity and anti-monotonicity, applied to types ordered by subtyping. That is: if we have a function on types , say, the function `f` defined by: f(x) = Int -> x Then we say `f` is co
116.
by rntz 9y ago
Yes, but they are familiar - or at least, not entirely unfamiliar - to English speakers because English has inherited a lot of vocabulary from Latin. Other European languages have, too, so maybe names like "reify" or "trans
117.
by rntz 9y ago
It seems to me Frege understood the need in mathematics to talk about many different kinds of thing - numbers, truth-values, functions, and so forth - and to distinguish which kind of thing you are talking about; but not the necessity to us
118.
by rntz 9y ago
The article title on the original site was changed from "... Confirms the Lead-Crime Hypothesis" to "... Bolsters the Lead-Crime Hypothesis", since "It's a good study, but it's still just one more study.
119.
by rntz 9y ago
Is there any reason not to teach children religious thinking? I would say there is no such reason. We should teach children many ways of thinking so that they can be versatile thinkers. I do not see how an argument beyond that point is need
120.
by rntz 9y ago
If this were true - if needing a good job for a good life predicted going into STEM among women - you'd expect poor women in western countries to flock to STEM training as well. Do they?

More ›