skysight-inc/HackerNews huggingface dataset:
The term type actually originates way before that, the 19th century meaning is "category with common characteristics", which is how we use the word in normal discourse (Python is a type of programming language....).

Bob Harper has adopted a very narrow definition of type based on one discipline, type theory, but the word "type" itself is much more general than that. I definitely use the word "type" when talking about my Python programs, even if there are no static type theoretic types to be seen.

In a dynamically typed language, your proofs are checked at run-time, which has everything to do with types! Getting a type error at run-time is much better than having the program keep going and produce a wrong result (if it doesn't core dump via memory corruption first).

Dynamic dispatch doesn't even play into it.
Basically, I meant what ufmace said - it would likely cause a lot of social problems, and a lot of advancement of thought comes about due to the old generations dying off, and new generations coming of age in the new environment. The new group is always better adapted for the new environment of that later era than the old one is (an easy current example of this is the difference between baby boomers and teenagers when it comes to facility with computers)

Adaptability is the thing that has enabled humans to thrive to this point, and immortality would cause a serious dent in our adaptability, unless we also gained the ability to easily radically alter our worldviews, unlearning the concepts that cemented themselves in our brains during our adolescence.

Immortality could be very bad for the country that invents it, as they quickly relics of the past.
I too have had to maintain PHP code that I've since replaced with Scala, and our Scala production cycle has gotten quite fast indeed. The thing about Scala is: the compiler is the worst, slowest part of the language by far, and admittedly frustrating. But I've also found it's not a deal-breaker. Particularly, using it with the Play framework gives you request-triggered recompiling, so you can go through the change code-browser reload-change code process just like you do with PHP. And the iteration happens just slightly slower than with PHP. But you get the benefits of static typing which guarantees program correctness unlike PHP. The lack of this guarantee means PHP is actually not as productive as people say. If something compiles at all in Scala it tends to work the way you intended, and you don't have to go through some user flow or interaction in order to find whether or not the change you made works. Obviously, sometimes you do, esp. if you change front-end js. But most of the time I have found I don't, provided that the program compiles.

So I'm not buying this argument from Adams that the PHP iteration is necessasrily faster. It definitely used to be that way, but I think other languages have caught up.

We are churning out complete web services two or three at a time in 6 person shop, every month or so. We weren't as productive in PHP. Maybe that's just us getting better as programmers, but I also think it has a little to do with the bugs and other things caused by the lack of static typing and various language quirks.

Plus, Scala has access to the entire Java ecosystem, which is arguably as or more mature than the PHP ecosystem. So I don't spend a lot of time reinventing the wheel, as the Facebook engineers have done with their custom framework.
As of 11:58PM CST, that web page says:

"Want to be a part of the network? Awesome. But for now, we’re invite-only. You can apply for an account below, and we’ll send an invitation when we’re ready."
> I just can't believe that Netflix & Co would rather ruin the web

People keep repeating this. How is it ruining the web to remove the requirement for crappy (and, at this point, end-of-lifed) browser plugins in order to play Netflix content? The only reason I, and I suspect most people, even bothered to install Silverlight was for Netflix. If I can get a pure HTML5 video-watching experience with no browser plugins, and get Netflix content, that is unambiguously a win for users everywhere.

You're acting like DRM didn't exist on the web prior to EME, and would continue not existing without EME. That's flat-out wrong. It existed and continues to exist using proprietary software that is shoved down users' throats.
White boy shreds up 32 bar rap
16 year old rap/hip hop artist from Colorado layin down crazy bars
"Never trust a computer you can't throw out a window." - woz
Gentoo has a whole wiki page[1] detailing the pitfalls of bundling libraries.

The biggest downside is that updates to shared libraries, done incorrectly, can break applications. That said, modern package managers allow an application to list what versions of a library is or isn't compatible with.

It'll be interesting to see if anyone ever comes up with a good solution that mixes the strengths of mobile platforms' security model and modern desktop package managers together. It seems quite nontrivial. (Does the library inherit the permissions of the app? Does it have it's own? what if I push malicious code in an update? Bundled prevents having to think about these problems.)

[1]: http://wiki.gentoo.org/wiki/Why_not_bundle_dependencies
Right... not exactly open to the public.
>> The end goal is, and always has been, to give the U.S. govt unfettered access to all communications of its citizens<< I sort of feel like this glosses over the rest of us out here in the world. We don't have anyone to complain to that can/will do anything and are far more likely to suffer from US government actions. It's worse that we suffer this crap that US citizens do, not better as we don't get any say in it.
>>what many products failed to do before, and that's to kind of become a platform for the "internet of things."

I am not sure. They might be famous. But there is nothing like 'other products failed'. Just because 'other products' inventors don't blog and submit it on HN/Reddit every two hours, it doesn't mean they failed.

Internet of things is there since a long time, You won't hear about them in your regular internet forum discussions. But there are billions! of small embedded devices communicating over networking/internet and were communicated before Nest was even born.
I wovld like to vse this or listen to Chvrches, but I gvess neither option is set in stone.
> With the replacement cycle getting lengthened, sales go down. They will plateau though.

Fewer PCs are being replaced at all. The PC market freefall will reach a non-PC bottom, but this market size might be more appropriate of a workstation market than the old mass PC market.
W3C have never been an official standards body; the most they’ve ever made is a ‘Recommendation’. That’s not necessarily a bad thing.
Well played, sir, well played.
Perhaps Google bought them because Apple did try to make a bid. Hence the inflated price...
Neither of your links offer support for your statements. As the BBC article notes glyphosate is considered one of the "most environmentally friendly" farm chemicals by the World Health Organisation (glyphosate breakers down in water unlike older herbicides). GMOs and Monsanto are not even mentioned in the BBC article. Your second story is a photo essay with sad pictures but very little actual information. It is much more likely if farm chemicals did cause any of these illnesses it was older pesticides that are known to be much more dangerous.

Do you have better evidence than this? If not why are you so sure you are correct?
10 Must See Digital Plus Physical Hacks That Will Blow Your Mind
i'm waiting for other language as flexible as php.. write code without thinking error message.
Turns out, Chrome on Linux shipped with a Widevine CDM before any other browser (including Chrome on Windows).
"twitter can't be blank"

Why not?
When I first encountered the fusebox [1] framework for ColdFusion - that was a bit of an eye-opener for me. I still thunk MVC and derivatives for proper object oriented environments like Smalltalk is superior as a general design pattern, but fusebox is a great match for web development with "template oriented" languages like php and cf. It builds sanely on these languages' strenghts and can be rather plesant to work with.

1:

http://en.m.wikipedia.org/wiki/Fusebox_(programming)
Damn, this Afghan Airstrip Practically Eats American Planes
Depends. I throw out most cards I've received and wouldn't care about saving SMSes, but I do want to keep emails for reference and would want to save tweets and especially Instagram photos. Online chats I wouldn't care about and have no expectation of storing.
In a very sarcastic voice I would like to say how excited I am.

Moving on to the next story...
Darwin's Wedge & Dumb Competition
so does the last name, for some reason last name can't be blank, do we have to use our last names? it's not a must. why is it compulsory?

I don't know why it's not public to some people, i just signed up it was not as cool as i expected

http://ruky.svbtle.com/trying-my-thing-with-svblte
AGDQ 2014 https://www.youtube.com/watch?v=OPcV9uIY5i4 starting at 31:49
It appeared to only be open for a few moments.
It was then redirecting to /apply.
As of a few moments ago you could /signup again, but the accounts beings created have issues.

Jeepers Creepers, boys! Get your act together.
But you can't get a pure HTML5 DRM experience! All the HTML5 bit is, is a Javascript API to a CDM decryptor that is every bit as crappy, proprietary, closed-source, insecure and buggy as Flash or Silverlight.
Too late, it's over. I don't want it anymore. I can get the exact same stuff with minimalistic Jekyll/Pelican themes and Svbtle is not exclusive anymore.
Is there a name for ridiculous fallacious arguments like this, the "x is on a slight decline... so x or y is going to completely disappear"? It's just basic errors in extrapolation, like these, just the inverse:

http://xkcd.com/605/

http://xkcd.com/1007/

Go to any coffee shop, or any workplace, and you'll see a sea of laptops. The PC isn't going anywhere. Neither is the web. The PC isn't even turning "niche". Tablets have their place, maybe purchased devices will settle down into a 50/50 or even 80/20 balance of tablets/laptops, but then it'll just stay there. Tons of people's jobs, tasks, and hobbies depend on full-fledged PC's -- normal everyday people I'm talking about.
If you don't like it, change it. Keyboard shortcuts can be (re)defined, on a per-app basis or universally, in the Shortcuts tab of the Keyboard preferences.

I could never remember the various screen shot shortcuts, so for me it's command-escape for the clipboard and option-escape for straight to a file.

It took me less than a minute to change Pages so command-v pastes matching style, and command-option-v pastes with the original style. Even better, Pages's menus display the new shortcuts.

The latest Pages doesn't really seem to have paragraph styles vs. character styles, so it might be more difficult to pull that off, but Automator is very clever, and AppleScript moreso, so I'm betting it's possible.
How do you manage schema changes with release deployments across across all of the databases that are meant to be standard?
And only a subset of movies, don't forget: big-money blockbusters. That's the only sort which depend upon the business model 'big media' is trying to protect with DRM.
White rapper kills freestyle$$$$$ WHAT?
16 year old rapper outa Colorado with major connection and being scouted by major label executives
Can We All Just Admit Google Is An Evil Empire?
How the heck did this avoid getting closed by a grumpy SO editor for being "too open-ended" or something?
holy shit.... thanks!
clearly, it's because they don't want royalty to join! ;)

(AFAIK, most royal families dont have last names)
Do you plan on having children? Will your grandchildren's grandchildren wonder where they came frome and what it was like?

If only I could query the daily activities and conversations of my great grandparents or query thousands of photos and movies for people, places and moments that my have been talked about when I was a child. I could understand my family better. Educate my daughter more fully and with better context other than telling her: well part of your family comes from the abruzzi region in Italy and another part comes from Germany, I think. And your mother, I don't know much about her grandparents let along great grandparents.

It's not always about us, or right now, that is important in the scope of life a cross generations. We don't always know which of the ephemeral things in daily life are worth passing on to the next generation. Sometime they ( the next or several generations on down the line ) identify or rediscover our best moments long after we are gone.
15-yr-old innovator shows why dropping out of school is not a bad idea
Surprised they don't also ask for your Klout score.
This is the most witless piece I've read on Wired for a long time. The web is the lowest common denominator of content delivery, and is the foundation of many apps and most content - whether the content is delivered to a browser or an app.

The embedded tweet that says: "twitter will be for content. The web is going away because laptops and browsers are." is hilarious. Is all our content going to be in 140 character chunks? If not, in the absence of the web, how will a tweet link to content? That very tweet nicely illustrates the uselessness of a tweet to say anything of substance or with precision.
I wonder how much of this is influenced by medium and the approach they've taken.
Well, I mean, we are just seeing the beginning of fully fledged AI in the movie. We are coming into this story just as this high-level AI is arriving on the market and being billed as a companion and/or possible romantic partner for the lonely. Spoiler - It looks by the end of the movie that the whole AI thing might be getting away from us already, just as you say. Didn't take long.
Imagine If Aaron Swartz Had Lived
My Weather Email to Brightpod Customers: Lessons in Life
For a very extreme take on this, you should read Ian M. Bank's Culture series. The AI's have progressed to true sentience and run mind-bogglingly massive space ships which can hold billions of people. At this point, the ships truly are in control of the civilization and yet the humans are OK with it. There is no money and no need for humans to work as ships/drones/avatars/dumb robots do all the real work - wether it's turning raw materials into actual goods or taking care of all the tiny but important things necessary to an advanced, space faring society. I've found it to be a fascinating idea, so perhaps you will too?
"Open to the public" doesn't mean restricted signup, we'll choose at our discretion.
What's the point of this? Can't you just use Obtvse?
Gedit gets a new UI
There are a lot of skill-building programs out there but you gotta ask yourself first on which 'programming world' you would like to be part of:

Certifications are really good if you really want to build a career into middle-management, in-house software development departments a.k.a. mega-corp widget factories; these types highly appreciate certificates. A big pharmaceutical company would love to see a Microsoft Certificate over a Github profile since they don't care about the code, they just care about you passing a "industry standard test" so that you would fit X number of requirements and feel safe that they got the right person. Couple your certificate with a filled out LinkedIn profile; and they'll highly consider you.

Building a good Github profile/portfolio website is the better route if you want to build your career around working for companies that sell software as their core product, or well-known shops (Fog Creek, 37 signals, etc.). These type of companies highly value code and work output, and they'd understand the value in your profile. Don't get me wrong, a certificate would help in some way but if you can't show them you can code or be comfortable with the command line, they'll go for anyone else who has built something and deployed it.

If you're going for the certifications route, it depends on what stack you're going for:

For anything with Spring, go through springsource.com/training you'll find some links there for certification classes.

For anything .NET or Windows, go through microsoft.com/learning for more info.

Don't underestimate the amount of time and money spent on studying/getting a certification. If you already have a job, don't take a certification unless you really plan on moving up some sort of mega-corp corporate ladder or if you're targeting for another job that requires a certain certification. The better way to be better that has no strict commitments is to find yourself a user-group of your stack, work with a friend on a project you think is 'cool', or work on some open-source project.
I guess I'm going to have to spin down my EC2 instances...
I feel like Google in 2014 is going to be releasing a lot of aesthetic updates. With the recent acquisition of timely + this new one, they've bought two teams at least partially known for beautiful design.
> It's incredibly frustrating when Amazon does nothing to disseminate information about how to more effectively use their cloud infrastructure.

Hmmm. We have thousands of pages of reference documentation and tutorials. We have forums. We have a team of Solution Architects ready, willing, and able to help.
This is a really cool DIY project, but probably not practical. That thing's going to be slow as molasses.
I put my Raspberry Pi inside an iPod: http://peterburk.tumblr.com/pipod
DRM enables movie rentals over the internet and that's about the only good use I've seen for it.
It's one of the best movies I've seen in a while.

Same here. Spike Jonze is a genius at forcing the characters into some subtly creepy situations that would never occur in real life (a four-person date, one of them an "OS," with the three humans wearing ear-pieces?). The actors do a great job of pretending like things are perfectly normal. And at the same time the movie touches on some real present-day challenges.
Understanding The Erlang Scheduler
And at 12:14AM CST it was a public signup for me...
how far ahead of Google would you place the US military in terms of technology, if you had to guess?
Why secret encryption algorithms are not secure?
Charter tries to buy Time Warner, create cable giant to challenge Comcast
Man. This disturbs me on a visceral level, even though I know it's inevitable.
...and soon robotics.

I'm a huge Apple fanboy but they really need to get their shit together on the web services front. Siri still sucks almost unbelievably bad. It never works. Maps still leads me to random streets and goes in circles.

As we move towards smaller and smaller devices one has to assume more of the work is going to be happening in the data center. Not good news for Apple unless they start making some real strategic acquisitions stat. (They've started at least.)
New leaks offer a few more peeks at “Normandy,” Nokia’s Android phone
Thanks a lot for the insight.
So availability of the platform dominated other facets of the technical design? OK, sounds like the typical "JS for everything!" philosophy to me, but again, whatever works for you. Don't get your nuts in a twist, I was really just curious about your decision.
I'd be game
Airbnb's Journey Into Mobile Web (and the tools they use)
Why would AIs want to do humans' dirty work?
One other (minor?) reason is performance. Route 53 allows you to have ALIAS records, which are a single DNS lookup - whereas CNAMES will incur a second lookup.
Yes, but so are the interpreters and compilers of many other languages.
The author Greg Egan addresses these types of themes extremely well.

One of my favourite short stories is specifically related to the idea expressed in your post: http://ttapress.com/553/crystal-nights-by-greg-egan/

On a tangential note, he has another short story (Transition Dreams) that examines the process of 'uploading' a human brain from its natural substrate to a computer. He raises some thought-provoking points about this process.
not for much longer if we maintain the current policy on agriculture corporations lobbying congress and getting their way. They are killing all the bees, the butterflies won't be long after.
Same here and this is probably more common in tech circles than outside of them, making Disqus indeed a poor choice.
Would have liked some more info on how they counteract the risks of cloning. Firstly, a success rate of 70-80% is unheard of wrt cloning. Survival rate of clones is very less compared to the natural borns (I know that the pigs probably get killed for food, but a low survival rate could be indicative of unhealthiness too). Lastly, cloning is prone to complications during growth. (more on that here - http://learn.genetics.utah.edu/content/cloning/cloningrisks/)

I wouldn't want to eat a cloned pig. Would you?
It is, this one raises the security baseline. In case you need to make applets compatible with 7u51 take a look at https://blogs.oracle.com/java-platform-group/entry/new_secur...
So you rather use the ActiveX plugin instead?!

Talk about security.
Perhaps the Federation's computer designers are hesitant to make starship computers too autonomous after the incident with Dr. Richard Daystrom's M-5 computer in the TOS episode "The Ultimate Computer":

https://en.wikipedia.org/wiki/The_Ultimate_Computer
Because we wrote that into AI's value system?

(In a way that will survive self-modification of the AI's source code, of course. This is a very large and active topic of research.)
PHP is a strong language for the web, but the community is not. I really only see Facebook pushing the language and even though Steve Ballmer has been memed to death about his "Developers" rant, the developer community is really what makes languages like Ruby/Rails and Node.JS more attractive.

I definitely applaud all of the work the Facebook team has done in order to push the limits of PHP and turn it into something that developers are actually comfortable working with. With that being said, I still don't think it's better than I thought it was.
Isn't this like shooting themselves in the foot? Svbtle exclusivity was the only differentiator, guaranteeing at least some quality of the content. Now it's gone and so Svbtle turns from a notable content source to just another blogging platform.

What am I missing?
I agree, it's a local exploit, not a remote exploit (I've debated this with people as well), but in the end Java sandbox bypass exploits are (or were) the most effective local exploit possible. And they're arguably far more valuable than the vast majority of remote exploits out there.

Silent, cross-browser, cross-platform; browser plugin installed by default with anyone who has Java. And that's a huge number of people, since a ton of corporate and residential users have Java installed on all sorts of devices. Java is responsible for a massive ramp up in infections of computer literate and illiterate users alike between 2010 and now.