gdp

28 ms·

241.
by gdp 17y ago
> The number of lines of code that a programmer can write in a month tends to be a constant independent of language Says who? Ignoring the fact that LoC is a terrible metric for measuring anything except the amount of paper it would
242.
by gdp 17y ago
I can't help but notice that this does nothing to answer the question, which was about how to decide between any two languages, with Python and Ruby given as examples, rather than "What language should I use for web programming?", which a
243.
by gdp 17y ago
There are probably two dimensions to this: 1) Whether the features and capabilities of the language match the task 2) Your familiarity with using a given language for a type of task. There might be a third, somewhat less tangible concept of
244.
Sources of inspiration and interesting directions for programming languages(plsadventures.blogspot.com)
9 points by gdp 17y ago|3 comments
245.
by gdp 17y ago
But you're describing a well-known intractable problem in computability. Finite-length tape doesn't make the problem any easier to solve, especially within the sorts of time limits that would be acceptable to users of static parsers. E.g.
246.
by gdp 17y ago
That's fine, but even the ability to link one distinct user to your behaviour on the site may be valuable data for the site.
247.
by gdp 17y ago
> You are rationalizing. Uh, sure, if by "rationalizing" you mean "explaining why my opinion is valid". You're make it sound like I have a drug habit or something. I skipped some classes in university, I'm glad I did, and everything
248.
by gdp 17y ago
Why does it need to be a real implementation of a turing machine? Why does the (hypothetical) turing machine need to be implementable? The thing is, if you can contrive a halting oracle for a machine with a tape of length n , then I can
249.
by gdp 17y ago
In providing a (usually) free service, there is some understanding that you will provide certain genuine information about yourself in exchange for that service, in the form a registration/signup. By using a generic account, you are circum
250.
by gdp 17y ago
Mildly unethical at the very least, in breach of terms and conditions in the average case, criminal in the worst case (depending on the laws of your country around unauthorised access to computer systems). This isn't a specific criticism of
251.
by gdp 17y ago
I think that's making it sound a little more fragile than it actually is. Within a system like Isabelle, the formalisation of each piece of the proof must remain relatively consistent with both the built-in proofs about fundamental mathemat
252.
by gdp 17y ago
OK, I'm not sure I agree with that in the general case either, but that still wouldn't be important to the proof. We can safely assume infinite tape and then the proof is fine. If you think we must implement the turing machine in order f
253.
by gdp 17y ago
Yeah, me too. "You won't make a difference, so don't bother trying" seems a rather dull way to approach life.
254.
by gdp 17y ago
Is there something wrong with an ideological boycott? If the "cost" to you of the boycott is less than the perceived importance of the issue, why would you continue to use something even though you disagree with it? The nice thing about a
255.
by gdp 17y ago
And? That doesn't change the result. Whether you can implement the turing machine or not is irrelevant, it's simply that you are able to frame the problem as "does this halt?", which is unanswerable in the general case. "Running out of st
256.
by gdp 17y ago
Except you know what happens as soon as you send an IT recruiter a PDF resume? They call you five minutes later to ask if you can re-send it as a word document.
257.
by gdp 17y ago
I think you're still fundamentally understanding what makes a specification different from "code". A specification is to a program as a building plan is to a house. I spend less effort on drawing the plan that I do into the house, although
258.
by gdp 17y ago
Ditto on the last point. It doesn't seem to be about hardware compatibility as such, rather some intangible "openness" quality. If I were interested in the openness as an inherently valuable trait, then I would probably care about other t
259.
by gdp 17y ago
What about the days when large-scale free hosting provides ruled the internet? Geocities? An infrastructure disruption at a large colocation provider would probably cause just as much inconvenience to users. Attacks against root name serv
260.
by gdp 17y ago
My assumption would be that the main difference is the formal proof, and whatever changes were necessary in order to permit formal verification (i.e. they may have changed behaviour in order to make the implementation actually meet the abst
261.
by gdp 17y ago
But URL shorteners aren't really that much more fragile than non-shortened URLs. Sure, the scale of the problem could be larger, but URLs go away all the time. I doubt even a small fraction of the shortened URLs that would go away as a re
262.
by gdp 17y ago
How is this particularly different to any other time in the history of the commercial internet? The scale of attack that is required to completely bring down any of the large services that we use on a daily basis are so large that they coul
263.
by gdp 17y ago
Are we still recommending the Dragon Book? I have a copy on my desk, but I got a lot more out of Modern Compiler Implementation in ML, I felt. The Dragon Book covers a lot of ground, but I don't think it really goes far enough towards bei
264.
by gdp 17y ago
Jokes aside, there is a very good page on the project site called "What we prove and what we assume" http://ertos.nicta.com.au/research/l4.verified/proof.pml I think it's very good in terms of being very honest and up front about the limi
265.
by gdp 17y ago
> The evolution of seL4 is continuing within NICTA, and it is the basis of ongoing research activities here at NICTA. However, it is also the subject of commercialisation activities, and thus is currently proprietary Darn. I wanted t
266.
by gdp 17y ago
It really depends on your objective. If you want to be able to go out and score yourself a coding job and earn money quickly, any one of PHP, Ruby or Java would be ideal. If you want to become a good enough programmer that it becomes prett
267.
by gdp 17y ago
I've become really jaded about any ad-supported sites (putting my amateur musician hat on). The amount of effort I have to put in just to get my music onto them is hardly justified by the pittance I eventually get back. These days, I don'
268.
by gdp 17y ago
That really depends what the objective of going to a university is: Mine was actually to understand . This is largely incompatible with the notion of covering a large amount of material which you need to regurgitate near-verbatim in an ex
269.
by gdp 17y ago
I like the idea. I have a horrible signature. I'm not sure I would part with real money for a better one, but I like the idea. What I don't like is the front page of the site. The text there basically conveys nothing. I had to re-read th
270.
by gdp 17y ago
This is what I was thinking of (I misspoke, it's a presentation, rather than a paper), but I recall seeing more than just an abstract somewhere. Perhaps I was reading commentary: http://lambda-the-ultimate.org/node/3186 From what you've

More ›