chwahoo

15 ms·

31.
by chwahoo 13y ago
Maybe worth a look for you: https://github.com/orfjackal/retrolambda
32.
by chwahoo 13y ago
Those VPN services better pony up to Verizon then. ;)
33.
Trove Is a Treasure for News Junkies(bits.blogs.nytimes.com)
1 points by chwahoo 13y ago|0 comments
34.
by chwahoo 13y ago
The article said that the site required Yale credentials to view the information.
35.
by chwahoo 13y ago
With the mouse sidebar, I think you meant terminal velocity (not escape velocity).
36.
by chwahoo 14y ago
I don't think that post makes the argument you're objecting to. The author was just noting that advocacy for the GPL's version of "software freedom" has been attacked in the past by Microsoft and in the present by Canonical using oddly sym
37.
by chwahoo 14y ago
To backup the original poster, one of OCaml's stronger communities focuses on program analysis for C programs (using the CIL library http://www.cs.berkeley.edu/~necula/cil/ ) and SMT solvers like Z3 are also widely used in that community,
38.
by chwahoo 14y ago
For those that wonder what they're seeing, this book is about writing functional programs and proving them correct. This is done in the context of a dependently-typed language called Coq. An example of a dependent type is having a functio
39.
by chwahoo 14y ago
Why would a semi-anonymous comment require guts?
40.
by chwahoo 14y ago
If the author's open-source credentials are part of his argument, then he needs to make them part of the story he tells in his article. He shouldn't assume that people will connect the dots (he doesn't have the name recognition of a Torval
41.
by chwahoo 14y ago
Why does it matter who you are? I've tried to respond to what you wrote. Why do you think most of the software we build now is like putting a man on the moon? I think it's nothing like that. Maybe I should read Brook's book (I've enjoyed
42.
by chwahoo 14y ago
This article reads like an old timer feeling left behind by the current rate of progress who thinks that the problem is really that the rest of the world is doing it all wrong. He's probably right that lots of software could be designed bet
43.
by chwahoo 14y ago
For most idealistic -isms, I doubt any implementation could exist that would satisfy the -ism's true believers (particularly since those implementations would have flaws that would need to be disclaimed).
44.
by chwahoo 14y ago
Accepting Yegge's framework for purposes of this response: Haskell is beyond conservative, but it does take great pains to try to address the reasons that people might want a more liberal language. However, it's often really painful to get
45.
by chwahoo 14y ago
This doesn't match the text on the site: "If the ticket is found to be offered for resale above face value we may invalidate the barcode and refund the ticket price."
46.
by chwahoo 14y ago
Hasn't Groovy always been a compiled language?
47.
by chwahoo 14y ago
I found through Google right away by searching for the title--first hit.
48.
by chwahoo 14y ago
I was only confused about your post :).
49.
by chwahoo 14y ago
You can change the aperture in this simulation. Perhaps it was just grayed out since you were in shutter-priority mode?
50.
by chwahoo 14y ago
> I bet this better C will arise in a few years at max, and it is not going to come from academia. I take this statement to mean: Academia is failing us by not providing us with the next generation C. If that was the intent, I think it
51.
by chwahoo 14y ago
I think the friction of reporting could be replaced with slicker access to information. For example, a taskbar or smartphone widget that tells you how many calories you have left to consume, some sort of UI giving you information as you ar
52.
by chwahoo 14y ago
This seems to be a big leap from the current events. But, indulging the leap :), why would you want it to be a new language? Phones are getting fast - why not python or ruby? (Or Scala, Dart, ...) However, I don't think Java is a bad lang
53.
by chwahoo 14y ago
I do agree that Dropbox's wording is much friendlier, but I attribute most of the difference to Google having big plans (e.g., searching and sharing) and being careful that their terms will permit them. I suspect a big part of this is Goog
54.
by chwahoo 14y ago
I'm surprised that CS doesn't bring in enough funding to justify itself on those grounds alone. I'm a CS grad student, but I'll confess that I don't know much about UF's program. As for article asking the reader to imagine the outcry if th
55.
by chwahoo 14y ago
I suspect that people are interested in an article about Valve's culture not (just) because they'd want to work at Valve, but also to take its good ideas and use them elsewhere. I think talking about how one of those ideas worked well or p
56.
by chwahoo 14y ago
Looks promising, particularly for the Todo-list type webapps which I suspect could be implemented to run entirely on the client. Are there any apps in particular that you'd recommend I look at to see what your platform can do? I think a fu
57.
by chwahoo 14y ago
This is close to what we'd want to replace the business model of a bunch of sketchy startups. Startups with nice "todo"/personal data apps, etc. (cases where it's silly for the user to put their data in strangers' hands for no apparent reas
58.
by chwahoo 15y ago
I had a chance to speak with a Google engineer about this not long ago. They said that Chrome was meant to be cloud-centric, whereas Android focuses more on Apps. (A bit of an oversimplification, but generally accurate.) My take: ChromeOS
59.
by chwahoo 15y ago
Actually a site like this, which offers a nice, free experience on which nobody is dependent (or entitled) is a great venue for Google to push users to upgrade their browsers.
60.
by chwahoo 15y ago
It's also worth noting that most of PL research does not focus on simply designing new languages. For work that does propose new language features/constructs, it is typically done within the context of a small lambda-calculus/ML-style lan

More ›