skysight-inc/HackerNews huggingface dataset:
I think any version of the paradox that defines the predictor as infallible misses the whole point of the paradox. That's just defining the outcome of the game as the will of God. "Has always been observed to be correct" is the appropriate construction.

However, I think someone could resuscitate the original intent of the paradox by having the Predictor's actions also hinge on whether or not it predicts that you would make such a bet, and leave box B empty if it does predict that. Essentially defining itself to be correct in the situation where, without this addendum, it would have been incorrect and you would have won the bet.
I don't disagree, but some thoughts occur to me:

1) the design of a currency might require paradoxical decisions - that is, popular choices for how they should work could lead to them being worse for people in the large

2) the democratic decision process might be satisfied by people choosing to adopt this currency or not
Semiautonomous Driving Arrives, Feature by Feature
You're thinking of blekko's Rockzi "fresh news in categories" product.
The business isn't necessarily losing 3%, they are setting their prices in a way that accounts for the relative costs and benefits of accepting CC payments.

It's unlikely that the real cost of other methods will ever be 0 (cash incurs lots of risk management, bitcoin too, other systems involve fees, etc.).
Their protocol github repository [0] is much better at explaining the project than the website.

"IPFS is a distributed file system that seeks to connect all computing devices with the same system of files. In some ways, this is similar to the original aims of the Web, but IPFS is actually more similar to a single bittorrent swarm exchanging git objects."

[0] https://github.com/ipfs/ipfs

Edit: a more compelling summary from an unfinished paper: "The InterPlanetary File System (IPFS) is a peer-to-peer distributed file system capable of sharing the same files with
millions of nodes. It features a completely decentralized architecture, secure and efficient peer-to-peer block distribution, and a path-based naming system supporting distinguishing mutable and immutable names. The Web today
still uses HTTP as the main data transport. IPFS is capable of evolving the web to take advantage of versioning,
p2p distribution, cryptographic operations, and decentralized publishing. Moreover, it presents an opportunity to
construct a web whose links do not rot, whose files are deduplicated globally, and whose websites are no longer “sites”. IPFS is a step toward The Permanent Web."
Because it is a lot of work and takes time to integrate the pieces MS open sourced :)

There are also a few cases where the code needs to be tweaked so it works correctly on Mono and the platforms it runs on.
From personal experience, the US has been fingerprinting non-US nationals at the airports for a decade now. So NSA has had such a database for a significant time. However, I still doubt they have figured out to hack the iPhone using said database. But this is just my personal opinion...
How fast does it have to be for you? It was only in the last year that there were even multiple viable places to buy btc in the US.

Sentiments like this are akin to people looking at the internet in the days of prodigy and saying 'I can send a letter and get sports scores from the newspaper, the internet is overhyped'

20 years later it is still a transformative force in people's lives that continues to change and evolve.
I don't know if I've seen an AOT javascript compiler before, this looks interesting. Unfortunately optimizations that are only possible with JIT compilation are pretty important for making javascript performant, I'd be surprised if an AOT strategy ever quite achieved the same performance as JIT.

It'll be useful, as noted in the README, on iOS where JIT is forbidden, but that really shouldn't be a problem in need of solving to begin with.
NPM for Everything
There are a handful of x86 licensees out there.

It's not remotely the same as AMDs eco system of course, as they are competing in someone else's market. But perhaps it's comparable to making software for Apple or Microsoft's platforms.

(There is an incomplete list here: https://en.wikipedia.org/wiki/List_of_x86_manufacturers )
I think the reader's question is: is that a big move?

In which case, neither of those really answer the question.

In the second you still need to compare the time period to other time periods, or you end up with "is that frequent?" Which is a very similar issue.
If users don't care why does culture need to change?
I was blown away after reading this book. It is by far the best book on general physics I have read. I recommend it to all parents to give their children the opportunity to read this book. I think it will change their lives and channel them to a love of physics (if they are so inclined). It is an example of how so few could influence so many.

Personal anecdote. I met Robert Oppenheimer's grandson a few years back and he mentioned that this book is one of the few books that treated his grandfather fairly.
I know it's not the point of the article but Olympic boxing is very different from pro boxing.
Any intentional mark is a legally valid signature. It doesn't matter what tool is used to make the mark, be it a computer, a muddy twig, or anything else. The established legality of electronic signatures is the reason why we have HelloSign.
"But Germans should pay for Greece?"

There is no "germany" and no "greece". A german person, is not the deutsche bank. Likewise, a greek person, is not the greek national bank. "Germany vs greece", is just a simple "we vs them" plot, to hide the banks between the mass of the people.

What is happening is that ALL european tax payers, are essentially paying for the german and french banks.
I've got one of the NXP mbed boards, and it's an interesting piece of hardware, however, the current mbed toolchain is kind of ridiculous. In order to use the more interesting features, you're pretty much required to use their web-based IDE, and forego a lot of the nice features of, say, eclipse. Also, I have issues with certain decisions they've made, like having floating point only libraries for PWM, which means you have to waste a lot of clocks, and code, just to make the lights work.

Then again, with AVRs, I'm using Atmel Studio a lot these days for similar reasons instead of the Arduino environment. The abstraction layers don't quite mesh with what I'm trying, which means writing I'm writing around the Arduino a lot more than I'm writing for the Arduino. Perhaps it's just time for getting back to basics with the lower level libraries.
Minor nitpick, but as Canada is not part of the US visa waiver program, Canadian citizens are also exempt from fingerprinting when entering the US.
The existence of multiple languages, frameworks, and libraries does not reduce the importance of problem analysis and solution design, the terms i would use for the two pieces beyond coding in the summary of the theme of Lamport's talk. So, no, I don't think the "should" is incorrect, nor do I think the facts you point to are relevant to Lamport's thesis, except perhaps that they reinforce it as to solution design (determining how to solve the problem), since they expand the set of options that should be considered.
I think that would be going too far. There are many ways to comment substantively and civilly. Being supportive and friendly isn't absolutely required.
I'll add "Physics and Philosophy" by Heisenberg as a personal favorite.
Ah, you're right. I'm not sure what vehicles private lenders in Canada have to secularize debt.
Menoragia-tratamente naturiste(menorrhagia-natural treatments)
Private Data Mining
Corporate social responsibility for startups
Ask HN: How much do you remember from books you read only once?
I find it difficult to remember much from a book -- technical and non technical -- I read only once, especially when I haven't used the knowledge or facts. Is that true for everyone?
Exactly. "For most germans". That's the truth. There is no germany, and no greece. You, a simple tax payers, me, a simple (greek) tax payer, all tax payers in europe, are paying for the german and french banks. Deutsche bank, for example, is not "most germans". Etc.
It was very different, but sounds like it's shifting more towards pro-style boxing: http://espn.go.com/olympics/story/_/id/9087686/olympic-boxin...

(Men's Olympic boxing is dropping the head guards and shifting from its previous scoring system to a pro-style scoring system)
Say we started with $10,000 and a population of 1,000. Everybody starts with $10. Without inflation and more money being printed how do we handle population growth? Once we hit 1,000,000 citizens either everyone has one penny or a percentage of people go without any money at all.
Most of the argument I've seen for this involves some very theoretical and unlikely circumstances. Can anybody boil down (a) the decision process that leads to cooperating in the one-shot prisoners' dilemma, and (b) the reason an agent would prefer to use that decision process? That would be a remarkable result.

I confess I haven't read the whole 100-page paper, but I've scanned it and I'm having trouble finding an algorithm concrete enough to be expressed in code.
Yes, ages ago.
I suggest looking into ionic framework and building a hybrid app. They have put a lot into making the workflow amazing to work with. Ionic View will let you run your app natively on a phone without having to install from the App Store or drop money on the sdk. Just push from the command line!
American cities are designed for cars–which makes life worse for everyone
EchoJS seems to be popular, there is a news site[1] and image lazy loader[2] with the same name.

The project is very light on documentation. It would be interesting to know what subset of ES6 is AOT-compiled, and what is done with the rest (does compilation fail or does it fall back to interpretation/JIT?). Is it possible to influence compilation by type annotations (not part of ES6, but still...)?

[1] http://www.echojs.com/
[2] https://github.com/toddmotto/echo
Depends on the book; the average book I remember very little of. But the books that are great, and that hit me at the right time, I tend to remember more about, but not enough, so I tend to re-read them.

Re-reading books is underrated.
What's the point of saying this without an explanation? I'm curious now, what's the difference?
Looking at SourceWatch, The Independent Institute looks to be an industry-funded Tea Party Liberal think tank. http://www.sourcewatch.org/index.php/Independent_Institute

They may be right about what they say, but I wouldn't feel comfortable taking their analysis without a grain of salt.
The first proposition tests the blackness of ravens.
The second proposition tests the non-raven-ness of non-black things.
When abbreviated, it sure looks like a paradox.
I don't know if it's still the case, but for example STM would assign you a PID for free under their VID if you were using their USB enabled microcontrollers in your product. This was about two years ago when I last did it.

The whole USB PID/VID problem is a cruddy and unnecessary situation. Bluetooth seems to support full UUIDs, and that's a low bandwidth protocol!
"The correct answer is: who gives a shit?" -- Triumph

Can someone explain what we gain by studying this question? It seems vastly pointless to me. No one would seriously attempt to learn anything by finding evidence for the contrapositive this way; if no one is doing it, why should we study the oddness of this manner of inquiry?
If this proves to be popular, then before they're close to running out they should switch to assigning a few well-known VIDs and then splitting up that space with device serial numbers or other well-defined scheme. There's no need to be limited to 16 bits.

Also, "open source" seems a bit underpowered (as usual). Why not use their position to guarantee that users can easily modify the software running on the device?
I wonder if RubyMotion is much better when it comes to memory management. According to the website, RubyMotion objects are platform native objects (ObjC objects for iOS/Mac, java objects for Android), so each platform's native memory management scheme applies, rather than having two GC's or GC plus reference counting.

I'd probably use RubyMotion for an upcoming project at work if it had a port to WinRT for Windows universal apps.
You needn't worry on either score. There's no question of lurching to an opposite extreme—it wouldn't be doable and is not how we think about HN.

As for over-policing, we don't have the staff, don't want the staff, and the staff we do have don't like police work.
> Is massive credit card fraud not a problem? It is a problem for most people, and if not for you, then certainly for the businesses losing 3% to credit transactions on top of all the fraudulent orders.

Fraud happens with Bitcoin too. If anything the Bitcoin economy suffers more from it, the only difference is that chargebacks are not as easily possible with Bitcoin.

Moreover removing chargebacks shifts the burden of fraud from businesses to consumers, who are even less equipped to handle the requirements of detecting fradulent transactions and preventing misuse of their Bitcoin wallets.

How many 47-step "Simple guides to using Bitcoin safely" guides are there on /r/bitcoin now? When Bitcoin experts have to non-ironically suggest sealing off network ports with epoxy to safely use the "Currency of the Internet" that should cause alarms to sound for everyone.

Far from being pro-consumer, Bitcoin is practically the logical conclusion of 'caveat emptor', trying to take Internet-based businesses back to the days before Upton Sinclar's "The Jungle" was published.

Luckily for us, the 2.5-or so transaction per second limit seems to guarantee we won't have to worry about any significant shift to Bitcoin even if people wanted to pay $10/tx fees...
My girlfriend (your typical first time builder: grandmother, artist, refusing my help) selected the E5v3-1650 which really screams at 8 GHz and can be overclocked. The build came in under $2K. She did it all herself and it booted the first time.
Without access to the full PDF, this blurb from Oracle gives some more information: https://blogs.oracle.com/rajadurai/entry/sparc_m7_chip_32_co...
One of my favorite paradoxes, I recall learning this in a formal logic class in college. These sorts of mental exercises are fascinating and well worth doing. The point of paradoxes is not to "solve" them, the point is to understand more about how we reason, and about the boundaries of our reason.
April fool's leftover?
And probably each daisy well has small differences that make your prints identifiable. One they get you and your daisy well, you have no deniability.
The community moderation system, what it ends up being, will be gamed and abused and alienate and anger people. Don't do it. Witness the toxic mess of StackOverflow.

It seems like the reason HN will come up with a new moderation system is because dang isn't going to stay moderator for the rest of his life.

I sometimes feel bad HN has claimed so much of his time. It must be at least slightly depressing to constantly deal with the worst parts of HN. We should send him a thank-you card or a cake or something.

There are other candidates for moderator, of course, but would they be as thoughtful? As careful? Will they have the presence of mind to avoid hellbanning people if it would make the HN mod team appear in a bad light, as in this very comment section? (The squabble near the top of this post was HN at its worst, but dang probably couldn't ban anyone involved without giving the wrong impression.)

One thing's for sure: A community moderation system definitely won't. But a community moderation system might be a better alternative to a careless moderator, since at least the poor decisions can be appealed.

But that would probably be the first time in the history of the internet that something like that worked. So hopefully it will work.

If not, I imagine the HN team will do what they've always done: undo the bad decision and think of something else. They're nothing if not persistent and creative.
>How fast does it have to be for you?

Fast enough to show progress.

>It was only in the last year that there were even multiple viable places to buy btc in the US.

Coinbase has been around since 2012, and now we've had a few choices even beyond them for over a year and they still haven't made a difference. Don't you ever wonder why Coinbase and Bitpay are so adamant about not releasing real figures for anything? Coinbase releases number of wallets which is a worthless vanity metric since you can have multiple wallets and it tells us nothing of use. Bitpay released tons of details on last Bitcoin Black Friday and this year their only statement was that its not all about the numbers. More recently they've cancelled their sponsorship of the Bitcoin Bowl early.

You're replying to a comment where I point out the problem with comparing bitcoin to the early internet by comparing it to the early internet. The difference between then and now is the level of improvement and the inability for the existing system to match the improvements of the new one. The internet is a huge improvement over sending a letter and getting sports scores. Massive, unquestionable. Bitcoin isn't a huge improvement over the traditional banking system(even for the unbanked).
A Video Recording of an NYPD Officer and an Uber Driver
(I suspect your comment may not be wildly popular...)

I must admit, while I was mildly interested by it, it did strike me as the kind of "philosophising" that your regular bloke down the pub would find rather baffling - "I know ravens are black. You know ravens are black. Why are we even discussing this?"
Wait...mono doesn't do tail call optimization with f#???
One issue with this regulation is that hacker news is an international community and there are strong cultural differences in what is perceived as being too negative. In the US, people have a very low threshold and there is always a high pressure to be positive and supportive. People from Europe perceive this as phony and they tend to be more direct with their criticism. I lived in both cultures and observed that in the US there is a strong emphasis on presenting criticism in a considerate and toned-down way, whereas in Europe people are better at dealing with open criticism. There are merits to both approaches and I don't think it's a good idea to force the American way of doing things on this community. Hacker news needs to evolve a composite of the two ways to deal with criticism in an organic fashion.
so a BeagleBone Black with adruino on its head goes to the doctors office. Doctor asks 'what seems to be the problem?'. Arduino replies "I've got something stuck to my ass!".

but now at 1.5 times the price of individual components! BB is $55, minis are $3. This thing will be what, ~$70? Arduino abomination glued to the AR9331 is ~$80 (Yun), while bare atheros chips are $5 in china, whole routers ~$15. I dont see the point of this new one either. Even if they somehow got the best deal ever out of TI it will not be economical compared to BBB.
I'd like to chime in here in support of Cloud66. I've been running normal (non-dockerized) Cloud66 for about a year on a wide variety of projects, including the main Bike Index site (https://bikeindex.org), and it's fantastic.

It's all the ease of Heroku and all the flexibility of actual servers, and way cheaper than Heroku. The only reason I've touched Docker on Cloud66 is JRuby - since this article is about a python app, it would be also require Docker. But for Ruby MRI applications, the logical first step as soon as Heroku stops being cost effective is immediate (and painless) migration to Cloud66.
If a Caller Says, 'I Am with the IRS,' He's Not
It seems like the "right" way to solve this problem is to just design a currency with whatever monetary policy you like baked in. Then the people get to choose their monetary policy based on which currency they support. A government could endorse a particular currency as the official currency, thereby giving it the same capacity to regulate monetary policy governments currently enjoy.
Nothing, which is why it is arguably a short-sighted move for USB-IF to charge such a large amount to hobbyists and such.
TBH, maybe I've read too many "you shouldn't do X" "you should use X" posts that the word ends up snagging me whenever I see it.
Credit card fraud has never been a problem for me as a consumer. I just call the bank and its dealt with. If Bitcoin can solve all of those problems then I'd imagine banks would want in on it. The fact they they don't tells me that despite all the scary credit card fraud somebody is making out somewhere.
Firefox does opportunistic encryption now. :)

http://arstechnica.com/security/2015/04/new-firefox-version-...

It's just that lots of other browsers are hesitant to follow suit, because OE doesn't protect you from most attacks that the average internet user would expect encryption to protect you from (e.g., you shouldn't type credit card numbers into an OE webpage). And even Firefox treats the site as http, not https, although the physical connection is over TLS on port 443. That's what, in the browsers' eyes, is "acceptable" encryption, which is what translates to the user experience of having to override the browsers' warning.
Cellphones and credit cards.
PowerPC is in the same situation, with 'OpenPOWER' (I think the Open must stand for "we're Open for business"?).

Of course, open instruction sets like RISC-V http://riscv.org/ require no license fee. At lowRISC we're aiming to build a complete open source SoC using RISC-V http://www.lowrisc.org/. I'll note that getting a license for an existing architecture and core implementation isn't as straight-forward as you say. You do need to negotiate and enter an agreement with ARM/MIPS/... (and ARM/Imagination/... need to decide it's worth their while going through that process).
Think of the children: Porn site ID checks for UK
Nordic Naturals Ultimate Omega. My eye doctor was specific on this brand--emphasizing the EPA and DHA levels.
Even collecting it, without explicitly stating what you are going to do with it, should be punished and prohibited. If it can identify you, you should be clear what is to be done with it before you can make an informed decision to give it to someone.
Great article, we have a similar story but only used Xamarin for 1 iOS app. If I had option to go back I would not chose Xa marin, we would have used native. Main reason being that we now need to add 3 SDKs to our app and none of them are supported in Xamarin, it seems it will be cheaper and more predictable to rewrite to native than implementing SDKs. Porting libraries to Xamarin is possible in theory but in practice major effort and hard to do without access to library code.
To me it seems like the intuitive resolution to this is that a non-black non-raven does indeed provide some evidence that all ravens are black, but only an incredibly small amount. The net effect on the argument is so small that it can be ignored completely.
With regards to PWM issues you've mentioned , have you looked at alternative libraries ? a rough search brough me this[1](and there might be others), an it claims to solve most of the floating point problem.

>> In order to use the more interesting features, you're pretty much required to use their web-based IDE,

What features are those ?

[1]http://developer.mbed.org/users/jocis/code/HighPWM/docs/923b...
I believe the folks at MIRI spend most their time on Wei Dai's Updateless Decision Theory now.

MIRI is strange. Five years ago, I was convinced they were very misguided or cranks, but I've been reading some of their logic stuff and much of it is pretty neat. I also attended a talk by Yudkowsky at MIT and it was also very good. I'm not sure what to think now.
Django-material – Material design for django forms and admin