skysight-inc/HackerNews huggingface dataset:
Assuming gcc or similar, -Wall will pick up on this.

int main() {
enum states { A, B, C } x = A;
switch(x) {
case A: break;
case B: break;
// C not handled on purpose
}
return 0;
}

$ g++ -Wall -Werror -o enum enum.cc
cc1plus: warnings being treated as errors
enum.cc: In function ‘int main()’:
enum.cc:3: warning: enumeration value ‘C’ not handled in switch

I like this behavior since I can deliberately leave out a default and make sure I always have every case handled explicitly.
Intro.js makes implementing step-by-step user guides too easy
But it is Ctrl + shift + I on windows and I thin Linux too.
Sounds good, thanks for the clarification! And yep, only suggestion is to brand your accelerator as a 'warmup'...this way, it will appeal to college students such as myself; we don't necessarily have to leave school but we can still work on it and have a better idea of what we want to do at the end of the 14 weeks. Thanks again, though, and all the best!
Chrome Omnibar replaces Google search bar; new page changes
It kind of gets in the way of development though when the profiler window gets clogged up with the probes... maybe the detector could clean up after itself?
Python is compiled. That is the c in .pyc
If he has multi core, which is often missing in a VM.
Thanks for the quick response. I think, though, that my suggestion was a bad one. It seems you should select the highest rated thread for a a link with mutlitple submissions.

For instance, this article shows the more recent thread with little/no comments, while there's a great set of comments I'd prefer to see listed with it:
http://www.forbes.com/sites/morganhartley/2013/03/19/how-a-y...

Good comments:
https://news.ycombinator.com/item?id=5402301

No Comments:
https://news.ycombinator.com/item?id=5400599

Both stories submitted 4 days ago.

This use case seems more common than the google.com one. It's possible you'd want to treat bare domains differently, or treat top web sites differently, etc. Depends on how much work you'd like to put into this project. I for one will keep using it if you keep working on it :)
SEO Video Strategies – A New and Enjoyable Way To Learn Video SEO
Go to http://seovideostrategies.com
Welcome to Seo Video Strategies, a new project to help marketers how to learn video SEO. It is run by Andy Moore & Nigel Phillips.

They are dedicated to providing you with the most up to date best video marketing and seo video strategies online today. By showing you how to learn video seo you will see that anyone with a good seo video strategy can get their videos up to the top of the Search Engines like Google and YouTube.

"Our tutorials are stacked with graphics, music, effects, transitions, entertainment, beginnings, intro and outros.

Our focus is on the Solid Foundation that you, and others, will need to build traffic on. Without such foundation you are invisible - its no good having a great video when there are no clients to view it.
This comment is making the exact mistake that parent was concerned about.
Groupon Design – How is ‘gadget’ a city?
JStat : a JavaScript statistical library
Thankyou for correcting me. I definitely need to find a better example.

I'm ambivalent about whether to have default cases. The assert(FALSE) trick is still useful for catching missing breaks in the final case.
Sorta, not really the point though. http://stackoverflow.com/questions/2998215/if-python-is-inte...
We agree. We're actively looking into other ways to do the detection. For example, when the inspector is docked, we might not need to run the profiler check. We'll continue to update as we find better solutions.
He deserves it. Every bit of that 'i' in python he added.
Alltop - Top GTD News
The Girl and the Robot Looks Amazing
Normally the biggest challenge for such software testing is formal testing methods. You cannot just keep on randomly testing every bit of input. Hence, you need to put formal proofs to get rid of that last shred of doubt about whether the software can fail.
Boredom is when we let our mind run free, in search of things that would be interesting to us. If our mind is occupied with distractions, it becomes harder to focus.
Microsoft also fell into the trend-chasing trap before Google. It's a very fine line, though. Excel was probably trend-chasing at its time, but they were doing so many things at once back then that going head-to-head with Lotus 1-2-3 wasn't a bad idea to throw in there. Whereas stuff like Windows Phone or Zune seemed like major strategic shifts dictated from the top, not just "oh let's make one of those too".
Show HN: My first Rails Gem, Shareable – A gem for adding social sharing links
Citation very much needed, since all the scientific evidence says this is not true.
Thanks for the answer. I'm curious about the implication that there aren't any mature static analysis tools that catch all undefined behavior and memory access to potentially invalid or mis-typed objects. I expect such tools technically could exist but don't know if they actually do.

I might not understand what you mean regarding positive human action when talking about using static analysis tools -- are you referring to tools that require a manual process to run and evaluate, rather than having your tools outright fail to produce a program if static analysis isn't completely happy with the source code?
delete window.chrome.inspector

Did I win?
Should we be saying "Research shows research underestimated"
$5 to the first Chrome extension that detects this and kills it.
I'm not sure what you expect the school system to do for the total breakdown of social structure in vast swaths of Chicago. Middle class people would be insane to keep their kids in a school system where gangs have marked off territory in most of the schools and the majority of kids are from poor, single-parent homes. Even the middle class blacks who stuck it out on the south side for so long have given up--Chicago lost 200,000 of them in the last decade. The south side has become a literal ghetto--increasingly filled only with people who can't afford to get out. The schools can't fix a community on the edge of viability, raising children with no fathers, no structure of authority, and no prospects.
Good idea. You should package this as a Chrome extension then. No reason why I should run your code in my app, even in debug mode, when it can run outside and sandboxed.
From where I come from, it's normal to let children get bored :)
A good discussion about Fault Tolerant algorithms can be found on The Next 700 BFT Protocols[1]

[1] http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.164...
That's just the tiniest tip of the iceberg. Doesn't get into formal specs, verification, validation, etc.

This article is often referenced for NASA's software practices, although it's now almost 20 years old: http://www.fastcompany.com/28121/they-write-right-stuff

Is there anything more comprehensive and current than that?
It's already impossible to brute force a password if it's of a decent length
I have always believed that we were nowhere near over our chauvinism as a species in this regard.
Fill up your hard disk with just a single click - using HTML5 localStorage
I believe you may be misinformed: Calorie for calorie, broccoli has more protein than a sirloin steak. As stated in the other responses pretty much everything has protein in it.

Additionally, the only vital nutrients in meat are b12 and iron, both of which are available elsewhere (lentils are great for iron & supplement is available for b12)
I read this book as a child and now I read it to my young son. Creativity is certainly timeless.
DTLS works only for payloads up to 16kB.
Things never change, do they. :)

IIRC, the issue started because one of the shift managers was pregnant, and couldn't do some things - fair enough - it doesn't last forever, and I'm fine with helping out now and then, but not being taken advantage of. And really, most of this stuff really wasn't heavy - boxes of up to 25 pounds on occasion, but rarely ever more than that, and there was trollies and carts and stuff to move heavy stuff around (and usually delivery drivers would unload stuff to a fridge or freezer for you anyway. Give them a nice cup of coffee and they'd handle some of the shifting in the freezer too :)
Sounds like the advertising campaigns have worked so well on you, you don't even realise it.
Governments do fund it. That's what reverend_gonzo's argument was all about.
A game of inches (2007)
> You're right, we should probably just start 7 year olds out with assembly language and beat them with sticks.

What's wrong with the dozen languages that are obviously and manifestly superior to PHP in every respect?

> Starting them off with a fairly easy language that's widely widely widely used and easily introduces simple topics like variables, loops, etc is probably a terrible idea.

You're unqualified to be having this conversation. PHP is not a general purpose programming language, nor is it exemplary in any way whatsoever. It is a crippled, limited and broken language that is widely known among computer science professionals to be a pastiche of compromises.

For students, compare it to Python or Ruby, to name just two obviously superior classroom candidates that have every advantage over PHP. PHP can't even be tested or run without a server available. And I shouldn't have to tell you this.

http://www.securityfocus.com/news/11430

Quote: "Perhaps PHP should stand for Pretty Hard to Protect: A week after a prominent bug finder and developer left the PHP Group, data from the National Vulnerability Database has underscored the need for better security in PHP-based Web applications ... A search of the database, maintained by the National Institute of Standards and Technology (NIST), found that Web applications written in PHP likely account for 43 percent of the security issues found so far in 2006, up from 29 percent in 2005."
I wonder if anyone has quantitatively measured the variation in human faces and how that differs from faces of other animals.
getting myself bored is actually the only way i know to feel like "resetting" and getting fresh idea, views, etc.
suppressing hn would be a good idea for this to happen more often tho...
Orkut did have an edit button in the beginning, and it was removed afterwards (maybe it causes too much confusion?).
Great for easter eggs!
"All persons, living and dead, are purely coincidental."
I know a guy who said no to a job offer at Google as Employee #3 because "they had no viable business model".
If that can help your friend feel better....
So "many" means "a large number". In the US we're talking 3% - that's not a large number. Additionally, by not supporting any meat, we are fighting a system that is polluting the earth & unnecessarily abusing animals.
Look at the URL in the picture at the top. He did a search before doing the autocomplete.

This changes the results.

Try it. If you don't do the search for what you want to autocomplete, you will not get the same autocomplete options, in this particular case.

So he's basically posting a picture of doctored autocomplete options. If he just went to google.com and typed that in the search box, he would not get that dropdown.
I think this is a slippery slope. No one has a right to not be offended. And everyone has the right to say stupid things or act like a jerk.

Hate speech and sexual harassment are not tolerated because they cause actual harm or create a hostile environment where real harm is imminent or likely. That's a long way from a dongle joke. A female friend made fun of the male nerds wearing Utili-kilts at OSCON a couple of years ago. Should we have guidelines for that too?

I also don't think there's any such thing as a "tech community" or a typical tech conference crowd. Part of what's wrong with this PyCon discussion is extrapolating something about the imaginary "community" of tech workers or their position on gender relations from the actions of three people.
Shocking news: downsides of the US being blamed on demographics and size. This satisfies the population to accept the crappiness.

I've had this conversation too many times, but I'll say it again: Americans (and all people who have not lived abroad) tend to overestimate the differences within their own population and underestimate the differences in outside populations. You overestimate the diversivness of America. This is about the point someone says something stupid like Alabama and California are as different as two different countries.
The point wouldn't necessarily be to start specializing that early, but that those years are simply unnecessary bullshit. Nobody I know remembers them being anything but a repetition of elementary school and a first introduction to the material of high school.

So it's probably easiest to just eliminate it, move kids directly on to high school or a vocational program, and graduate them three years earlier into higher ed, apprenticeships, or first jobs.
Skype, Spotify, Angry Birds creators to advise EU in "Startup Europe" campaign
Hello GistBox
Copyright law has not, IMO, been as fair as you seem to make it sound, especially when it comes to the music industry:

> have been wisely checked (the Doctrine of First Sale is a shining example)

Like the way that I can sell my DRM music to a second party?

> it's been limited in that it still (grudgingly) respects the operative delineation between public, commercial enterprise, and private sharing and enjoyment.

Tell that to the RIAA who sue individuals all the time.

> Of all the options I can think of, drawing the line with corporate status is the most elegant. That is to say, you can only be sued for infringement if you are a corporation.

So, individuals who pirate software, music, and movies should not be able to be sued at all? What if they distribute said pirated works?

Im sorry if I sound a bit snarky, I just feel that this is a complicated issue which you are way oversimplifying.
Like I said, I can't speak for everyone. I wouldn't be surprised if there were many different ways to approach bookmarks, some not even falling on a continuum between the two I described.

But nor would I be surprised if a lot of people took the search-oriented approach these days, as that's a common approach not just with bookmarks but with all kinds of content.

Personally, I very rarely take the intentional, curated approach. The example I gave, about sharing a collection of bookmarks relevant to local voters, is the only time in recent memory that I took the time to properly manage a set of bookmarks. And by "in recent memory", I mean in the last 5 years.
C and C++ as Jesus and the Catholic Church
Are there not striking similarities between these two pairs? The main point:

The first was detailed in a canonical book, and had a lot of great ideas, pretty much revolutionizing the landscape with influence still clearly seen today. Not many people really get to know the ins and outs of the first, but a long time ago, people had to to get by in their field. The first is used as a yardstick against others like it, to the point of dogma in some cases.

The second does a lot of good work, but is ultimately widely held to be corrupt and unsavory, while many still swear by it. It adds a lot to the original that's widely contested. It's gone in controversial directions and is ultimately not really a superset of the philosophies and makeup of the first, at all.

I'm no expert on C or C++, I just found this interesting. Haskell would be buddhism, no doubt.
Crowdfunding for science research grants
This looks really cool, fantastic idea!

Unfortunately the site doesn't work with IE on Windows Phone 8. Can't click either of the green buttons seen in this screen shot- http://sdrv.ms/X4gN6 (possible a bootstrap issue).

Hopefully I can snag my wife's droid tomorrow and give it a whirl!
> One high-impact, well-designed paper with strong conclusions could very well be worth more than 50 weaker papers.

This is true. Assessing impact is difficult, and journal impact factor is not a great proxy. However, at least in my field, most Nature and Science papers aren't worth 50 second- or even third-tier papers.
Nice, this will be good combined with this Chrome extension [1] to set a custom URL for new tabs.

[1] https://chrome.google.com/webstore/detail/new-tab-redirect/i...
Truly elastic clouds with Zerg: OS-less Erlang on Xen
Google products/services timeline - help fill please.
At the same time, how many people here have advised others to stay away from early startups because of the low probability of an lucrative exit, low pay, and dilution?
It was explained on the site that you upload your presentation or document to the site when you've create your account.
My mother always used to tell me "only boring people get bored".

Now with a small child and business to run, some days I would love to be bored and have nothing to do!
Programming in Emacs using Speech Recognition - pycon talk
Hopefully it'll be rolled into the existing CoreLocation API meaning current location based apps start using the data without needing to be updated.
Letting different comments reach the top wouldn't be such a bad thing most of the time, as long as there is more than 1 solid comment.

Only time this would be bad is if there is something important, such as a correction or a key reply by the author or the person they were calling out etc where it makes sense that everyone should read first.
As shallow and horrible as it is, the author is going to lose some people simply for using "start-ups" instead of "startups."
The corollary of the spaghetti strategy is that if something doesn't stick, you kill it. Taking Jobs' advice is really just setting a higher bar for sticking.
Sadly, they don't publish up-to-date HTML dumps and there is no reliable way of reproducing them short of installing the entire wikipedia system locally, including the database. I know there are quite a few projects that claim to do it but they're all abandoned, incomplete or unsuitable in various other ways (as far as I know).
Ha, well I first heard that one on Mad Men.
This is an interesting approach, and I've had several engaging conversations with OP John Duhring. But I think that MOOCs are media and I'm just not sure that media is the way forward. John's focus on educators is spot on but, unfortunately so is his comparison to collegiate football. At UNC this hits home due to recent academic scandals and the increasing autonomy of the athletic department. If there were to be a MOOC department at our school, could we really be confident that it could stay aligned with the mission of the university?

I think the way forward has to be thru open content, and for this we should look towards open source software for inspiration, not broadcast-style media. Even though the monitization of this new media is through certification rather than advertisement I'm not sure how the industry's interests stay aligned with those of profs and students.
On Windows, use F12 instead of Ctrl + Shift + I
One weird thing is at the end of the video seemingly out of no where comes this whole thing about not becoming a girl who needs a man to make money for her. The production value is pretty high, so maybe the family could have afforded the 800 dollar camp, and not needed a kickstarter. It seems like a ploy for money, and not about someone making a game, and who is going to play a game made by a 9 year old. It will most likely be done in RPG Maker or Game maker with minimal original content, and a average plot. Doesn't seem like something to kickstart or even put on kickstarter
For the impatient, the demo starts around 8:20.
Incapsula reveals new Custom Branding option for Partners
Incapsula Partners Program allows hosting companies, MSSPs, web developers and service providers to make their client’s websites faster, safer and more reliable. Incapsula partners benefit from cPanel integration, full API support and the choice between a Reseller and an Affiliate option.
Too Perfect a Mirror
Some amazing artists come from boring places. There are great rockers from places nobody would remotely associate with great music (Bob Dylan and Prince are both from Minnesota, for instance).
What do you mean by "proprietary software virally infects any project that uses it"? You're saying nonsense.

And yes, the GPLv3 is extremely dangerous, with its patent crap, and it's anti-tivoing clause. Moreso than any other attribute of software, proprietary or free, that I can think of. For example, just imagine how devastating it would be if one bit of GPLv3 software made its way onto iOS.

Edit: Thanks for the downvotes, guys. Yes, big shock, not everybody loves GPLv3, and some of us actually have legitimate reasons to do so.
I want to punch that guy in the face.
A Study of Linux File System Evolution
No biggie man. I must have paid for mine so long ago that I forgot they had ads!
Positive human action means that somebody must take some action in order for the system to work. That is, effort above a natural baseline. Such systems are not failsafe.

The classic example in C/C++ is avoiding buffer overflow defects. If you code naively to the language, they will creep in. Additional effort is require to apply policies and procedures to prevent such errors from occurring -- enabling warnings, using static analysis, using particular libraries like BString and so on. Further effort is required to ensure compliance.

I use the term "positive" by analogy with legal positivism, which is (very roughly) that law is created by legislative action and doesn't exist until that has occurred. Similarly, many kinds of safety in C don't exist until you have taken that positive step to introduce additional safeguards.

In languages with a more complete view of strings, all of this additional activity is unnecessary. Positive human effort is not required to prevent buffer overflows in such languages. No new procedures, policies, libraries or tools need to be introduced or mandated. The system's baseline configuration is already safe against that class of errors.

Why does this matter?

Two reasons.

Firstly, positive human action is expensive.

Secondly, and this is more important, it's unreliable. Any time your safety depends on somebody always sticking to the rules, always remembering to flick a switch, then safety is not assurable. Humans subvert because they disagree, get distracted, make errors, have simple lapses of memory or judgement and so on.

That you can remedy some or all of these problems through lashing together a large management system is one thing. Whether that was the cheapest overall option is another thing entirely.

Mind you, this is all a bit pie in the sky. Apart from Ada (and even then only partly) I'm not aware of an industrial language that fulfills both my requirements and the requirements of SpaceX that I'm pretending can be solved at a stroke. I suspect Rust will be that language. Let's see.
I didn't mean "just" in that sense, I mean "just" as in "solely dedicated to".

Most apps have error handling code taking up what? 20-30% of the code at the most? For some reason I imagine this stuff being almost 70% error handling but I am not sure if that is realistic.

So, assuming there are shed loads of error handling that knocks on to everything else about the system. How do they test it? How do they spec out all the possible conditions? What do they do differently to someone writing a SaaS, Desktop app or IOS app?

It looks like it would be a very different world which is not really written about (Apart from the old articles posted in one of the above comments)
Red Programming Language 0.3.2: REPL release
Darly Information
Concerning Nigeria West Africa
Actually I am really scared that they use C or C++ instead of something sane like Ada.

Unless their static analysis tools just make C or C++ look like Ada.
Has ICANN rejected any gTLD applications yet?
> You can look at the code and know exactly what instructions it's going to execute, every time.

Unless you are talking about embedded processors or old 8 and 16 bit processors, this is no longer true in modern architectures.
The Unix philosophy is that a program should only do one thing. sl only does one thing.
If God.js Existed, What Would It Do?