skysight-inc/HackerNews huggingface dataset:
Other people don't factor into this. Proving to them is not necessary. Once an event occurs, it occurred. Your knowledge of what that event or the total state of that event might be uncertain, but the event's occurrence is no longer probabilistic.
I use a Lumia 640. Paid £105 for it on a deal day. Never had a problem with apps; most of what I do is built in. Only use HERE drive and adobe reader. That and giffgaff £15/month gives me 4Gb of 4G tethering, 1000 mins and free texts.

Amazon only fucked up one delivery for me in the last 10 years. They left a 512Gb SSD on my doorstep and it got nicked. They sent out a new one instantly.

TBH you can nail a Moto G for not much now. My wife uses one. I can't stand the lag on android though after using WP. And iOS just isn't very flexible. I mean I can't download an mp3 from something without buggering around with itunes.
> brilliantly to run in parallel.

I just want to clarify it's for concurrent not parallel.

Erlang doesn't promise parallel. You can get parallel from concurrent but not the other way around and once again Erlang only enable concurrency and you may get parallel beacuse of concurrency.
Basic security tests. I was hired as a full stack dev then moved to "Sr Security Lead" after writing a lot of tests that exposed bugs and squashed them before they became problems. I don't really consider myself any kind of infosec person but nobody else was doing it so I got the position.

Edit: one previous job here locally I did the same tests and exposed bugs weekly on my own time, fixed countless authentication bypasses, and plugged a memory leak that had been slowing down the app for years before I was hired and when I asked for a raise or meaningful options the department manager gave me an unbelievable speech about how they don't like workers with only financial goals in mind, said I had no passion for what they were building if money was my motivation and suggested I quit. This was one of the top Vancouver tech industry outfits constantly shilled in the media. My salary at the time was $70k (2013).
Is this where Boston Robotics comes in?

For heavy load, they have wild cat[wildcat] and for lighter loads, they have spot [spot]. For Ussain Bolt, there is the cheetah [cheetah] that can keep up with the pace peaking at over 29 miles per hour. All these are at various stages in development and as far as I understand not ready for production.

spot https://www.youtube.com/watch?v=wE3fmFTtP9g

wildcat https://www.youtube.com/watch?v=wE3fmFTtP9g

cheetah https://www.youtube.com/watch?v=chPanW0QWhA
I'm a Canadian by birth and when I graduated with my M.Sc. 10 years ago, the jobs I interviewed for in Canada were offering a salary half of their Canadian equivalents, never mind the difference in exchange rate. As a new grad with education debt to pay off, it's not hard to choose between $110kUSD and $50kCAD... I'm still in the U.S., haven subsequently gone through the TN1>GC>citizenship process.
I'm guessing you mean excluding textbooks

The Extended Phenotype
Your Inner Fish
Thinking Fast and Slow
The Information
Chaos
Statistics in Plain English
Fortune's Formula
Fooled by Randomness
A Random Walk Down Wall St.
How to Win Friends and Influence People
If I could get the JVM's JIT & serial GC performance combined with the BEAM's trivial-cost threads & thread-segregated GC, it would be sweet indeed.
No, Erlang does not mean that anything you write will scale. Your solution has to be broken into parallelizable pieces. But, the scalability of your solution is only as good as the mechanisms within the language and runtime to efficiently allow developers to create a scalable system. BEAM implements several nice features:

Data is immutable, so we don't have to worry about keeping data coherent between.. anything. Whether it is two processes or two nodes. New data is can be constructed with reference to old data without fear that the old data will be modified. So, "mutation" is really just new data with a reference to the old unchanged data. This greatly lowers the churn in creating new data. It also means everything can just pass (process to process or node to node) what it has without feature it will be out of date.

Everything is defined in modules. Modules define what we would think of in OOP as namespaces, structures, classes/types, and class functions. Importantly, they only define functionality. Modules do not have state. Therefore, functions accept some set of inputs, create new data from the inputs (no mutation), and return some output. This makes it very easy reason about what the code is doing if you keep the modules well defined and reasonably sized. This code can be shared around easily, too. It's got no state and is immutable.

Processes are an abstraction. You can think of them as thread, but they're really just a stack and and a little book keeping. A BEAM VM will normally of real threads equal to the number of CPUs in the machine. Each real thread will then exclusively pick a process, load the book keeping, point itself to the stack, and execute bytecode for a period of time. When done, it will mark the changes in the book keeping, and move to the next process. This is very lightweight, so literally millions can run on a single computer. Because they are self contained, they're easy to clean up. Processes also expose standard set of interfaces for communication, a pub/sub system. Again, immutable messages are sent back and forth. So, it doesn't matter if it's the same node or not.

Finally, everything is abstracted to the notion of nodes with in a cluster. By default, anything you executes on the local node, but you can specify otherwise. I can execute a module call on another machine or spawn a new process on another machine. It just means a little more information in the call, but it's the same exact concept programmatically. Also, it's possible group processes into named services. You can call a named service and it will know what processes to contact. It's a very low barrier to entry to parallelize your code if you just write it that way.

When you start thinking in terms of how structure you code for BEAM, you inherently get easy access to scalability.
There are 96 cell phone subscriptions per 100 people in the world. Most of those have at least some minimal Internet capability. It's just that not all can view cat videos yet.
Is there a Manhattan Project for aging?
The more relevant question you should be asking is "what is a proof?"

A proof, essentially, is that which compels an unbiased rational mind into agreement. Thus we have to ask what compels a rational mind. (And what is a rational mind?)

The answer, roughly, is "information." And if your claim requires information behavior that hasn't been observed, one cannot accept the claim.

So all you have to do is identify a structure internal to the claim that contradicts what is known about information processing rules. Which induces a kind of language dependence, but this is not a problem because you cannot make language-independent claims in the first place. And more importantly, language cannot be meaningful unless it obeys some laws, so naturally any claim that violates them cannot be true. (E.g., Conservation of Probability prevents the existence of true claims of supernatural phenomena or self-contradiction.)

In this manner, truth is a 'stack' of verifiable justifications. Something is true if:

* you are justified in believing it, and

* you are justified in asserting your justification, and

* you are justified in asserting the previous assertion, and

* Et cetera., ad infinitum, or for as far as the flow of entropy in your environment allows.

You don't have to enumerate things. You just have to properly understand the claim. You have to accurately process the information encoded in its expression. To ask for a full enumeration is to ask for infinite information -- something that doesn't exist -- and thus cannot be what proof is about, or else the word 'proof' would be meaningless.
That's how I would have done it too. He had 65 bits to start with, so just combining two fields with the trick in the article would have been enough to save that one bit. Or one could have just extracted one boolean field into a separate bit array (even simpler.) Since the article makes a big deal about getting down to 61 bits, I assume every bit saved helped and that they were all packed together with no padding. It's a lot of assumptions.
the future of first world countries: https://youtu.be/s-kdRdzxdZQ
No worries, mate. I'm not that thin skinned. As to solutions, I've already pointed out the USF in a sibling comment, but using that would actually require the political will to, you know, actually do something to solve the problem.

EDIT: my actual reply to rayiner wasn't made to gloat, but to point out the substantial differences as a counterpoint to the statement that the US and Finland are statistically similar. It also contained the core problem, the lack of a properly constructed regulatory regime, which also points out the obvious thing to fix i.e. the solution required.

However if political activism isn't your thing then the only other solution is to build your own network.
The thing with population density is that it's an average. Averages are notoriously useless for this sort of thing.

For example, the average density of the universe is 3-6 atoms per cubic meter. And that includes things like mountains, people, and stars.

When you're talking about provisioning broadband access, you have to provision for the worst case (or close enough that the differences are insigificant), not the average. Otherwise, you're looking at half the population being under- or unserved.
Both Stripe and Braintree require you to use SSL (really TLS) on your checkout pages. They also both require you maintain PCI compliance (although you likely qualify for a reduce set of requirements).
The hype was back when few knew what it actually was other than "IT" or "Ginger". Example: http://content.time.com/time/specials/packages/article/0,288...
Easy way to the latest & greatest javascript tools with Django [webpack]
>Nothing is more central to us than protecting the privacy and security of our customer information

Classic, pure classic. Obviously not.
What is up with all of these new motorized transportation things? They seem to be coming all out of the woodworks lately. Gone are the days of walking, seemingly.
Possibly but you can get unlocked handsets with monthly payments from giffgaff for example. Or you can just save up like we used to have to do. Or sling it on a credit card like its 1990 again...
Because they promised carriage. Twice.
this comment is underrated.
I can keep quoting from the same book:

> Here’s the good news: your Erlang program might run n times faster on an n-core processor—without any changes to the program.

Sounds hopeful - and they've qualified it with might which is good.

> But you have to follow a simple set of rules.
If you want your application to run faster on a multicore CPU, you’ll have to make sure that it has lots of processes, that the processes don’t interfere with each other, and that you have no sequential bottlenecks in your program.

Oh right, so as long as I have no dataflow dependencies it'll scale easily - but that's true for any language. The problems we have are when there are dependencies - and Erlang doesn't have a good solution for that in my opinion.

> Even if your program started as a gigantic sequential program, several simple changes to the program will parallelize it.

Several simple changes can parallelize an arbitrary sequential program? That's amazingly strong and obviously incorrect.

Also "you can get parallel from concurrent but not the other way around" that's not true! Vector instruction sets allow parallelism but not concurrency.
Hate on "We take security of your data" is a new hype, but grandparent and OP actually contained blame shift:

> security compromise of the third party vendor
> collected by the independent vendor <...> may have been compromised

This is the case of "sorry for my friends, I'm doing the best I can", which is entirely different situation than "I accidentally slept with your best friend, but I value our relationship" kind of PR.
What if Bigfoot is dressed in a burka? Under your assumptions your system is logically sound and under the system you can conclude, but in broader context you assume that which you would like to prove. You started with no one saw bigfoot, and add it as a necessary condition for bigfoot's existence. It's not a necessary condition.

If your assumptions are false, then so is your conclusion, in the end.
Mystic Jester -“Wake Up, Love” Music Video[dubstep/muppet/soul/blues/psychedelic
This is called a de novo bank. The trouble is that states issue few to no de novo bank licenses since the 2008 crash. So if you want to do a banking startup expect to pay for an existing banking license or to buy an existing bank.
If you think that death is so bad, you are either going to be a very sad senior, or a suicide as aging gets more and more ominous. That said, I don't know what "general moral qualification" means.
The Road To Reality by Roger Penrose.

All (literally all) signal
Working and living in Vancouver as a foreigner, I'll share my experience. About two years ago, I decided I wanted to settle in Vancouver and therefore proceeded to find a job here. I contacted a whole bunch of startups, maybe 5% got back to me. Half of those would call me, tell me they were interested, until I reminded them I needed a working visa (which I systematically mentioned in my emails), following which they would pretty much immediately drop me. As for the remaining half, I went to interviews, most of which went really well, only to be told weeks later that they assumed I would be able to just get the visa on my own. All I needed was for the company to be willing to sponsor me, which is a relatively easy process on their end.

One particular company had the guts to call me, tell me they really liked me but wouldn't hire me because of the visa situation, and asked me if instead I could direct other people like me in their direction. It doesn't get much more rude than that.

Bottom line, I ended up working for the public health sector, who not only sponsored my visa but also helped me through the process.

So, dear Vancouver startup scene, if you want to attract talent, start by getting off your high horses.
Thanks, Randy, for sharing your thoughts, too!

As aspiring indie-developer myself, I always love to read about those that already have marketed their first games and can share their experiences.

I hope, your game will be a success! I saw, at Steam the reviews and images look very good!
And of course the first vulnerability these bad actors will use is a false identity.
As mentioned before, this sounds like some BI tools. The collaboration feature set, specifically, is part of jackdb.com it appears.
"static linking", as in compiling libraries into the final executable, wouldn't help here. If anything it makes the problem worse since it's harder to find all instances of a library when applying updates.

But maybe you mean "bundling the dependencies", or at least refering to exact versions by cryptographically secure hashes, including all transitive dependencies. I've seen lots of "package.json" files refering to ">=2.2" which is horrible from a reproducibility standpoint. I like the way composer writes out "composer.lock" files which specify exact versions. Thus, even if you don't want to check in the "vendor/" subdirectory into your VCS, you should at least more or less be able to reproduce your dependencies exactly. Of course, checking in your "vendor/" dir is even better since your build no longer depends on an internet connection and an available remote server.

Or maybe all those scripting languages and their associated package managers (npm, gem, composer, etc) should take a note from the dpkg/rpm/C-style "lib*.so" world. Settle for stable APIs and stick with a release for the lifetime of an OS edition.
Paribus (YC S15) launches an app to fight back against price discrimination
Another issue I take with the work is the certainty in talking about the analysis of his experiments. Phrases like "we now know..." are used often.

For instance, one experiment shows that frowning can have effects on your disposition. As an experiment, a subject is told to hold a pencil in their mouth in a certain way as to unknowingly produce a frown or smile and then do some task. The difference between behaviors is then attributed to smiling or frowning, as though the only thing going on with a pencil awkwardly in your mouth is the smiling or frowning.

Maybe I do view all psychology in a negative way but I imagine I find it distasteful the same way (I imagine) most people find the study of IQ differences among races distasteful. Is this a valid field of study? I don't know and I don't care to know because the racist overtones are so strong.

Unfortunately psychology, especially 'pop' psychology has been used to deny people their free will and restrict freedoms.

It goes along with an overall trend of the sciences to rely more and more on statistical methods which I find troubling.
The Four Steps to the Epiphany - Steve Blank

Steve Jobs - Walter Isaacson

Artificial Life - Steven Levy

On Writing - Stephen King

Machine Learning for Hackers - Drew Conway and John Myles White

How Doctors Think - Jerome Goopman

Cholesterol Clarity: What The HDL Is Wrong With My Numbers? - Jimmy Moore & Eric C. Westman

Barbarians at the Gate: The Fall of RJR Nabisco - Bryan Burrough & John Helyar
This accurately describes the situation.

Even if you land a higher paying job in Vancouver your salary is probably around 80% of what you would get in Seattle and you are paid in $CAD vs. $USD.
Money makes the world go round. Where there is money flowing thru the system there is life and opportunity. And it's not the absolute amount of money or net worth of the place, though that is correlated, but the rate of flow of that money within the larger ecosystem. In most countries and places outside of SF/SV, rich people sit tight on their money, and don't take risks. In this way, they are conservative, and risk averse, and as a result the ecosystem is weak. People here in SF/SV are risk takers and that benefits everyone. We're more optimistic, or dangerously optimistic sometimes but that's why we lead the world in terms of innovation and opportunity.
I think it'd be easier to browse if it'd be organized in a directory structure like:

Microsoft/
Outage 1
Outage 2

In case anyone feels like contributing:

https://hn.algolia.com/?query=postmortem&sort=byPopularity&p...

https://hn.algolia.com/?query=post-mortem&sort=byPopularity&...
Weight Loss Surgery Benefits May Diminish Over Time
Charts might be something neat to have! But like you said, there are probably some good projects on github for that.

As for the other elements, there's a reason those are "missing". iOS already has UI elements that serve those purposes. Instead of checkboxes we have UISwitches. Instead of dropboxes, we have Action Sheets. For a good example, go to the Settings app on an iPhone and look through the settings; it's all form entry, but you won't find a checkbox or dropbox.

This is a conversation I've had with product managers and designers many times, and is part of the transition for people who are used to designing/developing for other platforms. For your app to look and feel like a native iOS app that users will intuitively interact with, it's best to stick to the system controls available. Or if you're making custom UIControls, to stick to the general behavior of the UIControl you're replacing. A checkbox on iOS would look fairly out of place.
cool idea! i actually had this idea a few years ago and went around to a few restaurants asking if they would use it - most of the chefs i approached seemed luke warm to the idea so i never went forward - glad to see they are finally coming around!
Ad Tech Insiders Fear Google Tilts the Advantage Further in Its Favor
For that case, with a little more effort you could probably patch the call to whatever statically linked call crypto libraries to also return true. :)
Agreed. This point comes up frequently, and nobody's able to point to more than the tiniest handful of genuinely great games that have failed commercially. I think we can at least say that 99.9% of failed games are not very good.

Regardless, if you're making something special, you're in a much better position to be able to promote it. In business terms, go for the niche that's not currently being served, and execute well.

Do that, and the marketing is easy. Games journalists want to know about unique games that they'll love. They definitely don't want to cover the ten thousandth mediocre clone of whatever's popular at the moment.
I do think 'proof' is mostly meaningless in this circumstance (non-existence).

You've touched on the issue of language, which I think is key to the confusion people have in this discussion.

My current thinking is that the proposition of "X does not exist" has no answer/proof because the statement is meaningless.

To consider that proposition, at some level you must assume that X does not exist, so the most obvious question is: What is X? If it doesn't exist, how can we even refer to it, or know its properties? If we can actually define X, then it must exist (in the most technical sense of a 'proof': X is an element of the current system you are working in).

It's a contradiction, likely caused by malformed propositions.
You're reference for negative here is wrong. When you prove that something is not the case, then you do so by demonstrating an there exist something contrary to your hypothesis. This is positive knowledge, not negative knowledge.

This is a very convoluted philosophical concept, but it's essential Karl Popper's argument. We don't, and can't prove negatives, but what we mean by that, as i discuss below, is that we cannot apply the universal quantifier with any certainty.
Could this be applied to consumer billing, e.g. in industries with a history of complex charges, e.g. telecom and healthcare?
Lightweight Checked Exceptions in Haskell
Weird, it's almost like Seattle/Vancouver is a natural experiment proving compensation matters. Now if only we could convince all the employers in the valley whinging about their inability to hire while paying maybe $150k/year in sf, where the median rent for a 1-bedroom is $3500 and condo buyers now are paying more than $1k/ft2 [2].

[1] http://sf.curbed.com/archives/2015/07/02/sfs_median_asking_r...

[2] http://www.sfgate.com/realestate/article/S-F-condo-market-pa...
It's conceptual nitpicking, perhaps.

I defend that using the word "proof" in the context of scientific theories is misleading. It invites people to suspend doubt, which is precisely the opposite of the scientific stance. Religions deal in absolute truth. Science is something much better than that, precisely because it is rationally humble.
What Apple Is Teaching Athletes About Fitness
My credit card was ripped off 4 times in the last year. Recently, I had a credit card for less than a week.

Since then, I started to use Virtual numbers. It's a feature that generates a virtual credit card number that I am opting to use per vendor. Hopefully, this will expose the vendors that are leaking this sensitive information.
Show HN: Easy remote source for autocomplete, one-click deploy to Heroku