kd0amg

55 ms·

541.
by kd0amg 14y ago
The notion of scope as an integral part of mathematics is a particularly interesting suggestion. Mathematics is the study of abstract, quantitative truths (and falsehoods), and these truths, being universal, have universal scope (although
542.
by kd0amg 14y ago
The idea is - if the reader doesn't grok direct products or cyclic groups, he's fucked anyways, so why bother ? And if he does grok them, why impose cognitive overload by spelling it all out in great detail, just use 1-character symbols an
543.
by kd0amg 14y ago
If one believes that they are incorrect, he is effectively stating that he (someone thinking abstractly in the absence of any hard data) is better at pricing the value of the work than the manufacturer (who is directly affected by the outc
544.
by kd0amg 14y ago
Most phone plans I've seen offer free domestic calling on nights and weekends (i.e. not typical business hours).
545.
by kd0amg 14y ago
I remember setting up three-way calls like this when I was a kid (and had a landline... not sure it would work with a cell phone).
546.
by kd0amg 14y ago
Without copyright protection, it would be pretty easy to interfere with two of the Four Freedoms.
547.
by kd0amg 14y ago
I don't see why an objective ordering of programmers by competence would have to be a total ordering.
548.
by kd0amg 14y ago
Depends how "alternative" those candidates are -- it might convince more people that they can vote for their actual favorite instead of issuing a strategic vote for whichever of the two major-party candidates they find less objectionable th
549.
by kd0amg 14y ago
And the papers I've read about array languages don't base their languages on Q. I haven't done much reading on theorem provers, but I suspect I'll see a lot more papers about things derived from ACL2 or Coq than from Z3.
550.
by kd0amg 14y ago
I think it would be better worded as this: if you create a port/version/mod of Shen, it must be able to execute spec-compliant Shen code. Who decides whether a language I come up with is a port/version/mod of Shen? How much of Shen's feat
551.
by kd0amg 14y ago
free enough as an academic language Constructing derivatives of other languages is a pretty common thing for PL academics to do.
552.
by kd0amg 14y ago
She also doesn't address the difference between reading a ready-made snippet of code and producing syntactically valid code, and it's not exactly self-evident that removing Scratch's block/puzzle-piece "grammar" won't lead to more trouble p
553.
by kd0amg 14y ago
I guess "APL" in that context means "Applied Physics Laboratory."
554.
by kd0amg 14y ago
I've been working on a guaranteed-terminating language in the vein of APL/J. Primitive recursion is possible, but with the looping all implicit due to array shape, infinite looping is impossible. The issue I'm not sure how to handle is that
555.
by kd0amg 14y ago
But if someone wants to reassemble individual sentences into paragraphs, as anyone knows who has tried to reassemble lines into paragraphs (as with an e-mail in its delivered form), it's nearly impossible to get right. Is it? I haven't se
556.
by kd0amg 14y ago
Intel Core architecture has a stride prefetcher, but it will not prefetch across page boundaries (which you hit pretty often with a 1k step size).
557.
by kd0amg 14y ago
Only if you spent enough time on that page to read its contents.
558.
by kd0amg 14y ago
I am curious to know if there is any use for "this function is likely to terminate" inside static analysis. Well, something like "this condition is likely to be true" could help give an estimate for whether a loop will run many times, whi
559.
by kd0amg 14y ago
There exist type systems that can handle "strong" (i.e. type-changing) updates, but the ones I know of will only permit it for unique (linear/affine) references. You might be able to take advantage of the guarantee that properties are not b
560.
by kd0amg 14y ago
I think I might have gone for something more like -.-. --.- -- .- .-. ... -.-. --.- -- .- .-. ... -.-. --.- -- .- .-. ... -.. . .--- .--. .-.. -.. . .--- .--. .-.. .--. ... . -.-
561.
by kd0amg 14y ago
And apparently, "This Site Totally Doesn't Work Without JavaScript."
562.
by kd0amg 14y ago
They highlight what I would call a limitation in other array languages. Octave (and I would expect MATLAB as well) allows scalar operators to be lifted to multidimensional arrays only if one operand is scalar or both have the same dimension
563.
by kd0amg 14y ago
the downside is that only array operations that are supported this way are the ones that are anticipated by the language designer. … I occasionally think of picking up an APL-derivative like J to play with. You really should -- it provide
564.
by kd0amg 14y ago
If what it has are a handful of special cases baked into the language, saying the language supports it is probably overselling (similarly, having types like `float[3]' doesn't mean we consider C as supporting dependent types).
565.
by kd0amg 14y ago
However, I'm not sure it's of wide interest to HN. As far as I can tell, I'm the only one here who likes NFL football. HN users probably aren't much into football, but they do seem to enjoy finding out about strategy involved in things th
566.
by kd0amg 14y ago
The patent system is meant to reward inventors, including inventors who don't have the capital for commercial manufacture of their invention (i.e. by licensing it to someone who does).
567.
by kd0amg 14y ago
Though I do wish there were an APL embedded DSL for Lisp. I've been working on something like this in Racket, but I'm still exploring the design space (though I worry that I'll spend too much time doing this and never actually be satisfie
568.
by kd0amg 14y ago
I'd at least keep "Click on an app group and Foreman closes all apps not in that group and opens the apps in the group."
569.
by kd0amg 14y ago
I haven't thought this through at all, but what is problematic about students finding out their admission results before whatever magical date? At first glance, it doesn't seem like the students are worse off (they have more time to plan/ac
570.
by kd0amg 14y ago
If I remember the presentation I saw on this, some don't even verify firmware updates. http://ids.cs.columbia.edu/sites/default/files/CuiPrintMeIfY... http://engineering.columbia.edu/can-you-trust-your-printer

More ›