skysight-inc/HackerNews huggingface dataset:
Seems suspiciously good, especially the lighting. One shot in particular where the plane reaches out of the laptop screen is unimaginably impressive.
Here it's a misuse of notation.
Android vs iOS users: Who will stop using your app after it crashes?
Just a silly holiday hack, since I wanted to learn how to build and "ship" Chrome extensions. Code here: https://github.com/davepeck/monday-music/
I'd be interested to see numbers. But I feel like the numbers used to be roughly 50% of investments were wipe-outs. 40% brought back the 1-2x returns, and 10% delivered a 5x. Ie. 1 in 10 investments was responsible for the profits. Now with talent acquisitions there is a safety margin for the 50% which previously returned nothing.

So if those numbers still hold true then the bulk of a VC's portfolio (by investments, not dollars) is boosted by the availability of talent acquisitions.
My Pi is pretty close to my wifi router and I have the same stick - 4-5mb/s depending on what I'm doing with the data. You may need to turn power management off for the device.
> I thought plagiarism was an issue of false attribution?

Yes, that's precisely what I've seen people get annoyed about when the issue of copyright violation comes up.

> If my product gives attribution to the original authors, but I do not release my source code, then I am in violation of the GPL, but I am not a plagiarist.

I thought the GPL allowed binary-only distribution as long as there was a link or similar in the program to somewhere the source was available, but apparently not.

http://www.gnu.org/licenses/gpl-faq.html#UnchangedJustBinary

"The general rule is, if you distribute binaries, you must distribute the complete corresponding source code too. The exception for the case where you received a written offer for source code is quite limited."
This might remain true as long as human-level intelligence is the exclusive domain of humans.

And that's probably at least for decades to come. But if someone develops a strong AI, this goes out the window. Probably most familiar forms of employment along with it, possibly the entire idea of a society where the labor market is a primary form of economic participation.

Personally, I don't see any technology on the current landscape or the horizon that I think is likely to produce strong AI within decades, maybe even a century. Wouldn't rule it out, though.
Apart from the single technology that allows open communication and allowed the Internet to e.g. become a business haven...
The Jumpstart he links http://www.bluecollaragency.com/jumpstart#overview doesn't make sense to me because the winning team is a design firm? They should participate in a homogeneous contest, where all the participants are offering related services, like web hosting, cloud services, etc. That helps attracting new customers.
From memory these sticks are either a Ralink or Realtek chipset and are supported by all recent kernels.
Yes, it's much easier for humans to prove complex theorems than computers. Just as it is much easier for humans to build complex programs than computers.

Often times, a proof is (much) more complicated than just mixing theorems A, B, and C together to get result D. Many times proofs will require developing entirely new mathematical structures, or can be done only in steps.

As an example, a friend of mine just proved a great theorem about whether or not Hessenberg varieties can be paved by affines. Ignoring what this actually means, the proof involved firstly recognizing that a Hessenberg variety actually fits within a spectrum - it is somehow "between" other types of well- (or better-) understood varieties. These are paved by affines in (somewhat) obvious ways, and so it is natural to try to use the "between-ness" of the Hessenberg variety to construct a "between-ish" paving. This isn't a proof, but it is a direction (one that turned out to be fruitful). It would be very hard for a computer to have made this intuitive leap.

And it almost works. Except now you can't reduce things like you would like, and you need to construct multi-level fiber bundles in order to get the triviality that you want. And wait - this only works if the Hessenberg variety that we started with has such-and-such property.

So she's reduced the problem to a simpler problem. How does she know it is simpler? Intuition. A computer would have a very hard time recognizing whether or not this is actually simpler (even if it could get there). It turns out that this property holds when our Hessenberg variety is constructed from an element whose semisimple part under the Jordan decomposition is regular. So she has proved it for a huge class of varieties, but not all. Such a partial result would also be very difficult for a computer, since it isn't exactly what she set out to do. She's only partly there. But even this part is huge.

And there isn't anything hand-wavy about her argument, either. It's perfectly grounded in well-established theorems, all of which she understands the proof for. It's just that the original concept was shakey - the "between-ness". She had to work to ground it. It would have been exceptionally hard for a computer to make several of the intuitive leaps necessary to come up with the ideas for the proof in the first place.
I think USB 3 is prohibitively expensive at the moment. Power may be an issue there too - you barely get 200mW out of the USB ports by the time the system itself is powered.
Your twisting my words now, people pay for headlines with advertising and what not, we are talking about music or perhaps even movies, these people produce and create these forms of entertainment expressly for money, not for your enjoyment or for your friends enjoyment, them make it and package it.

Then someone comes downs rightfully buys it and enjoys the fruits of others labours.

What is not right is to reward artists by telling them that their hard work is just information free to be handed out to everyone, seriously call it what you want, you are stealing from these people. They don’t want you to give it to your friends or random people off the internet, they want you to pay for it.

If you really don’t like it, go and create your content and release it under creative commons and stop watching and listening to commercial movies/radio.
Tipsy: Being a Tutorial on the Ways of Flask
Outsourcing memory: the Internet has changed how we remember
Totally agree. The simple question "do I really fear doing that" is very useful too. I quit my management consulting job to start a company when I asked myself this and answered "anyway I'll always be able to live comfortably so why not"
Akt B&W | Zdjęcia aktu Bełchatów | Akt
US and China politicians/government/bureaucrats are exactly the same, the more power they have, the less freedom is left for us - the people.
Been using this on iPhone 5 for a few minutes. It works really well. The UI is well put together. 3d tracking is pretty spot on. I'm in a low-light room and it works fine. They seem to be having some server load issues at the moment, as I frequently am getting network connection errors from the app when it's looking for new models. That's a minor issue that I'm sure they'll get fixed.
I think there's a simpler reason for this. The criticism that developers might just copy your software doesn't change for SaaS. Github doesn't need to be SaaS, it's just sold that way, and plenty of Github-clones have arisen.

I think there's a much simpler reason standalone software is a rare beast outside business and enterprise: piracy. It's an odd world where Oracle database can be freely downloaded but IntelliJ requires a license and a videogame requires Steam or an App Store or something. The broad pattern in standalone software is the more consumer-oriented the software, the more barriers to piracy there are in place.

The difference is that Oracle's customers are easier to sue. Oracle makes its money selling five-figure server licenses and piracy is no threat, even if the pirate gets some utility off the software. Heck, the pirate might eventually be forced to buy a license if he locks himself in. On the other side of the market, the piracy rates on consumer software are astronomical--as in 90% being a typical piracy rate that I've heard--and pirates go overwhelmingly unpunished. SaaS fixes the problem by ensuring the consumer never has a physical copy to steal.
Any impure algorithm on a system that uses pointers can be made pure with I think log(n) oberhead, which in practice is usually equivalent to a constant factor. But in the real world constant factors matter, in time as well as space (cache locality to do work in chip instead of ram instead of disk instead of tape)
This holds true for my API at https://openexchangerates.org, which is to its core a B2D service - I built it to service my own needs - whereas most of the key players in the industry seem to be aimed at business people.

The truth about many APIs is that it's the developers who are generally the ones searching for the solution they need, who then ask for finance dept or bosses to make the payment (this is true for at least 1/3rd of my customer base, in my experience - developer signs up, finance does the payment).

It's also developers who spread the word more about services they use, link back to things, write tutorials etc (where most of my traffic comes from).

Having said that, take with a pinch of salt - this is only from my personal experience with my business and may not hold up for everybody/anybody else!
Meet the wondrous, magnificent kinetic beasts of the fascinating Theo Jansen
Creating a live progress bar using Splunk
Kinda meh, I suppose. I suspect the primary perceived benefit was for SEO, and with Google Exact Match Domain penalty/update - that benefit is gone.
I was thinking the other way around. One 50x and 49 flops is half as much money as one 50x and averaging your money back on the rest of your investments through talent acquisitions. If you have a lost cause that you can get something out of, it is foolhardy not to do so.
The only takeaway I have from this post is the continuing idiocy of the Apple vs Android vs Whatever "battle", as if it's some kind of exclusive choice.

"For the record, I’m a huge Android fan so it takes a lot for me to write a blog post about something impressive by Apple."

I own an iPhone 4S and a Nexus 7. They're both great devices. I've seen Windows Phone in action and it looks cool; Mozilla's B2G stuff is looking great and there are many different areas in which mobile OS providers can differentiate and be inspired by their competitors. This sort of religious war helps no-one and impresses no-one. It's the modern day equivalent of writing "M$" instead of "Microsoft" and we should all know better.

Get over yourself.
All hail the prediction machines
I for one welcome our new Pyschohistory overlords.
Marijuana is never gonna be legalized in US. The current private prison system, the ghettos, supplying soldiers (most with fathers in jail) for the military, etc. works too well for the elite to be messed with.
Optimizing JavaScript CV code
Borderline off-topic:

What are the best open-source charting libraries available right now (in terms of looks)? D3 or not, although I'll prefer D3, as it would be easier to extend.

I'm looking for something as pretty as Highcharts, to use in open-source apps.
The best articles on Hacker News from 2012
To have an automated proof checker validate a proof, someone would have to lay out every single step in the proof in enough detail for the verifier to do its work. With current verifiers, that means 'in painstaking detail'. Only highly educated and motivated people can do that, it takes ages, and it is not very rewarding (neither financially nor otherwise). Because of that, volunteers are hard found.

In some sense we won't really know whether a proof is rock-solid until we have run it through a verifier, using a proven-correct verifier on proven-correct hardware.

If theorem provers grow to be more easy to use, we may require proofs to be verified, but we aren't there yet by a wide stretch.

For an idea about how hard this can be, check out http://www.cs.ru.nl/~freek/comparison/comparison.pdf:

"In 1998, Tom Hales proved the Kepler Conjecture […] with a proof that is in the same category as the Four Color Theorem proof in that it relies on a large amount of computer computation. For this reason the referees of the Annals of Mathematics, where he submitted this proof, did not feel that they could check his work. And then he decided to formalize his proof to force them to admit that it was correct. He calculated that this formalization effort would take around twenty man-years"

(that effort is ongoing at http://code.google.com/p/flyspeck/wiki/FlyspeckFactSheet)
Marketing gimmicks from 2029
Agreed. This seems like a better introduction than other tutorials I've seen, but it could just be that I've already grokked D3's data binding model through some tutorials plus a bit of trial and error.

This is another must-read: http://bost.ocks.org/mike/join/
I didn't mean for it to come off like that. I use an Android phone but I am also writing this from a Macbook Pro and I have never had a non-apple computer, so I don't think I'm really part of the aforementioned "war". I was only clarifying that I'm not some Apple fanboy foaming at the mouth about every minimal Apple ad.
The argument isn't over whether it's a physical token that won't be available for sale. Even without a physical token it's still stealing.

If everyone were to just take digital content without paying for it, would this still be ok?

If so, why would anyone produce the digital content knowing they won't receive compensation?

And how does this apply to other non-digital marketplaces:

If you went to a dentist to have your teeth cleaned, would it be ok to never pay the dentist? After all, the dentist is still able to clean other teeth?

If you had your car towed to a mechanic, does the tow truck driver have to be paid?
A corroborating viewpoint on now vs. 1999 from Evan Williams in an excerpt from GigaOm Roadmap.
http://treerao.tumblr.com/post/36544501565/ev-on-the-difficu...
That's because Apple doesn't have support for flagging specific devices. You can't for example click check boxes that enable an app to be downloaded for iphone 5 and iphone 4s but not iphone4. There are a variety of clever tricks you can use in some but not all cases. For example you can require a front facing camera to eliminate ipad1 but not ipad2.

Unfortunately such tricks don't give devs complete coverage. It's a major issue that many devs struggle with. Apple is entirely at fault here for not supporting a very straight forward feature.
The so called anti-piracy groups are the real pirates - just a bunch of old, evil, filthy rich owners and CEOs, that would destroy the lives of countless young people without blinking.

Every single successful civilization/culture/religion in human history was based on sharing. The pirates, bribing politicians and police officers, across the western world are destroying the very fabric of our society. Plus the DRM, constant monitoring and logging of internet activity, war on open platforms, like Linux.
Nested selections/joins/bindings/whatever have definitely been the biggest stumbling block. A tutorial would be much appreciated.
This sounds really appealing - build a great service with an awesome API that developers love, and you're practically guaranteed success.

And there are a few good examples - Stripe and Heroku are killing it, right?

But the reality might be a little different. There are tonnes of businesses out there using crappy software products. Those businesses are not engineering-driven, and they'll continue using those products until a sales guy from BigCorp sells them the next iteration of those products. Even if there's a better product out there that "only takes 2 hours to integrate", their understaffed tech department already has a 12-month backlog.

As a SaaS company, focussing on nimble, fast-moving startups means that your sales cycle is fast, but you end up servicing companies with minimal revenues. It's like the ultra-vocal tip of the iceberg. 95% of traditional businesses still work on traditional sales cycles. It sounds crazy, but they freak out if they don't need to sign an NDA to get your API documentation.

And maybe we have to adapt to that.
[Execution] should probably mean, "relentlessly finding market fit"

The trouble is, that doesn't really say much either. "Finding market fit" essentially means producing something good enough that people will pay for it, so arguing that execution is all that matters for success with that definition is a circular argument.

On the other hand, if we contrast "execution" with "idea", as is often the case in HN discussions where the "ideas have little value" argument is made, we're effectively comparing having a good idea that we can make money from with having an arbitrarily bad idea and assuming that it can be incrementally adapted (<ahem> pivoted) into a good idea that we can make money from. I simply don't accept the premise that you can start from anywhere you like and always wind up making money as effectively as someone who started from any other point.
Legal Consensus of Warrantless Cellphone Searches Is Elusive
In SQL it does.
You chose to focus on one aspect of a blog post that gives the reader a little bit of context and background to the author, but otherwise very positively outlines an advertisement that in his opinion executed everything it set out to, and then publicly decried him for barely doing everything your commentary actually does. I found myself nodding in agreement with all he said about the ad, and he said it well.

I think it's you that stands to get over one's self.
Ask HN: How do you manage server side credentials? 
At work we maintain passwords, keys and secrets for a few dozens internal and 3rd party services such as S3, Sendgrid, Xero and more. For most services we actually have at least two accounts, one being used exclusively on production. So far we have been been storing most credentials in plain text config files under version control but we are looking for something more secure in case the source code is compromised. Any suggestions?
>linking bad HR people and women

You seem to be fundamentally misunderstanding the original complaint. The idea was that HR itself is a problem. It's not about people being bad at HR. And your suggestion to 'Suppress your urge to report your observations when they could lead to others making sexist/racist assumptions in the future.' deeply bothers me. If we pretend things don't exist because they look sexist/racist/etc, we get in even deeper problems of trying to figure out what is real.
Why Passbook could join Ping in the Apple graveyard
Let me add to this. When you try to formalize a proof in a proof assistant, then almost all of the time, you will find numerous errors in the proof.

But - and this is key - these errors are usually fixable or the area is not understood well enough and requires more attention to detail. The human intuition is quite powerful.
That is more about functional programming than laziness, but maybe I am splitting hairs. OpenGL, for example, implements the matrix stack functionality, and then it only works for one class. A lot of work then to get ky everywhere you need it.

Clojure is doing a lot of work with fusion and sequences to transfer laziness from arrays up to the other objects that consume them, but it is harder as you go farther away.
Interesting. Reminds me of a recruiter who runs several jobs board. He blogs at recruitingdomainnames.com about domain names... he might be interested in your solution. I saw him in this very interesting interview which I highly recommend: http://www.domainsherpa.com/jason-davis-slouch-interview/
Money ≠ Happiness. QED. (2007)
Do you similarly object to comparisons to "witch hunts" (such as perhaps The Crucible) if people are not actually being crushed or burnt alive?
If you look through chapter 12 of the most recent (online) version of ESL by Hastie et al, you can get a good idea of how to think about what the soft-margin SVM is doing. In particular, equation 12.25 on page 426 gives a formal mathematical equivalent to my previous verbal description.

Personally, I find it helpful to think of most classification methods in terms of what loss function is being optimized and what sorts of regularization are being applied. Chapter 3 in ESL gives a nice introduction to the concepts required for such an approach, in addition to the info in chapter 12 that applies directly to SVMs.

Building an SVM-based classifier from scratch is pretty straightforward but, as with many ML methods, making it efficient requires a bag of tricks. SVMLight and LibSVM both provide well-tested implementations of a variety of algorithms that are worth looking at (though the source may be hard to digest due to heavy optimization). You could also check out LibLinear, from the authors of LibSVM, which focuses on linear SVMs for use with large and high-dimensional datasets.
> Also consider that it is hard to hire people to work on your project if you use F#, whereas c# has enough similarities to other languages that it is easy for people to get up to speed.

Also consider that HR departments and some engineers falsely assume that it is hard to hire people to work on your project if you use F#, whereas c# has enough similarities to other languages that it is easy for people to get up to speed.
http://fourhourchef.com
I think this is pretty clever.

If you want to check out a few more subtle, minimalist ads (some award winning) from the likes of Lego and Kit Kat, check out the link

I really like the WWF and Orbit ads:

http://www.buzzfeed.com/copyranter/the-nine-best-minimalist-...
Where did he contrast cute women in HR with anyone else in HR? Oh wait, he didn't. You're objecting to a sexist comparison that never existed. The guy just dislikes HR.
Your post is spot on and I've felt every frustration you've outlined. I maybe should have clarified my post originally to suggest I'm not entirely suggesting this is a fault of Intermedia, as they don't know our internal systems architecture. But getting the issue resolved and being able to get the message relayed that the machine posed virtually no threat to an admin who could have done something about it was just as much of a chore as you've just explained.

Granted, the hilarious irony in this is that it was Intermedia who pointed out "there's an infected machine" on your network, so all of the wrangling around and sending tracert outputs, just to get a reply weeks later "This IP address is infected" and the resulting "That's what it was? That machine is just for testing, we know it's infected." was a bit of a grind.

tl;dr - I know that feel.
inDinero (YC S10) seeks Lead Developer
inDinero has been hauling for about two years now, growing to over a thousand paying business customers, and we're looking for a lead developer! Both founders (Andy and Jessica) studied computer science before starting the company, and they wrote most of the initial code until product launch. Today, the company has five full-time developers scattered across the globe, and we're looking for a tech lead who can oversee our team and it's growth as we go from five to thirty.

What will happen day-to-day?

+Spec out new product features with our design team
+Improve our engineering workflow
+Get feedback from team on how we can speed up their work +Make sure the test suite runs faster and is continuously running
+See that all devs get their technical questions answered promptly
+Update the dummy databases that our developers test code on +Prioritize long-term structural improvements to make to our infrastructure
+Upgrading Rails
+Using something like mongo to track events +Make sure the servers will scale
+Ensure high security. Audit code base every quarter.
+Refactor and modularize key parts of our code base.

Skills we're looking for:

Ruby on Rails, 1+ years
Java, 2+ years
HTML/CSS/Javascript
Sysadmin experience (Debian)

Interested? Shoot a note over to jobs@indinero.com with why you'd be perfect for the role!