skysight-inc/HackerNews huggingface dataset:
If you shake a bottle and let it rest, it will "unshake" itself. So that is not really the problem.

The problem is people are religious about their Cola and basically nobody has managed to convince consumers that theirs taste as good as the big brand.

There are plenty of very cheap store brand cokes available in stores, none of them have managed to compete with Coca Cola.
Does this mean all your packages are built from source?
It's live, and it says at the top: "the camera is on" basically. It's like the call already started as far as the caller is concerned -- no ringing necessary.
> one of the main reasons we tend to use WhatsApp and Slack, even for corporate communications as silly as that sounds -- because you can type long messages on it on the keyboard/desktop but also have access to it on the go.

WhatsApp does not run on tablets... period.
The Police force is publicly funded, union or not.
Why is american internet so slow?
Interestingly, technical support for ThinkPad still appears to be provided by IBM, which is pretty nice. When parts come in the mail they have the IBM security tape on it. It's got that old school professional enterprise feeling.
I second work in finance. It is very easy to reach that level with experience in this industry.
How else are they supposed to verify your password when you attempt to log in?
RethinkDB certainly has schema. Indices have to be defined in order to get_all (=select) and join. My JSON docs are quite flat and use foreign keys heavily to facilitate queries & joins. Guideline: if you find a doc with a member list in your design you should probably separate the member list into it's own table with a foreign key back to the parent doc and use joins to re-aggregate data. So I am normalizing the data just as I would for a relational DB. But I'm getting the benefit of using the same language for queries as the rest of the code - it's all Python. No more of that prepared statement JDBC shenanigans. And I get the massive benefit of RethinkDB's change feeds. So no need to build and maintain caches in all my server components. That's a big win.
Well we're already that :-). But leave the internet-level stuff to judges who focus on that, instead of the one closest to some random fbi office. At least that way the judges can see & learn how these things play out, and give some informed judgement that has a chance of setting good precedents.
Actually, they've done almost the reverse. To quantum teleport one qubit you have to transmit two classical bits, say by ethernet. In no way can this replace classical communication, it depends upon it.
A long history of generated poetics
The case of the system() call that returned before finishing
Here's a recent survey of some work:

https://courses.cs.washington.edu/courses/cse551/15sp/projec...

Let's look at numbers of some to see what happens:

1. Jitk. In-kernel interpreter for firewall rules. 2300 lines spec, 3510 lines code.

2. ExpressOS. Uses C# and verifiable Dafny language with annotations that feed into prover. The annotations were 2.8% of code.

3. seL4. This is kind of project that makes it seem like specs and proofs are huge. That's cuz people forget what they're specifying: an abstract CPU + imperative programming + kernel + safety/security properties + equivalence. Writing that in code also takes a lot of lines but they didn't have to in C past kernel. Anyway, this one is (a) for executable spec 5,700loc Haskell + 13,000loc Isabelle and (b) for implementation 8,700loc of C/ASM + 15,000loc Isabelle. They went full proof instead of code review. That added 200,000Kloc of proof steps with a good chunk automated.

4. VCC on Microsoft Hyper-V. Similar problem to 3 where this manages a CPU/machine. Total size was around 100,000loc last I checked. Verifying 20%... 20,000loc... took 13,500loc annotations. Verification automated.

5. Verdi protocol verifier. Spec/code reported is: Key-value store 41/138; Primary-backup 20/134; Raft algorithm 170/520; Verdi itself 148/220. Always smaller in its specs.

So, it's clear that the specs range from being tiny to smaller than code in most cases with heaviest, hardest efforts taking more specs. Proofs range from automated to manual.
Because it's way faster to test ideas and also look reasonably well. However, over time it will get in the way and you'll be better off extracting the stuff you actually use. At least it was my latest experience with it.
I didn't watch second season yet, but first season isn't "too real" for me. But it is still a good highly fictional show.
Yeah I'm curious why he left. From what I could tell it sounded like changes in Swift took an act of congress basically. Which is fine, and how it should be, given how important it is to get it right. I wonder where he went.
They did nothing of the sort. Quantum physicists use words like teleport to say completely different things then what those words actually mean.
Why do you feel for insulting all of us at once?

HN is the most open, thoughtful (and honest-but-careful) public forum I know of and I intend to do my part to keep it that way.
Listen, I've read enough of these in the last couple of years. Enough! Don't fucking comment on the stupid comment if you don't like it. What, commenting about comments nobody needs to read is more valuable to the world than creating questionable comments about new technology?

People can comment whatever they want and if nobody comments on it - they'll stop.

Sure, I wish everybody worked on finding a cure for cancer every day but that's not how stuff works. Get over it.

You know what this is? Lazy meta-commenting. Find another topic.
A restaurant could do exactly that. If the negative publicity for something they did only a couple of years ago is too much for them, they could change their name in a heartbeat.

Instead, what they want is to selectively groom what the internet "remembers" about them. Remove the bad, keep the good.
Fastmail android app is buggy and slow.
Because of a bad app architecture (Corona, etc...).

Fastmail have CardDav + CalDav endpoints but android still not support these protocols.

I'm using Fastmail everyday and I advice you that if you are an android everyday user, to go to Gmail.
Datadog – Announcing APM
Right - their policies may be perfect today but they may not even exist tomorrow.
> Religion is a drug for one's mind to make feel better and ease existential pain/uncertainty.

This is quite a position to put forward without providing some supporting evidence...

My take on what people get out of religion is totally different. To me, two things stick out:

1) Religion is a framework for approaching life. In the same way that a Rails developer relies on the collective wisdom encompassed by their framework to answer the question, "What is the best way to accommplish this in a web app?", a religious person leans on their framework to answer the question, "What should I do in this life circumstance?"

2) Religion is glue that binds people together into cohesive communities. And, frankly, I see the utter lack of connectedness in secular life and it seems like religious people are on to something here.
Similar story from yesterday (BBC) https://news.ycombinator.com/item?id=12539375
Sorry :-( You are correct. What I described is not be behavior of the bfcache, it is the network behavior described under the heading "In practice". And there is a link there to a server that can help you play with the behavior.

Apologies for using the wrong term and causing confusion.

> This is not necessarily what users want (as evidenced by discussions on this post).

HN not being representative of an average user aside, I don't disagree. My point is that there are two different expectations of what should happen and they can conflict and cause errors.

> you're complaining it doesn't work

I'm really sad you got that impression. I'm fascinated and think this an architectural problem of the web. My post is an attempt to describe the issue and raise awareness.
macOS 10.12 Sierra: The Ars Technica review
Google Fiber wins vote in Nashville–next step, AT&T to sue city
Were the keratin nails in the same container as the steel nails? What if one provided a prophylactic effect preventing the other from being dissolved?! Rerun the experiment! 18 jars this time!
3.5% would be defeated by 7%, that's right.

What's the going-rate for US bonds again, right now? It's like 0.1%, right? And hasn't been above 3% since the early 80s, if I remember right?
I feel sad for reading this, here in Argentina until December 2015 we had a similar state backed plan called Qunita. Now the new right-handed government cancelled the plan without delivering 60k boxes and a judge is trying to burn those arguing insecurity (but none of the 1000s of mothers who received them found any glitch in the boxes).

Please read more (in spanish): http://www.infobae.com/politica/2016/09/14/bonadio-ordeno-de...
Yeah, this is why I didn't buy the app when it came to Android. I've got friends on iOS who swear by it so I was psyched to see it hit the Play Store. But when I saw it was a recurring bill, I just stuck with 1Weather or Weather Timeline.

I guess there's just a point where I can get weather info (sometimes from the same source, as in Weather Timeline) for a few bucks one time. And if it's a service that requires constant funding, I understand that. But it doesn't make sense that I have to keep paying while many friends just paid their $4 one time.

I think it's that different approach that turned me off to it regardless of how good the product was. Is it enough of an improvement over other apps (even ones that use forecast.io) to be worth a subscription fee instead of a one-time payment of $4 or $5?
> If this technology was refined, you'd just use this system to send secure messages without the need for an encryption key.

As far as I know, I don't think that meshes with what actually happens. This has nothing to do with the message being secure; anyone with all the pieces could read the message.

The important part is, since observation effects quantum state, the receiver can determine whether a third party observed the key. If the key matches, then there's a guarantee that it was not observed, and therefore is safe to use.
It could be something as simple as you need to pay a fee for a search query in order to get hold of filtered results, but with no indication that there will be any extra results to find.

eg: Search 'John Smith Liverpool UK Murder' and you get nothing interesting and no indication that anything has been filtered. However there is an option that is always available no matter the query to buy this search query for say $1-$50. If you pay up you get the filtered results, which may happen to show that John Smith was once accused of murder many years ago. If you are an investigator, researcher, or journalist then there should be a flat single fee or free access to filtered results.
Replace corporate taxes with a VAT, perhaps?
The articles headline is a little misleading - there's no indication that anyone made up any charges, the cops were deciding what to charge him with given the situation. That's what cops do every day.

The statement 'the charges were not based in fact' - is a statement by the ACLU, and there's no reason to believe that they are objective about the situation, we don't know what happened.

Maybe they were too aggressive in their laying of charges, if so, hopefully the will be thrown out and authorities will have a closer look, sadly, I doubt anything will come of it.

Also - the 'protestor' was carrying a weapon and acting directly against state authorities. If someone in my neighbourhood had a gun, was standing on the street trying to prod police officers, I would definitely want the police to be checking him out. That said, I don't know if he was actually breaking any laws.

The line between legal/legal and appropriate/inappropriate is really thin. Also, why everyone needs to be carrying guns all the time is beyond me.
> but it is still very much an artifact of its time, and needs to be remembered as such.

I think that is a good attitude.

Although I do want to add about the aristocracy/common people issue: the fact that we almost only meet nobles outside of the Shire is consistent with his medieval-style world. At the level of planning and command that the Fellowship moves in, only kings and the like would have any say. (Imagine the battle of Minas Tirith and the march on Mordor being written from the POV of a normal soldier - almost nothing of what's going on would make sense.) Also, one of the big themes of the book is how the Hobbits themselves change from being young, simple, rural people to being warriors and true leaders. This change is made possible in large parts by their dealings with the nobility of other countries.
If 5 trillion rounds of sha512 is how many you can get in 100ms, then that's the right number.

In other words, 5 trillion rounds isn't overkill, it's impractical.
That likely had more to do with the sugar than the acid in the juice.
As I always bring up in these threads, quantum teleportation requires the transmission of classical bits, which of course is done slower than the speed of light.
If you want desktop clients (electron, but at least not Chrome app) try Wire.
Apple in Talks to Buy McLaren
LuxxeLashes on Leaving Her Job to Open Her Ecommerce Shop
This is so misguided. The "people in power" don't care about unarmed black people getting shot. What they do care about is money and they get money from their for-profit prison lobbyists. The money is to create laws that fill the prisons and give kickbacks to judges to make sure it stays that way. This police brutality that's now coming out has existed for decades and you're just now believing it because there's hard proof that you can't deny or claim is fabricated just because a police officer said it.

So you're right, they don't want unarmed black people getting shot, they just want them to make them money by being incarcerated.

Edit: Holy shit you're a lawyer and that's your opinion of what's going on. Maybe I need to re-evaluate how I think the system works since it's really just property owners convincing the police to murder people.
Demo: http://brain.turbo.run/
>I'd be interested to hear everyone's strategies to combat this, as I assume many of us that work in the industry encounter similar problems of distraction and inundation.

- Close any social media account not used for your job.

- Stop using GPS unless in dire emergencies, even in foreign cities. Buy a map, ask directions.

- Read physical newspapers and books.

- Text people only for coordinating where to physically meet up, no conversations.

- Take up a sport and interact with your friends face to face more.

- Use your phone literally as little as possible. Start with a cold turkey period, and then re-introduce slowly.
Yeah the "learned from guy named Sam while learning VB" (vague to avoid spoilers) was the most recent one I remember.
I read somewhere that, at any given time as you go about your daily business, you are guilty of breaking a couple of laws. This gives the police the power to haul you away if they want to. The police look at it as a "weapon", just like their baton or taser, to be used when the need arises. But unfortunately, not everyone in blue is above reproach; there are plenty of bad apples, and the situation is rife with abuse.

The sad part is: if you try to do away with these silly laws, the police unions will be up in arms about it.
I had thought that quantum entanglement could not be used for communication because the state that is transmitted is random, and cannot be controlled at either end.

But, there are quotes in this article to the contrary. e.g.:

“Such a network will enable secure communication without having to worry about eavesdropping, and allow distant quantum computers to connect,” says Tittel.

Was my understanding mistaken?
See my top-level post: https://news.ycombinator.com/item?id=12548733
Great analysis (that in my experience is largely accurate).

Just want to tack on one footnote: 100 ms is based on a single CPU core. Most CPUs have 4-8 cores. So instead of 10 passwords a second you could argue 40-80 passwords a second is believable with concurrent operations (which all popular hash cracking software supports).

It is definitely viable to break a single user's hashed password no matter what the scheme or work factor. Strong hashing algorithms with high work factors just stop you breaking multiple user's passwords quickly (and gives you 1-3 days of delay). It is a stop gap, not impenetrable defence like some believe.

All technical people need to take a day and learn how to break password hashes. Not just the theory, but go download the software and actually do it.
So I understand that these features took a great deal of engineering effort, but except for sandboxing I have zero interest in any of them. So maybe it's innovation, but I don't see a whole lot of innovation that I care about. In particular, many of these features deal with touch interfaces, which I have no desire ever to use for serious work. And why would I ever run Windows if I didn't have to for work?
As mentioned in response to the other comment here, I was in error to use the term "bfcache". Yes, servers cache AJAX calls, this is described under the section "In practice" and there is a link to a server that can you use to replicate the behavior locally, probably in Chrome.
"I want to get into science." <-- "science" is about as specific as "tech". You're going to have to narrow the focus of your inquiry to get a helpful response from me :)
On a related note, Taco Bell Fire Sauce will polish a penny nicely.
Show HN: Doctest – the lightest C++ testing framework – version 1.1 released
https://github.com/onqtam/doctest
version 1.1 brings the following major changes:

- HUGE improvements in compile time of asserts - 70-95% faster than the original one! https://github.com/onqtam/doctest/blob/master/doc/markdown/benchmarks.md#cost-of-an-assertion-macro

- wrote a FAQ - and the much requested differences with Catch section - https://github.com/onqtam/doctest/blob/master/doc/markdown/faq.md#how-is-doctest-different-from-catch

- MANY minor fixes - it didn't compile when using nullptr in asserts, etc. - see the changelog - https://github.com/onqtam/doctest/blob/master/CHANGELOG.md#110-2016-09-21

- improved documentation

- solved a very common problem of testing frameworks with self-registering tests inside static libraries - non-intrusive in pure CMake without any source code modification - see here - https://github.com/onqtam/doctest/blob/master/doc/markdown/faq.md#why-are-my-tests-in-a-static-library-not-getting-registered

- added code coverage of the library

The framework is in a very stable condition but there are still a lot of features in the roadmap - https://github.com/onqtam/doctest/blob/master/doc/markdown/roadmap.md.

I truly believe this framework can become the preferred choice for testing in C++ - the foundations are solid and pure and I believe there is nothing else quite like it.

The project is in need of sponsors and publicity!

I don't want this post to be a cry for money, but I would greatly appreciate any financial support by individuals or companies using (or wanting to use/support) the framework.

I created a patreon page - https://www.patreon.com/onqtam - for that purpose in addition to the pledgie campaign - https://pledgie.com/campaigns/31280

You can checkout the reddit thread for this here - https://www.reddit.com/r/cpp/comments/53tkzx/doctest_the_lightest_feature_rich_c_single_header/

Any feedback is welcome!

P.S. - how can I format this in hackernews? so many links ...
I tried Wire after this WhatsApp news came out initially and brought about 10 people (friends/family) to it. They're satisfied how it works.
They store hashes, not the password. The article makes that pretty clear.

That said, the title could have been chosen more carefully.
This is what it looks like when you send someone an allo message and they don't have allo. I was surprised that it would send something like this without asking permission. I assumed it would fall back to SMS transparently.

http://i.imgur.com/6aHNeMR.jpg
I did some actual math on progressive enhancement costs vs. graceful degradation in consideration of reach: https://medium.com/@AaronGustafson/the-true-cost-of-progress...
Consulting a physician is not always possible (or impossible in some conditions). Anyway, we are wondering why our message is for those "concerned enough about their >pulmonary function<".

Thanks for your feedback!
I don't agree, before even reaching the middle of S01 it was pretty obvious that what "twist" will be in the end. (Obv. hiding for spoilers)
I look at their publications list: https://www.microsoft.com/en-us/research/research-area/medic...

With all due respects, the claim of the article is overblown. Those are the kind of articles a very good department would publish, nothing special or game changing.
Express yourself with photos, emojis and stickers.

This is where I decided I'm done reading, and this is not for me.
>but they apologized for superfish

>but the rootkit is only a problem on Windows

>but it's still a great machine for Linux

I hope the people who told me that are now reading this.
Cognitive Behavioral Therapy (CBT)? I see self-help and drugs, but no description of domain-focused therapy
Anecdotally, I can relate to this. I bought a 256GB SD card to store my music on and kept it plugged in to my laptop. It died just about a year later, and showed reliability issues before that.

(Of course, my "backup" was my iPod Classic, which was stolen from my car shortly before the SD card died, but that's another story.)
Since a VAT is a consumption tax, it is essentially regressive; poor people are hit harder.
The problem with Venus is that the atmospheric pressure at surface level is about 92 times that of earth, the surface temperature is 735 K, and the atmosphere contains 96.5% carbon dioxide, while also containing significant amounts of sulfur dioxide. This is even more toxic than the Martian atmosphere.

If you want to terraform Venus to a (human livable) state you'd probably need to give it a solar shade to cool the planet to decent temperatures, shrub the 4.6 10^17 tonnes of carbon dioxide out of the atmosphere and remove those 7.210^13 tonnes of sulfur dioxide.

edit
Also, please note that Venus has a 117 earth day solar day, while the Martian solar day is only 24h 37m.

Sources: wikipedia, google, calculator
Private prosecutions in the UK are at the discretion of the director of public prosecutions. Specifically, the CPS can take a private prosecution over and then discontinue it. They will do this if the prosecution is not considered to be "in the public interest"
Just wait until machine learning gets really good at providing information that's of value that you "must have" to get through the day.