skysight-inc/HackerNews huggingface dataset:
Yes, there are granular connection states and associated events. Messages are queued during connection loss. Please find more information here.

https://deepstream.io/docs/client-js/client/#connectionstate...

https://deepstream.io/docs/common/constants/#connection-stat...
As Gerard K. O'Neill famously asked, "Is the surface of a planet really the right place for an expanding technological civilization?"[1]

1. https://en.wikipedia.org/wiki/Gerard_K._O%27Neill#Space_colo...
Worthy of an igNobel
Troops, a Slackbot for sales, raises $7M
It's not weird, it's put there deliberately to prevent people install other operation system.
> Possession is 11 tenths of the law.

Thats the problem that the OST tries to address. If more than one party claims possession of a territory (say Mars) then they can either settle things legally or with gunboats (err.. space battle cruisers). Given the absence of an off-Earth legal system to adjudicate, and with no compelling need to create one then or now, conflict would therefore be a likely outcome. So the OST just tries to defer the problem for a while. At some point, extraterrestrial territorial claims will need to be settled though.
Can we get an actual example of a formally verified piece of code? If I have a function adding a and b, how does it look when it's "formally verified"?
It'll vary by country but in the UK sales tax (VAT) is generally paid based on the invoice date:

https://www.gov.uk/vat-record-keeping/time-of-supply-or-tax-...

You can do cash-based accounting and pay only when you receive the payment but this is only available to small companies (<1.35m revenue) and with some other restrictions:

https://www.gov.uk/vat-cash-accounting-scheme/eligibility
PSA: Please look after yourselves
Sorry, I should have been clearer. I don't mean "does Deepstream tell the user when it's disconnected", I mean:

Does the Deepstream client have a facility (like Firebase) to instruct the remote server to perform an action in the event the client disconnects in the future and the client is unable to get any further message to the server?
Those leaked provisioning certs can be blacklisted on new hardware
Da Vinci code starts like something where you think "I won't be able to put it down" and halfway through it's turning into "What absolute piece of rubbish."
"Capitalism will come to The Moon, Mars, and Venus."

The thing is that the order on which capitalism relies on to exist is not uphold outside the recognized international treaties. So, good luck on defending whatever ownership claims you have or you'll just have to submit to whoever can reach you and has more power than you. Also, it's kind of pointless for a government on Earth to claim ownership of outer space unless the means of maintaining permanent connections with said properties will significantly change. Think about what kind of connection you'll have with "yours" when it takes years to step from one part to another of the same country with nothing in between.
Not sure how common this is, but everyone at both school and work these days shifts seamlessly from mobile to dekstop and back. This has been 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.

What I don't understand is -- given Allo had a blank slate, why did they limit it to just mobile? They cover two major silos (Android + iOS), (one reason we dont use iMsg) but why not the third silo (non-mobile)?
Exactly word "probably" is a deal breaker in this case. I am also curious how someone was thinking JS will be a good idea for such project. But hey, there are people building cars out of plastic bottles...
WebRTC that will help you cook better
>gets most of the profits from the home computer market, at least in the US.

Do you have a source for this? I know it's the case with their phones, but they also have a much larger market share there. It's hard for me to believe they get "most of the profits" from the PC market with their minuscule share, especially when their computers are competitively priced.
We could run gcc fine. The problem was (from memory, this was a while ago) the bespoke tool which bundled up the binary and resource data and signed it to create the installable package. Previously it had been an external binary; but they rewrote it in Java and linked it into the Eclipse binary, and the only hooks were from the Eclipse project build system. The generated makefiles didn't call this because there was nothing to call.

However --- good news! I've just found references from 2012 to a thing called MakePackage.jar, which seems to do exactly what we wanted. There certainly wasn't any such thing while I was working on it, so it looks like they changed their mind later. Which would be great, but we'd abandoned the platform by then.

Here's what seems to be left of the Bada documentation.

http://static.bada.com/contents/tutorials/bada_SDK_1.0.0/bad...
Google really has nailed usability with Duo. It's clean and fast and easy to use. The potential is there. If I was optimistic, I'd say their strategy will be to force their way into the market by integrating it into the OS via Contacts or maybe even lower.

Of course Hangouts had potential too. And then Slack came along and ate their lunch on the business side. It's really kind of ridiculous that every single organization that I know of that uses Google Apps has decided to ignore Hangouts and use Slack instead. How shitty must your free group chat client be that your customers are paying to replace it...

I feel like Google is my corporate spirit animal because we operate the exact same why. We both like to start super cool side projects, get 70% of the way through it and then just completely lose interest.
A big selling point for Ansible was that it didn't require an agent or server.

Chef has caught up, it still needs the agent but chef-zero [1] makes solo deploying much easier.

[1] - https://github.com/chef/chef-zero
Twilio Voice Insights
ehm...this is not Horizon. But its a good question none the less. No, it does currently not have that facility, but it would certainly be a good addition
It's a trade-off between risk vs. reward.

Whatever constitutes risk and reward is with respect to one's own morality.
> If we can't terraform Earth's deserts, do we really stand a chance with Mars?

To be fair, it can be done and it is slowly being done in some countries. It's still very difficult and expensive, though. That being said, indeed doing it on mars would be orders of magnitude more difficult.
Humans belong to one of the most, if not THE most, destructive species on Earth. We exploit all resources we can lay our hands on and destroy plants and animals in the wake of our immense and selfish greed. We would serve the Universe best if we stayed here on Earth, and possibly even obliterated ourselves.
Welcome to HTML 5.2
We're featured on Product Hunt
The banned 400-year-old Shakespearean speech being used for refugee rights today
Why Machine Learning Is the Future of Data Analytics
NASA to Hold Media Call on Evidence of Surprising Activity on Europa
Well. Typical Chinese. If they can make a buck by screwing a customer over, they will make the buck.

You know Keizen? From Japan? The continuous improvement of products..

Chinese have something similar. Geizen. ("to be stingy").

Geizen, the continuous deterioration of product quality to increase profits. Same a millimeter in the thickness of the case. Use cheaper steal, make the cables shorter. The thing needs 6 screws? It will hold fine with 5. Will even hold with only 4. Maybe 3?

And if Microsoft gives a buck to lock the consumer in, why bother telling him? All part of Geizen.
How to Turn New Users into Regular Readers
Hah, sorry, too many tabs open lately. I'll edit. Thanks for the answer.
This is a well documented reaction to the beginning of treatment for depression. Essentially the reason is that before they started treatment, they had no motivation to do anything. After they start the treatment, but before they've waited long enough to realize the benefits, they have enough motivation to end their lives.
The sugar lobby is hard as nails.
I'm just as impressed by SpaceX's achievements as the next guy but the Musk fanboyism is really getting out of control here. He's not going to terraform Mars, because we have no idea how to do it, the cost would likely be measurable in "percentage of all human GDP" terms, and it would take longer than a single human life, it'd probably have to be the longest-haul plan humanity had ever undertaken. If the announcement actually broaches the subject of terraforming it'll be the definition of vaporware.
It's hard to give good advice with this much information it's all up to you in the end. However I can tell you sticking around and hoping for a company to "wake up" and so on is a delusion.

I think in general people should appreciate that a lot of jobs are not as special as you might have come to believe.

So if I were in your shoes I would probably interview and find something I'm happier with and then jump.
Forget about coke and water! The real danger is dihydrogen monoxide.
Anybody who buys or upgrades to a Pro version of Windows automatically gets downgrade rights.

Some organizations (including, I think, London police) are still rolling out Windows 8.1 with full Microsoft support.

Windows 7/8/8.1 are all supported for 10 years under Microsoft's standard published software lifecycle.
I'm not sure of the exact amount, but water can be used for shielding.

So maybe we end up with huge domes made of tanks with 20' of water in them.

Also, since Mars has CO2, I'm guessing once a dome is up, we simply pressurize it with the surrounding atmosphere? Once pressurized we could use O2 tanks and cannulas, or add plants?

I fear that there is going to be a huge political debate first -- a lot of folks are going to say that man isn't worthy/able/competent/etc to colonize another planet.
> and also a 1.5 to 2 hour intense weightlifting workout (primarily focused on your thighs/legs[1][2], since they are the biggest muscles.

being nitpicky here but we shouldn't be promoting "time in the gym" as a measurement of a workout's success. frankly, if you're doing an "intense" workout for "2 hours" something's wrong.
I'm on the other side of this one, while I think it's stupid to wreck the Earth because we need it I don't see why we shouldn't expand out and use the resources, they are just rocks waiting for us to do something with them.
I can see a point in the future where everything is installed via a homebrew-like process.

Forget CPAN, CRAN, ports, pypi, go-get, rpm, apt, cabal, crate, opam, ...

Just get it from github or similar with homebrew.
Most folks couldn't get it down due to the taste.

What folks use over a salad is much more paletable - a sweet tasting weak vinegar + oil, and sometimes a touch of sugar. This doesn't make it any better or worse than sodas, simply different. There are many things we eat that aren't something we can do in really large quantities or things that can also have industrial or cleaning purposes. This doesn't make these dangerous, simply multipurpose depending on amount and strength.

Hell, you can get very sick by drinking too much water - or get too dehydrated - and can die if you try to breath it. Yet, water is pretty necessary and healthy to have.
We are working with Alex,creator of µWebSockets (https://github.com/uWebSockets/uWebSockets) on moving all connectivity and networking aspects to low level C
Hackathon Trials and Tribulations
Really what I wanted to. :/
When you put it like that, you're right. Humans are awesome.
It always astonnished me that cellular chemistr ca produce this without selfdestruction.
While coke does contain some phosphoric acid, that's dwarfed by the total amount of carbonic acid (H2CO3, commonly just called carbonation). Flat coke, where most of the carbonic acid has broken down to water and CO2 gas, is significantly less acidic.
I just read they sequenced the Tardigrade DNA and have found a protein that protects against X-ray related DNA damage.

> Using human cultured cells, we demonstrate that a tardigrade-unique DNA-associating protein suppresses X-ray-induced DNA damage by ~40% and improves radiotolerance. These findings indicate the relevance of tardigrade-unique proteins to tolerability and tardigrades could be a bountiful source of new protection genes and mechanisms.

http://www.nature.com/ncomms/2016/160920/ncomms12808/full/nc...
Yes! It seems to be in everything, and is even sprayed on the crops!
>Religion is a drug for one's mind to make feel better and ease existential pain/uncertainty.

Well if that's the case then Buddhism is pretty bad at it. It teaches that you have no self even when you are alive, much less after death.

It also does not promise reincarnation either, but rebirth, which is kind of an impersonal process.
Best Answers of Allo's Google Assistant
This looks like a timely moment to bring up Cory Doctorow's The coming war on general computation talk:

> So today we have marketing departments who say things like "we don't need computers, we need... appliances. Make me a computer that doesn't run every program, just a program that does this specialized task, like streaming audio, or routing packets, or playing Xbox games, and make sure it doesn't run programs that I haven't authorized that might undermine our profits". And on the surface, this seems like a reasonable idea -- just a program that does one specialized task -- after all, we can put an electric motor in a blender, and we can install a motor in a dishwasher, and we don't worry if it's still possible to run a dishwashing program in a blender. But that's not what we do when we turn a computer into an appliance. We're not making a computer that runs only the "appliance" app; we're making a computer that can run every program, but which uses some combination of rootkits, spyware, and code-signing to prevent the user from knowing which processes are running, from installing her own software, and from terminating processes that she doesn't want. In other words, an appliance is not a stripped-down computer -- it is a fully functional computer with spyware on it out of the box.

Video: https://www.youtube.com/watch?v=HUEvRyemKSg

Transcript: https://github.com/jwise/28c3-doctorow/blob/master/transcrip...
Homebrew is really great, and I recently discovered cask (I know, lame, but I'm a MacOS noob :) ) and it's so nice. No more downloading freaking dmg, mounting, dragging, clicking a bunch of popups, no more visiting the app store.

How is this thing not integrated in MacOS yet?
>Sleep isn't a nootropic. This happens quite a lot with noobs.

It's a figurative usage. The OP is not suggesting sleep is literally a nootropic, but that it is something that performs the same function. Like "the best defence is a good offence".

And I don't think it's derailing the topic to talk about relevant alternatives.
I hear it was found in a new strain of cancer! Scary stuff.
Thanks, It all started when I got asked whether I could build a simple way to download specific areas of google maps. The following day a college asked whether it was possible to just get the traffic layer and download it for further analysis. So map-dl was born :-)
It was insurance also because it let them be sure that Gmail and Docs would keep running and be fast in at least one browser. Remember when Firefox had a slow JS engine and IE was molassa? Microsoft would not go out of their way to make sure that Google could undermine Office, Mozilla maybe would speedup its JS and Apple probably not given its interest in apps.
Some environments push you toward using it, in the case of IBM for example. Their Bluemix offering is very powerful and fast, they have Cloudant running all over that thing. It becomes the best and fastest way to store files.

That doesn't mean it's the best technology but it got me using it. It has been an enjoyable enough experience, not a lot of complaints. A better querying interface and the addition of an update operation would go a long way but those both seem to be included with this release.

I might even prefer it.
In 7 days, Indian biotech firm can tell cancer patients ideal treatment course
Lets put it in another way - when you're over 30 you don't have that much naivety anymore to waste your life working on somebody others ideas and be underpaid, and you understand that startup stock options are bullshit.
The Google approach would be great, if they just separated it from the Google brand.

Like, when Unilever launch a new detergent, they give it a totally separate brand. If it fails, they drop it quietly, and if it succeeds they can roll it out worldwide.

I wish Google would do the same. Launch this as 'allo', with the fact that it's from alphabet buried in the small print. Once it's been doing well for a couple of years, they can think about pulling it into the Google brand and pushing it to every user in the world.
I think Teller really ought to blame the system and leaders who can actually change environmental policies rather than, you know, our whole species.
Using the best structure is a good idea but simple LINQ is very readable if performance isn't a big concern.

BTW I cover this in my recent book: https://www.packtpub.com/mapt/book/Application%20Development...

You could try code samples and benchmarks: https://github.com/PacktPublishing/ASP.NET-Core-1.0-High-Per...
In the sense that we need to remove our dependence on a single-point-of-failure planet to avoid existential risk, then I agree that terraforming is ultimately desirable.

But entire planets claimed by crushingly authoritarian political systems or uncontrolled profit-seeking corporations doesn't seem like a great way to safeguard humanity either.

What do you want terraforming for?
Show HN: 3D Printing with Liquid, Sand, and Metal
Fine-grained Language Composition
Thought about that as well.

There's a nice PBS Space Time episode where they invented a word about it : "surfacism".

https://www.youtube.com/watch?v=gJ5KV3rzuag
Please, stop referring to it as "Twitter" Bootstrap. The "Twitter" part has been ditched since - idk - 2014
What It’s Like to Shoot with the iPhone 7 Plus
CouchDB is the only one of those that a non-profit could deploy at scale without paying loads of money for licenses or support.
As a developer, I'm intimidated - Homebrew sets an extremely high standard for software 1.0 release quality.
Is your team's primary communication channel email? How do you get it right?
Email is an asynchronous form of communication. As such, it takes more work on both the sending and receiving ends to get right. Unlike an IRL conversation an email needs to be well structured. Depending on the email it might need to be partway between an expository article and an argumentative essay, whilst not being tooooo long to read quickly all while clearly outlining next-steps and/or questions.

I think communications that are in-sync (e.g. talking in meatspace, phone calls, and sometimes chat) are "easier" because there is more room for misstep, and quick clarification. We're more forgiving when communicating in realtime because we can more easily correct, make inferences, and gesticulate wildly.

Asynchronous communication is a tool, while real-time communication is a biological feature.

This all being the case, email is more work, and takes more time to get right. If email is a team's primary communication channel the team either needs to communicate with one another less-frequently than average, or they need to be dedicated to doing email right.

But what does "doing email right" look like? How can a team get better at email?
> Even your modest goal is not modest if you can not accomplish it.

That's kinda profound. Thanks.

I happen to be reading Anders Ericsson's book Peak right now and he talks a lot about this kind of stuff. I'm only 1/3 in and so far he's explaining our brain's amazing plasticity and capacity for change through learning.
This is kind of exploitative attitude is why we're in the situation we're in with Earth.
Ahhhh. The headline refers to Elizabeth Warren. I was really confused as to why Warren Buffet (a big Wells Fargo shareholder) would be making a public statement like this.
What the username you tried? Do you change the activity period to other than '24 hours'?
The pH level of most drinks are not low enough to eat metal, roughly a level of 2 depending on the metal and reactions:
http://www.sheltondentistry.com/patient-information/ph-value...

Citric Acid will eat metal, which is why liquids like orange and lime juice are not stored in metal containers.
Launch failures: non-launch mishaps
Developers would, but do their customers pay them for that? Evidence is that they don't.
Show HN: Finn – Fast Raft framework using the Redis protocol
Seems reasonable to me. The core idea is relevant, even if it is about something much less serious.
Timing couldn't be better to now announce the new MacBook Pro.

The issue doesn't affect Thinkpad line but sure does help people to make a buying decision between a MBP and a Thinkpad.
There is plenty of water on mars, in the form of ice.

I agree though that mars colonies would be underground for a long, long time.

This article covers some problems with terraforming Mars: http://www.science20.com/robert_inventor/trouble_with_terraf...
> That's incorrect. Someone from Lenovo had already posted in the thread saying that it had been escalated.

Well, it had been escalated two months ago and not only there's no fix but not even an explanation why somebody made the deliberate effort to disable standard AHCI mode.

It's not some weird and difficult bug which should take months to track down, but an obvious intentional kludge. All they have to do is say why they did it and either revert this BIOS patch or explain why they can't.
Would this mean you are getting rid of engine.io as the base, or is this just meant to be a general addition?
We don't know yet if they're just rocks. And if we can't take care of Earth, I fail to see how we could ever take care of another planet.
Then it's good enough. Facebook is bigger than Skype and you can have a chat/VOIP call with anyone on Facebook, even if they're not your friend. Then there's Google hangouts as well. Slack is meant for teams. Gamers use Discord.
Not being snide, being serious：

Job descriptions on advertisements (i.e. not the internal description, which is probably confidential as it depends on internal goals which are not published or yet met) are likely very generic copy-paste for something close to the mark, or an aspiration this is the company we are (but aren't... yet).

Especially in finance, where publishing anything has the chance to rock the boat in a highly regulated industry with a conservative culture cascaded down.

The apps headhunters use in this industry simply match keywords and regularly occurring phrases between CVs and JDs, and are highly ineffective. If you're looking to target 'fit' it might be a good to look at culture in specific institutions crossed with role type (i.e. Ops, Dev, Coverage, etc). That might yield something interesting. Good luck!
The picture on the wikipedia page makes it look very sickly compared to any other cola. It looks like cloudy tea and there's no visible carbonation.
Warewolf's new Testing Framework is in
Why doesn't puri.sm even include an Ethernet port in their premium product Librem 15 and in Librem 11 (though they do in Librem 13); cf. https://puri.sm/store/. There are very good reasons to use ethernet and strongly avoid use of WiFi if you are serious about privacy. For example consider slides 69-76 of http://de.slideshare.net/grugq/opsec-for-hackers, where the FBI could see when there was data sent/received by simply looking at when there was activity in the suspect's private WLAN (something that is not possible in this form for ethernet) and decorrelate it to his TOR activity.
Doubtful, homebrew doesn't do any kind of dependency management, so it would be a strict downgrade from pip, gem, cabal, etc

Edit: See comment from rogual elsewhere in this thread - https://news.ycombinator.com/item?id=12547076