skysight-inc/HackerNews huggingface dataset:
Yes, NP-hardness is a worst-case notion, hence not easy to use in cryptography.

But, once you know what algorithms and heuristics the SAT solver is using, it's usually not hard to concoct propositional formulae that the prover chokes on. It just happens to be the case that the formulae that humans typically want to get solved are easy for the algorithms we use. Quite why this is nobody really knows.

Also, the reason we typically reduce NP hard-problems to SAT is not that SAT is somehow easier than other NP-hard problems, but because so much effort has been spent on optimising SAT solvers, unlike for almost all other NP-hard problems. As you say, when you reduce a problem to SAT, you typically loose a lot of structure. But the decades of research on SAT solvers more than compensate.
There is no royal road; or if we want some mystical woo, we could say that the journey is the destination, or something. I think that if you're trying to understand P-vs-NP it's not a matter of proceeding definition by definition. It's more like simultaneously approaching the question from lots of different angles, in order to build the mental connections between P-vs-NP and other topics. That includes Turing machines, formal languages and automata, reductions, big-O analysis, important concrete problems in P, NP, or neither, important algorithms and methods, and so forth.

Recursion is probably the same way. For Colbert purposes you could certainly come up with some glib explanation. When I, or you, or anyone else, have learned recursion we've probably started with that, but then proceeded to build connections with induction, PL semantics, computer architecture, compiler/runtime implementations, and all the other allied topics.

But I do think the earliest, most informal, explanation has its place too, because you have to start somewhere. The learning process is (at least for me) more like proceeding through lots of explanations of the same thing, at greater levels of detail and with different metaphors and external references, than it is like a linear progression from topic to topic.
He's paraphrasing Alan Blinder's 1995 testimony in the context of the history of virtual currencies. It is more accurate to say, "In 1995, Alan Blinder stated that virtual currencies hold long-term promise, particularly if..."

My larger point is that whenever you see the Bernanke "bitcoin statement," it implies that he is a Bitcoin advocate. He may very well be a Bitcoin fanboy in his private life, but there is not public evidence that this is true.
There is a lot of OSM-based maps, free and paid. I'm developer of one of those apps: http://galileo-app.com It works offline. Sharing based on url-scheme and our service. Search result destroyed as soon as you clear search field. :) And many more features.

Check it and tell here or directly via email info@galileo-app.com your opinion or ideas about improvement. :)

p.s. It's iOS only.
For me it's all the features of Facebook I don't use with better design. I have everybody blocked from my News Feed and only use Facebook for a couple of Groups, Events, and Messages. I would love to see a dedicated Events app.
Yay for client-side crypto. I think aside from making it hard(er) to steal CC#s and making online banking a bit safer, SSL is fairly useless and has been for a while.

I think a new crop of services that generate keys completely on the client and use servers as dumb, data-ignorant conduits between clients are going to be a lot more pervasive in the next 10 years. At least, that's what I'm betting on =].
Really like the site.

I've been reading the narratives of enslaved people lately, starting with 12 Years a Slave, then Incidents in the Life of a Slave Girl, and started reading Frederick Douglass' narratives. Harrowing reads.

For anyone reading these narratives: it's easy to get caught up in the dynamic of blacks and whites, racism, and the like, but the core issue of American slavery is the depravity of humanity. Focusing on the guilt/non-guilt/whatever of various ethnic groups quite misses the point.

Evils of this type exist across humanity; these enslavement narratives show us the particular context of how this depravity played out in America. They also provides us with some insight into contemporary issues in our society. The tentacles of a 400+ year institution like slavery, and their corroding influence, continue to wrap themselves around hearts and minds open to their venom.

The narratives are very worthwhile reading.

Sidenote: I think the site title might be better termed as Memoirs from American Enslaved People. For so long these people were not acknowledged as human beings, and it seems appropriate to acknowledge the dignity of their humanity.
Aside from how beautiful it is I think buried inside is a unique solution for a problem that often occurred while browsing Facebook. Viewing widescreen photos in portrait was difficult without turning the phone (and many people lock portrait orientation). Paper uses the accelerometer to allow you to pan and view the entire image. I literally said "wow" out loud once I realized that I had already looked at two widescreen photos and not even noticed how seamless it was.
"within an agile team – bottom up development is an anti pattern"
I'm not entirely sure, but I think so, I remember someone saying that it was already possible with some models of an LG tvs. I think it's called the DIAL protocol.
>shame Facebook

If only. The entire post is to (a) differentiate their Paper from the FB Paper and (b) make an effort to protect what little trademark they have.

They're making it public so everyone can know "We exist, we were here first, please don't let FB steamroll us."

If they didn't do this, in six months FB lawyers would send a cease-and-desist telling them to stop using Facebook's trademark "Paper."

If they make enough stink they can maintain their brand. If they don't, then the 800-lbs Facebook gorilla will take away their brand identity.
I agree with you that "Grunt is ant". But when I look at that code example it seems like "Gulp is ant", too. It's just less verbose. I think that Lineman is the Maven equivalent in the JS world.
The original post was so cringe... glad someone translated it so we could see why.
Anyone know if the API is powerful enough to let you build an app that can project video and have it play synced audio via headphones connected to the controlling device? Being able to listen to the audio via remote headphones is a killer feature of the Roku 3 IMHO and I would love it if I could do this via my chromecast as well.

(Yes, I am aware that the Chromecast typically plays buffered video from the video source without running data through the controlling device and that having synced audio running on the device therefore is contrary to the design. I'm asking whether this limitation is surmountable by clever programming against the API.)
That is true, however "login with your email" will be understood by The Average Internet User. Any discourse on login identifiers, domains, xmpp, certificates, et al will just scare them. That's a non-starter.

We use "login with your email".
And works VERY well, I started using the Chromecast over my AppleTV with Plex and I quite like it. PlexConnect is nice and I still use it on the upstairs TV but I feel like I'm having to restart PlexConnect once a week because it crashes or something goes wrong and the Chromecast just works. That said PlexConnect is awesome and you should check it out if you have an AppleTV (No jailbreak required).
Out of curiosity, what have you been using your Chromecast for?

I have drunk the Apple Kool-Aid: I have iOS devices, AppleTVs, and a home server running iTunes. Admittedly, the iTunes server is serving video and music that is ripped from legitimately-acquired spinning-discs, so perhaps I haven't tasted the iTunes Store Kool-Aid.

I purchased a Chromecast right at launch. As far as I could tell, the only things it did well was Netflix and stream YouTube. However, for my purposes, the AppleTV was better at both, so I literally put the Chromecast in a drawer.

When someone announced a jailbreak for it, I took it out of the drawer, rooted it, fiddled with it some more, then put it back in the drawer when I realized I was just wasting my time.

I'm not trolling, here; I really want to know how you use it. Is it that is works better with Android devices? Is it providing a better, open, AirPlay alternative? I just don't understand how it is in any way more useful than existing STBs--if not the AppleTV then, e.g., a Roku.
How about use an older Android phone with the sim pulled?
How does it compare to KSplice?
Spark 0.9 Released
> discover probable cause to effect a search.

Right so when you get arrested at that traffic stop, all you need is about $15-20k+ for lawyer, tons of time in courtrooms, bail money, potentially jail time in between, months/years stressing a criminal charge...and hopefully some decent evidence you can convince a judge or jury your rights weren't infringed.

There are a ton of externalities that goes into proving the state wrong and protecting civil rights at the court level. The majority of drug convictions happen to people in lower socio-economic positions (if not, asset seizure will ensure it). So the fact lawyers are capable of destroying the DEA's evidence in a courtroom doesn't make me feel any better about the situation. Reducing the use of drug dogs is a good start, far too many false-positives.
Plex Media Center.
An Impossibility Theorem for Clustering
Facebook “Paper” May Beat Trademark Complaint
The Emerging Drone Industry
we are f*d
Telecom giant Orange breached: 800k personal records stolen
http://elan.plexapp.com/2013/12/06/plex-on-the-chromecast-it...
DataRank (YC S13) Raises $1.4M For Its Online Analytics Platform For Brands
Unfortunate, but likely true.

That's the problem with trying to hit the NSA in the pursestrings -- if they need more money, they'll just get it, and to add insult to injury they'll get it from us via taxes.
Anything that works towards resetting the balance of power against Google is fine by me. Not to mention I've found that Google Maps has given me erroneous directions more frequently than a few years ago.
Ahh. Thank you. This actually makes more sense than the article itself!
There's a Shit-Ton of Money Somewhere in All This Mess. I Just Have to Find It
Onwership requires more than "sticking your flag" in something. You need to also execute and build a product, service or entity around that flag otherwise you can't even begin to enforce any "ownership". If you start with a generic name like Paper, it's even harder to enforce.
Nice try with the markdown ;-)
Shaq's Five-Minute Guide To Entrepreneurship
Wow this could be huge
Nice! thx.
Facebook Paper Auto Enables "Code Generator"
I just downloaded Facebook's new paper and got a text+email notifying me that I had now (unknowingly) activated the Code Generator. After realizing this wasn't spam - I realized this features enables me to reset passwords etc from my phone (making it the point of control). From a security standpoint - does it make sense to force a user to default to mobile as the primary security key for my account?
Not flash token but a proper HSMs.

They're quite common. Many laptops have TPM modules, popular SoCs (like nVidia Tegra) have them too, and most modern motherboards at least have a socket for one. Yet, the only use of them I've ever seen is validating the boot chain's integrity.

Also, USB tokens are not common in users' possession, but if necessary I believe you could get one within a day.

It just need a little push from software vendors. Imagine your OS or browser says "Hey, do you want to secure your credentials? Here's how...". Or just start with an option "use hardware security token" somewhere under settings - while of less impact than active suggestion, it will still strike users curiosity and start things moving bit by bit.
I'm a big fan of both the Chromecast and Plex. However, if you browse the Plex store reviews there are a ton of people complaining about needing the Plex Pass to stream to Chromecast. Part of me wants to be mad that they're "double dipping" charging $5 for the app and then the Plex Pass on top of it. The other feels guilty that they're already providing a fantastic desktop media server for free, and I feel like a greedy jerk.

Thankfully the Plex app will not require the Plex Pass soon.
I can't speak to their corporate support but as a consumer I've had issues with two Nexus devices and called them for support. The first was fixed by a factory reset and the second meant I needed a RMA. Both times the person on the other end of the line somewhat immediately recognized that I didn't need to be instructed to "plug it in." They asked me what I'd done already and moved forwards from there without making me (pretend to) re-do steps I'd already taken. While it's pretty crappy that I've had issues out of the box with 2 out of my 4 Google devices, the tech support has been great.
(Sock?) Puppets by Gwen – Did GoDaddy Rig Their Superbowl Ad?
Now i can play games on tv this is great news.cant wait for apps to be out.
But wouldn't this turn every vehicle into a moving GPS beacon for drone strikes?
Great question - here's a few problems that Matt and I have encountered with Github issues and screenshots:

1) Clients, managers and other "non-developers" usually don't have Github accounts. When we tried making them use Github Issues, most of the time they'd use it for a week and then go back to emailing us or just stop giving feedback.

2) When new code is pushed to Github, how do you show non-developers? Usually this requires maintaining staging servers. What if you want to show different things to three different people? Three servers to maintain. With Awesomebox, you don't have to worry about this - we could even send them notifications to check out new versions, so that you don't have to bug them.

3) It's hard to keep screenshots and their associated conversations organized - it requires a lot of discipline, and when building things I've found that I tend to lose track of UI/UX feedback overtime, even if it's within an issue tracker.

4) Not all feedback is an "issue" or a bug. Github Issues are great, but are designed to track problems, not to help people discuss ideas or provide positive feedback.

I hope that helps answer your question - just a few of the reasons that Matt and I started working on Awesomebox. I'd love to hear more about how you work with people who aren't developers, and if our product doesn't fit your needs, tell us what we could do better. Feel free to reach out - brendan@awesomebox.co
Speakability – Speech Therapy/AAC
Twitter Rolls Out New Web Design That Aligns With Mobile Interfaces
Wolfram language is fully homoiconic and it has idioms Lisp will never have (UpValues, for example).

It's there for 25 years, and yet almost nobody seems to notice. I just find it extremely funny. :-)
Not a free option but Plex, the commerical spin off of XBMC, does this now.
"Steal Real Money" contest results
Unsupported EU countries:

Bulgaria

Croatia

Cyprus

Estonia

Greece

Hungary

Latvia

Lithuania

Luxembourg

Malta

Romania

Slovakia

Slovenia
this is dope. Shutterstock is bomb
And Spotify uses it too - it just is not very visible https://support.spotify.com/uk/learn-more/faq/#!/article/Wha...
What $10.5k a month living in San Francisco gets you
There's an OpenID bridge [1] to make it easier for GMail users to sign in using Persona if they're currently logged into GMail/Yahoo! [2]. I haven't used it but the end goal of Persona is that 3rd party email providers can be their own Persona identity providers.

We definitely need something like Persona but I share your concerns WRT friction. Chicken meets egg.

[1] http://identity.mozilla.com/post/56526022621/what-is-an-iden...

[2] http://identity.mozilla.com/post/57712756801/persona-makes-s...
Well, I guess what I am getting at is that there is no lingering animosity and oppression between the British and the US. British/Irish relations might be a better analogy. Telling a black American to get over it might be roughly comparable to telling an Irish person to get over the British. In that case there are true atrocities in the past and continued conflict and animosity continued into the modern era.
mysql cli has always had reverse search (ctrl+r) because it was built on readline. They actually recently disabled it, indirectly, because they switched to editline. So now you gotta configure it via ~/.editrc

http://bugs.mysql.com/bug.php?id=60465
I disagree that it's "incredibly well-designed." Extensively designed maybe.

What bothers me more is the blanket sarcasm and disregard in your comment.

I downloaded it and tried it. I added topics to my Paper, tried out all the features suggested in the intro. I tried to read my friends' updates. I found it tiring to have to concentrate so hard to consume information from the tiled layout that is much more appropriately conveyed in a list, like in the main Facebook app.

An incredible team spent years working on this, sweating every detail. Isn't that worth investigating, rather than taking cheap shots at the icon design or voiceovers?

Great teams occasionally spend lots of time making something that doesn't succeed. Cuil. Color. Facebook Paper.

If you disagree with any of my specific criticisms, I'm happy to discuss them.
This app[1] for android is being updated to add support for chromecast, and from what I remember by checking the SDK it is quite simple to do as well, something like preparing an HTML5 video page and sending the link to play.

[1] https://play.google.com/store/apps/details?id=com.koushikdut...
Isatmour, I apologize for offending you, I certainly didn't intend to impose pornography onto you nor condone porn addiction (for being a porn addict, I know that it is no laughing matter although I try to use humor to try to be honest and confront my issue). I guess I wanted to frame learning front-end framework as a kind of OCD/obsessive behavior similar to any positive or negative addition you or someone you know might have experienced and chose the "lowest common denominator" metaphor I could find: porn addiction. Again I apologize for this who may find it offensive or an emotional trigger. And for anyone who's reading this and have this issue, I def. recommend this book: "The Addictive Personality" (http://www.amazon.com/The-Addictive-Personality-Understandin...) which has helped me understand and reform my behavior.
Other manufacturers can add the software to their device, in cooperation with google.
No libraries required? That is awesome!
I'm surprised they didn't spend a billion on buying Flipboard. Then again I don't know if Flipboard is in the same league as instagram in terms of active users.
GoPro Just Released New HD Footage of Felix Baumgartner’s Space Jump
At this point, making it easier for law enforcement to discover crime probably harms more people than it helps.

Here's a thought experiment: What if law enforcement was perfect? That is, every time someone broke a law, the state knew and could arrest them. Let's also assume this technology somehow disallowed even the slightest peek into an individual's legal private life. After a week under such a system, we'd all likely be jailed.

There are so many laws; so many unjust laws, that we're all criminals. Giving law enforcement more tools just puts the DA in a position of greater power.
and Android users.
"Anonymous tips don't remain anonymous in court."

Evidence can and is withheld from defense using mechanisms like States Secrets.
Wired in inaccurate gloss of complicated technical subject shocker! Seriously, they're like the Daily Mail of Silicon Valley.

P.S. well done on the language, sounds interesting.
Three things of note:

* It's really pretty, which makes perfect sense given the pedigrees of who was involved in its creation (http://www.mikematas.com/ and http://www.atebits.com, among others)

* The IPA file is huge given what it does. It seems like the bulk of the 50.4MB download is consumed by the completely unnecessary first-launch video.

* I found the app difficult to use, which is especially surprising given the pedigrees of who was involved in its creation. The process of switching between different data feeds was unintuitive to me, and I felt like there several instances where it simply failed to respond to my touches (I have an iPhone 5s, so device performance shouldn't be a problem).

Anyway, I promptly deleted it. I'll probably try it again in a couple months.
As a Day 0 user, I pretty much agree with the OP. Will check back after a week, but yeah, it's a pretty jarring first time user experience and if it wasn't from Facebook and didn't come with this much hype, I don't think I would be using it tomorrow, along with many other users.

One thing to keep in mind though is that they are likely gathering usage data and will adjust the product accordingly, so we should at least wait for some version updates before giving out the final verdict.
Just so we're clear that we're on the same page, I'll point out that I wrote the same thing in my comment, and agree that it's a real concern.

On the other hand, it's also worth understanding that "parallel construction" (it didn't always used to be called that) isn't new. It's also what happens when the DEA manages to get an informant placed high up in a cartel or organized crime operation. You want to be able to exploit your source, but you don't want to burn that source, because they'll keep being valuable going forward.
I was 6th place. I'll have to do a write up soon...
> > And what about using persistent data structures by default

> You can do that in CL if you like to.

When you do this by default you do get a completely different ecosystem of libraries though, which is one of Clojure's key advantages over CL.

> CL doesn't have a host language.

Another one of Clojure's key features is that it's designed to be easy to implement on a host language.

That choice has some disadvantages such as forgoing the elegant condition system of CL in favor of plain old exceptions, but it also enables the practical use of Clojure and it's persistent data structures on a varied collection of host languages.

> CL's community may feel arrogant at first, but with time you will notice it was justified

We all know the Smug Lisp Weeny stereotype. I had the pleasure of talking with the original smug lisp weeny (smuglispweeny.blogspot.com) a couple of years ago about his OpenCells library which I still love as one of the most elegant solutions in computing.

OpenCells never went anywhere serious though but the Clojure ecosystem is starting to develop it's own version of the concept which runs on the browser right away and is already driving demo iOS and Android apps.

So yes, Clojure might not have the history of CL behind it and has less of a history of drawing bright minds into an ivory tower which contains infinite beauty but which rarely, if ever, makes down to earth.

You could say that makes it a toy, but if I had to place a bet on which language will have the biggest impact from now on then I'm pretty sure which language I would put my money on.
Speaking only for myself, the problem with Parallel Construction, from an "implications for law enforcement" perspective (thus leaving aside your legitimate concerns about warping the NSA's mission) is simply the dishonesty of it. It bakes yet more deceit into a prosecutor's job.

I think there's already quite enough of that as things stand, thanks so much.
Your friends with Android phones can't cast to Airplay, but they can cast to Chromecast.
Ok now go look at the 800ish men who have won Nobel prizes.

That's a ratio of 100 to 1.

Now go look at the leaders in philosophy, business, politics,and basically every major field ever.

There will be the few women chestnuts but the ratio will be the same.

But go look in homeless shelters. Also mostly men.

Women have resource aquisition built into their bodies so they're never at the bottom but they also don't have that drive to ascend to the top.