skysight-inc/HackerNews huggingface dataset:
Choosing the 4-clause BSD license is a conscious decision to continue to receive credit for all your hard work, when a proprietary software company comes along and includes your code in their product. To me this is a fair compromise for proprietary companies who refuse to open up their source code (i.e., would never touch GPL at all).
You provide too little detail for anyone to give you a positive answer...
So why wasn't this upstreamed to libjpeg-turbo? Why fork at all? libjpeg-turbo is still an actively maintained project after all...
A Modest Proposal was mindblowing to me as a young teenager - it made me realise for the first time that nobody in the world, no matter what position they are in, is beyond criticism.
Your reply is fascinating - the part about size difference and the difficulty in expressing certain things in theorem provers.

About the size difference, I don't understand why it takes so much longer. What is so fundamentally different about Coq (or E or whatever) that it takes so much more space that just specifying it with mathematical notation?

Is it because you have to start from scratch? Has no one created a "standard library of existing theorems / proofs" that one can depend on?

Or is it because mathematical notation is just that much more expressive?

So if verifying proofs is that difficult, what the heck are mathematicians doing when they read a paper? Not really actually verifying the proof? It's hard to believe that verification is one of those things that humans are just better at. (As opposed to, say, formulating new ideas, which is fundamentally difficult for computers)

What is it that is so fundamentally difficult about verifying proofs formally, when a mathematician can just read a paper and call it done?

If provable theorems are too hard, why don't we simply just start with a parseable mathematical notation standard? It's be pretty similar conceptually, but would be standardized. Surely that's not too difficult? That could still serve as the portion of the paper that is the "transmitting new findings formally" part, whereas the remaining part can be devoted to explanation.
Is he getting a sales job? Upload CV to job board, watch the phone fall off the hook is the current modus operandi.
It seems like you are writing a book about me.

On the short: I hired some contractors through elance/odesk - this was NOT the right thing to do. They lack motivation in what you're doing.

My advice: build it yourself, no matter how long it takes.
"Legos" always sounded weird to me. Interestingly enough, LEGO used to have this on their site:

“The word LEGO is a brand name, and is very special to all of us in the LEGO Group Companies. We would sincerely like your help in keeping it special. Please always refer to our products as “LEGO bricks or toys” and not “LEGOS.” By doing so, you will be helping to protect and preserve a brand of which we are very proud, and that stands for quality the world over. Thank you!”
Not sure if there was a beta but these have been around at least for a couple of months. I was able to tour the inside of several restaurants near my apartment in Pune.
Before you know it, the TSA will ban popsicle sticks.
Target Tech Chief Resigns
please be satire...
One of the most pleasant web pages I've read on the Internet in a long time:

http://lunatim.com/kinart/stickhistory.htm

I even get an earworm from some of the videos .. ;)
Social recruiting always snags good candidates. This is a natural extension. Let's cut recruiters out of the loop!
Why don't they just contribute the jpgcrush-like C code back to libjpeg-turbo?

Edit: A good reason given in the reply by joshmoz below.
The Definitive History Of Bitcoin (Infographic)
Funny, I don't see many corrections on here when articles use male pronouns incorrectly.
Isn't this basically what Dan North and Chelimsky said when they started the BDD movement? Is TFA intended to be merely a restatement of the BDD concept from circa 2007? Or is it saying something more that I overlooked?
Yahoo Buys Vizify
Major Changes in SAT Announced by College Board
I could be wrong, but I believe that the point is that this isn't something that a human pilot could do, but is possible with good software and sensors.
You expect the foxes to uphold Robert's Rules of Order in the henhouse?
I'll put in a plug for the accompanying book: http://simplecv.org/book

Very clear, well written, for a complete CV novice.
hmm.. interesting, what do you mean?
I'd like to comment on goals for engineers in general:

If your goal is X million users or some such end-user metric, you have created a goal for your salesmen, not your engineers.

An engineer cannot sign up a user, except indirectly through quality work. "X million users" is only indirectly under the control of the engineer: intermediates like sales or getting-the-word out are out of the engineer's control and can be screwed up by others. If the engineer does not get to pick his own features to work on, then the work he does do is limited by the wisdom of the person making assignments.

In other word, a goal like this is discouraging for an engineer because he lacks serious control over whether or not the goal is accomplished. It is an anti-motivator.

Instead, goals for engineers should be things directly under their control. Are you assigning specific features to the engineer? Getting a list of them done with high-quality solutions can be a goal since that is entirely under the engineer's control. Want to get your low-cost solution adopted? Set a goal for the engineer to reduce memory space by Z percent or improve performance by Y percent.

Always make sure goal achievement is controlled as much as possible by the person receiving the goal.
Wikipedia fails to say anything about monetization and googling is not readily enlightening. Does anyone have a link to a quick run down of how they monetize this?

Thanks.
The stickbomb is an interesting device, because it is entirely mathematical, and is thus a great hack because normally, you're using a tongue depressor to .. do depressor'y things ...

And by the way .. You are reading Hacker News.
Ellipses aren't functions :)

I think if everyone agreed that the goal is to teach critical thinking skills, and have the factual knowledge be a byproduct (and elementary facts are very easy to pick up if you have critical thinking skills), then it would make a world of difference.

As to the motivations, after the students get going they don't need more real world motivation. They seem to be interested enough to ask their own questions about graphs, try to answer them, or come up with their own relations to the real world. This is where I think a lot of the critical thinking happens, not in learning facts about graphs. The facts (what degree means, what planar graph means, etc) come as a byproduct of following these paths of thought.
I wonder if his opposition in future elections will use this against him out of context.

"Do you really want a leader who thinks money is a bad thing? He tried to ban the dollar bill while in congress!"
Spam could be an issue. But they say they screen contacts, so it looks like it could work.
I really like this. Especially the self-contained html file you send around afterwards.

You should recommend people to download the html and then save it instead of using the page itself. Maybe make a big download button. Also, remove google analytics from the self-contained version, that way the page should never download/upload anything from the network.
Protest-Daring Kiev Engineers Spur a Tech Stock’s Rebound
[1] In the UK this is illegal without your consent. Have you checked your local laws?

1. http://www.lindermyers.co.uk/can-an-employer-reduce-an-emplo...
Code Reuse
We would like to develop in the open, and hopefully with community participation.
They want to do much more, and with a fork you don't have to justify and discuss every single commit with the original maintainer. If you want to modify heavily something, a fork is the right approach.
This is way off base. We have seen that games with pure ad revenue models can become extremely popular just like games that are pay to win via lots of IAPs. We have also seen that some games do well with simple pay once models, whether its on the store directly or via a single IAP.

The fact of the matter is some forms of monetization are unethical and sacrifice gameplay and enjoyment in order to make more money from players. There are true dark patterns for game design and development. Nobody is saying games have to be free and without ads.
-foo would just as definitively indicate that it returns an object. The return type defaults to id, not void.

Also, the "call a method"/"send a message" distinction is useful. I don't usually criticize people for using the "method call" terminology, but I almost always use the latter since the idea of messages is central to a lot of Objective-C idioms (e.g. the responder chain in Cocoa). It's helpful to think in terms of messages.
Cool Bookmarklet. I was just looking for something like that.
But it shows the inline Javascript to me, too.
Show HN: Testing dates in JavaScript easily with js-date-fiddler
"Last Week I saw a Woman flay’d, and you will hardly believe, how much it altered her Person for the worse."

The Rev. Jonathan would be on the first flight to Kiev from somewhere like Syria were he alive today. We have much need of these people.

The events he witnessed and satirised together with their more modern ramifications have cast a shadow over the history of Ireland and England for centuries, and, indeed, have played a part in the outrageous growth and acceptance of organisations such as GCHQ in the modern era.
That's true practically speaking, but there's nothing inherently carbon-intensive about electricity.
Would be awesome if someone reverse-engineer it: an app that alerts you when a repo truck is around the corner. Imagine all those pissed off truck owners being angry that their publicly available information has been scanned and delivered via alert system to someone trying to hide from a repo truck.
The way to get there is to enforce the law uniformly, so that the famous, powerful people will make noise and get the laws changed.
That would be more convincing if the scientific papers were written in a way that make the point as clearly as the coded-up version of Monty Hall problem. In practice, it's more like they publish the assembly code and when you ask why they didn't do it in Python or something, they lecture you about the need for formal rigor.
> Physics should not be patentable.

Physics isn't, particular applications of it are. Otherwise, nothing would be patentable. Well, except software.
I'd say just cover the end of your driveway in mud, and 'accidentally' back up as fast as you can.
Mozilla tends to announce projects when they begin so people can contribute to them right away. I think that's a good thing and that's one of the reasons I work for Mozilla.

By the way, I think this is an awesome effort by Josh and the others working on this. I work mainly in security and networking, and I'm excited about anything we can do to make end-to-end communication more efficient because these kinds of improvements help enable more use of HTTPS and help reduce (hopefully eliminate) the need for content transforming proxies.
Build yourself a foamie and fly that one until you learn RC piloting. Won't help with the avocado tree, but it will surely help with the broken rotors.

http://www.rcgroups.com/forums/showthread.php?t=1666155
If their only plans were to add that one feature I'm sure they would have done just that. Clearly they have grander plans than simply integrating existing functionality, and they felt they needed total control of the project to do so.

The beauty of open source is that if the maintainers of libjpeg-turbo want to incorporate it, they can, and I'm sure the Mozilla devs would be more than happy to help.
Khan Academy Gets Rare Partnership To Close Wealth Gap In College Test Prep
Clover adds chromium style tabs to Windows Explorer
You seem to imply that mathematical notation should be standardized, but are omitting that even languages explicitly meant for computation are not.

Why do you think mathematics should be more standardized than programming? (Actually, I'd argue it's already more standardized than programming, and you're arguing for some kind of extreme position.)

Sorry, forgot to reply to part I had meant to:

> Is it because you have to start from scratch? Has no one created a "standard library of existing theorems / proofs" that one can depend on?

It's because we have essentially picked the parts of mathematics we're going to force to be true about half way up the stack. If the axioms don't permit those theories, then we'll do away with the axioms and pick a different set. (And perhaps explore why they failed to, and what is required in axioms to enable those theorems.)

As I mentioned before, mathematics already has a good way to relate high level theorems and such to these mid-level structures, and you see it employed all the time. The problem is that many of these structures aren't easy to compute with, so we're essentially having to work backwards to find a set of formalities that we can both do mechanistically and support the theorems/propositions we'd like to be true.

Mathematicians generally don't evaluate the truth of a new paper relative to the axioms, but relative to the already established results in a field. So you question about why libraries don't exist is essentially "Why have mathematicians not replicated hundreds or thousands of years of effort in to a format that's hard for them to personally use, but is good for these tools we've developed in the past couple decades?"

Well, people are working on it, but it's going to take some time. And the moment you pick a slightly different set of axioms, you need to rebuild large portions of the library you allude to, even if the results are still true.

(Derivations in terms of base steps are considerably longer than most mathematics proofs would be, which often omit some "standard" kinds of details. For an idea of what this is like, read portions of Principia Mathematica by Russell and Whitehead.)
No, but it will needlessy multiply entities and abstractions they have to deal with, even adding extra processing steps,
without providing that much improvement to be worth it over vanilla HTML. As if HTML's problem was that it's not succint enough.

Plus, I've heard that syntactic sugar causes cancer of the semicolon.
Sorry, I didn't mean "Python instead of JavaScript", and I also didn't mean to lump all Python users into one group. I had hoped using the term "Pythonista" would connotate a die-hard user, one of those people who argue on message boards at length of the great superiority of white-space syntax.

And while I don't like white-space syntax, personally, I don't get the general debate as a whole, for the reason you mentioned: haven't made more than a handful of copy-pasta errors in the last decade. It seems like a 6-or-one-half-dozen issue, so if it's being used as a selling point of a particular language (i.e. one of the more substantial differences between CoffeeScript and JavaScript), then it's not much of a selling point at all.

Your last sentence is actually very closely to my point. Yes, the languages we have aren't perfect, but there aren't any better alternatives yet. Give me an alternative and I'll gladly use it. I'm actively evaluating languages as we speak. But I need real advantage to switch from what I'm already using. A handful of regex's in a loop over stuff I already know isn't enough.
Become a WordPress Troubleshooting Ninja
I couldn't imagine switching away from Firefox + Vimperator. It's an incredible combo, and I don't think the speed difference between FF & Chrome is noticeable nowadays.
You can download this safely from windows. GnuPG doesn't have a valid ssl certificate (https://www.gnupg.org).
Jared Polis is the only congressperson that would fit right in at a HN meetup. He's the type of congressperson SV deserves.

I'm glad he's not afraid to break ranks and take on old-school Dems like Manchin.
> Unlike digital currencies, which are carbon neutral allowing us to breathe cleaner air

Hmmm. That statement is doubtful.
Why can a pair of SF hackers do better work than a herd of govt contractors? Only the hackers saved the bacon of Obamacare after that .gov debacle
In Europe, it’s mainly national champions that all seem to belong to the Schibsted group, a norwegian (formerly press-centered) conglomerate. A handful also belong to Rakuten, a Japanese conglomerate.
This is very promising. Images by far dominate a web page, both in number of requests and total number of bytes sent [1]. Optimizing image size by even 5-10% can have a real effect on bandwidth consumption and page load times.

JPEG optimization using open source tools is an area that really needs focus.

There are a number of lossless JPEG optimization tools, but most are focused on stripping non-graphical data out of the file, or converting the image to a progressive JPEG (since progressive JPEG's have rearrange pixel data you can sometimes get better compression since there may be more redundancy in the rearranged data). Short of exceptional cases where you can remove massive amount of metadata (Adobe products regular stick embedded thumbnails and the entire "undo" history for an image) lossless optimization usually only reduces file size by 5-15%.

Lossy JPEG optimization has much more potential. Unfortunately, beyond proprietary encoders, the most common lossy JPEG optimization exclusively is to reduce the JPEG quality. This always felt like killing flies with a tank, so advances in this area would be awesome.

I've written extensively about Lossy optimization for JPEGs and PNG, and spoke about it at the Velocity conference. A post and my slides are available[2].

[1] - http://httparchive.org/trends.php

[2] - http://zoompf.com/blog/2013/05/achieving-better-image-optimi...
I don't think it's an extreme straw man, because I saw notebooks of my math teacher in high school where he decided to take classes and did exactly that, just to make sure he knew it really well. Just the other day I was wondering if I should try to do the same thing in order to get good at math.
Well, I'm using that same browser and it worked for me. I don't, however, have JS disabled like you apparently do.
tl;dr version: Leverage = BATNA

http://en.wikipedia.org/wiki/Best_alternative_to_a_negotiate...
I've been on eBay since 2002. It's only in the past 6 months that I finally got how great eBay really is.

Before I make any purchase on Amazon these days I always double check with eBay and ever single time eBay has been able to beat Amazon prices.

With same if not better checkout experience, faster shipping prices and access to Asian marketplaces; it's the jumpoff point before I hit up DealExtreme or Alibaba.

Plus no sales tax.

Plus eBay bucks.

But I'm hesitant on telling more people about this secret because I don't want the cheap prices to go away.
It's not true that he buys "poorly" run companies. He buys companies where he thinks a simple change could make a big short-term profit for him, and then he lobbies for that profit.

In Apple's case, Apple looked really smart in 2008 for having money in the bank when there was a cash crunch in money market funds and people had trouble getting short-term operating funds. They look smart when they use their funds to lock up a bunch of Flash Memory for their devices rather than buying as they need at higher prices.

But Icahn didn't care about the long term advantages of the bank account to Apple. He just cared about trying to squeeze some of it out in the short term.
This was discussed with the author of libjpeg-turbo. His priorities are different, it was agreed that a fork is best.
When Airlines Screw Up Your Flight, AirHelp (YC W14) Gets You Paid
We just announced our YC participation and we are now officially live in the US.
Another Blow to the GlassHoles
Another fine aka establishment has had enough of SmartGlasses, but faces a Yelp review blowback.
I'm agaist callback spagheti either, so I prefer promises for that purpose.
Granted I have never used HAML nor Rails, but I have absolutely no idea what that would produce besides some kind of <div> with the text "Hello!" somewhere nested(?) inside.
I've been following FiveYearItch for a while. I like the features that show up there, but this one is a doozy. I don't think it exists anywhere else, though to be sure there are some vaguely similar services.
I believe that some states have laws against devices used to obscure your plate to cameras, but I am not sure about that.

If not, that trick would only work on shitty cameras for so long, before manufacturers of these scanners wizened up.
Note, however, that not every country on the planet has a Craigslist equivalent. I don't know of one of notable size here in Germany.

Over here, Ebay is the fleamarket of the internet, dominating the used items market. There are some ebay-like runner-ups, but nothing has broken through yet.
> have to implement sales functions

So, pretty much any business? There are so few companies out there, especially venture backed ones, that the employee headcount hasn't scaled with the growth. We just hear of the Instagram/WhatsApp acquisitions with low head count so often here in the echo chamber that we assume it's norm. To take that further, how many companies are at FB/SalesForce/WorkDay/Twitter-level that don't have over 500 employees (much less 1,000s)? I can only think of very few - 37signals, Valve, etc?

My larger point - VCs in SV want to fund billion dollar businesses and founders who can create billion dollar businesses. These billion dollar businesses need large amounts of headcount and a CEO who can take them there.
I think what slavoingilizov is that it makes it easier for companies to make use of inexperienced programmers, not that it helps non-programmers get up and running quickly. The additional automatic checks and IDE assistance enabled by static analysis can help partially paper over a novice's shortcomings.
It's not, but we trained the classifier+collaborative filter, and we're all HN readers, so it's not surprising it picks up HN stories consistently.
College Board SAT Partnership
Sure, I'm happy to provide more, I just wasn't sure what details others would need... AMA
Alternate hypothesis: the OP's level of work is entirely acceptable but the boss lacks scruples and possibly funds.
I'm not thrilled about this, but a license plate in public view is free for anyone to do whatever they want with.

The argument against doing this is exactly the same as the argument against people scraping public data. It's something a human could do manually, but now that its automated and much more intense in volume, suddenly its wrong.

I really, really don't like it, but that's probably why many people thought that license plates and car registrations were bad things when they were first introduced.

From a financial perspective, this technology, shitty as it is, probably saves us all money on our car payments. Tracking down pieces of shit who default on car loans? I'm all for it. (Note: If you can't afford your car payment, you are contacted and can easily make arrangements to hand the vehicle over to the bank. If you don't do this, you are a thief who is making it that much harder and more expensive for another low-income person to buy a vehicle.)
Ask HN: Side Projects and Startups
I have been thinking about this a lot lately. How do you differentiate between a side project and a startup? What blurs the line between them? How do you decide when to turn a side project into a startup?

These days everyone and their grandmother is starting up. I am fascinated by the field myself but I don't want to do it just because it's cool. I like building stuff but I feel it might be overkill to consider each idea as 'the one'.

I'd love know what the HN community has to say on the subject. Did anyone of you ever face the same dilemma?
Ask HN: What tools do you use for web app QA testing?