alimw

34 ms·

361.
by alimw 10y ago
Better idea: never look at the comments under any Guardian article.
362.
by alimw 10y ago
What do you mean? The argument revolves around a test (of angle of refracted light) that is falsifiable and repeatable.
363.
by alimw 10y ago
This is great! Now please extend it so that I can type in a system of equations and have it search the whole of the literature :)
364.
by alimw 10y ago
You know, there's at least a chance that noone will ask. A lot of employers won't read your CV too carefully, and then at interview, if they like the look of you, will only hear what they want to hear. Of course you could argue t
365.
by alimw 10y ago
> Similarly, even though you might think Google sounds like a programmer-friendly company, there are programmers and then there’s the people who are closely tied to 1% improvements in AdWords click-through rates. (Hint: provably worth b
366.
by alimw 10y ago
The world would be a better place if everybody took the effort to make their point with precision, simplicity and clarity. However the truth in many situations is that if person A spends an hour constructing a beautifully worded five-liner,
367.
by alimw 10y ago
I suspect you overestimate the extent to which your programming experience would translate to formal studies. Unless you're some sort of genius (possible of course), you'd be extremely optimistic to embark on a degree hoping to f
368.
by alimw 10y ago
I'm sorry to hear about your friend-of-a-friend†, but it's crazy to suggest that's meaningful data in isolation. Most of us have known people, or know people who have known people, who have killed themselves; they come from
369.
by alimw 10y ago
Many of those secondary sources contain valuable information. That you read some stuff in the original doesn't make you more of a philosopher! Probably that appellation should be reserved for those who have made an original contribut
370.
by alimw 10y ago
It is only in the space of "mixed strategies" that there need be an equilibrium. And in many (most?) cases it is not at all clear how a mixed-strategy equilibrium might come about. Therefore Nash's result is more limited th
371.
by alimw 10y ago
> It's really hard to get upvotes, especially on sensitive topics. It's kinda crazy what people here are "sensitive" about! For example, today I have managed to offend Hacker News by questioning the universality of m
372.
by alimw 10y ago
Anyone who's bought recently with a full mortgage will experience a burst bubble not as a haircut but as a plummet into negative equity. I suppose you could argue that they took on the risk, and other such risk-takers have made big pr
373.
by alimw 10y ago
I must be thinking of a wider range of systems than you are.
374.
by alimw 10y ago
Well it'll be 49 minutes in 2026 if HS2 goes ahead. (Waste of money though if you ask me.)
375.
by alimw 10y ago
I disagree entirely. Systems that have proved amenable to mathematical analysis remain relatively few. Pick any one book that aims to describe some aspect of the world; chances are it won't contain a single formula.
376.
by alimw 10y ago
Clojure's most recent builds include "spec". http://clojure.org/guides/spec
377.
by alimw 10y ago
Even in a field you might think "opinion-free" (like Mathematics) I'm sure there are big differences in approach.
378.
by alimw 10y ago
The original essay is about War and Peace. Therefore read War and Peace first of all :)
379.
by alimw 10y ago
That's not a chi, it's a calligraphic X. $\mathcal{X}$ in LaTeX.
380.
by alimw 10y ago
> England is so lovable now though. Clearly you feel that anybody of this opinion is in error. Does everyone who posts an article about the nastiness of the (historical) British Empire feel the same way? There are quite a few come up o
381.
by alimw 10y ago
From your reference: "The 'line of purples' across the bottom represents colors that cannot be produced by any single wavelength of light." The GP is suggesting that fuchsia is special, but surely what he/she said
382.
by alimw 10y ago
> HFT reduces spreads. End users end up benefiting from lower prices. Is this really true? It's hard to understand how the fact that one guy can trade with a delay of two microseconds instead of three will benefit the market as a w
383.
by alimw 10y ago
Thanks but I only wanted to point out that there is a real dichotomy between an implementation and its proof of correctness, even up to isomorphism. But I maybe misunderstood what was being discussed!
384.
by alimw 10y ago
I skimmed the subsequent chapter to its end where program extraction comes up. It is invoked on a function called tcompile, defined on page 35. Meanwhile the theorem about the correctness of tcompile, called tcompile_correct, has only bee
385.
by alimw 10y ago
In French you don't really stress individual syllables at all. According to Wikipedia [1], "only the last word in a phonological phrase retains its full grammatical stress (on its last syllable unless this is a schwa)." [1]
386.
by alimw 10y ago
> This is possible because of a false dichotomy in your post: thanks to the Curry-Howard isomorphism, proof IS implementation. From your own reference (section 1.3), "a correctness proof for a program [may have] a structure that doe
387.
by alimw 10y ago
This does surprise me (I never studied computer science). Isn't Theory A mostly about efficiency of implementation? In the real world, surely the ability to model a problem domain well and to map it into code neatly (Theory B) is goi
388.
by alimw 10y ago
That's harsh, but you have a point. The OP's biggest problem may yet prove to be that he or she has developed an ego too easily dented.
389.
by alimw 10y ago
It's true that the article doesn't describe the initiative as imperialist in so many words, but it does portray it as such in the sense of putting "imperial or sovereign interests over the interests of the dependent states&qu
390.
by alimw 10y ago
While you're in the dictionary you might look up the word portray.

More ›