nmrm

13 ms·

241.
by nmrm 12y ago
This SO post does a decent job and answering this question: http://stackoverflow.com/questions/2672791/is-functional-gui... It's also worth noting that frameworks such as Java's Swing are somehow functio
242.
by nmrm 12y ago
Perhaps. But being "on call" 24/7 to deal with emergency situations should not never be an implicit expectation.
243.
by nmrm 12y ago
The crucial factor here is that the CEO wanted him to be available for support outside of working hours, beyond the scope of his contract. In fact, beyond the scope of any legal Belgian employment contract! Your argument seems to be that si
244.
by nmrm 12y ago
It looks like there's at least some administration involved in the assignment. See the notes section of this table: http://en.wikipedia.org/wiki/List_of_Internet_top-level_doma... For instance, if you register for
245.
by nmrm 12y ago
I found a full(?) list of gtlds as well as other "top-level suffixes" here: https://publicsuffix.org/list/effective_tld_names.dat I found this via the Chromium source code (search term gtld). Specifically, h
246.
Mozilla Public Suffix List(publicsuffix.org)
1 points by nmrm 12y ago|0 comments
247.
by nmrm 12y ago
Sounds like it's time to found a new nation-state. National exports will include whatever I happen to sell on Ebay that year, and millions of dollars worth of domain names :-)
248.
by nmrm 12y ago
> I've always been interested in how much math various careers use > ... there are ~1000 subcategories of computer programmers. I'm curious: what about other careers? Are there fewer categories? Do they all do the same type
249.
by nmrm 12y ago
> but having multiple contexts is even better. Given the investment necessary to make this jump, I believe that the benefit outweighs the cost for most.
250.
by nmrm 12y ago
> when I program Haskell, Agda, Isabelle/HOL, or Coq. That's fair. Although Haskell is a bit of an odd man out in that list, both in terms of its nature and in terms of its typical use case. > That being said, depending on w
251.
by nmrm 12y ago
Yes. But my more important point is that you can tach about these mappings in isolation, in the context of functional programming. No Category Theory needed. You can teach about "different sorts of mappings" in just about any sett
252.
by nmrm 12y ago
I think you misunderstood my criticism. "Different sorts of mappings" is NOT synonymous with "category theory". Not even close. Heck, Euclid knew about "different sorts of mappings". Most everything in Gamma et
253.
by nmrm 12y ago
> Abstract algebra and category theory are likely relevant, especially for metaprogramming. In general, the whole "oh yeah CS people should know some category theory and abstract algebra" is pretty hilarious. First, it's a
254.
by nmrm 12y ago
This was a particularly interested/relevant excerpt from Wells. I think of the open source ethos as one small example of what he's calling for in the second paragraph: I object to this simplified classification of mankind into poo
255.
by nmrm 12y ago
The author concludes that he made a very modest profit, which only counts as a net loss if a one-time fee to Paypal is counted. Is there a way to put money into a Zidisha account without paying processing fees? What's the cheapest way
256.
by nmrm 12y ago
This was absolutely fascinating. The use of Microsoft's own dictionary to pin down definitions was particularly interesting. I'm no Microsoft fan, but I have to agree with the general sentiment that this use of dictionary definiti
257.
by nmrm 12y ago
Overall, the presented example demonstrates that anyone -- including and perhaps especially salesmen -- can write a god-awful sales pitch if they don't understand their audience. The Unix book states its value in the title (if you don&
258.
by nmrm 12y ago
> Which claim is that, exactly? A "This difference in how syntax is understood actually presents a barrier to programming for modestly trained mathematicians, who would otherwise be expected to excel." > And are you implying
259.
by nmrm 12y ago
If a == b iff a === b, then == ~ ===. If == and === are different (which they presumable are, because otherwise we would only use one symbol) then by definition there exist counter-examples of the thing you were trying to _always_ satisfy.
260.
by nmrm 12y ago
The postscript is irrelevant to the claim made in the original post on this thread. It's a conflated example and not indicative of real programming. if "get" returns different values when called multiple times within a single
261.
by nmrm 12y ago
> If anything, mathematicians are incredibly used to overloaded equals operators. That's my point. The == sign meaning many things is unsurprising (and key to this "hack"), whereas explicitly using two different symbols fo
262.
by nmrm 12y ago
>This difference in how syntax is understood actually presents a barrier to programming for modestly trained mathematicians, who would otherwise be expected to excel. Although this is true in general that syntax can be a barrier to entry
263.
by nmrm 12y ago
> do we see the same trends in that there is a high-level in Mathematics where new theories are being created but a lower level where a large amount of people use tools to apply these new theories? Definitely. If you allow more longer-ru
264.
by nmrm 12y ago
What do you mean by creators? I know very few people who don't create something. Most people do so at their jobs, and those who don't usually have a hobby or two (sewing/knitting, hobby construction projects around the home,
265.
by nmrm 12y ago
> we theoretically teach every single American student how to write, has that caused an increase in high quality literature being produced? Maybe, who knows? How many American authors would have been illiterate if we didn't cast a w
266.
by nmrm 12y ago
> Critical thinking is required to come up with a solution to a unique, never solved before, problem. 1. Perhaps I'm being slightly too liberal with my use of the word rote. But by "rote programming", I mean the sort that
267.
by nmrm 12y ago
http://goto.ucsd.edu/~ravi/research/oopsla12-djs.pdf
268.
by nmrm 12y ago
>That said, if dependent typing takes off, no doubt we'll see languages that fuse it with C-style syntax soon after, just as we saw with OOP and basically every other thing since. Indeed, type systems for (actual) Javascript are oft
269.
by nmrm 12y ago
It's not hard to imagine rote programming becoming a universal skill among high school graduates. I could even see this happening within our life-times; it's really only a matter of societal will and available teaching staff. The
270.
by nmrm 12y ago
Edit for down-voters: I'm not trolling/insulting (people who post on) internet boards. I'm hypothesizing that on most topics (esp. politically charged topics, which tend to rely on hard-to-assess factual claims), a high-quali

More ›