skysight-inc/HackerNews huggingface dataset:
What is the current state of formal verification in Rust (of the language, of compilers, of other programs)? I would assume that since parts of the language are still undergoing change there isn't much work towards super-rigorous proofs until that gets nailed down. Has there been any provisional work in this direction, and is there any work towards making formal methods practical for Rust?

I like the idea of formal methods, but my familiarity with the subject is entry-level at best, so I don't even know what sort of details I should be asking about here =P.
I used credit card transactions rates published by Stripe for the table. Square's pricing is pretty similar, though they don't have a '+ X cents' for non-manually entered transactions, which does make them a very good choice for buying a $3 coffee. Certainly Walmart is going to get better volume rates than anybody using Square or Stripe, but most people are not large retailers.

Bitcoin is actually regulated already, however the costs of Bitcoin regulation cannot be reflected in the protocol's transaction fee. An additional fee could be assessed by the service provider, but so far these fees typically happen right now at currency exchange points, rather than as a bonus 'sales tax'. BitPay has chosen to charge a flat rate monthly payment for their non-free plan while Coinbase charges 1% to cash out to USD.

Also I'm well aware of LevelUp. Point was not that other payment mediums cannot do the same but that Bitcoin can potentially provide valuable insight for a much larger set of transactions once you're able to make sense of a big enough chunk of the blockchain.
Thanks! Managed to find a raw data source, added a reply to myself.
This is satire, if you can't tell.
Whereas with _.map, you always know exactly which implementation you're getting, right? :)
EasyDNS.
> How is a an airport xray scanner maker supposed to participate in that iterative process for improving security if they aren't in a mass market?

Invite pentesters. Hold competitions for people to try and break it in an isolated part / mockup of an airport. Donate one to your local hackerspace and ask them to have fun with it.

Possibilities are endless; the only things needed is understanding the points in Schneier's essay and a little courage to do the right thing.
See my response to the other child comment, this wouldn't be a mandatory scheme.

But in any case, compulsory community service as an alternative to jail time has shown promising results: http://www.bbc.co.uk/news/magazine-10725163
They can only do so with error, but I bet that a higher percentage of country music fans than rap music fans are Republican. Given racial voting patterns, "white" genres of music will tend to have more Republicans.
Doesn't pass the sniff test.
The car may have allot of battery mass, but those rear taillights are still thin plastic and they didn't even break.

Something wrong here
This gives the new meaning to "copying production database to test environment"... ;).
Jquery vs JavaScript vs CSS Animation Performance
Same here. They've also been giving me localized ads for the Austin area when I haven't lived there in years and have only visited occasionally since.
What is especially infuriating about “Ah, you’re one of those billionaire wannabees in this neighborhood.” is the fact that SF police have very high salaries, possibly higher than the poster:

"Due to the high cost of living in the Bay Area, SFPD officers starting salary is the highest in the country at $88,842 to $114,164."

(https://en.wikipedia.org/wiki/San_Francisco_Police_Departmen...)
Ever wonder what data you have on Facebook? Download it.
It's easy especially if they know the zip code.
For me, Gimp, Scribus and InkScape cover just about anything I would want to do but, then again, I'm not a professional designer. They take a bit of learning that's all. Scribus reminds me of QuarkXPress which I always preferred to InDesign. As an aside, I have just discovered Gimp's "Single-Window Mode". It's a godsend for anyone who uses a tiling window manager.
A fiat currency backstops its value at least with the issuing government's willingness to accept it for payment of taxes.
What is wrong with current monetary regimes? Sounds like you are suggesting a return to fixed/commodity money regimes which have failed many times over.

As you suggest , fiat currency issuers backstop the value of their currency via taxation. But its not their willingness to accept the backstops it, its the power to impose mandatory taxes on the population that gives value to the currency.

Warren Mosler -one of the founders of Modern Monetary Theory-
has a great allegory to describe how it all works: ( I paraphrase) A group of people are in a room and I have business cards in my pocket. I have a gun in my hand and no one else does and I am standing in front of the only exit. Now I decree, in order to exit the room it will cost you 1 business card. Suddenly, the business cards have value and folks in the room will provide me goods and services in exchange for payment in business cards.
Some really interesting results here, if you target the JVM you should probably check this out.
Nice he's buying into the stupid "people who don't pay income tax in our progressive tax scheme don't pay tax" narrative.

I don't like this idea, but it would be interesting if the tax we're talking about is sales tax. Everyone would get some votes and there would be financial incentives for millionaires to actually spend their money and juice the economy so that they could have more votes.
Bluebird is the best promises library:
https://github.com/petkaantonov/bluebird
Show HN: Phaser – Trello for software development, with Vim built in
I guess I imagined that being exposed to volatility risk is something that anyone involved in Bitcoin came to terms with a long time ago.
Gigabytes of fake data.

Let them eat /dev/urandom to their heart's content.
Most people are very hesitant to add methods to array, string, etc. because if more than one person does that you'll end up with all sorts of problems.
Harvard, Yale, and Columbia are my favorite stations so far.
Aside... I use Coinbase. But am I the only one concerned they built a transactional system on top of MongoDB?
You're still hellbanned
Show HN: Renting vs. buying a dress on Valentine's Day
Please. Don't [REST] Patch Like An Idiot.
Throwaway Americans
Let it be known - HN users not down with cheesy puns.
>Not before writing his initial benchmarks

Yes, he did. Try talking to him.

>That measures ridiculous highly tuned implementations of the benchmarks

So, fast code. Which is what is at question.

>It contains absolutely no evidence of how hard it is to write fast programs in a language.

There is both lines of code, and actually looking at the code itself. Both of which make it appear that writing fast code is no more difficult in haskell than in ocaml.

>I'm pretty sure citing the language shoot-out is an automatic disqualification in any argument about language speed.

I'm pretty sure the language shoot-out is of greater value as evidence than personal anecdote is.
The thing is that the coin information isn't unique and the block, tx, address, etc info is all on the block chain. The unique content is the profitability and historic information, but the charting is broken in what they scrape.
> If these guys decide to band together to exact some form of "justice" against the thieves, then isn't that a form of "government"?

It depends on what kind of "justice" it is. Anarchist libertarians define government as a group of people that routinely initiate violence against other people, or routinely steal from other people.

That means, if you are protecting somebody from violence, or protecting someone's property from theft, you are not government. If you grab a thief and return the stolen goods to the rightful owner, you are not government. If you won't allow a known thief on your property, or otherwise refuse dealing with a thief, you are not government. If you prevent theft by exposing or shooting the thief, you are not government.

However, if you exert some kind of retributive justice on the thief, like, take all stuff from him, and shoot him in the back, that makes you a criminal (by definition, not necessarily in the eyes of the people), and if you do so routinely, that makes you a government. Likewise, if you force random people to pay for the incarceration of the thief, that makes you a government.
I've had some success with doing sub-orbital hops before taking off finally for orbit, to move myself to a new launch position. Doesn't really work well if you have birds in orbits with very low peris though.
Best 2-Currency Arbitrage with Bitcoin
Class B? What is this, 1992?
Funny how people always use this example as the poor voting themselves largess out of the treasury. The rich do this too in the form of ridiculously low taxes relative to the amount of money they have.
Just because the number on your tax bill is super large, doesn't mean you have a super-large tax bill relative to the amount of money you have.
FWIW I think this is the killer issue of this particular point in time. So far the only idea I can see all the pieces for is a new kind of appliance which is your personal "cloud." This would be analagous to an air conditioner or refrigerator in your house, but built with massively open sort of infrastructure (much like existing appliances use standardized fittings and filters and what not). Then into this home 'cloud' a platform for hosting "apps" which you buy and install, and basically run forever until you de-install them or replace them with something better. A server appliance for the rest of the world as it were.
Vidfall
Streams are being used in node.js already with a lot of success. Both basic byte chunk streams and object streams. As long as components are well behaved and only emit uniform data (everything they emit is of the same type), it's not better or worse than any function call.
US Army (2007): “When we rolled into Baghdad, we did it using open source. It may come as a surprise to many of you, but the U.S. Army is ‘the’ single largest install base for Red Hat Linux. I'm their largest customer.”[1]

[1]: http://web.archive.org/web/20110521185400/http://www.linux.c...
You have a typo on the /developers page. It says client-sde I'm assuming it should say client-side.
There are states that don't have sales tax (and some that don't have state income tax) so they'd get pretty screwed with that deal.
If you have a hard time determining their IP, here's a trick that might work. Visit their site with a unique but innocuous-looking path or query that would never be accessed by a normal user. For example:

http://4co.in/?q=1

If the query string is being passed through, which I suspect it is, you can use the query string to easily locate the corresponding entry in your own logs. Or, if the query string isn't being passed through, you can use a path instead:

http://4co.in/q

You probably already thought of this technique. I decided to post it anyway in case you hadn't, or in case anyone else is facing a similar challenge.
To me the benefit of a convenient shorthand outweighs this, someone would figure it out really quick, seems like a non-issue. A few different libs use $ and the world doesn't end.
The biggest problem I've seen is that a lot of the words have subtle meaning and the jargon used to describe the theory is often difficult or impossible to translate.

For example, a "stack" or a "filter" or a "queue" all have specific meanings outside of programming, their nature hints at how they work, even if the technical meaning is obviously different.

Not knowing what any of the things were leaves you with a hazy concept of what they are until you understand their English analog.

I still think it makes sense to try and explain concepts in the language in which one is most proficient, then worry about English later.
I could have sworn I dealt with these guys in Costa Rica when I lived there, in the Guanacaste area. The ants were way bigger, though, and only a certain percentage of the ants that flooded into our house at night had that crazy, irratic movement, but I had never seen anything like that before. They only came in bunches at night for the most part - getting up to go to the bathroom at night, you'd have to watch your step for sure, though the ants were pretty cool about leaving once you got there. It was definitely something we had to get used to, but after a couple months it was almost like we just had ants as an extra roommate who helped clean out the bugs in the house at night. It was quite a sight to see the `crazy` ones - they literally looked as if the some predator injected a toxin into them that was eating away their brain, causing them to frantically dart about in weird directions. I couldn't imagine having these things infest my house and crawl all over my feet during the day.
There's no such thing as an objective belief. If it can be shown to happen there's no need for belief at all. Invalid assumptions indeed..
Valentines Day in BASH
Stripe's pricing is ludicrously expensive. And Square is trying to be more than just a payment processor. These companies are competing for markets that seriously care more about "pretty website" than "efficient business". I mean, even PayPal had much better rates than Stripe: that $1 charge would have a $0.10 fee if done via PayPal (even using PayPal's direct credit card billing solutions). For larger price points, Stripe finally added some volume discounts, but they are nowhere near as good as their competitors (like, they require so much volume as to be unattainable for most merchants). Using Stripe as a comparison for this kind of purpose is thereby just silly...
Looks like they've got 'em up on S3 now.
Alright, so I managed to dig up the raw data by county.[1]

I think I crunched the numbers correctly, but I wouldn't bet money on it being 100%. I just took the winning % per county and took a weighted average across the nation. I believe that should give me the desired results. The result set I used was purely presidential votes between only Obama and Romney which gave me some weird stuff like Harris, TX having a majority vote of 49.4% (also the third highest voting county, which hurt the average). Anyway, it was a fun excercise and it appears that pandora is estimated to be 25-30% more accurate than guessing on county/zip alone.

I ended up seeing 61.29% as the average "majority" in each county.

[1] http://www.theguardian.com/news/datablog/2012/nov/07/us-2012...
You're right. Thanks for keeping me honest.

Don't just block the /24 ("Class C" IP block), block the /16 ("Class B" IP block) the IP resides in. You'll reduce your audience in India, but they'll have to switch webhosts to continue leaching his/her site.

http://www.oav.net/mirrors/cidr.html
I think the logical conclusion in post-scarcity economy is that more things will be determined as a basic human right.

Consider "the right to privacy", "the right to a job" or the "right to healthcare". Less than a century ago, many of these rights didn't exist. Now, some people are saying access to the Internet is a basic human right!

So here's my theory - in a society where technology advances so much that the basic needs of humans are met with the need of little human interaction, two things will occur:
1) More things will be determined as basic human rights. A certain baseline for wealth, even.
2) We will shift more and more to being a generation of artists. I believe an AI complete being that we create will never be able to replicate a fundamental understanding of being human. Books, plays, shows, art will be a human endeavor, for humans, by humans.

I believe that some sort of social capitalism will exist, where the baseline is met and those who achieve great success through art (or rarely, science), will have the opportunity to create more wealth.
Clever solution! I like it
Incidentally, I checked out doo on OS X just few days ago, thinking it would help me with my OCR problem. It was a huge install and in the end it could not connect to my scanner. Not sure it was their problem per se, could be some peculiarity of my OS X setup, but I figured their main purpose was not what I wanted.

Here is what I want and it would be interesting to know how other people on HN solve that. I have no problem managing my digital documents, I have that covered. However paper (carbon-copy, dead-tree) - now this gives me a lot of headache. Even though I subscribed to electronic everything I could, I still many documents coming in paper: user manuals, medical test results, credit card agreements, some bills etc etc.

I hate managing and storing paper. I tried to setup a system that would scan, clean up, OCR documents, store searchable PDFs and (the key part) stored PDFs into folders (in my online backup provider's folder of choice) according to keywords or even performed some kind of machine learning classification (rent, medical, receipts, etc).

I had even created a concoction on Linux from SANE command line, ImageMagick, bunch of Python scripts that did that more or less, but once I moved to OS X that stopped working and I did not have time to port it yet.
Completely agree that my post is ignoring those things. The post is an extremely forward looking one. Bitcoin could crash and burn before anyone gets a chance to implement something like this. It could be replaced by a second generation cryptocurrency that doesn't have a public ledger. There's a lot of scenarios here where nobody ever gets to do what I was talking about.

I opted to focus entirely on the costs of transmitting the money. If we did a full analysis, we'd also have to look at chargebacks, figure out how to set a value on the speed of the transaction, and deal with the fact that sometimes Western Union just 'loses' your money and isn't sure where it is. Not all of these costs would be paid by the same person, but they do all add up to a systemic cost.

But that's not actually the primary point. There's plenty of reason to believe (besides transaction cost) that cryptocurrency and smart contracts have a long future ahead of them. I'm simply trying to point out that there are business models here that aren't yet being explored.
I suspect the difference of opinion is due to a different understanding of what a functional style is. Python does not have tail call elimination. You literally can not write lots of normal functional programs in python. Python doesn't have currying and requires explicit extra code to create partially applied functions. This makes functional programming painful and verbose.

I think you are writing what I would call imperative code that uses some functional constructs where it is shorter. No doubt that is shorter than sticking entirely to imperative code, but it is a far cry from writing a program in functional style which requires that you not use imperative constructs.
There are plenty of rich and powerful folks who have been working hard to undo the Constitution and Bill of Rights, which is even older.

This clown just isn't playing as deep of a game.
Some may prefer Postel over Crowley.
async:

async.waterfall([
fn1, fn2, fn3
], function(err, result) {
});

Q:

resultP = [ fn1, fn2, fn3 ].reduce(Q.when, void 0);
resultP
.then(function(result) {});
.catch(function(err) {});

If you chain thens in Q, you are not doing it right (imho).
Or rather they can.
We Heart Designers
This is (yet another) Microsoft PR/lobbying outfit: http://safegov.org/partners

I'm not sure about the affiliations of OP or yourself though.
Although I can't understand why you didn't like 3 feet high, I agree with with on Stakes is High. One of the most underrated albums in hip-hop.
> Once China or Korea is good enough to copy their products, they lose their marketability because they lack any edge that would bring more value to their product.

The funny thing is, the Chinese and Koreans are no better than the Japanese when it comes to UX or design sense. So while Samsung might be dominating the Android market for now, it won't be long before the Chinese come in and wipe them out.
Promises aren't just about keeping things flat.

The biggest value to me is being able to avoid the passing around of callbacks and them relying on varying conventions (some async are function(args, ..., callback(err, data)), some are function(args, ..., callback(data), errback(err)), some are function({success: callback, error: errback})).

Promises solve this problem by not passing around callbacks _at all_. Instead you return the promise and let the consumer attach the callback itself. And once we have promises widely available and part of the standard library, the calling conventions will be standardized too.

EDIT: I agree that as it stands, the lack of standardization of promises (jQuery's are mutable, for instance) is a pain, and that documentation could certainly be better.
Ok, time for a reality check

If you can't imagine what to do in this situation you shouldn't be running a website of this nature

This type of thing can (and does) happen and it's up to you to know how to defend yourself.

The others have given plenty of ideas, but I guess there are more specific things that can be done depending on their page structure/ads etc
Sorry typo, I meant "objective truths". Editing the original comment.
Thomas from Flink - We've just launched 2 weeks ago and are focused on iOS (one great app is better than two crappy ones)! We'll iterate on iOS for a few months before launching on other platforms
congratulations on your online business, I see some people don't like these sites here because you are not a Solo founder using some cool language or library. I admire your drive to setup a business online. One suggestion would be to reach out to pet cremation companies and offer them a catalog of your products so that they can recommend them to their clients. I had a pet parakeet die recently and I would've loved to have a nice box where to put his remains instead the boring and sad looking box I got. I would've paid good money for it and I know people love their pets.

Keep up with this great idea, add more entries in your blog and good luck to you .
Full list of "special" addresses: http://tools.ietf.org/search/rfc3330
are you sure?

secret means many things, but not the meaning of 'how to factor a large prime to break RSA 1024 quickly is a secret too'

degree of labor hours to reach knowledge is not the same as secret
Developer here. I built Phaser to scratch my own itch. I took inspiration from both Trello and Pivotal Tracker, and I think the result is pretty good.

Please let me know what you think.
FounderDating Launches An Easier Way To Find And Sign-Up Startup Advisors
Why would you reward purchasing consumption goods more than investing in long term growth? Sales tax is generally applied to consumer purchases, whereas the wealthy currently allocate much of their money to investing in businesses, which presumably use this cash to finance capital expenditures, or scaling already productive businesses.

Should we not give those who invest in the economy, and presumably in job creation preferential treatment over those who purchase yachts, airplanes, race cars, and other consumption goods?
> Coraid hardware runs Plan 9, it's embedded, you don't see it. They also make all their development on Plan 9.

Wow! That's insanely cool!
Silk Road 2 loses $2.7m in bitcoins in alleged hack
I agree with what you said about Ubuntu NIH syndrome.

If their alternatives were better, or at least equivalent, it would not be so bad. But these NIH projects typically only have Canonical (and some Ubuntu) people working on them.

Go to Launchpad bugs and look through open and closed tickets. The NIH projects often cause Ubuntu user problems, and they just lay there and no one fixes them. If Debian, Red Hat, fd.o etc. had other distros depending on things, there would be a lot of people around to fix problems. When Ubuntu does it's own version, they are usually the people who have to fix problems.