skysight-inc/HackerNews huggingface dataset:
Perhaps I have more faith in a company whose decision it was to recall all of those phones. They knew that all eyes would be on them after the fact, and to mess up again could be the beginning of the end for their brand. I would think that extra care would have been given in making sure these issues were fixed before releasing them again. Another point to keep in mind is that in perspective, the amount of issues that did occur, compared to how many phones are out there made by Samsung indicates to me that we should have some amount of trust in their products.

On the other hand if they did not realize this, perhaps they do deserve all the bad press. Regardless nobody actually knows right now, and my opinion is that I believe this is all news hype bandwagon behavior right now.
That is a myth. Most developers can't beat LLVM. LLVM can't beat the handcrafted assembly in libjpeg-turbo or x264 or openssl or luajit by compiling the generic C alternative.
Some cities charge taxes based on the number of feet of street connected to someone's yard. It seems perfectly logical that in such a city, the "right" to park should be greatest at one's own house, and fade with distance. So anyone from an apartment complex outside the neighborhood is an outsider, and should have less claim to the spot in front of a house than the house's owner.

I also find it bizarre that some HN users (not you obviously since you can't downvote a direct reply) frequently downvote comments that provide a differing perspective from the anti-suburban anti-car view.
As predicted. There already are WhatsApp, WeChat and Facebook Messenger. All these apps combine chat and video chat in one. And Google wants us to install two apps.
Ironically, balsa wood, pine, and oak are all just boring same ole cellulose and lignin composite surrounded by varying amounts of nothing. Used to be surrounded by water when the tree was alive.

Yes yes there are trivial details in that pine is 1% pine tar and oak has 1% whatever dyes and stuff to make it darker color, but to one sig fig or to 10% accuracy, its all the same.
I'll give a quick TL;DR of the issues at play;

A program in Haskell can only crash in one way (on a hypothetical computer that doesn't break or run out of RAM): if you write a function that doesn't have an output for every input. You can prevent this through totality checkers such as the one presented in "GADTs meet their match", which you can enable in GHC, the most popular Haskell compiler.

However, programs can still loop forever.

There are several approaches to fix this. One approach is to require recursive functions to monotonically decrease on their arguments. Languages like Idris and Agda support this. The downside is you are no longer Turing complete.

The approach mentioned in the paper is to make a formal distinction between finite and infinite data (data and codata), and in this way you can keep termination checking for functions on finite data, but you also get to keep Turing completeness. What you do instead of proving completeness for functions that might run forever is you prove that the function "does something useful" every time it recurses.
Seems like a good way to break into the field. I was accepted too and looked through the released syllabus after digging around a bit -- they do a good job integrating computer vision, sensor fusion, and path planning. They have some cool perks like being able to run your code on a car and running driving simulations. I don't think it will get you to a job by any means -- at most an internship. It does seem like a good foundation to have for jumping into more advanced topics though.
RTL = Register Transfer Logic, and EDA = Electronic Design Automation, for anyone else who was curious. I don't know what GDS stands for, but context indicates it's the actual physical description that's used to make the part.

But I'm confused about what part of this is open and not open. Do they mean that they imported their Verilog into a proprietary tool, which generates the design? That doesn't make it open source in practice.
You can't always vectorize your data. Like if you want to do highly parallel 3D rendering, you need the whole scene accessible to each core.
For a year now Google's reCAPTCHA has been very hard to convince as a human that I selected the correct 3 (or 4) rivers, houses, street numbers, mountains. Most of the time it makes me take the test twice or or more, even though reCAPTCHA is wrong. I feel like, if we're used to help train their neural network, it should at least have the courtesy to not require so many I-don't-believe-you-please-retry iterations.

Given how many sites use Cloudflare, I'd welcome they switch to a more reliable captcha service until Google repairs their scripts.

Oh and other captcha services work in Tor Browser Bundle.
It's not fair to say that Samsung deserves this because of a non-removable battery. This could have happened with a removable battery too. Who knows the reason why this happened -- bad battery manufacturer, bad soldering internally, something wrong in the layout of pieces connecting the charger to the battery -- but it's unfair to say this is deserved because they removed something and added something in return, in this case water resistance.
It's essentially copying the UI of Tweetdeck, which is/was very popular w/ power users.
Yeah, but that is also the equivalent of 24/7 surveillance of all locations you visit. Google will end up figuring out whom you sleep with, etc. from that information.

Pretty much your only privacy is in your head at that point.

I'm not sure that is a "threshold" of privacy but rather a "I am okay with 24/7 surveillance of all of my activity."
Thank you! you just sent me down a rabbit hole of figuring buffers out, but it was totally worth it. That second link is especially nice.
Show HN: Enable subscriptions to any web contents
"He has already replaced it with an iPhone 7."

This is the biggest FU to samsung.
> as monks would get prosecuted in one region, then have to move to another

I guess lawyers have always been a problem.
So replaceable batteries dont explode?
I use RSS to get ad-free high-quality content that I've opted in to. There will be no hard feelings if I do not "RSS" my friends or colleges. And what I read is not logged in some database.
I got into the program too, read the curriculum and saw some of the material that will be shared. I went ahead and reserved my seat.

The part that I like the most is the parallel effort to build an open source self driving car. My motivation is to build one in my small town in Colombia - with donkeys sharing the road it's going to be very interesting.
Why Self-Driving Cars Don’t Solve the Capacity Problem
This is a nice demonstration, although I feel like it would be more useful to show that it works across domains (Which IMHO is the most important part).
Do you have openings in Hawaii Visual C++ team? Or any rem0te possibilities?
The approach given in the paper explicitly allows for Turing completeness through the use of data/codata types. Instead of proving termination over codata you prove that a function "does something useful" every iteration.
Marc Andreessen Explains How AI Will Change the World
Or just be more vigilant and less defensive, both of which improve the practice of science
Apptimize seeking hands-on growth product marketing leader
Great point about the need for production worthiness. FWIW the load balancing pool management, etc., in linkerd is straight from Finagle, which is probably more proven than Kubernetes, if anything (powers Twitter, Pinterest, SoundCloud, etc.) Some K8s-specific bits are fresher code, but even those have been tested at non-trivial scale, e.g. https://monzo.com/blog/2016/09/19/building-a-modern-bank-bac...
Hi all,

My name is Dhruv (dhruv@udacity.com) and I lead the Self-Driving Car Nanodegree program here at Udacity. I'm happy to answer questions directly on this note (email me!). I think this program will be very different from our existing Nanodegrees as we have real industry partners who are extremely invested in making sure the program is high quality from the get go. This is because they want to be able to increase their hiring pipelines as soon as possible. We've been determining what projects/content to create by asking our hiring partners (and Sebastian Thrun) what they would want to see in a portfolio of someone they hire. We then work back from there and iterate to create the content. So far, folks at Mercedes-Benz, Otto, NVIDIA, and a few other auto companies have gone over our syllabus, given us feedback, and helped us iterate. I'm trying my hardest to make this program something I would myself take to get into the field or learn more about it(I'm an Engineer by trade who moved into this role!).
Thanks! The article on density functional theory is very interesting so far.

Any idea on the second part of my question, though? Whether it might be possible to explicitly model the behavior of these higher-level constructs, e.g. modeling catenane interactions rather than molecular interactions.
Common misconception, see Proebsting's Law, "The Death of Optimizing Compilers":

http://cr.yp.to/talks/2015%2E04%2E16/slides-djb-20150416-a4....

as well as 'What every compiler writer should know about programmers or “Optimization” based on undefined behaviour hurts performance '

http://www.complang.tuwien.ac.at/kps2015/proceedings/KPS_201...
Is this it? https://app.goshippo.com/orders/manual
> Cable/satellite service will have to come down in price to keep a large audience for ads.

Or the same content outlets will have to deliver content through streaming, either subscription or ad supported, while the same service providers will just make money selling internet service rather than cable/satellite TV service.
Oh, I totally agree. But it is a similar mindset that led them to the German death camps.
Nexus phones have never been about about an "lightweight Android installation or minimal apps" but no crappy heavy skins (TouchWiz) and no 3rd party or carrier apps.
Couldn't agree more. I just recently switched over to Spacemacs after having used Vim for over 5 years, and the transition has been so smooth. With Spacemacs, everything just works, whereas with Vim, I had constant struggles. Of course all of the smoothness can be pretty much attributed to Spacemacs. Looking forward to learning Elisp :P
Well, that's the drawback to emacs. It's also why most people don't change the default keybindings too much: some functionality may be missing, but muscle memory won't betray me if I ssh into a fresh emacs setup.

However, there are some ways to combat this.

Firstly, you can keep your .emacs.d on github, and pull it down to whatever machine you're working on. Indeed, this is what many emacs users advocate.

Secondly, many emacs users will ask: Why are you launching emacs over SSH at all? Instead, use TRAMP or SSHFS, bring up the folders under dired if you need to see the folders, and edit the files with your local emacs.

You can become compotent in emacs without customizing it, but the customization is a big part of why emacs is great.
Yes! Similarly, I remember a few years back being shocked at the attitude toward the replication crisis, where authors of irreproducible work were miffed that no one talked to them first.

I was like, "Um, the whole point of science is that it's knowledge in the public record. If you need to 'chill' with the original researcher to get critical details, that's not science anymore."

Remember, the studies might form the basis of an FDA approval. If only the original lab can produce the result, then is the FDA approval of the treatment going to be limited to only that lab as well? Kinda limits scalability...

I did a search and found the blog post that quoted the researcher [1] with this scary attitude:

>When researchers at Amgen, a pharmaceutical company in Thousand Oaks, California, failed to replicate many important studies in preclinical cancer research, they tried to contact the authors and exchange materials. They could confirm only 11% of the papers. I think that if more biotech companies had the patience to send someone to the original labs, perhaps the percentage of reproducibility would be much higher.

[1] http://andrewgelman.com/2013/12/17/replication-backlash/ (thanks Google)
But if the racial factors aren't all the same, then that creates an incentive for people to lie about their race.

If you verify the race field, then now you're in the business of enforcing racial definitions.
Cloudflare’s misguided reliance on Javascript Paywalls[1] is fundamentally hostile to open web. It’s essentially a form of DRM.

And they don’t even bother to implement it properly—for example if your site tries to follow best practices and uses a separate domain for your static assets, you will just get errors on your static assets, resulting in a page with broken styling and no images. That despite pissing off your users by having them go through the Google hosted captcha (which also breaks all the time btw[2][3]).

One of the websites that was horribly broken by this was Stack Overflow. As anyone trying to stay safe on public WiFi by using VPN can attest.

Coincidentally, Cloudflare has lost Stack Overflow as their customer recently: https://meta.stackoverflow.com/questions/323537/cloudflare-i...

They’re now behind fastly.

_

[1] https://ipfs.pics/QmTZo6oPKHwUgWB7p7LfZwZsVQJV1n7k9qNQNZBCEu...

[2] https://ipfs.pics/QmeuJjgV621NV9aNKyNAUoEHdWZYtzCrwkLHoHneg3...

[3] https://ipfs.pics/QmRWcCkBdaG214GKttkGFcadncUJ6YvfMTSE8jiAxA...

bonus picture: https://ipfs.pics/QmPkncvs2R9EkhZQuzPzWYs4z7UUdKqQzg1k8mc7y5...
Pitch Drop Experiment
Disney is pretty much only a huge force from using public domain to make money, yet they routinely do things to avoid their IP from entering the public domain.

Some examples [1]:

- Frozen (2013) from Hans Christian Anderson’s Ice Queen (1845) - Revenue = $810.3 million

- Alice in Wonderland (2010) based on Lewis Carroll’s book (1865) - Revenue = $1.02 billion

- Snow White (1937) from the Brothers Grimm folk tale (1857) - Revenue = $416 million (10th highest grossing film as adjusted for inflation)

- Aladdin (1992) from a folk tale in One Thousand and One Nights (1706) - Revenue = $504 million

Then you have their lobbying:

"In 1998, Copyright was up for it’s last copyright term extension, from life +50 years to life +70 years. Disney’s Mickey Mouse copyright had accounted for up to $8 billion in revenue in 1998 when they were lobbying for copyright extension.

Disney’s Chairman, Michael Eisener personally met with then-Senate Majority Leader Trent Lott. The day Lott signed on as co-sponsor of the bill, Disney’s PAC donated to Lott’s campaign. Within a month Disney also gave $20,000 in soft money to the National Republican Senatorial Committee. Of the 13 initial sponsors of the House bill, 10 received contributions from Disney’s PAC. On the Senate side, 8 of the 12 sponsors received contributions" [2]

Protect $8B with some cheap lobbying. What a deal!

[1][2] http://www.forbes.com/sites/derekkhanna/2014/02/03/50-disney...
ASK HN: Feedback Wanted for Pinjii App
How to Create a Mobile App Specification?
And traffic.

I use Google Maps every single day to get to and from work, simply because it knows how to avoid traffic. 10% of the time it saves me half an hour on my commute.
Hi folks,

Recently, my friend and I created an app called Pinjii. Pinjii allows people to use emojiis to share information about what's happening around them on a real-time community map. It's like a Waze but for social information.

We created this because we always wondered what's happening around us right now. What were people doing? Why are there so many cops around the block? Is there a line at the popular ice cream shop? But there are no good ways to find out so we created this app for people to crowdsource the information.

It's still an early prototype and we would love to get your feedback on it. What do you like about it? What don't you like? Why would you not use it? etc.

Thanks!
An upvote for outing her for clearly bad science and bad teaching, if she actually did this. There are few things that offend me, a teacher damaging impressionable students like this is one of those.
Atlanta's on the front lines, and that's a great thing. It's complicated and reveals how bad things are, but it's also the only way things improve.
AppGeo | Boston, MA | Full Stack Engineer | Full-time | www.appgeo.com

AppGeo is looking for a full-stack engineer to help us build rich, interactive applications for the modern web. Our small team of engineers are polyglots who regularly use a wide array of technologies, including React, Node.js, and Postgres.

We need your help to build mapping applications which will be used by people all over the country, from local governments to large corporations. Our applications have helped policymakers create affordable housing, transportation agencies report road conditions, and businesses find optimal locations for new stores.

Here are some of the responsibilities you might have:

- Write HTML5 and CSS3 for the front-end

- Develop client-side applications using JavaScript (along with React or Ember.js)

- Build maps using Leaflet, Google Maps, or ArcGIS

- Build RESTful back-ends using Node.js or ASP.NET

- Help design and work with SQL databases

- Deploy and maintain apps using AWS or Google Cloud Platform

Open-source technology is at the core of most of our solutions. Many of our engineers contribute to open-source projects, and even speak at conferences.

We have excellent benefits including medical/dental/vision insurance, 401k with match, commuter benefits, and flexible hours, including working from home when you need to.

Send a resume and cover letter to devjob@appgeo.com. Please include your salary expectations, US citizenship status, and links to your online profiles (GitHub, Stack Overflow, LinkedIn), if any.
KDB+ is incredibly well designed, fast, and very mature. But it has one big problem. At $$$ / year (can't divulge pricing due to NDAs but it's > $10^4 for a very modest installation) you're talking about a massive expense if you want any kind of large deployment.
There is a good conversation at https://www.reddit.com/r/golang/comments/55u9m0/miniodsync_a... including input from the software and article authors.
To get started, here is my view (which I don't claim to be particularly authoritative or even correct):

In federated networks user is generally bound to one "server" (in the abstract sense), typically by identity, and that server manages the users resources. In comparison in decentralized networks resources are contributed and consumed in a more of a pooled fashion, and individual users connect to the network instead of their home server.

Alternatively I'd consider federation to be subcategory or implementation method for decentralization. But then I'm not sure what I'd call non-federated decentralized systems. Distributed maybe? That doesn't sound right.
I define above and beyond as recalling all of their defective product with no questions asked, offering a substitute while they fix the problem, and then finally replacing the phones to anyone who wants to try them again.

If this is a poor company response please let me know who has done better as I would too like to do business with them instead. Clearly my experiences with companies have been drastically different than yours.
Outdoor positioning for Counter-IED training
Maybe they want to prevent services that increase play count?
You are not being neutral by using the Clinton spin of "labeled as classified". The existence of markings is irrelevant. From the FBI statement:

110 e-mails in 52 e-mail chains have been determined by the owning agency to contain classified information at the time they were sent or received. Eight of those chains contained information that was Top Secret at the time they were sent; 36 chains contained Secret information at the time; and eight contained Confidential information, which is the lowest level of classification. Separate from those, about 2,000 additional e-mails were “up-classified”

https://www.fbi.gov/news/pressrel/press-releases/statement-b...
http://sblp2004.ic.uff.br/papers/turner.pdf

or

http://www.mpi-sws.org/~skilpat/plerg/papers/turner-total-fp...
No plain download for Linux available.

Just a Debian repo.

Not open source, apparently.

Looks quite nice though. I'd try it out if I could install it on Arch...
I think the SDCND is a great opportunity to get hands on experience with cutting edge technologies. You will be evaluated and receive personalized feedback on about 15 practical assignments covering these topics:

Computer vision (Detect lane lines in a variety of conditions, including changing road surfaces, curved roads, and variable lighting), Neural networks (classify traffic signs, drive a car in a simulator), Track vehicles in camera images using image classifiers such as SVMs, decision trees, HOG, and DNNs.

More projects will cover these topics: Sensor Fusion, Localization, Control, Path Planning, Systems and an Elective.

If you know of comparable ressource to gain experience with all this material please share, I'm not aware of any.

Official source: http://medium.com/self-driving-cars/term-1-in-depth-on-udaci...
The equating of objective facts with "male-dominant views" is just bizarre.

I mean, seriously, they are saying that in the feminist view is that there is no objective reality?

I suppose they are saying that feminists... don't live in... reality.

You can't make this stuff up. At least they're up front about it, I suppose.
I'm not the person you responded to but I would assume that it would look like any other service that uses a different protocol or format on the front-end than the back-end. E.g. a REST service that talks JSON on the front end but speaks SQL to a database. So they have an XMPP backend that uses a translation layer to send a custom AJAX or socket-based protocol to the browser.

Yeah, I was pretty sure that Facebook was just using straight-up XMPP at one point in time. They have been actively trying to drive traffic to their Facebook Messenger app - first by shutting down their XMPP interface, then blocking applications that talk to their web interface, and finally by removing Facebook Messenger functionality from their mobile website.
Since we're talking about CloudFlare at all, we are automatically in a security context.

In a security context, automatically poking a hole through for RSS is automatically giving attackers an easy-to-use door straight through to the underlying site to DDoS them.

You might want to say "Oh, well, then, let's just set some bandwidth rules", which will certainly work for specific sites, but it's going to be difficult for CloudFlare to correctly guess them generically. (Not necessarily impossible, but it is impossible if you measure it from the POV of them never being wrong. It would only be a heuristic guess.)
> what's in it for both companies - besides notoriety?

Financially:

(1) It's a wonderful tech demo and brand builder to attract customers who want to buy a ride to LEO on a very reliable rocket.

(2) To get to mars without a national-sized budget, they need to make the entire project stack cheaper and more reliable than ever before, which helps them sell rides to LEO cheaper than the competition.

(3) What's the end-game here? We land and say "we did it!"... then what?

Musk says he is dead serious about a permanent colony on Mars as insurance against human extinction on Earth. There's no end game - it's the beginning of life spreading from the Earth.
Emacs is unbeatable for editing lisp code. Geiser, Quack, SLIME, and CIDR are all excellent.