The problem is this makes for boring characters. I love it when I see more complex characters and their motivations. I know that's not exactly the Gandhi the movie makers wanted to portray, but maybe it would have made for a better story.
694 karma · joined September 8, 2010
https://joelburget.com
https://twitter.com/joel_burget
https://github.com/joelburget
The problem is this makes for boring characters. I love it when I see more complex characters and their motivations. I know that's not exactly the Gandhi the movie makers wanted to portray, but maybe it would have made for a better story.
In this case the problem seems to be an influx of new users that don't completely understand what the site's about. It seems to me the best response is to more actively encourage good commenting from new users. My suggestion is inspired by stackoverflow. Over there, below a certain karma threshold, users must submit their edits to be reviewed by others. It might be beneficial to do the same thing for, say, a user's first 10 comments. They would submit a comment, a more experienced user reviews it and gives feedback if necessary. That way new users are forced to learn a little bit about what the community values in a comment.
I think it will increasingly come to be recognized as important, as functional programming becomes more popular. I hope so at least.
His website: http://www.cis.upenn.edu/~bcpierce/
One thing I worry about is the reported downtime. I'm not sure whether or not that will affect a static site.
I also like this page as a more basic introduction to type systems: http://blogs.perl.org/users/ovid/2010/08/what-to-know-before...
"To resolve this, Russell introduced what is often viewed as his most original contribution to mathematical logic: his theory of types—which in essence tries to distinguish between sets, sets of sets, etc. by considering them to be of different “types”, and then restricts how they can be combined. I must say that I consider types to be something of a hack. And indeed I have always felt that the related idea of “data types” has very much served to hold up the long-term development of programming languages. (Mathematica, for example, gets great flexibility precisely from avoiding the use of types.)"
My friend and I spent a couple weeks just trying to get the developer tools to work. We tried on Ubuntu, OS X, Windows, and Arch Linux. We weren't able to get started on a single platform. In the process we came across bugs that were several months old that haven't been fixed, even on their supported platforms.
Another thing to worry about is whether NaCl will take off. We can't know how committed Google is and how many users will install the plugin. It was supposed to be enabled by default in Chrome 6 (I believe) but it still isn't enabled in 7.
NaCl is still promising (especially Portable Native Client) but Google has to get it working first.
Could you elaborate?