skysight-inc/HackerNews huggingface dataset:
Right, that is why I proposed people to use -Werror, even if that means you have to vet and fix third party code (which you should do anyway if you're depending on it). Ideally you use other tools too.

Apart from that, don't assume flags and static analyzers can save you. If you're building something security critical, you do not make any assumptions about the code you depend on. You don't assume it is in some class. You don't "don't know", you vet the code. Flags and analyzers, default or not, are at best going to save you from a small subset of problems. The code might still be completely backwards and insecure.
Heh, but it makes geocentrism works better! And we don't yet know how 21st century heliocentrism will look like, while adding epicycles is less daunting.
As someone who games using Steam on a Mac (not a big gamer):

ouch.
No, it says to send it back to them:

> The deflated cells can be sent to any of a number of Sealed Air locations where they will be recycled back into LDPE

If you're in the US, send them here:

Ameri-Pak, Inc.
Sealed Air Recycle Center
477 South Woods Dr.
Fountain Inn, South Carolina 29644
Are you talking about a charge back? Vs a cash back credit card program that gives the credit card holder some cash on purchases periodically?
When you can't leave your job
There's also the later (since 2003 or so) OpenVMS technical journal: http://h41379.www4.hpe.com/openvms/journal/
Drivers, Insurance adjuster, body shops, and parking valets.
In retrospect they should have calculated both intercepts and taken the more pessimistic one. It's surprising they did not. However this could've been a decision based on the cost. Still weird that wasn't explicitly called out. Maybe it was.
Surely we shouldn't rush to anthropomorphize neural networks, but we'd ignoring the obvious if we didn't at least note that neural networks do seem to share some structural similarities with our own brains, at least at a very low level, and that they seem to do well with a lot of pattern-recognition problems that we've traditionally considered to be co-incident with brains rather than logical systems.

The article notes, "Machine learning models have no access to such experiences and thus cannot "understand" their inputs in any human-relatable way". But this ignores a lot of the subtlety in psychological models of human consciousness. In particular, I'm thinking of Dual Process Theory as typified by Kahneman's "System 1" and "System 2". System 1 is described as a tireless but largely unconscious and heavily biased pattern recognizer - subject to strange fallacies and working on heuristics and cribs, it reacts to it's environment when it believes that it recognizes stimuli, and notifies the more conscious "System 2" when it doesn't.

At the very least it seems like neural networks have a lot in common with Kahneman's "System 1".
I love archive.org but they have to start becoming a) very careful indeed and b.) better at cleaning up the content that has been uploaded. By this time there is an insane amount of illegal content on it like ripped CDs and copies of books which still can be bought. I don't want them to go down because of this kind of stuff.
HN is probably the wrong forum for health advice, as it's not really something you'd "hack". Your best bets are mostly mundane according to the large, peer-reviewed studies that have been done, and you could summarize them as:

* Eat a balanced diet, avoiding excess

* Exercise regularly, avoiding excess

* Don't smoke

* Don't drink more than a glass of alcohol each day, if at all

* Cross your fingers and hope for the best
Thanks for that link! I had found http://syncplay.pl/ but it seems much more fiddly than that.
iron.io had a thing a while back; I've not checked in on them lately.

There's always "build a container farm and do it yourself," but that doesn't make sense until you've scaled significantly.
3% does not represent the potential market share among OSX users for your game.
The anthropomorphization was done by academic researchers to gain/increase funding for themselves and the field. You can read the papers and see. This is commonly done for marketing purposes and is important since the pool of research money can be limited.
Alcatel Tablets This 2017 so far
I've had similar thoughts when it comes to recognizing the underlying (potential) simplicity of a phenomena of interest.

For example, consider a toy experiment where you take dozens of high speed sensors pointed a rig in order to study basic spring dynamics (i.e. Hooke's law).

You could apply "big data analytics" or ML methods to break apart the dynamics to predict future positions past on past positions.

But hopefully, somewhere along the way, you have some means of recognizing that it is a simple 1D phenomena and that most of the volume of data that you collected is fairly pointless for that goal.
> you are telling me that during the night aliens will attack my business

That's right. That is exactly what I am telling you. Aliens. Definitely aliens.

> Your claim is the first I ever heard of such a thing.

What can I say? You heard it here first.

> Having orders of magnitude better price/performance is amazing.

Yes. It was.

> those are not easy to come by

Indeed not.

> What went wrong?

That's a long story. But the TL;DR is that we underestimated the difficulty of launching new infrastructure.

Here's some background:

http://www.flownet.com/gat/fnlj.html

> You have an attentive audience waiting!

And I also have a lot of other demands on my time.
It's fortunate that you only rode BART once as a kid, otherwise you probably would've suffered life-long hearing loss. That thing is loud...
So cool, thanks for sharing!!
Your "sense" does not match with statistics. Allowing motorcycles to filter reduces traffic for everyone, full stop.

https://www.wired.com/2015/06/yes-california-let-motorcycles...
Alcatel A30 Tablet Details, Specs and Price
hey, I am really interested in learning more. I am working on something very similar. I have already developed some apps in this direction but I am going for a new iteration. I am just curious about your approach. The "it classifies" means the app does it automatically? How do you go about that? do you have something online?
Bitcoin Falls Below $2,000
One step is making sure that the crypto isn't bogus. That's what this formal verification is about here.

The next step would be writing an implementation in a language that's verifiable -- such as F* [1] -- and then using that to output actually verified binaries. People are indeed working on this kind of thing, to the point where even the primitives are being generated in this way, such as the HACL* and Vale projects [2] [3]. These are in service of making a verified TLS stack. It's nicely modularized and some of this might, at some point in time, be used for a verified WireGuard implementation. Or, alternatively, other unrelated methods for that. These are exciting times in the formal methods space.

In any case, this paper is about the first -- and incredibly important -- step of that kind of journey: making sure the crypto constructions WireGuard uses are top notch and actually has the super strong security properties we want it to have.

[1] https://www.fstar-lang.org/
[2] https://github.com/mitls/hacl-star
[3] https://github.com/project-everest/vale
1. You just need to connect to enough nodes that their is a statistical probability that you aren't being censored.

2. There are already alternatives which have better censorship resistance than Bitcoin, limiting the block size does little to fix those issues. I also don't think the market actually values censorship resistance in their digital cash as much as you think.
Public transit schedule checker that took into account wait times for connecting links from light rail (Silicon Valley) to CalTrain. So it would tell me stuff like:

- leave in 3 minutes for 32 minute wait connecting to bullet train

- leave in 3 minutes for 10 minute wait connecting to slow train

- leave in 33 minutes for 2 minute wait connecting to bullet train

- leave in 10 minutes for 3 minute wait connecting to slow train

Then I could see clearly my options in the way I preferred. I cared less about what time I would get home, and more about how much time I would spend waiting and sitting on a train, so this let me optimize for that.
One word answer's with a question mark are usually always the answer, thanks for contributing to the conversation.
Most profitable by margin or absolute dollars? IIRC the tech industry is far bigger than any one "content" industry and maybe bigger than all of them combined.
Netdata, the FOSS, real-time performance and health monitoring released v1.7.0
interesting approach!
But of course the underlying forces that create the necessary conditions for payday loans (and the World Bank) aren't necessarily beyond critique.

Both critics and advocates of the World Bank claim that it's just one component of a larger international order. If that order is manufacturing the need for WB/payday loans then the WB/payday loaners could be worthy of modest praise but also extreme condemnation.

IMO the debate over the relative merits of WB/IMF is really inseparable from a larger debate about the post-WWII western political/financial system. And, unsurprisingly, I imagine ground truth isn't easily compressible into any one coherent narrative -- especially an ideological one.
Until the hard fork 3 months down the road, then the blocks won't be accepted.
But they also only did anything with it when the user tried to share it.
>If they really believe in what they're doing, they won't want to give chunks of it away so cheaply. Conversely, if they're willing to sell on those terms, wouldn't you be concerned that they aren't serious?

If they're college kids or new college hires, you'd probably banking on them not knowing how valuable whatever they're making is.
This sounds about right. We were thinking that something between 3x and 7x probably makes the most sense for us. Our main tool is a Chrome extension, and we expect that many people will still use Chrome in 10 years.

Even if our company does not exist at that time, our Chrome extension will still work on many websites, assuming HTML does not change too quickly.

If we price a lifetime subscription at 5x the annual charge, I expect that most of our customers will still choose annual pricing. This means we'll still have very good economic incentives to keep updating and maintaining the product.
It is really difficult to extract parallelism from sequentially written programs. It is even worse when it comes to restricted fine-grained parallelism, as on a GPU. I'm not aware of any really robust auto-parallelising compiler, and even compilers for specialised parallel languages struggle to reach performance close to hand-written code for more complex problems.
I wasn't claiming otherwise.

I'm simply pushing back against the idea that investors need to be free to innovate people to death.
Yes.

And with the beta macOS version, even hotplug GPUs.
Vodafone+brought+new+plan,+women+will+benefit
Everything you can play on a chessboard[1]; you can buy cheap, lightweight plastic/rubber travel boards all around the world for about $1. Or you use a sheet of paper, draw your own board and play with crown corks. Or in sand with coconuts.

And you'll find people to play with even when you don't speak a common language; I have very fond memories of playing all of the staff of a bar in Copacabana, Bolivia, until sunrise (just knowing the little Spanish(es) I had picked up in the 6 months before) :)

Also, Dominoes, though a good set is rather on the heavy side.

[1] https://en.wikipedia.org/wiki/Checkerboard#Games_and_puzzles...
JavaScript cannot be ambiguous because there's a constant acid test: Does the machine find it ambiguous? If it does, it fails to parse. (If it parses, it wasn't ambiguous, but it still might mean something the programmer didn't intend.) That property will hold until we do something like embedding AI in the compiler.

Humans can deal with ambiguity. There are various reasons for humans to want to be ambiguous, and any natural language has to support that to be useful for day-to-day conversation. Loglan and Lojban might well escape that, if they're only ever used in contexts where ambiguity is not desired and will be repaired if it is found.

Think formal specifications, not love letters.
Napster did not have DRM. Nor mix tapes before it.
> One of the hugely compelling benefits of cryptocurrencies is they entirely eliminate the necessity for such middlemen taking a cut and driving up costs for the parties actually partaking in the transaction.

Which is why so many of the business “accepting” cryptocurrency do so only through a middleman who converts it immediately back to national currency for the business, charging a fee for the service.
Quite a few landfills capture the methane and turn it into electricity as they can make a profit doing so.
Unwaffle (https://unwaffle.com) started as an admin feature of S3stat. I use it on a daily basis, and it has actually added enough revenue that I'm no longer worried that it would have been a waste of time to build it, should it turn out not to be commercially viable.

Like I said, it started internal, but it was so apparent after a few days that it could be useful for other businesses that I separated it out with an API and stuck it at a different URL, in case it turned out (which it did) that I wanted to polish it into a product of its own.
The Commerzbank case (datacenter near twin towers, contingency site in Rye, NY) is well documented: http://www.availabilitydigest.com/public_articles/0407/comme...
App freelancing (in the US) has been killed by cheap hourly rates thanks to globalization. As a client, why would I pay $100/h for a local Dev versus $10/h for a dev located in India or anywhere else where the cost of living is much lower?

As a full time "app" developer I make $200K/y in the US. I tried freelancing on the side but it's pretty worthless. We're talking pennies by hour spent coding.
"Content is king" was also not meant in that sense of "content", though.
Android, but yes, I agree.
I have done works for companies just to see another group do similar work for the same companies and charge absolutely no less than 5 times as much.

Problem is when you start at x the companies will never pay you 3x or 5x again. You just started too low.

However, they will gladly drop you and pay someone else 5x and justify it and not even remember you were ever here and not even feel the pang of the new amount they are paying.

Side note: NEVER EVER EVER let the companies you are working with know you are a freelancer. For all they know you are WE. Let them assume the size of your team.
3D reconstruction is a pretty big problem. Anyone who solves that problem by just using a camera on a mobile phone and doing processing offline in real-time can make huge strides for robotics.

We have the advances in Deep learning but we're still have to make some strides before robots can infer the same way we humans do about objects we see.
The companies suffer too. American Airlines has lost a lot of money with the their unlimited travel pass and I'm not sure they could revoke all the subscriptions after they figure this out.
You can do both.

I want to describe (at a more abstract level) a protocol (this allows anyone to implement a specific instance of it in their language or platform of choice). For that you use a formal specification language (Z Notation, Event-B, TLA+, etc.). These lend themselves to formal analysis (evaluation of the specification via standard logic or temporal logic; modeling of the specification for violations of invariants and constraints).

If the protocol specification has been verified, you can then be more confident that an implementation of that protocol specification is correct (in principle) and then set about verifying the implementation via either more formal methods (static analysis tools, SPARK, Eiffel's contracts, Frama-C, etc.) or testing (more likely some degree of both). And if you have a formal specification you may be able to construct a better test set than the ad hoc test set usually constructed by developers and testers for systems (that is, it'll be constructed systematically and thoroughly; not haphazardly or just by collecting all the previous PR tests together for regression testing). If, for instance, you have a set of invariants for your system and guards for all your actions, you can construct tests which specifically attempt to violate these (or do violate them and see how your system reacts).
SPV does absolutely check the block headers, which is all you need to do the proof. You can say that transactions could be omitted from the actual block chain, but not that invalid header data could be served that let someone believe they were paid when they were not or some other falsification.
The problem is, if you want to cheaply ship cheap stuff quickly, you need to reduce costs. So no time to have your packers pick from 20 sizes of boxes; just toss everything in a huge box. No time to handle returns of broken shipments; just stuff those huge boxes with tons of air bags. No time to actually check what's in the boxes (towels or a vase) because you need to pack 200 boxes an hour to break even.

If "we" want to stop trashing the world, first we need to show we are willing to pay for that.
I think trash collection, indoor plumbing and refrigerators/freezers have done much more to improve the public' health.
> Core != Blockstream

The overlap is very large. In the same way, segwit2x != Chinere miners, but come on, there is an clear overlap.

> It's an effective blocksize increase to 2MB

If all users start using segwit addresses and segwit transactions, and if all wallets software will know how to send and receive it. And that will mean users will need to send their money to their segwit-enabled addresses first, which might, you know, clog the network. (In reality, nobody knows what will happen. Almost nobody uses segwit on litecoin right now, but litecoin is a toy currency...)

hardfork would solve that issue immediately - no need to upgrade wallets, no need to figure out how do segwit-inside-P2SH addresses work (they are different from normal addresses!).

> enables lightning network which should hopefully reduce congestion on the Bitcoin network

Again nobody knows. Lightning network might be a vaporware. Literally nobody is using it, since it does not exist.

> SegWit transactions are cheaper than traditional transactions

Well, that's a matter of "policy", and I am not sure if segwit2x nodes will implement the segwit discount or not. There were some issues about that, but I think they didn't have time to remove the segwit discount yet. But they plan to.

(Again I am not advocating big blocks, increasing blocks that way is not something that can be done forever. Segwit is fine, it solves some issues like maleability, but it's overhyped IMO. There is no scaling solution for bitcoin yet. And maybe there will not be?)
Close. Macro-32 on x86 will use a lower-level interface to the same LLVM backend used by the other languages.
> companies offered me to work for them for two weeks

Damn. I haven't yet found something like this, most companies want a six-month minimum. I would love to take a two-week contract in Australia, just so I can delete "visit Australia" from my bucket list :)
Sad poem :(
For note, luerl is more of a library for erlang/elixir/BEAM and not a full language, as it is basically just lua's interpreter rewritten in erlang with some modifications to make it fit the system a bit better than normal Lua (there is normal Lua available via a Port though).
In general, I find these kinds of comments strange.

There are many applications I might find more interesting too. However rather than criticizing others I spend my time feeling vaguely guilty for not doing any of them...
I'm really surprised intermittent fasting hasn't been mentioned. I've found eating one meal/day or restricting eating to a 3 hour window to be very beneficial for my energy levels, focus, time, and financial habits. I'll probably live longer too,

> In recent studies conducted in overweight humans, caloric restriction has been shown to improve a number of health outcomes including reducing several cardiac risk factors (Fontana et al., 2004, 2007; Lefevre et al., 2009), improving insulin-sensitivity (Larson-Meyer et al., 2006), and enhancing mitochondrial function (Civitarese et al., 2007). Additionally, prolonged caloric restriction has also been found to reduce oxidative damage to both DNA (Heilbronn and Ravussin, 2003; Heilbronn et al., 2006; Hofer et al., 2008) and RNA, as assessed through white blood cells (Hofer et al., 2008). Thus, findings of initial human clinical trials appear to support the promise of caloric restriction demonstrated in animal studies, at least in overweight adults.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2622429/

> In this review article we describe evidence suggesting that two dietary interventions, caloric restriction (CR) and intermittent fasting (IF), can prolong the health-span of the nervous system by impinging upon fundamental metabolic and cellular signaling pathways that regulate life-span. CR and IF affect energy and oxygen radical metabolism, and cellular stress response systems, in ways that protect neurons against genetic and environmental factors to which they would otherwise succumb during aging.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3919445/

> The most common eating pattern in modern societies, three meals plus snacks every day, is abnormal from an evolutionary perspective. Emerging findings from studies of animal models and human subjects suggest that intermittent energy restriction periods of as little as 16 h can improve health indicators and counteract disease processes.

http://www.pnas.org/content/111/47/16647.full

One last study, separate because this is on rats.

> Among the 137 rats, the male rat which lived the longest died at 1057 days and the oldest female died at 1073 days. Both rats fasted for 1 day in 2, but the optimum amount of fasting was on the average 1 day in 3. With this amount of fasting, the life span of the males was increased by 20 per cent, and that of the females by 15 per cent., but the life span of the fasted males just reached the life span of the female controls. Pre-experimental nutritional conditions and genetic factors had a considerable influence on any specific life span. There was a high degree of genetic uniformity in spite of different regimes of feeding and fasting.

http://jn.nutrition.org/content/31/3/363.extract
It's not immediately clear, however, how one would conduct a cache timing attack against the package manager.
I'm glad I made your day :D
Didn't developing nations already solve this with hawala?
> I also don't think the market actually values censorship resistance in their digital cash

Alphabay processed $600,000 to $800,000 per day [1]. This is economic activity for tangible goods. In the list of other top uses of the blockchain might be ICOs, which are a way to leverage censorship resistance to raise money without permission from the SEC. On the high end, these accumulated hundreds of millions of dollars within minutes.

Please show me a use case for a blockchain-based cryptocurrency that even comes close to these numbers and that does not need censorship resistance.

[1] https://www.wired.com/story/alphabay-takedown-dark-web-chaos...
It seems like there needs to be a shorter/quicker program for pharmacists. Fully trained pharmacists do have a lot of education invested in them, so of course they can jump the island go somewhere else.

I feel like a small certification, like a 3 months of night classes, could help a lot of problems with prescription mistakes. I mean, this is the kind of simple drug knowledge that we all called our moms about when were in college. "When should I take cough syrup..." "Why can't I take antibiotics for a cold?"
U.S. appeals court upholds nondisclosure rules for surveillance orders