skysight-inc/HackerNews huggingface dataset:
Very cool arcticle! I've played around with this sort of thing and at one time had the idea to create a small FPGA board that could be used as a pin-compatible drop-in for either the NES PPU or the TMS9918 but shelved it. The new miniSpartan board is going to be a great board for experimenting with this sort of thing:

https://www.kickstarter.com/projects/1812459948/minispartan6...
Microsoft fighting? Their revenue continues to climb. Its maybe cool to dis them, but they continue to make big bucks and grow.
my 'default mode' is the task positive network.
the task positive network and default mode network are counter-driven - so having a task positive network active means the default mode network is off. evaluating other people's emotional states and daydreaming are the primary functioning of the default mode network - things which it takes me a lot of effort to do. drifting off to thought about 'the nature of consciousness' comes naturally; it takes effort to look at the people around me and evaluate their emotional content.

this is the point i was trying to make above, but failed to understand the article.
I wouldn't be so hasty in thinking that. Java is catching up considerably with Java 8, and if you combine that with Guava extensions it can at times feel like a modern language.
The Artists sure made a statement!
The truly wonderful part of this action is that the statement they made was perhaps not the one they intended.

New Yorker's sensitivities aside, this beautifully demonstrated how bat-shit crazy the govt. & the media has become over terrorism fears. The NYPD did initially consider this to be an art-project [1]...and had they let it go at that, things would have been much less embarrassing now.

So an unlikely pair of Germans (allegedly) deserve kudos for exposing the American scardey-cat responses & massive waste of resources and time that can be brought about by simple (but unusual) things.

[1] http://www.cnn.com/2014/07/22/us/new-york-brooklyn-bridge-fl...
They've chosen instead to partner with Xamarin, and therefore allow them to continue to exist. Compared to the bad old days of embrace-extend-extinguish, that seems like a huge improvement to me.

Maybe it would be even better if they were to open source just the .NET runtime and core libraries in order to cut down on the workload that both companies have to put into maintaining their own separate versions of the core platform. But there's also something to be said for friendly competition and having two different groups working on their own innovations.
McDonalds had to compete with coffee shops, places with Wifi, installed RedBox to get people to walk into the place, and the general move toward healthier foods and locally grown food. That's part of the reason they bought into Chipotle.
Stop Talking about Inner Beauty
>Tesla have only been making an entire car for a few years, and they've only made a few tens of thousands of them.

This is one thing that really worries me. Being connected to the auto industry the development of a new power train components is normally 6-10 years. The idea that you could roll out even something as simple a rear differential without 5 years of testing is pretty scary. I know computer modelling is pretty decent, but once you have models, you need to test your models. The automakers tried in the 90's to build completely without prototyping and it went over like a ton of bricks.
I disagree, I think the pain of losing your main HC character, all of your items and your highest paragon level would feel just as bad regardless of any extra money you'd sunk into it. Is the time and effort that hurts. But that is also the pleasure, the fear of that pain is what makes the game thrilling.
there is a difference between implicit and explicit learning.

implicit learning is knowing how to react to a given situation. explicit learning is knowing why that is.

implict learning is what google translate does. 'this goes with this, that goes with that.' why? 'because, this goes with this, that goes with that.'
I think the problem is a disagreement on what kind of "automation" is the goal. You seem to want to automate all possible math. Sure, we can't do that. But we certainly can try to automate any math a human can do (eventually).

An automated factory cannot build any possible car. But we no longer need to have people hand assembling the components.
The point I'm trying to make is that the website is misleading. It says "home automation" rather than "professional home automation". There isn't ANYTHING to indicate that it's real home automation for adults rather than the cheap crap you can buy at big box stores these days.

Tesla can say that it makes fairly inexpensive top-of-the-line luxury cars. But it can't claim to make cheap cars in general.

OpenMotics might be very reasonable compared to Niko but that's not the entire home automation market. To claim that it is or ignore the notion that there are other, worse-is-better competitors out there severely harms the credibility of the marketing effort.

http://en.wikipedia.org/wiki/Home_automation#Comparison_of_p...
I've got a safaribooks online account, and found "Real World Functional Programming with examples in F# and C#" the most useful of the f# books I've read. The author has a blog, http://tomasp.net/ But I got something out of all of the books.
Really interesting. I'd love to see it (and RelateIQ) integrate with a more complete sales solution, like close.io (which I love).

PS - just saw that RelateIQ has an API and PersistIQ has an out of the box Salesforce integration. Looking good :)
I admit that I don't drive BMWs or other high-end cars but I must say that this sentence caught my eye: "The maintenance service, done at the same time, includes topping off fluids, cabin filter replacement, key fob batteries, and a tire rotation. All told, we paid $636.90 with tax."

I'm probably not the market for (current) Teslas--too cheap when it comes to cars--but that seems like... a lot. My Toyota SUV, which is not a particularly LOW-end car, covered pretty much all service for 2 years. Again, understand I'm not Tesla's current market.
I think that each person is their own variance. So somebody might rate on a 1 - 10 scale at an average of 7 while others rate at an average of 9 so you have to apply context.

I wouldn't mediate between the two of them, I would simply display the facts and let those viewing the data make their own conclusions the same way that a 1 star rating on Amazon is viewed as less credible than a 2 or 3 star rating because it "seems" more realistic. People who say strong words like Hate and rate 1 star are probably rating a lot of things low.

Make sense?
Automation is doing automatically what humans manually. So your point misses the point.
I've only been using mu for about a week, so I'm not any kind of expert. On the other hand I did just spend a bunch of time reading about both mu and notmuch to try to pick one (and picked mu), so I can list some of what I came across, since it's pretty fresh in my mind.

The main difference is in data models: mu uses Maildirs for message filing, while notmuch uses the Xapian db for message tagging. mu uses a traditional file-into-folders paradigm, where the folders are on-disk Maildir folders. You file messages by moving them. notmuch on the other hand uses a Gmail-style message-tags paradigm, where tags are stored in the Xapian db and the original files are treated as immutable. Messages on disk are never touched/moved; all changes to message state (even "deleting") are just tags in the db.

IMO that makes notmuch more flexible: a tag can be anything, with user-defined tags and "built-in" tags like sender and subject being treated similarly. mu on the other hand treats the Maildir files as the canonical db, so its index includes only data from there: the message headers and content, the folder, etc. (no user-defined tags). An advantage of that is that it makes mu more interoperable, since other clients can read the Maildir structure without having to know about mu. It also makes mu feel a bit "safer" to me, since the Xapian db is purely a search index that can be regenerated at any time from the Maildir files with no data loss. On the other hand, notmuch's choice to never modify/delete/touch your original mail files is safer in a different way.

Other differences:

- mu is mainly developed by one developer (HN user djcb), while notmuch is more of a group effort. Some pros and cons to each there.

- mu has a very nice proper manual. notmuch's documentation isn't bad, but it's not a nice proper manual.

- mu collects a contact db by default. I believe there's also a solution for notmuch to do that though.

- notmuch has a procmail-replacement story, https://github.com/teythoon/afew, whereas many mu users still use procmail for initial message handling

- I like mu4e, the emacs mail client that's developed together with mu. I haven't tried integrating either mu or notmuch with mutt or another client, though, so I don't know how they compare on that.
A cloud future: can you put your clothes on the cloud?
Show HN: Reddit command line app
First female winner for Fields maths medal
Shelly Server
I would rather they build one that does not lock people in to a single proprietary product run by an egomaniac.
I love this. But, am saddened that the troll hasn't lost. The troll is free to move on to the next mark, which likely won't have a free legal team behind them.

I wonder if invalidating patents, that trolls commonly use, a good use of a law student's time?
That's what came to mind first for me as well, but I think it's important to note that 'mindfulness' as defined in the paper is a specific type of "thinking harder".

I wonder if there would be similar results if the experiments were performed with new motor skill acquisition. I know that in my own experience it seems that a combination of "mindful" practice (especially at the beginning of the learning process) with "drill" type practice seems to seal the deal most efficiently. Basically the "engram" theory.
Uber throws sabotage accusations back at Lyft
Sorry, he sounded like a concern troll. Was spreading doubt without any proof.
After reading this[1] xkcd post about the ROV he built, I've wanted to try and build a similar one when my son is old enough. Then after seeing the Oculus + drone video I wanted to add that in as well and go "diving" in Puget Sound

[1] http://blog.xkcd.com/2010/11/05/submarines/
"offensive" isn't the only reason for downvoting. "Not a substantive addition to the conversation" is one (of many) other bases. If you are going to complain about downvoting [1] why do so based on the unwarranted assumption that the downmod must be for offensiveness?

[1] And you shouldn't, see the Guidelines [2] under "In Comments"

[2] https://news.ycombinator.com/newsguidelines.html
But aren't you glad to be in a place where that incident could even happen?
This is why we started using law school clinics to do free legal defense. It’s a win-win arrangement: students cut their teeth on real litigation, startups get free legal defense, and patent trolls get nothing.

Bravo!
I'm stuck on set 1 challenge 4, detecting single-character XOR. I know how the cipher works, having solved challenge 3, but when I brute-forced all 327 hex strings in their challenge data with each of the 256 possible one-byte keys, none of them deciphered to anything like English. I suspect a typo in their data, since one line -- 1c3df1135321a8e9241a5607f8305d571aa546001e3254555a11511924 -- actually has 58 hex digits, not 60. Has anyone else run into this problem?

Edit: Of course I would solve this right after a post saying I can't. I was only looking at the (string, key) pairs which deciphered to all-printable plain text, but forgot that \r, \n, and \t count as printable ASCII characters.
There is a good popular math book about Kepler's Conjecture: "Kepler's Conjecture: How Some of the Greatest Minds in History Helped Solve One of the Oldest Math Problems in the World", by George Szpiro. I enjoyed it and recommend it if you want a historical perspective on this problem.
This is why I went stainless.

Look out, many times aluminum bottles are lined with a BPA coating, too.
How I Used Swift to Build a Simple Touch Game for iOS
In the case of the App Store, Apple is perhaps missing a lot of revenue opportunity due to the raise of the in app advertising platforms that have been built to generate revenue.

They take 30% on the sale through the store but if it's a free game with in-game advertisement, I don't think they get anything unless its the iAd platform, correct?
This article suggests that this is a win-win situation for the startups and law students, but, it's a pretty one-sided deal here. This doesn't work out at all in the long term without unfair exploitation of the unpaid labor of the students.

While helping out gives the students experience, it's not reasonable to consider this any sort of real option beyond an occasional situation in which a startup can solicit a law-student who takes on a single case as part of their curriculum.
This sounds vaguely like attention deficit disorder.
Mirzakhani is the first woman to ever win, which is even more notable than being the first Iranian.
Data Visualization and D3.js Newsletter – Issue 91
> Anyone who buys one has to reasonably expect a few teething problems here and there. Early adopters of Version 1.0, etc.

Maybe applying "hey, it'll get debugged eventually" paradigms to multi-tonne death machines isn't the right way to go.
I disagree with your assertion that willing participants cannot be degraded. I can't seem to find a definition of "degraded" that would support that assertion.
I have bought 4 laptops with windows pre-installed. Immediately after getting them, I erased all windows and installed arch linux.

As I know, the pre-installed windows cost around $50, so the total cost of microsoft tax is $200 for me. The only thing MS brings to me is the trouble to erase them and install linux.
FTA:

"Brown's death, which is now being investigated by the FBI, has generated a great deal of discussion (as well as protests, vigils, and riots) in recent days, with many condemning the police officer for shooting an unarmed young man."

However:

"But authorities say Brown had attacked the officer in his car and tried to take his gun.

"The genesis of this was a physical confrontation," St. Louis County Police Chief Jon Belmar said. His department has been called in to conduct an independent investigation."

Let's not be too quick to call out the lynch mobs here.

On the other hand: if I thought someone was going to shoot me, the resultant headline might well read "unarmed man shot while trying to take the shooters gun".

/me awaits the investigation and / or trial and / or video of the event
What would be really awesome is if the BLIP clinic students decided to dedicate themselves to destroying this particular troll. Since they'd already put in the hours getting up to speed on the patent in question (and filing that likely-would-have-been-successful motion), they should reach out to the other folks who have/will be sued by 911 and offer to defend them. Troll the troll, as it were.
There's this: http://www.headlinesmasher.com/
No one outside of a few bleeding edge performance computing programmers will notice. Software transational memory is a cool feature, don't get me wrong, but it requires specialized infrastructure for even programmers to get use out of it, and most end users won't be harmed at all.
Writing a formal proof in HOL Light is very much like writing a computer program. If the program run from start to finish without throwing errors, the proof is correct.

Writing a proof takes forever, because you have to take into account all possible corner cases etc, but I'd be surprised if running (hence: verifying) the entire Hale's proof would take more than a few minutes.
I think that statement is most accurate with the word "vaguely". This sort of mental state/behavioral disposition and A.D.D. are mutually exclusive. In fact, usually people who are this way are introverted and rather calm natured.
There has been some work about using zero-copy RDMA and RoCE (which bypass the kernel as a side effect) for analytics. Hadoop in particular is so slow that the kernel is unlikely to be a bottleneck, but more optimized runtimes like Spark might benefit.
Thanks for providing those links. I'm really excited to see Xamarin hiring a developer for Linux support issues.
Edmodo – The World’s Largest Online Community For Students And Their Teachers
Top Math Prize Has Its First Female Winner
That's quite the desirable feature list! Some of those bugs are really old. I'll be interested to try it out and see whether this is stabler than the official adb version.

I know this is an Android project from Facebook, but are there plans to contribute this code to AOSP and get it merged upstream?
Java has a massive foothold in the business community, especially in finance. I don't think Java is going away anytime soon.
It's worth pointing out that those numbers are of _ideal_ RPM and ideal power draw, real world results will vary significantly.
Statement from IMU (PDF) http://www.mathunion.org/fileadmin/IMU/Prizes/2014/news_rele...
It's got some other nice syntactic sugar, like checked exceptions and XML literals. Nothing game-changing, but stuff I do occasionally miss when working in C#.

It used to be that VB.NET's late binding features made interacting with COM objects way easier, but C# sorted that out when `dynamic` came along.

Now the only difference that I'd say is really substantive is C#'s unsafe blocks. However, I should immediately follow that up by saying that in the past 5 years I think I've written a grand total of one unsafe block that turned out to be a keeper, and the only reason I'm not embarrassed to admit that I even bother with unsafe blocks is that I have no shame.
The Plan described by the Joker [video]
It's not "unfair exploitation". The students willingly sign on to get meaningful experience working on real cases. It gives them a chance to do real work and see more closely how actual law work is done.

From the sounds of the article, there is one small clinic in Brooklyn that makes this a "real option" for companies. It's not like every company that faces patent trolls can rely on it, but I don't think it would be far-fetched to think that other law clinics may begin to (or already do) offer similar services.

As I see it, it's a win-win for both parties.
Hello, everyone. Founder of Datanyze here. I just wanted to respond to this comment as I did not notice it until recently. This throw-away account was wisely created to avoid a libel counter-lawsuit. Torbit indeed tried to sue me and the company...unsuccessfully. Their accusations were ridiculous from the beginning and my position was very open at all times. I offered them to do a code comparison or anything else it would take to prove that I did not steal any of Torbit's IP. Datanyze was written using a totally different set of tools. They refused and kept throwing money into the lawsuit. Torbit was basically claiming that they invented web crawling and predictably failed. The judge has made his decision, but some (not all) of Torbit's investors and employees keep trolling using these 'throwaway' accounts.
The grid and power generation plus the fact that most us homes are 110V. and are limited in how much power they can charge.

Also My local small petrol station can fuel say 60 cars an hour have you any idea what sort of HVAC plant is needed to store and deliver that sort of power.

You can convert IC engines to burn hydrogen and they can just slot right into existing models.

You can also use intermittent wind and solar power to create Hydrogen for use later.
4 CPU, 28Gb RAM, 240G SDD, 10Gbps network for $0.23 per hour
This quote from the artists summed up the parallel nicely:

> “We saw the bridge, which was designed by a German, trained in Berlin, who came to America because it was the place to fulfill his dreams, as the most beautiful expression of a great public space,” Mr. Leinkauf said. “That beauty was what we were trying to capture.”

Then by effect they captured the beauty of the modern paranoid state where acts of vandalism spark mass-fear among the administrators - fear that they somehow aren't maintaining total control.

This is the new nature of public spaces in New York. They are now primarily security zones, not avenues for creativity.
We use Yesware's mail merge for the same thing, and you can set it to execute subsequent stages only for folks who haven't replied. It's really stupendous.
Based on your description, it sounds like you may be on the autistic spectrum. Perhaps reading up on that can give you more insights.

You may also find this book interesting, by a man who was diagnosed with Asperger's (which is now just said to be on the autistic spectrum) as an adult, after his wife started picking up on it: http://www.amazon.com/The-Journal-Best-Practices-Marriage/dp...
It's not a video but:

http://www.msnbc.com/msnbc/eyewitness-michael-brown-fatal-sh...
He went on to found Tarsnap about a year after that exchange.

The whole thread is really incredible. Just a bit further down[1] you see someone criticize him and his startup (Tarsnap) for having a "phenomenal misunderstanding of what it takes to create a successful software startup."

And then Drew Houston of Dropbox chimes in to say that he's building a similar backup solution.
Yes! I've always suspected that this is true.
Given that "implicit learning" means, roughly, learning without being aware of what's being learned, this is expected. The question would be: is this lack of awareness a good or bad thing?
How is this not propaganda or FUD? Is the press allowed to do this?
Could this be anything to do with why my ping has been spiking to 20 seconds today? Or is it just Sky being useless?
> There are well-known approximation algorithms for the Traveling Salesman Problem, which is NP-hard

Actually, it's either not NP-hard, or not approximable, depending on your definition of TSP. Let me clarify.

TSP, as most people define it, means "given a graph, find the shortest roundtrip". As you rightly state, this problem can be well approximated. But it's not a decision problem (it doesn't have a yes/no answer), and thus doesn't even fit into categories like "NP" or "NP-complete". Talking about the NP-completess of this "Optimization TSP" is essentially a type error.

It's only when we define a "Decision TSP" problem that we can talk about things like NP-hardness. For example, we might ask "Given a graph and a number c, is there a roundtrip of length less than c?". And this new problem is NP-hard. Given any problem in NP, like a SAT instance for example, we can efficiently construct a (usually very contrived) graph that will have a roundtrip of a certain length if and only the original SAT instance is satisfiable.

But unlike "Optimization TSP", this "Decision TSP" can't be approximated. It doesn't even make sense to talk about approximations: a roundtrip of length < c can't "almost exist", the answer is always either yes or no. And while an exact solution for Optimization TSP can trivially answer Decision TSP, any approximation of Optimization TSP is essentially useless in solving Decision TSP.

That's why TSP (in its optimization form) can be easy to approximate, while also (in its decision form) being NP-hard.
No, it means that you learn more explicitly, with more awareness of what you are learning.
>As people, we do great things. We make babies laugh. We conquer mountains. We volunteer at soup kitchens. We do things that entertain, inspire, and comfort one another. In return, these things make us happy, awestruck, and loved

As people, we don't do great things. Some of us do great things. Some don't. Some conquer mountains. Some can't even run up a hilly street.

In other words, stop being politically correct, just be politically correct in the ways the author approves?