skysight-inc/HackerNews huggingface dataset:
Based on the number of people who don't use their phone for a boarding pass, there won't be a problem of the public signing up for an extra service.
But combing source code repositories for config files containing private information might be.
PYTHON DEV - Exciting and Emerging mid-size TECH Startup in Venice Beach, CA
So wait a second. TSA gets introduced and it makes lines long and horrible. To get around that, give us full spying rights and $80.

This is a little too problem-reaction-solution for me.
Hosting something like this would be very cheap. A $40 a month VPS could handle it for a while and if it outgrows that then it will be worth something.
HOO RAY. Seriously. This is great news. Thanks drbrain!
I am part of global entry.
My trusted traveler number works as the number used for pre-check, and pre-check gets printed on my boarding passes.

Global entry has some other advantages if you travel internationally. Besides faster re-entry into the US, it also gets you into reciprocal programs in a bunch of other countries (for example, privium in the netherlands).
There is a Japanese restaurant not far from me that uses a system like this. Your table/booth has an ipad you place orders on. Staff bring out the food to your table. You walk out at the end and pay. It worked really well.
I'm not asking you to argue; I'm asking you not to call people names, especially when they're wrong. It's not just unproductive, it's counterproductive.
A search engine at searching code than Google
Testing Network Failure Using NuoDB and Jepsen, Part 1
> Do you care how $LIB does some work for you? Does it matter to you whether $LIB uses $OTHERLIB in version 0.1 or 0.2?

Only when debugging. But that's a pretty big 'only when'
And profits? Probably forget the biggest reason why they did it.
It's the same source.
Yes, the US government agencies can own trademarks.
Something I've never understood: when opting out they don't let you walk through the metal detector, they always force you to go around it. What's up with that?

[Source: opted out ~5 times in the past year at terminals lacking precheck lines.]
I'm picking up that Sam may be a little off. Or at least his reading skills are really questionable. The developer clearly stated that he would look into it, which is what you say when you first get word of something serious that needs to be looked into. And he was appreciative, emphatically so, about being informed. And annoyed about his customers being informed as well, but that annoyance is very understandable, even though he may have deserved some annoyance by his apparent lapse in coding rigor.
Account activity the way it should be
account activity is a missing, poorly developed feature of many modern web apps
Reminds me of hawala, an interesting money transfer system that doesn't actually involve the movement of money, based on the honor system and with roots in Islamic law: https://en.wikipedia.org/wiki/Hawala
Well, one of the biggest financial websites out there is called Fool.com...
This is made even more complicated by the fact that SpaceX isn't launching from the equator, which means the satellite will need to change its orbital inclination. Inclination changes are less expensive the 'higher' up you are, so SES8 is in an orbit with an apogee almost twice as high as its eventual orbit. This allows it to use less fuel to correct the inclination.

I haven't read up on the burn plans, but it's possible that the mission is technically using a bi-elliptic transfer[1], rather than a straight hohmann transfer (warning: I learned my orbital mechanics from the Kerbal Space Academy).

[1] http://en.wikipedia.org/wiki/Bi-elliptic_transfer
I'm surprised that GCC generates that code. Using read-modify-write instructions directly in memory has been better on x86 processors for quite awhile now, since both AMD and Intel support fusing the memory and arithmetic operations into a single micro-op.
I think the parent was predicting RAM, HDs & GPUs will become more expensive as more and more people buy off the shelf non-upgradable hardware.

Without a large base to spread costs over, it will become a more and more specialised field.

Both Intel & AMD are moving towards not selling individual CPUs and instead having them built into the main board, and I imagine that after that RAM will become built in as well.

GPUs are disappearing from the low end (onboard is getting pretty good) and if Intel succeed with Xeon Phi cards, thats going to start splitting the HPC market away from GPUs. Without the low end to get rid of older stock and increase the yield, I could very well come that Nvidia and AMD aren't able to keep the R&D dollars in GPUs.

Component manufacturers will start exclusively targeting consumer electronic companies, and the Off the shelf market may find that it is forced to pay premium prices, further reducing the number of people who are participating.

Unfortunately consolidation is a sign of a maturing market, with most people being happy with an off the shelf system (i.e. most people even on HN are happy with a macbook pro / air and its limited upgradability). A quad core laptop, 8gb of ram and 256gb SSD is suitable for most people, especially if they have a way of storing another 1tb of rarely used content (external hdd, NAS, online storage). They have been available for the past 3 years, and we are starting to get to the stage where they will likely be suitable for the next 3 as well. It will be a shame as the days of building cheap consumer grade servers for home use will be behind us, as will High performance workstations for 1/3rd of cost of Dell / HP / whoever.
Wow, so finally TSA went full-out on discrimination. "If you look ok, skip security"
This has got to be the best trolling ever.
Sam is in dangerous territory here. IANAL, but I think he may be close to being accused of Tortious Interference[1]

I noticed this in the initial response of websmart's owner that I've seen before in legal docs.

"I do not appreciate you taking the liberty of contacting my clients directly [...] you have no right or authority here. You could very well damage my business with this. If that happens you will be hearing from our lawyer."

This line in Sam's last email is especially dangerous (stating things he doesn't know and something which can be perceived as "soliciting for business"):

"This is a serious security defect. It is easy to fix, but Websmart has made it clear that they have no intention of fixing it. [...] If you have questions, or would like help fixing your website, feel free to contact me."

isn't very smart to say the least.

[1] http://en.wikipedia.org/wiki/Tortious_interference
Scientific theories are falsifiable: they make testable predictions.

Austrian Economic theory comes closest to this ideal.
I'm not sure how the elite lines underscore that. It's the same security, you just have fewer people in line in front of you.

Those aren't even controlled by the TSA—the elite lines are handled by the airport because their customers (the airlines) ask them to.
Huge Money Up For Grabs With Tizen Developer Challenge
Trivia: Apollo 12 was struck by lightning, twice, after leaving the pad.

http://www.nasa.gov/offices/oce/appel/ask-academy/issues/vol...

This knocked out command module electrical systems, and it took some damned fast thinking from ECOM (electrical and environmental systems) who recalled an earlier incident and gave the instruction "SCE to AUX", resetting electrical systems.

Actual launch: http://fixyt.com/watch?v=eWQIryll8y8

Dramatization: http://fixyt.com/watch?v=TMYNy3JsHTE
Gemfiles _are_ bundler's dependency resolution mechanism; it's not a new incompatible mechanism added to that provided by bundler -- it's bundler's mechanism being merged into rubygems itself.

Which is great news, in my opinion. With the same team, release schedule, and set of tests, there will no longer be issues of which version of bundler works with which version of rubygems (which isn't an issue except when it has been, and then it sucks, especially for newbies). No extra thing to install (including in your provisioning/deployment scripts). It's just there, it just works. The number of seperate interacting parts you had to install to 'bootstrap' a proper ruby installation has been growing -- which really does add increased burden to newbies understanding what's going on -- nice to shrink it again.
The 18-uop limit comes from how Sandy Bridge (and Haswell) handle the decoded instruction cache. A 32-byte line of the instruction cache can map up to 3 lines in the u-op cache, each of which can hold 6 instructions. Any 32-byte line of instructions that decodes to more than 3x6 = 18 u-ops cannot be stored in the u-op cache.
For cash, no. For any other type of transaction I prefer it.
This is how they deal with their cognitive dissonance.

http://www.amazon.com/Mistakes-Were-Made-But-Not/dp/01560339...
... on HN
It's the same thing with penalty kicks in soccer. Statistically, you are more likely to score if you kick the ball down the middle. The goalie is going to go one way or another and there's a 50% chance he'll guess right. So why don't players kick it down the middle..because if they kick it down the middle and the goalie manages to block the kick, they'll come off looking like idiots and it would look real bad on the highlight shows.
This seems like one of the more appropriate translations of SICP. I'm looking forward to it.

By the way, if this is your site: your comments are already being spammed.
Hardware is how software asks better questions
Why continue the HN way of commenting, once a post gets past 50 comments its impossible to follow where new content is landing.
Maybe look at Discourse or something similar...
XNA is synthetic DNA that's stronger than the real thing
On a 128GB internal SSD?
Salesforce Picks Second Winner for Criticized Hackathon
It's not necessary to believe in all those classes of infinities to see the sui generis nature of the mathematical gesture used to generate the Metanumber.

Between any two mathematicians, likely the two will pluck very different Rules from their imaginations or backgrounds to produce some other real number.

What is interesting is that we have a new real but also a new list. The lists are contiguous games, not a continuous "paradise."

Number is the market wherein we SHARE rules. If we give up rule-sharing, the market itself has no value nor do the numbers (and then all order is defeated).
Yes.

http://www.dailydot.com/news/nsa-trademark-infringement-libe...

http://www.nationalreview.com/corner/357309/nsa-registered-t...

There's no copyright in Federal works. Other forms of IP can be used.
Look, I realize it's fun to make enemies and drop big names, but this app was not "listed in Cydia" any more than an app might be "listed in Firefox": the closest something can get to being "listed in Cydia" is to come in a default repository, and those are all (as is Cydia itself) anti-piracy.
Subreddits are awesome, but one advantage of using an open-source app like Telescope is that you can customize everything, from the color scheme to the site structure to the ranking algorithm.

(disclaimer: I'm the creator of Telescope :)
The process of rapidly becoming a marketable commodity is called monetization.

Bitcoin is in a hypermonetization melt-up phase.
\o/ this guy gets it!
We built a tool to compare hospital prices and quality: PriceMaps
The "Intellectual Property" Oxymoron
Whereas the average Medium post is 3.5 minutes of mild liberal outrage about a group that doesn't know what Medium is. This is also known as the worst part of Huffington Post, outside of design.
I'm not sure this is the end of AMD, though.

Are they not going to make any server processors?

Can APU's not be used for high-end gaming? Can the GPU portion of the processor not be looked at the same way FPU's used to be seen?
Sysco.com sells factory-produced food for small restaurant businesses. Large businesses have their own in a company version.
Dude. Thanks man. I created this almost entirely from my phone while sitting on a plane.

All I had to do was whip out my computer while sitting at baggage claim and run 'mrt deploy www.healthhackers.org'

Web is a crazy place...
Contrary to what that article is saying, the Instagram founders did have a programming background. I was at a talk given by Kevin Systrom - he said something about having gotten a B in a programming class at Stanford, so he had at least an intro-level knowledge of coding (which is honestly a better start than something like Codecademy).

Mike Krieger got a degree in Symbolic Systems, which requires quite a few CS courses.
I'd like it if hovering on a parsed item moved it's explanation to the top rather than just highlighting it. Not so much scrolling required if any.
R.I.P. Android developers. Google finally decided where to go.
The working solution (proven by Reddit) is to create a ton of fake accounts and post stories from them, and have them talk to each other in comments.
This was called automat in the USA, popular in the 1970s.
Those extra cores are designed to be good for streaming parallel data computations, not "generic code" - you can't even run a hash table performantly on a GPU due to the random pointer accesses.
A different article I read said that tips actually went up.

The system doesn't eliminate human interaction, it just streamlines certain things. Eliminating paper marketing for drinks and desserts could end up saving them a lot of money.
Mac Pro GeekBench Score: 37,602 Single-Core,  211,105 Multi-Core
I was studying this difference between the two compilers for a different issue, actually. According to the standard, I don't see anything that prevents an increment of a volatile to be performed in a single instruction if the target permits it. Splitting it to a separate load+binop+store by gcc seems like an over-pessimization.
I assume this is predicated on an initial username/password auth for identification? If not, how do you deal with token assignment?

E.g., if I log in today, then come back on a different computer, how do you know to give me the same token?

I've always copped out on REST auth and just gone client/server for authentication, with REST for everything else, for fear of fucking it up.
They've not sold well because they've been cumbersome and have involved massive sacrifices. Compare typical phone models with a cheap laptop when it comes to raw computing power.

But that gap is rapidly diminishing - the phones are catching up.

And as for user experience, you need to be able to get a "proper" desktop OS, and you need to not have to plug in lots of cables. And it needs to be able to drive a sufficiently high resolution display at good speed. It's slowly getting there, but it's got a bit to go still (but consider that today, mid-range Chinese unknown brands churn out quad core Android tablets with 2560x1600, and even low end phones come with 1920x1080 screens; and many of these devices can handle 3840x2160 output to external screens...)
Is that legit? Any one know.
Hopefully better product results in greater profit, yes.
I contribute a bit to Quora. Despite the bad rap that Quora has on HN, Quora does a really good job of curating posts, and there are a lot of extremely high quality posts related to software and startups. It's a lot less nitpicky than HN because anecdotes and opinions are perfectly fine on Quora.
Actually Bitcoin is like hawala, too, when used for cross-border finance transfer: the sender trusts the network that the reciever will be able to exchange the Bitcoins for the corresponding value in local currency.
Xamarian is based on Mono, which has had Linux support since forever.
Would they arrest someone who was charging their phone without permission? Seems like there could be a lot of arrests worldwide if that was the case.

Also, asking a police office if he made a mistake in arresting someone, or giving them a ticket, would they do it again, etc. does not usually result in enlightening journalism.
Airports too. This is at JFK. http://www.yelp.com/biz_photos/jetblue-cibo-express-foodcour...
There is also NH for agriculture, in case anyone is interested:
http://news.agfunder.com/
Oh, The Things You'll Learn As A Software Engineer
I have an 11" Macbook Air from 2011 and it's been great. Went from snow leopard all the way to mavericks without a hitch. Use it mostly for web coding stacks have been Java, Python, Scala, PHP and the occasional Photoshop/Xcode. The only environment I have a hard time with was Scala just because the compiler is a bit of a beast, especially when getting a project up and running with SBT where a new artifact could be added every day or two. I ended up offloading Scala compiles to my home PC, but you could probably get a cheap VPS for the same effect. Great little machine, make sure to only use homebrew or your own source compiles and never trust the Apple shipped packages. Also go with the most storage you can afford - it's annoying to run out.
Thanks for the response, a few of my friends in Facebook told me the same thing, the constructed number is infinite, so it is not a member of the set and my argument is invalid. Do you have any insight as to why my attempt to show that the reals are countable by placing them in a binary tree is also wrong? We know the rationals are countable by putting them in a grid and mapping them to the natural numbers, how is this fundamentally different from putting the reals in a binary tree?
Agreed. Two minutes of screwing around on it made me feel like an artist: http://i.imgur.com/5e42RRN.png
Much of what investment bankers do is socially worthless (2010)
Cost to the taxpayers isn't a mitigating circumstance when choosing whether to arrest someone for committing a crime.

It should be a factor in deciding what is and is not a crime, however. If the cure is worse than the disease...
Good to know it's improved for Scala! Playframework templates give me the most trouble while working in IntelliJ.
I'm not a crypto guy, so this is probably a really dumb suggestion, but isn't this a great application for a blockchain?
This has already happened in countless other industries (airlines, banking to name a couple which have moved most customer interaction to the web). There's no reason it shouldn't happen with the food industry, there is just too much inefficiency in the current process.
"A simple warning would probably have been more than enough to prevent him from doing it without permission again."

It sounds like they were using him to set an example for others. If they just gave him a warning, hardly anyone would have heard about it. Arrest him and haul him off to jail, and everyone in the town knows about it (and apparently, now, everyone in the world).

I'm guessing that keeping him in jail for 15 hours costs the city hardly anything, since the jail has to be staffed 24 hours a day. Maybe they had to give him a couple of meals. The prosecution will probably cost nothing, since the charges will probably be dropped (or plea-bargained down to a small fine). Any prosecutor who wasted time and resources to prosecute a 5-cent theft would probably face a lot of well-deserved criticism, especially now that the story has been distributed this widely.
who would want to dine at a place like this? and i use the word 'dine' vs 'eat' on purpose. if you think of food as fuel then this makes sense. if you enjoy dining out, this is a huge step backwards. bring on the franchise wars - i wonder if taco bell will actually win... (bonus points for naming that mostly bad 80s movie)
I thought they had, but maybe they've just stopped decreasing at the expected rate.

http://www.jcmit.com/disk2013.htm
In another view, PhoneGap is the trademark that Adobe bought. Cordova is the (not so) new name given to the PhoneGap product when the product moved to Apache and the branding went to Adobe.

I have an app in the Android Market (er, Play Store) built with the old open source PhoneGap.
"People only back winners." If people think that there's no way they'll ever reach that ambitious goal, they won't contribute, so there will be no way they'll ever reach that ambitious goal.
There are several dead links and sql injection vulnerabilities on the company's website.

I can appreciate that it takes time and tact to deal with all the clients something he is hopefully doing but not even doing some basic work on your own corporate site is hard to understand.

There are also exploits in the Frontpage module his web server is running according to online databases.

Does this company have its own "cms" system? Is that why the error is so pervasive?

From what he says about his business under "About Us" the owner has a solid background of over 10 years in the broadcast industry as a radio personality.

My assumption is that he owns the business, and has owned it for a long time. He probably has very rudimentary html skills and can open his tool of choice DreamWeaver on a good day.

From what he says I think he outsources pretty much anything more than writing plain html. So he might be trying to deal with one or more contractors that he has hired for different sites. That probably makes it difficult for him to roll out any changes / patches in a timely manner. He is probably trying to get his / one of his contractors do it for free, since he has discovered its broken.

I think the appropriate action is for Owen Smart to take a step back. Take a deep breathe. Realize that he is in a shitstorm now since the story hit HN.

He needs to reach out to and reassure his clients. He might want some help from a PR
person here to make sure he presents well. Make them see that he is competent and taking action.

Hire in a developer with a strong background in security to review the code base(s) for additional problems, and come up with an immediate mitigation plan, and work out a longer term plan to deal with the issues identified.

Make sure to follow up with the clients about target dates for fixing their sites.

He may also have to add a section on his corporate page, with some help from a PR person,
and give his version of events in the best, least confrontational manner, and again
say that he has the resources and the plan for addressing the issues that have been raised.
Some BS about thanking the people who helped him find the issues. and reassuring future clients that this will no longer pose any problems.

Happiness all around.
That's awesome! By the way, with Giteor it's now even easier than that :)

http://telesc.pe/blog/one-click-deploys-with-giteor/
No company is betting on data-driven HTML apps.

Google and Mozilla is clearly betting on C/C++/GL and sockets. Chrome and Firefox is becoming another Qt.

Microsoft is hesitating because they're lingering on Windows/DX/.NET.
The height of the banner at the top is just a little off. ;)
What is cool to consider is that some algorithms for Metanumber might yield ASCII art. In some cases, we might see glyphs.

We first have to agree on where to start the reals, which is simple agreement, but the Metanumber strategy could stir up aesthetic commitments since reals do not include an encoding to direct the list itself. Naturals are encoded to place other naturals.
Pretty sure you can't use Giteor if I want to have a custom domain? Either that or I was being silly.
Nope. I'm silly. Damn. That's crazy.
I think that the issue of customer contact is a red-herring. What caused the issue was not that Sam contacted the customers, but that he cc'ed his threatening e-mail to the vendor to the vendor's customers.

Any reasonable person would expect the vendor to take umbrage to being threatened with press coverage in front of his customers. Sam would have had the best chance getting the problem fixed by sending a separate e-mail to the vendor that did not include a presumption of bad faith.
Oh that's done on purpose :) I always thought that the HN banner was a little too small, so I decided to make mine a little larger
Thanks! How do you handle storage? Upgrading from 128GB to 256GB is pretty pricey. What do I do if I stick to the base storage?
Also, the version of OpenSSL in this version supports TLS 1.2 (the old one only supported TLS 1.0).