skysight-inc/HackerNews huggingface dataset:
Starts out funny, but gets painful when the author starts trying to defend his claim.

The article as a whole never defines what "human intelligence" is -- which enables the author to use the "no true Scotsman fallacy" whenever a counterexample is brought up (see the comments).

> "science knows that we make decisions before the rational parts of our brains activate"

How true is this? Always? Sometimes? Who did this study? What were the controls?

> math skills are real, for example. But a computer can do math.

Doesn't cover all math skills -- just the easy ones. Using math != creating math. Could a computer create, say, set theory or proof theory?

> Language skills are real too, but a computer can understand words and sentence structure.

Again, the example doesn't cover all human language skills -- just the easy ones.

Maybe the biggest problem is the implicit assumption the author makes that everything that humans do depends on human intelligence. If you make that assumption, and it turns out to be false -- if humans do lots of things that don't require human intelligence -- then, obviously, it's very easy to cherry-pick examples of things humans do that don't require human intelligence. But that doesn't have anything to do with whether human intelligence exists or not, or whether we can duplicate it with computers.
`god think`
Announcing codestyle.co
No surprise in the numbers: Tablets are 'wants,' smartphones are 'needs'
Because they don't have to operate in your country. Google can simply decide to no longer run any operations within their borders to avoid the law.

Heck they could potentially even have a subsidiary corporation whose sole purpose is to squat Google.es and redirect to Google.com/es/
How Secret Societies Stay Hidden on the Internet
but you are able to donate. The app actually tells you how to donate to your localized station by clicking on the "How to Donate" link in the menu area.
Everyone would return home for a forgotten smartphone or notebook en route to work, but few would go back for a tablet.
Agreed, I don't think the global company/local laws mismatch is a difficulty that the government should be responsible for figuring out how to deal with, but something that a company who wants to operate globally needs to figure out.

The real complaint with this recent spate of European laws around the Internet is how incredibly stupid they've been.
I read the article when it came out - remembered it, and then searched for it using the bottom search bar. Took a few different search terms to find the article - but it came up relatively quickly. Not too complicated - but does require me to have read the article a while ago.
It is difficult to determine which parts of the internet are within a particular countries jurisdiction.
For the emails and numbers, they can probably search for those in the messages quite effectively without many false-positives.

I'm all for the expectations of privacy, but if you type something into a search box on a website owned by somebody else, well, you get what you pay for.
Eh, adaptive/responsive features are not that much of a payoff for us honestly. It helps with a few edge cases of screen splitting, but there are far bigger changes we can make than spending time on that. I wouldn't rule it out, but it's not at the top of our list right now.
I want to share an experience that I think will provide a different perspective. Might not be true in everybody's case, but just my two cents.

People often claim that having a deep-rooted work history and relation with a person and knowing them well suggests they could be somebody you can work on a startup with. My experience has proven, that this isn't always true. Having somebody you know inside-out work on you with a startup is a good thing, but also make sure that you don't mix your emotions with your work.

Your best-friend or fiancé might make a great co-founder (considering they work in the same space as you), but it always makes it harder to talk business with them. Emotions are always ugliest when they surface in work conditions. Your cofounder is slacking? Just give them a subtle reminder. Oh wait, now you can't because he's also your best friend so he expects you to let this slide.

Bad for business, worse when said business is in its earliest stages.
I think we do that because what happens if random contributors jump in and start adding even more random task lists? We could probably do some checks to prevent that, but this is at least a safe and practical way to do it as a first-pass.
Michio Kaku on Africa's Future and Disruption
If that were the only consequence, this wouldn't be so problematic. But it makes linking to anything something you have to pay for with the author having no way to opt out. So any time you post a link you have to pay a fee, which is collected by a government agency.
It's easy to integrate with Backbone if you want for this kind of architecture, as it already implements events and stores. I've found it requires less boilerplate than the example in the repo.
Only when the referrer is a Google-owned domain. This has nothing to do with opening a link in an incognito window.
Sir, Why did you do that. I am sorry to hear that. As other's have said, finding a co-founder is like finding a wife, you just don't assume your best friend will be a good life partner. and you can ruin your friendship this way.
// MARK: is the new #pragma (…and other changes to documentation in Swift)
No. Bringing views into the office can be a subtle thing. Would you work for an unapologetic racist if he promised to not let race impact his management? If you think prejudice is something that a person can turn off when they walk into the office, you need to study it more.
Imagine this bill multiplied a thousand times (in various forms) and applied to every industry imaginable, and you start to get an idea of what legislation looks like in southern Europe.
Mozilla picks one of its own to be its new CEO
Great find. They're using pocket sphinx as well I see.

Their mic module listens for 1 second, establishes a threshold volume, then for the next 9 seconds it listens for a disturbance above a weighted threshold. They're sampling at a reasonably high rate.

Either way I'm going to try their code and see the performance. The approach should be faster than mine but I didn't see how they handle the edge case of a command coming in over the 10 sec boundary when it restarts listening.
Defeating radar technology is still an uphill battle though. For a quick look at what you're dealing with, try Googling investigations on disrupting police radar guns (which is a very similar technology really as far as tracking radars for projectiles go).

I've no doubt a state might be able to come up with a counter-measure based on this, but it would not at all be cheap or easy to implement (and Iron Dome doesn't work well enough to justify it in a normal war situation).
I'd say that the munging of the two words together actually makes that relatively distinctive, and in line with Apple's "BlahKit" naming convention for their API sets.

Now Pages and Numbers, on the other hand...
In what ways could the chroots be stronger than they already are? Anything that helps us have more deterministic builds is good.
You can argue that "Iron Dome is XXX%" effective all day, but it is a layer. Just like infosec, security is best in layers.

That is why there are also things like the TROPHY system for Israel's Merkava tanks or lighter APC like vehicles:

http://www.youtube.com/watch?v=4eCUCBS1SVk

http://en.wikipedia.org/wiki/Trophy_(countermeasure)

Israel is no stranger when it comes to rocket threats and has multiple countermeasures. So far, it seems to work pretty well overall when you look at the number of Israeli casualties due to incoming rocket fire. For the number of shots fired into the country, it is remarkably low even with the horrible accuracy of the rockets being fired.
This was said over a year ago in an earnings call. I hope he is correct. It's a detail that is regularly omitted, wonder why. That tax credit will be available for the gen 3 based off of S sales. There are also phase out periods for the credit when the sales target has hit for 50% and 25% of tax credit. Telsa will want to have optimal production capabilities when that time comes.
Not quite what you ask for, but it may interest some: http://en.m.wikipedia.org/wiki/Percolation_threshold#Thresho...
Thank you, just caught some bugs in our preview feature and are fixing them now.
The most effective solution for this issue would be to create some form of online coalition of companies against these type of over-reaching copyright taxes (Google, Bing, Wordpress, Twitter, Facebook, etc.)

If the newspapers that lobbied for this tax are delisted and unable to be linked to, their traffic will plummet and they'll be unable monetize their online presences via ad revenue.
> 1) How do you model the myriad fault types that could possibly occur in distributed systems?

You need to think at the right level of abstraction. Are packet loss and reordering really different faults? Are packet loss to a node and the stop failure of that node different faults? The answers depend on your model.

Lamport's Fast Paxos model is a good example of how different faults are handled in different levels of models (http://research.microsoft.com/pubs/64624/tr-2005-112.pdf).

> Is it possible to partially model a system? For example, in SOA, the behavior of a service can depend on and be greatly affected by the behavior of other services. Can each service be modeled in isolation with meaningful results?

Yes, there are several powerful techniques for partially modelling systems. One of the most successful is the idea of abstraction (modelling less) and refinement (modelling more). Abstraction and refinement let you move up and down the levels of detail, and "refinement mappings" provide a rigorous tool for ensuring the validity of these moves.

"The existence of refinement mappings" (http://research.microsoft.com/en-us/um/people/lamport/pubs/a...) is the classic paper in this area, and Lamport's earlier "What good is temporal logic?" was one of the first to introduce the idea (http://research.microsoft.com/en-us/um/people/lamport/pubs/w...). This paper from Van Renesse et al (http://arxiv.org/abs/1309.5671) is a good illustration of the kind of formal things that can be done with refinement.

In practice, choosing the level of abstraction to apply these techniques is key to their success, but their flexibility makes it easy to work at any level. Choosing the right one is very application specific, and requires engineering and mathematical judgement.

> 3) Is the run time of model checking managable? The paper mentioned a few seconds to find bugs, but how long to exhaustively check a model without bugs?

That depends hugely on the complexity of the model. TLC is a very brute-force solution to the problem of model checking (with a few clever optimizations), and run time rises very quickly with model complexity. Model checking is tractable for some very meaningful models.
In a way it makes sense, as most of these multinationals do not reside in the countries where the laws are being made. Maybe if they stop doing business there, or it is more difficult, it will give local companies(which pay taxes and provide more jobs locally) and advantage. Not saying that's definitely true, but it is something to think about.
How to Tell When A Manager Is Really Productive
How to do friends and family business loans
Ask HN: Any PhDs from non-CS fields switch into Development?
My sister has her PhD in a Bio-health field, and is currently in the SF area looking for a job with little luck. She wonders if a "career change" is in order and doesn't know if having an unrelated PhD would complicate things when trying to break into the CS world.

So has any HNer successfully switched from a unrelated higher education degree and managed a good CS career?
How the Other Half Lifts: What Your Workout Says About Your Social Class
Otherwise whose requirements do they follow? The US?
Yep. S3X doesn't look bad to me.
Since you mention price specifically I will use this to shamelessly plug my site www.3dprintingpricecheck.com. It analyses your .stl file in-browser and gets you quotes and estimates for the major consumer facing 3d printing services.

There's also www.supplybetter.com who cover a lot more services but take a little bit to get you the numbers.
It is not the first time this has happened. I can't find a link right now (somebody care to add one?), but a few years ago one of the big news outlets managed to secure a legal ruling that they had some rights over how people linked to their site, and demanded that Google comply with their demands or remove all links to their site.

Google removed all links to their site.

After a few days of receiving no search traffic whatsoever, the company who instigated this surrendered unconditionally and asked Google to put things back how they were originally.

The moral of this story is that Google provides a free service that is of immense value to the people at the other end of the link, and demanding that Google pay you for providing this service is both unreasonable and unwise.
Tracking.js － A modern approach for computer vision on the web
> The vast majority

No, it doesn't. From what I can see, it's more like 17%.

http://www.npr.org/about-npr/178660742/public-radio-finances
I humbly suggest changing it to "The Bolt". It's cleaner.
This past winter my car might as well have been a sled.
> The purpose of a food can is to store food.

Absolutely not. The purpose is to maximize profit.

The can improves profit via sales (being appealing on the shelf and in the kitchen cabinet; perhaps a familiar shape sells better), marketing (the image of the brand and the product, including environmental issues), distribution (the obvious costs and the value of being appealing to the sales channel (e.g., oversized products might be unappealing to the supermarket)), manufacturing costs, functionality for the consumer (food stays fresh, fits standard can-openers, etc.) etc etc.
Show HN: Ly domain backorders and auctions
That looks like a box, not a can.
Show HN: ZeptoAutocomplete.js, micro js library for Autocompletion in Zepto
Yes, there is support for Admin users who can manage the entire system, or just part of it, depending on the permissions given.
I hope it's better than the "This American Life" Android app. I'm still angry that I spent real money on a buggy mobile interface that freezes and crashes for podcasts that are free in a normal browser.
To exclude any labels you can use -label:css. Works with most other filters too.
Girls use Uber. Watch what happens
If you subscribe to the subreddits you like, and unsubscribe from the ones you don't like, then your logged-in homepage (http://www.reddit.com) will only show posts from the subreddits you like.

Basically it will be like looking at your subreddit RSS feeds, but sorted by votes in addition to recency.
The point is that although yes, the incumbent would be able to bring a claim, in the absence of a registered trade mark, a claim on the trade mark would be based on the established goodwill in the name. It would then be open to the alleged infringer to argue the incumbent lacked the necessary goodwill.
I still think that when claiming computers are 'smarter' than people, you are side-stepping the fundamental problem with which this article revolves around, and that is the problem of properly defining 'intelligence'. Can computers write a classic novel? Can computers compose a masterpiece? Can computers perform in a ballet? Sure, they can replicate automated tasks and calculate much faster than humans, but that does not make them inherently smarter, especially when you consider that humans created computers, not the other way around.
Short answer: don't.

Long answer: if you feel you can't get started in any meaningful way on your own, hire somebody who can assist you. While truly good people can be hard to find, it will be a thousand times easier to find a competent paid consultant than a competent co-founder. After all, why in the world would somebody experienced who has valuable skills that can be monetized want to start a business with someone he or she doesn't have a long-standing relationship with? The folks who would be interested in this are precisely the folks you want to avoid.

Additional benefits of paying instead of partnering include the ability to retain full control and ownership of your business (if one materializes) as well as the ability to quickly and cleanly terminate the person you retain if he or she is unable to meet your needs.

If the person you retain delivers and there's a great personal fit that would lend itself to an ongoing collaboration, there's nothing stopping you from later negotiating a co-founder relationship.
I drink coffee every morning, and drink a moderate amount of alcohol. Why does no one have a problem with that?

This is not an issue. Moving on.
A/B Testing Service Leanplum Raises $4.8M Series A Round
Blitz.io T-Shirt for Early Adopters
He should have been allowed to remain CEO.

It's old hat at this point and likely not worth rehashing, but the way I ended up looking at the problem that made the most sense to me was to look at it as a chain of events, and determine if there's any event in that chain that I'd want to prevent. Obviously I don't want to prevent people from choosing which products they use; I don't want to prevent people from discussing their product choices with each other; I don't want to prevent these discussions from happening publicly; I don't want to prevent companies from acting based on public and internal opinion. Eich's departure, for better or worse, was at the end of a chain of reactions that we don't only need to accept, but defend -- an essential consequence of a system that we want to perpetuate.
Which country DOESN'T do this? I can think of none. The US is one of the worst offenders since they often bypass courts and conduct takedowns without any real oversight (often claiming that they have the right since non-Americans have less rights and the sites are ran from abroad).

Anyway, the way I read your post is that you think international corporations should essentially be above the law. That if you're a nice little local startup that you're subject, but if you're a monster corporation you're not. How does that benefit anyone?
Just because a company is international doesn't mean it should be exempt from local laws. That would be ridiculous.
> In addition to standard package management features, Guix supports
> transactional upgrades and roll-backs, unprivileged package
> management, per-user profiles, and garbage collection. It also offers
> a declarative approach to operating system configuration management.
> Guix uses low-level mechanisms from the Nix package manager, with
> Guile Scheme programming interfaces.

It used to be that features like ACID transactions and checkpoints were called just that -- ACID transactions and checkpoints. When did they become "functional?"
I've worked with several of the guys currently hacking on Openfolio in the past, and I'm excited to see where their platform goes from here. The ability to compare your decisions against those of some of the biggest names in investment management is strangely attractive, and I find myself going back to the site more and more frequently as time goes by.

In any event: congratulations on the launch!
They're made out of meat
Yes what's their position on DRM?
Zillow doesn't work well in Houston because the sales price is not public record and they rely on Realtors providing the sales price voluntarily. By the way, HAR is not city-run. HAR is the Houston Association of Realtors and they manage HAR.com, the MLS for that area. It's a really good MLS by the way for residential real estate. For commercial, Loopnet.com is the best.
This has changed a lot recently. The admins removed a few of the garbage subreddits from the default list, and added a bunch of smaller communities, which also have stronger moderation policies.
Parallelism, as opposed to concurrency, is purely a performance consideration. With concurrency, you can actually write programs you couldn't write before. That is never the case with parallelism. The only reason to write parallel code is to make your code run faster. Given how much of a burden parallel programming is, if you're not seeing measurable performance benefit, you should just drop it and go back to your original serial code.

As a result, CS149 is a class in performance programming. Sure, if you only wanted to teach how to program in each programming model, then you could virtualize everything and run locally. But if you want meaningful, predictable performance, you had better provide hardware where it is possible to achieve the performance you're asking for.

Even the larger AWS node sizes can be suboptimal for our purposes. The networks on AWS, for example, would be too high latency, low bandwidth, and unpredictable for use with typical MPI applications. Even their dedicated cluster instances still go through 10 Gbps Ethernet, with performance that continually lags behind the specialized networks used in modern supercomputers. So if we gave students an MPI assignment, we wouldn't be teaching them what the actual state of the art in the field is today.
Yeah, I can definitely see that for public projects. That said, the subsequent comments could just be edited to remove the extra checklist if it were an issue.
Its unfortunate that the liquid fuels are so energy dense compared to present battery tech. Adding 1L of gasoline gives a very large marginal gain in range, but adding 1 battery has rapidly diminishing returns. As batteries become more energy dense, we'll probably see people doing silly crap like VW did, big fuel tank and "Look! It goes 1000KM between fuel ups"
I remember when back in the day Facebook didn't default to HTTPS. You could just put your 802.11 card to monitor mode, power up ettercap in an area where there are a lot of unencrypted WiFi packets flying around, and easily you have dozens of session cookies. Script-kiddie level.

More interesting would be to take over a network (MITM style) and set up iptables to route all connections to Facebook IP's to a local webserver (DNAT target helps). Then you host a phishing FB page and soon you have logged emails and passwords from unsuspecting users. I think this can actually work even if Facebook does default to HTTPS, because users never actually reach Facebook itself.
I've been using React quite a bit but haven't had a need for Flux. Using React to implement all of my UI concerns, combined with Backbone for easy to use persistence and modeling, has worked wonderfully for me. YMMV :)
The React docs talk about this a bit [1]. Have you already tried this? What kind of problems are you encountering?

[1] http://facebook.github.io/react/docs/flux-todo-list.html#add...
It's already on Play Store. It's called push the squares (I did not download).
Are we saying that Russian intelligence services cannot hack TOR and need some random hacker to do it?

Imagine if the CIA offered $1M to crack TOR. They would be the laughingstock of the intelligence community.

I think there is something else going on. I would not touch this. It looks like bait.
But a can with optimal shape could be produced that contains the same volume of tuna. I think "tradition" is the factor here. Everyone knows that a can of tuna is like a hockey puck shape. If you all of a sudden changed it to a different shape, I'm sure people wouldn't even recognize it.
The systematic removal of volatile topics does make HN more of an echo chamber. I agree. And that's not a good thing.

But there are worse things than being an echo chamber, and preventing those worse outcomes takes priority.

The irony about the link you provided is that HN does literally all the things Dash says sites should do. Of course, the problem HN faces is much bigger than the problem Dash is contemplating.
Refactoring with code blocks in ruby