skysight-inc/HackerNews huggingface dataset:
> I also don't see mathematicians using mathematical logic to prove theorems in "ordinary" mathematics, hence the comment about "business as usual".

You don't know does not equal to that not existing.

http://www.cs.miami.edu/~tptp/OverviewOfATP.html

People are even making money using formal reasoning. So please, take time to learn more before disparaging entire fields.

Btw, I know about the incompleteness theorems. I teach a course centered around that.

Let me ask you a related question: do you stop programming because many of the tasks associated with programming are Turing-uncomputable? (checking if a program halts, checking if two programs compute the same function etc.)
The goals of Zero-Tolerance policies have nothing to do with student outcomes and everything to do with legal outcomes. If you expel Johnny, but only suspend Jane for the same infraction; Johnny's parents are going to sue. Conversely if if you don't expel Johnny for drawing that picture of a gun, you'll be sued if he ever becomes violent.

The most insidious thing about Zero-Tolerance is how it sharply outlines the differences for 'connected' students. A direct contradiction of it's goals. Before policies like these, a school board member's kid might get a preferential slap on the wrist in lieu of expulsion. Now that lower punishment isn't an option, anything they do wrong is invisible entirely.
This is true for everything in life. E.g. I became a permanent resident after winning the green card lottery. The process of getting together nearly five pounds worth of documents, spending thousands of dollars talking to lawyers in three different countries, reading enough legal jibberish to understand that the way the law works in the U.S. is always subject to interpretation and knowing what that interpretation actually is makes me very certain that if I had got the lottery at any other previous point in my life, I would never have made it. In fact, thousands of the "poor, unwashed masses" who this lottery is supposed to help make it easier for, never get in for stupid silly reasons.
Leaked source code does not end a company. Tone back the melodrama.

A legitimate company cannot use stolen code like that, and prezi isn't the type of service with ground breaking algorithms to copy into other code.
> College costs out of control? Only because states are cutting subsidies for higher education and forcing students to pay more.

"Oh it's true, but because of this stupid reason" != "falsehood".
"Unqualified" by what standard? What makes you think your standards are appropriate for the positions you're offering? And what makes you think your salaries are "very generous?" Lot's of companies think their salary/benefits packages are "very generous" when they're anything but. Without context your post is a giant meaningless assertion.

Software developers aren't (typically) stupid. They have a reasonable idea of the value they provide the company. My estimation is that almost every company under-compensates their engineering staff. I doubt yours is an exception.
Willis Ware, 93, Engineer at Dawn of Computer Age, Dies
I bet he would really benefit from all of the different fasteners and replacement parts that you can make. There are lots of great inexpensive printers on the market right now! We're trying to make the software easier to use because it's one of the biggest barriers to entry right now. I'd love to get in touch with him tom@printtopeer.com
Realmac Brings Your Ember Library to iOS - The Industry
Don't have a compiler handy (or for that matter anything more recent than a Core 2 Duo), but the thing to do would be to replace the call instruction with a same-length sequence of NOOPs to see if its an instruction alignment issue. He mentions making sure the loop header is aligned, but there are other alignment issues in play.

For example, in Intel processors with a u-op cache, a 32-byte fetch group that generates more than 18 u-ops has to go through the x86 decoder and cannot stream from cache.[1] The call instruction, being a pretty big instruction with that 32-bit immediate displacement, might force the loop onto two 32-byte lines, reducing the u-op count in each line below 18 and allowing the loop to stream from the u-op cache instead of going through the decoders.

In general, if adding instructions makes a loop go faster, it's some sort of alignment (maybe code layout is a better term?) issue. Intel CPU's have limits on things like the number of branch predictions per fetch group, number of decoded instructions per fetch group, etc. Some x86 CPUs can only track 3 branches in a 16-byte group, while it might be possible to encode 4 in unusually dense code. In such cases, the extra branch just won't be tracked by the predictor. Seemingly superfluous code can force some of the branches into a different 16-byte group, improving overall performance. (This can't be the case here, because there's just one branch, but it can pop up in branch-heavy code).

EDIT: Someone makes in the comments makes a good point that in any case, both loops should fit in the loop buffer, which is after the u-op cache, and so wouldn't suffer from the 18-uop limit mentioned above.

[1] See: http://www.realworldtech.com/sandy-bridge/4
Parent may be talking about the jobs discussed in this article, not software engineers:

http://www.nytimes.com/2012/11/25/magazine/skills-dont-pay-t...
Go IDE +1
Steve Pavlina stopped because he was bored and it was not giving him more time with the people he loved (which was the point of it in the first place). Source: http://www.stevepavlina.com/blog/2005/10/polyphasic-sleep/
Ask HN: Typical Android Developer's Salary 2013
What's a "typical" salary for an Android developer with 2+ years of experience? I'm looking for figures particularly in the DC area but also am curious outside of it.

Indeed places it around $114,000 (http://www.indeed.com/salary/q-Android-Developer-l-Washington,-DC.html). I'm not sure how reliable the site is.
My thought was that any IDE would've made you more productive imho. That's the point of an IDE to give you as much possible so you could focus on your tasks...
We're actually discussing what structure the entire repo should take here: [1].

What I think I'll do is create directories for each type of content (short story, poem, essay) and then another directory within those for each author. Finally, inside each author's folder will be individual .txt files, named after the title of the piece, which (without violating copyright) will hold the actual text. If we can't put the full text into the file, a single line with a link to the best online version will be used.

[1] - https://github.com/kyledreger/1000-nights/issues/3
check out browserstack.com
I don't understand how putting more students through college increases the cost per student, in normal industries more business generally means reduced costs.
Surprised to see Guam on HN... I'm from Saipan!
You can also move the run/debug tabs from the bottom to the right side; it gives you more vertical space for editing and a LOT more room for logs, watches, etc.
You're demonstrating my point. Contruction is used to derive a right to representation under the equal protection doctrine of the 14th amendment. Similarly in Brown.

There's a huge amount of Constitutionality (US) which derives from the Commerce Clause: "Congress shall have the power ... To regulate commerce with foreign nations, and among the several states, and with the Indian tribes". That's 21 words with a tremendous impact.
What about N and S? What about manned experimental aircraft? What about unmanned RC aircraft?
"pretty awesome convenience but its just so meh"

You are underestimating how much people are willing to pay for awesome convenience.
I would upvote you, but alas new to posting here.

Yeah, agree that listening was the culprit. I guess what I'm saying is that many of the young people hear "I want a mobile version of my browser" and go off to build the windows CE version based on your literal desires. The fix to that doomed behavior isn't better listening, per se, because that connotes if you hear every word you understand what the customer really wants.

Most great products address an unarticulated need. In many ways, these unarticulated needs are NP Complete: They are hard to find solutions in polynomial time but are extremely easy to verify.
Eyeborg Project
Is this new? It's the pennies algorithm: to roll a d6, flip five pennies, count heads and add 1. I was doing this back in the '90's in Turbo C and (with a zener noise source) 8051 assembly.
I think that they are empfasizing the iphone app too much. I do like the service. Delivering stuff when people are actually there.
I have read few historical predictions about computers effect on man as concise and prescient as this:

“Every man will communicate through a computer, whatever he does. It will change and reshape his life, modify his career and force him to accept a life of continuous change.”

Now if you'll excuse me, I must go learn that latest js framework:)
Hellban is the most ignorant and stupidest invention, yet the most effective way to take down oppositions.
I'm not sure that's really any different. Google advertised Glass ahead of time with a very strong message: quicker and easier capturing of fleeting moments. You don't take out your phone, hit the power button, unlock the screen, find the camera app, wait for it to respond, focus, snap, tap the preview image, tap the share icon, scroll through the list of apps, tap the Facebook icon, tap "share". You say "take a picture". You say "share on Facebook". It's 100% "please, no, not more computing".

Glass' success is tied to delivering on that core premise. If Glass is currently not fulfilling it, then its popularity is strictly in being a status symbol, meaning it's ultimately a fad, a fashion statement (that's probably why you don't really see it on the east coast). Without fulfilling that promise, it's doomed in its own time as well.

Your examples absolutely will be failures and it is for this reason. Pedometers and wifi enabled shoes, the way I've seen them implemented, cause the user to have to do more work. The user can't just put them on and run and forget they are there and their running will improve. The user has to configure it with their system. Then they have to remember their login every time they want to look at their charts. Figure out how to make sense out of the chart. Should they be running farther, or would pushing faster be better? A graph of distance over time doesn't tell you that. The product creates distracting work for the user and THAT is why it fails.

Make that pedometer upload to a server and have a physical trainer email the user personalized instructions on how to improve their running every week and you have a pedometer that means something to users.
Google Places for Business: what customers say about your business, in one place
fsck, finger, mount, grep.
My thoughts exactly! This is a great resource, and the audience is probably very big (but the cross section who also use Github is probably not quite so big). I'd love to help as well.
Fixed costs, overhead, etc, etc. Training people is super expensive when you don't even know if your company will exist in 5 years.

Generally, you don't want your DBA discovering the 3rd normal form halfway through a project.
"It's no wonder security researchers turn to black hat methods" -- this seems such a binary and pointless reduction of the options available. Yes, Prezi could have turned this into a PR and security win, and failed to capitalize; but the assumption that now the only option for a security researcher is to turn to the dark side is... pretty ridiculous.

Those who "turn to blackhat methods" do so because they want to make money and don't place a premium on the potential moral/legal/ethical issues at play in how they're doing it. They make a choice, irrespective of the shortsightedness on display by Prezi here. Don't conflate the two behaviors.
For those who aren't aware, this is an op-ed (meaning the newspaper doesn't stand behind any of the facts claimed) from a right-wing Koch brothers organization.

Several commenters have already noted that the fundamental "fact" here, that certain vocations are experiencing major shortages (the "skills mismatch" claim) is completely false, which it is. The Great Recession stretches across all job fields and locations in the United States and beyond.

Nutshell: this op-ed is from someone who hates broad-based education and wants to bring in a sort of reverse work-training system: you pay them for the privilege of working at various companies, and we call it modern vocational education.
I think it's ridiculous, I've reported similar "out of scope" bugs and got no bounty for them.

Even worse are the companies that DON'T state any kind of bug bounty or instructions to report a security bug...

I found a data leak issue in one of the web properties of an S&P 500 company last week and I'm not sure if I should report it, because I feel that if misunderstood it could have negative consequences for me; and not having a security contact means I can't be sure the person I'm talking to understands my motives.
We're not saving for our kids' college. The oldest is 16 years away, and we believe that college will either be totally unaffordable, or the bubble will have burst and won't exist in its current form.

We are focusing on our retirement instead, because we believe it's far better to take care of that and not become a burden on your kids just when they're trying to take care of their own families and retirements.
Yeah, next thing you'll tell me that real developers use only Macbooks :)
Safe Airports Are a Myth
I can help someone learn but I can't make them learn. As a post in my Diaspora stream noted, "I can explain it to you, but I can't understand it for you".

Sometimes the truth I arrive at is that someone is an idiot (deliberately or otherwise) and that a belief system is wrong.
as it was commented below IntelliJ IDEA includes almost the same support (mostly the same) for other languages (PHP/Ruby/Python) as other IntelliJ-based IDEs. But at the same time IntelliJ IDEA never was positioned as a "true" polyglot IDE. IntelliJ IDEA is Java platform IDE, in the first place. It does support other technologies via plugins though, it might be much more convenient to use dedicated IDEs for other technologies.
http://googleandyourbusiness.blogspot.com/2013/11/announcing...

http://blumenthals.com/blog/2013/11/25/google-intros-the-mot...
As the upper limits of cost are reached, people will explore every avenue for obtaining funds for paying for what they demand, including borrowing from their own future (mortgage), pooling money for odds-based distribution (insurance), and confiscating money from others just this side of being theft (tax-funded subsidies). When you run out of other people's money, you find something else suitable to spend the limited funds on.
Abolish the TSA
College education is about as capitalist as China is socialist.
He has now responded to this post

https://news.ycombinator.com/item?id=6840674
Segmented sleep and biphasic sleep are distinct terms with very different meanings in this context [0].

[0] https://en.wikipedia.org/wiki/Polyphasic_sleep#Claimed_sleep...
An exchange is an auction, but I'm sure there's some regulatory capture here that won't allow the government to use any existing exchange. There may be a business opportunity here.
Recruiting Abe Stanway
Tuition couldn't skyrocket if students had no means to pay it. The enabler in this situation, is the disconnect between the availability of financing and the product being financed.

You can't get a $60,000 loan for a $20,000 car, but you can absolutely rack up that much (or more) in college debt, for an education indistinguishable from one at a third of the cost.

With that kind of distortion in the market, why would anyone be surprised at rising tuition?
Or get a cheap mac (mac mini, for example). Then you can run the iPhone emulator and use Safari to debug. Works really well.

Edit: Oh, you mean you tried this, but it works differently? Or are you using some linux-based dev tools?
There is a very visible pattern of 3-5 people, both on HN and Reddit, which seem to jump onto all Scala-related and also some not Scala-related threads.

The weird things is that despite people discussing with them and trying to correct false claims, there is almost no progress visible and pretty much the same copy-and-pasted claims will appear on the next thread.
Over here in Germany we have solved that problem with the Packstation. They're everywhere and you can just go there and fetch your packets whenever you want: http://en.wikipedia.org/wiki/Packstation

And there's no additional fee and I think sending a packet using them is cheaper than doing it the traditional way.
I do not think that the comments here are very good advice. I know a very good immigration attorney if you need one. Here are my two cents:

* H1B hit its cap last year, probably hit its cap next year. It's a lottery if you'll get one – I know a lot of people that did not get them – It's also very hard to get a H1B if a) you own majority of the company, or b) if you have raised less than $500k.

* I have never met anyone on the E5 visa. It's supposedly a complete nightmare, and takes forever to process.

* The E-2 visa is good but it requires you investing significant capital – six figures – in your business. If you can do this, get this visa since it is the best one.

* I know people that did not get the H1B and ended up working in USA on a J-1 visa: it's a crappy visa but might work, usually requires you to have more structure in the USA though.

My advice is to get a good lawyer and get an O-1 visa. Everyone balks at this visa but if you match these requirements you are a long way towards it:

* Have press about your startup (techcrunch etc)

* Have been accepted in an accelerator

* Have a degree

* Can get 5 or 10 reference letters from customers / advisors / investors saying how great you are.

One caveat is that again, you need six figures in the bank. Of all the visas though the O-1 is by far the nearest to an Entrepreneurs visa. I know dozens of people with them.
I really enjoy O'Henry's short stories.
Thanks, I haven't worked on it in months. Just made a few much needed updates and planning to keep updating often now.
> Likewise, just because a right is not enumerated in the Constitution does not mean it is not a constitutional right under the federal constitution.

Or, to put it in the words of the Constitution itself, "The enumeration in the Constitution, of certain rights, shall not be construed to deny or disparage others retained by the people."

The idea that enumeration of rights would serve as limitations on fundamental rights under the Constitution to those expressly enumerated was a concern with the whole idea of a Bill of Rights that the Ninth Amendment was adopted to resolve.
the word "bricolage" fits nicely: http://en.wikipedia.org/wiki/Bricolage
Also - what of the other scavenging animals?

Many of them will finally find headache relief.
> at half the salary level advertised for the position.

Tell me, Ege, what salaries are advertised at the following URL? http://jobs.laserfiche.com/Jobs?dep=engineering

I can't find any.
FYI, You can still see the url of the user on bitbucket and from there still get a name.
Sex differences in the structural connectome of the human brain
Oh sweet! How can I stay in the loop? I can't wait to see this in action once you have a release :)
Blue Origin Debuts the BE-3 Liquid Hydrogen Rocket Engine
It's clear to me that once they realize that the place is filled with the rotting bodies of mice, they'll need to import a type of snake that doesn't mind eating dead mice.

Oops.
Crime as a whole in the United States has gone down, yet school shootings, which First-Person Shooters emulate, have gone up since about 1993, the year Doom was released. Yes, I have a source.

http://en.wikipedia.org/wiki/List_of_school_shootings_in_the...

Note that the list of the US shootings, where Doom was released, has its own page, and far outstrips the number of school shootings in the rest of the world.

You can also see a graph of this at http://i56.tinypic.com/29uo8wg.jpg

Roses are red,
Violets are blue.
They don't think it be like it is,
But it do.
The Chinese Government is a threat to us all. They have created a genocide
In those situations, where "the vehicle is packed with hundreds of pounds of old soviet artillery shells and/or guys with guns" is a possibility, I strongly suspect that giving them this tool would turn the situation from "shoot the vehicle until it stops" into "Use Safe-Stop and shoot the vehicle until it stops".
I also agree, but I think the key here is balance: as pointed out above, convenience services such as these are wanted (i.e., people pay), and perhaps allow for more important things to take place -- however, we should think in terms of social responsibility and greater good as well.

In this case, Luna could actually cut down the number of delivery attempts per package, and potentially reduce the carbon footprint of the delivery.
Work is still a pain in the ass. It sits at your desk or awkwardly in your bag as you make small talk at events after work. We understand that we're not for every one of your deliveries
Seems a bit pricey for me. I think the future is Amazon's storage drop lockers in every Super America (insert your regional chain here). Works for we city dwellers (there's one every 3 blocks), and even suburbanites.

There's no way Luna will work for those many millions are trapped in the suburbs (though of course, that's not a prerequisite for success either). That being said, i'd definitely use this service in Minneapolis proper.
For me, GitHub was the easiest thing to get up and running. Another nice addition later on will be GitHub Pages -- a website generated off of the contents of the repository, which will help broaden the reach of this project beyond those who can navigate GitHub.

Once I get 100 days worth of content, I'll buy a domain and make it look pretty.
>>So why not train them yourselves? Why do they have to be the complete package upfront?

I didn't say they have to be the complete package upfront. We actually do have comprehensive training programs for new hires, most of which were designed by me. The problem is that people need a certain mix of base level skills and character traits to succeed and excel. Most people we interview don't have those, which means they are unqualified.
We're going to be seeing a lot of innovative 3D printers on the market in 2014, it's really exciting.
It is lightning fast on my machine on both VS 2010 and 2012.
Roadconexion provides Uganda Road users with real-time crowdsourced traffic
I agree with you in principle, but please choose another target other than football tickets and massive stadiums. Most massive stadiums are filled with paying customers whose money is then used to fund all the other athletics programs that don't charge money because too few people would actually pay to watch them.
Grants for vocational programs are nice and all, but the damage has already been done. The huge expectation in the United States for every student to attend college - that has to be overcome for these things to be successful.
How long can packages be stored with Luna before you deliver them?
Cost is not the same as price.
You've opened a new HN dimension to me. Not that I'll use this often, but it's good to know it's there.
Show HN: Interactive graphics for IPython notebook
Show HN: Bitrated – Bitcoin m-of-n arbitrated transactions
Awesome idea!

How do you guys deal with faulty products? I know UPS and FedEx cover product issues brought on by the S&H process.
Instagram blocks Mobli from using its API
With the apprenticeship model you have a junior DBA working with a senior DBA who knows 3rd normal.