kd0amg

35 ms·

361.
by kd0amg 12y ago
It's no surprise that an HTTP library doesn't have issues with the lack of generics -- it shuffles text around. Reusable data structures are the obvious case for genericity, and I don't see many in the docs. Once you have a h
362.
by kd0amg 12y ago
This is still the first place I look when I'm trying to remember what bits and pieces go where in building a #lang.
363.
by kd0amg 12y ago
People more likely use custom types anyway, and only have to create operations on those custom types ( except maybe for go language designers themselves). People developing whole applications use custom types. People developing libraries
364.
by kd0amg 12y ago
I've always seen rent defined as payment collected in excess of the seller's cost to make and hand over the product (not the whole product line, just the individual item). In a perfectly competitive market, price is driven down to
365.
by kd0amg 12y ago
You know what's the problem with boring code? It's boring. This means its information content is low, and its abstraction level is low. This means that you need more of it to express an algorithm. When you have a lot of wordy, bo
366.
by kd0amg 12y ago
uglier and more complicated because you're constructing a proof of something It's rare for the programmer to actually produce proofs that a piece of code meets the spec given by its type[1]. Those proofs are generally produced b
367.
by kd0amg 12y ago
The ranking here is about research output, not quality of teaching.
368.
by kd0amg 12y ago
That doesn't mean UIUC outclasses Chicago in any given subfield within CS.
369.
by kd0amg 12y ago
Is it really a trademark violation if you haven't modified the binary at all? If I wrap a MacBook's casing around some different hardware and try to sell it as a MacBook, that's pretty shady, but if I have a stock MacBook, I
370.
by kd0amg 12y ago
A lot of people have said it. They develop a mental model that is a rough approximation of its semantics, see that their mental model is simple and conclude that the semantics itself must also be simple. Then other people write articles lik
371.
by kd0amg 12y ago
I've never heard of US cabbie licensing including any sort of "are you actually good at this?" check.
372.
by kd0amg 12y ago
For more info, see: http://www.foreignlaborcert.doleta.gov/pdf/H-1B_Selected_Sta...
373.
by kd0amg 12y ago
Does it? Nobody considers it "cynical" to not give the pizza guy the key to your house.
374.
by kd0amg 12y ago
I'm still a little unclear on what language extension looks like when you want to do things other than adding new procedures. Do you have any examples of manipulating evaluation order (like choosing to evaluate arguments right to left
375.
by kd0amg 12y ago
I was under the impression that it was usually done by duress, not deception.
376.
by kd0amg 12y ago
Why is that different from reduced demand? Sexism reduces the amount people are willing to pay for the labor of the supposedly-inferior sex.
377.
by kd0amg 12y ago
Using C or Python or Perl does not automatically keep people from failing to check whether some code that reaches out into the environment to prepare for later action actually succeeded.
378.
by kd0amg 12y ago
I think by and large most engineers understand what the game is and where most H1Bs are going. Do they? Every discussion of this issue I've seen has had loads of engineers who don't work in body shops saying that they've ne
379.
by kd0amg 12y ago
Boxy types, HMF, and bidirectional (older but more recently applied to parametric polymorphism) all leverage partial annotations to handle a more flexible parametric polymorphism than HM itself allows.
380.
by kd0amg 12y ago
Plenty of them do give algorithms/code.
381.
by kd0amg 12y ago
The ones I've been paying attention to are data parallel programming systems and type inference algorithms (simpler ones than MLF).
382.
by kd0amg 12y ago
It might just mean that they publish in the same places and just check a box that says "our funding agency mandates open access" when filling out the copyright license/transfer paperwork.
383.
by kd0amg 12y ago
More likely, new languages realize that they are the new thing and that (a naive mental model of) C is the established lingua franca of programming.
384.
by kd0amg 12y ago
Yeah, some things are so common and small as to not merit their own name except in a tutorial. It might be fun to try using those to construct really garden-pathy code. Stick the fork `+/%#` (average when used on its own) somewhere in
385.
by kd0amg 12y ago
Do user functions and if statements vectorize? In J, user-written verbs have rank _ _ _ (infinite for both unary and binary cases) by default, but you can rerank them with the " operator just like any built-in verb. Why do I see so
386.
by kd0amg 12y ago
One of the things that annoys me most is when people suggest that the power of array-oriented programming is in having a boatload of built-in array processing functions with short names. As noted in the article, that kind of thing is simple
387.
by kd0amg 12y ago
J's notation is a bit problematic for anything that has completely separate phases for translation and execution. An identifier may stand for a noun (array), verb (first-order function), adverb (unary second-order function), or conjunc
388.
by kd0amg 12y ago
Yes, it would have been hard for them to predict that anybody would decide to tackle that particular task. The question from GP is about a much broader range of tasks.
389.
by kd0amg 12y ago
There's a difference between protecting people from themselves and protecting people from each other. There already exist laws restricting where people can smoke in the interest of making it easier for non-smokers to reduce their expos
390.
by kd0amg 12y ago
Are you sure dynamic types have nothing to do with static types? "Static type" does not really mean "class of values." That is a common use of static types, but they can also be used for things like tracking what resou

More ›