skysight-inc/HackerNews huggingface dataset:
It's usually argued that it would be too hard for the compiler to avoid false positives from templates and macro expansion. I don't like this argument, since distinguishing between "generated" code and "explicit" code isn't that hard. Also, the warning mechanism doesn't need to be perfect to be beneficial: it's generally better to catch some of the security flaws than to catch none. The one tool I've found that does catch many of these errors is "stack": https://github.com/xiw/stack

It operates by identifying "unstable" code. Essentially, it uses Clang to optimize the code twice, once with optimizations on and once with optimizations off. Then it checks to see if any "basic blocks" have been removed. Its main problem is that it's difficult to set up. You have to locally compile a specific older version of LLVM with a particular set of compile flags.

But once you have it up, it catches a lot of non-obvious errors and doesn't have many false positives. Unfortunately, in the sample code I gave above, "stack" doesn't detect any errors, because Clang doesn't doesn't optimize out the "if (string)" statement like GCC does. And it doesn't catch the switch from printf() to puts() because it's a change of which function is called rather than a change in control flow.
The "work culture" is built upon the very narrow understanding of 'work' that is prevalent in American culture: that of making money in a self-beneficial way. You don't have this kind of work culture when you're looking at people in the abstract and measuring their ability to benefit society.
Semaphor: SpiderOak's Security Focused Slack Alternative
May be its my lack of tact and precision, what I meant by pro-urbit, in this case was that the article was positive about urbit.
The "satire" sites gave no contest to the notifications, so no one looks at it even for 1 minute. If you get such notifications and disagree, with reasonable grounds, you should respond.
I just did a search and nearly every piece, with even a minor tinge of support for Gawker's side, has been 'flagged'.

You say this doesn't go very deep but where has there been a good, substantive discussion on Hacker News about the implications of Thiel's lawsuit? the darker precedent it sets? This issue is important to the tech world, it cuts to the heart of many aspects of this industry and some of the most foundational aspects of our law.

You're right that other communities get value from discussing this argument. There are smart people here, and this piece has been submitted 9 times. It's a shame that a small group can shut down this discussion from happening. As much as I hoped it wouldn't, it makes the point of the piece.

https://hn.algolia.com/?query=you%20won%27t%20be%20able%20to...
Most towers peak below 50% utilization as bandwidth decreases with range. So, your average cost drops.

Put another way, to have good coverage and 1 customer would be ridiculously expensive. There are always going to be areas with few customers. You add towers in areas with lot's of customers.
I appreciate your response because I probably needed to qualify that.

I am resolutely apolitical, but very much ADMIRE Trump's ability to state & capture - in a tweet - the underlying fears / motivations of voters.

And, to get completely off topic, there's a lovely article quantifying Trump's approach - based on the gunning-fog index - vs clinton / sanders.

(1) http://www.ibtimes.com/donald-trump-tweets-lower-reading-lev...
I don't think people have a good response to this point.

People don't really look at the statistics, they are reacting based on their assumptions based on what they see on TV.

All the people who make this honor killing claim would be shocked to see the statistical difference between those and the violence with cheating.
Not cool... Bloomberg is telling me I am using an additional blocker and literally have no extensions installed.
Yet being part of society is something that people desire deeply, so it's possible that they'll just make their own work. I found Tim O'Reilly's musing on Econtalk last year (link - http://www.econtalk.org/archives/2015/10/tim_oreilly_on.html) to be persuasive - he posited that in a potential future where a min income is necessary, humans will spend a lot more time entertaining each other. Hey, Harry Potter was written while JK Rowling was "on the dole" and a lot of my favorite Twitch streamers (who have raised Street Fighter to both art and science) also seem to be awfully unoccupied Brits... I actually wrote an album during a brief unemployed period - see moneyhousegold.bandcamp.com - so I tend to imagine a society without need of work as a potential creative Golden Age in the making.
A prototype would be first on my list.
In order of your responses:

``3'' : "Work well" for what? I was specifically addressing comms, as that's where the problem currently exists. There are too many concurrent protocols/specs for me to keep up with LoRA (I'm only familiar with the 3GPP standards i.e. the NarrowBand IOT analog to LoRA, for obvious reasons), but I did some reading[1]. It has some awesome features like low-power consumption that allows long range, but again, you're not going to be streaming Youtube videos via that protocol. Their site officially says[2] their solution "is a network ideal for Internet of Things (IoT), metering, security, asset tracking, and machine-to-machine (M2M) applications." So while a great solution for, say, plopping down a few thousand soil hydrometers, it's not going to help with the over-saturation of the 4G networks.

``1'': Spectrum efficiency varies as a function of carrier wave length[3 for a brief overview] There's an information theory limit as to how much data you can effectively transport (throughput, not latency) limited by the Shannon-Hartley limit. (Or maybe the Nyquist something-something...forgive my ignorance on the topic, I really should have went to grad school or at least taken more physics classes.) To offer more bandwidth you can do plenty of things without resorting to mmWave, i.e. picking up rights to a carrier wave when Auction 73 occurred, or use OFDM amongst the ISM bands

Which brings me to (``2''- at least, as I understand it). What providers are trying to do is use the standard UWB/OFDM that already has well established, cheap commodity hardware behind it (think: a Cisco Aironet equivalent). The poster at the start of the thread said >> 2. Users have shown they aren't willing to pay more wireless. And for most things consumers do like VR and 360 video etc, wifi is fine and cheaper.
I was simply saying that any new technology will be bundled into the next revision of phones. It's not going to cost the consumer any more than usual, because (at least in the US) the 24-month sign+subsidized phone practice is commonplace enough that the next-gen technologies will be bundled in at the same rate.

I'm right there with you on mmWave - if you're looking to replace 4G with that, well, probably not viable at the moment as people still tune transmission lines using machined components (expensive, can't really use powdered metal bulk solutions when you need .1 thou tolerances..) that are designed filter cavities like this[4] in one offs (even more expensive without economies of scale) by generally those with graduate degrees. I haven't heard any ballpark quotes for 5G pricing from the usual suppliers.. who's quoting what, and from where?

[1] https://www.ietf.org/mail-archive/web/lp-wan/current/pdfbVG4...

[2] http://www.semtech.com/wireless-rf/lora.html

[3] https://en.wikipedia.org/wiki/Channel_capacity

[4] http://www.rfsworld.com/stayconnected/userfiles/stayconnecte...
Well, you can go make your society where the only thing that matters is that people believe the same thing. And then I'll live in current society, where people put forth an effort to support that society's needs. And then we can figure out which one gets to define society based on which one survives long enough to write down the definition. (Also, wouldn't a society imply exclusion by its very definition?)
Please look it up before you say things like this.
Why you shouldn't share links on FB?
What part of it was done in bad faith?
Underpaid people who are pursing their passions will be fine with a UBI. People who lose their jobs to machines will have to rebuild their idea of why their life has value from scratch, and a UBI makes it clear that other people are still creating lots of value in the world—enough to fund checks for you.

Lots of people don't have productive passions. They were focused on being valuable to their family and community instead. What now for them?
T-Mobile and other wireless carries barely break even in the same sense that Amazon barely breaks even - They are reinvesting most of their profits to increase their profitability in the future. T-Mobile actually has one of the highest gross profit margins in the sector, along with Verizon[1]. Their net profit is indeed low, but again, mostly due to continually investing in infrastructure upgrades and spectrum purchases.

I don't think these types of businesses will ever be inherently extremely profitable, but Verizon was making a nice chunk of change from ~2009-2014 until T-Mobile basically defected from the dominate market pricing contract scheme.

1. https://ycharts.com/companies/TMUS/gross_profit_margin
State != government. Also try putting brown shirt in Germany on whose shoulder there is red band with white circle. In which circle inside there is black painting in the shape of bent cross ... and we will see exactly what the western government of Germany thinks of your fashion choices and your freedom to express yourself. Hint - your right to move may be somewhat in peril.
I believe Hulk Hogan disagrees about that being "used". As far as I understand, they were very much sharing a common cause.
It's irresponsible for a service provider who outsources server management to a cloud company to not know and meet that vendors contractual requirements.

They were given notice, they failed to respond to that notice. Then they tried to make it seem like Digital Ocean was the bad guy.

If anybody looks bad here, it's Surge. They lost 37,999 websites because they couldn't resolve a problem with 1.
If the attacker has ever seen the headers of a message you sent through fastmails SMTP service they have your public IP (Received from header) and can Dos you directly anyway.

They do something similar with their webmail service, but the data is encrypted so it can't be read by a third party.

https://www.fastmail.com/about/reportabuse.html (last paragraph)

EDIT: Fastmail is fairly priced (for me) and i like the features they offer but i wish they wouldn't do this (or rather, i wish they would do the same for the SMTP service as they do for the webmail service)
The statement contradicts the article's description of Surge's side:

>According to a series of tweets from the Surge twitter account, the NRA sent a legal complaint to Cloudflare, which then forwarded it to Digitalocean. Surge responded “within 22 minutes.” Digitalocean asked Surge to provide counterclaim documents. Some minutes later, Digitalocean shut down Surge.sh. According to Surge, 38,000 sites became unavailable.
The 270 Project: Try to Predict Who Will Win the Election
None of it, according to TFA.
Interestingly, there are also 121 different transformations [1] you can apply to each dictionary word, from adding various prefixes and suffixes, trimming letters, and some more complex ones [2].

If the plain-text dictionary linked earlier [3] is accurate, it'd appear that the dictionary contains a lot of redundant forms.

[1] https://tools.ietf.org/html/draft-alakuijala-brotli-11#page-...
[2] https://tools.ietf.org/html/draft-alakuijala-brotli-11#appen...
[3] https://gist.github.com/klauspost/2900d5ba6f9b65d69c8e
Maybe you should let those people speak for themselves. But I guess if you did that, we'd never hear anything.
Fair use applies to copyright, not trademark. Trademark law is much stricter. And, as someone else said, it's just a defense that can only be used in court; tell it to the judge.

The video also said it was "Paid for in part by the National Rifle Association of America with additional support from Smith & Wesson Holding Corporation.", which is a blatant lie. They were hosting fraudulent content, and DO was right to take them down.
However, please be cautious, there are lot of things that are left to be desired out there. I recently read about their use in stroke patients for example. Lots of things about the microbiota is simply wishful thinking.

http://www.ncbi.nlm.nih.gov/pubmed/26945017
Gut bacteria from thin people can help lose weight?
I didn't think it was too irrelevant. He resolves the question of his gender, and then responds with his own personal observation that skilled female hackers are a rarity.

Why is there such an embargo on talking about the differences between genders? The only times it is permissible is if you're talking about how women are either superior or discriminated against in some respect.
Totally agree, the question was framed poorly. Most liberal economists would disagree with this because it strips the existing social safety net (Social Security and Medicare being the big ones) and replaces it with only 13k. Heck, try buying private health insurance for someone who is 70 on 13k a year. :) Most conservative economists disagree because you didn't "earn" that money (whatever that means) and it would raise taxes. I suspect it was framed in a way to generate the most amount of disagreement as possible.
"I went there with a positive attitude. The work was interesting. It was rewarding and intellectually challenging. But after a few months, I remember looking at my boss and my boss’ boss, and my boss’ boss’ boss, and saying to myself, “You know what? I don’t want any of their jobs.” I saw how they spent their time and didn’t find it interesting or very rewarding. They spent their time managing meetings and office politics."

Exactly my sentiment.
That gave me pause, too. I think they mean it's not a replica because there's no original -- or rather, it is the original. That is, it's not a copy of any particular Viking-era ship found buried in mud or whatever; it's an entirely new ship, made using documented (and inferred) methods from the era. It's as if someone made a ship that was quite like, yet also distinctly different from, HMS Victory (or the Santa Maria, or whatever historical vessel floats your, er, boat): not a replica, more a sister-ship.
I wonder what institutional barriers keep women from hacking. As lack of interest is often dismissed as an explanation.
My highest benefit/cost habit is viewing the diff immediately before each commit.

It's simple, concrete, and not onerous. The benefits are amazing.
How Apple is not hit by anti-trust cases across the world on a range of topics is baffling!
perhaps the "infulstructure" for ubi should already be rolled out. some bank account tied to identity, receiving a nominal amount monthly..
Some kind of casual low-impact sport (or at least low-bad-arm-impact), like pick-up soccer or disc golf. That way you'd still be getting the movement and coordination practice that you don't necessarily get from running. Also bicycling might give you the same benefits from running but with more new things to take in.
It's a new ship, using the same methods, not a copy of an old ship. It's not a duplicate of a previous vessel but a new bespoke vessel.
I keep on encountering social situations where men are relaxing/socializing and women are running around preparing food. I'm not so sure the gender roles automatically come with an equitable distribution of work, now that technology has eliminated much of the need for the heavier forms of manual labor.

Also, in terms of fixing things, that's supposed to be something you do once, and it stays fixed. Much of traditional "women's work" is recurring.
> format + protocol like Git

> distributed decentralized peer-to-peer network

> a unique address system

> personal crypto keys

Funny. You just described a perfect fit for Urbit.
Just because someone actually does it seriously, doesn't mean someone else cannot do it as parody.
Interesting that SGI would have to be explained. Once upon a time in computing that was as well known as SUN, Apollo, Commodore and Data-General.
> will be pretty good at picking up new frameworks after five or ten years

..or however long until the concept in question becomes irrelevant..
I have a food intolerance based allergy/autoimmune issue which is under a broad headline of "Non IgE mediated autoimmune disorder".. manifestations are depression, fatigue, chronic skin issues (on my face :-().

I've been told the only "cure" is to abstain from eating about ~160 staple foods that contain proteins that my autoimmune system incorrectly recognises as something to attack, the problem is however you can barely get through a day without eating one of those staples unless you cook all your own food, and don't mind eating tuna, rice, chicken and (some) beans all the time.

I have a lot to look forward to from these treatments. I've had very good experiences with General Biotics' (SFO) product which claims to try and get the gut bacteria back in balance, I have no affiliation with them other than a dependence on their product if I want to be sane, happy and healthy in the short term..
The user learns AI by coding. So one can use expert systems, ML, NN, totally random inputs whatever. So the term "AI" in this context seems appropriate.
If you believe that the only reason people work is to selfishly make money, then OK, there's not much convincing I can do here. It reminds me of the argument that supporting Brexit can only be accounted for by xenophobia or racism. Is it really true that that many people are bigots? Or maybe there is another explanation that isn't being accounted for? Either way, earning money is not a selfish thing - it requires another party to agree. Taking money is selfish. There is a big distinction.
This discussion is like rationality vs empiricism in action.
Netflix has a long history of jacking their prices as soon as they get to the next level of subscribers. Their long term strategy might be somehow similar to ticketmaster, except that it'll be way tougher for them to get a monopoly on this market.
The under-educated are probably a sizable and growing segment of the populace, so why shouldn't a politician be pandering to them?
I hear and feel you.

But technically that isn't a technical skill.
Or your own self-reflection may not be the best guide to what really is happening with your thoughts. Or there might not even be a specific thing happening beyond one's self reflection.
So you'd subscribe to (g) in his list of possible interpretations:

(g) The reliable readiness of critics, doctoral candidates, and know-it-alls to enshrine difficulty for its own sake, to rise to the bait of erudite obscurity that Joyce laid for us in this, the greatest literary prank ever played (outside of revealed religion).
who said tax avoidance?
That's for the hotspot. You get unlimited LTE on your phone for that price.
Now you're confusing the implementation with the abstraction. Types can be modeled by tags. They can be modeled by trees. Or any other data structure that you can analyze with a program.

>The actual function of types, on the other hand, is to prove simple propositions about a program without running it.

The value of a tag proves something about the program. You're just proving it at run-time rather than compile time.

Which is an artificial distinction anyway, since your static types theorems are being proved during the run-time of your static type checker. All theorems are proven during some run-time.
Given that it is neither a copy of an original or unique work (Starry Night or the Statue of Liberty, for example) nor a scale model, I think that it is not a replica. It is a genuine, modern Viking ship. However I suppose you could argue it is not a true Viking ship as there are simply no more Vikings. It is a ship built in the Viking style and manner.
Vanguard's Admiral share mutual funds almost never differ in cost from their ETFs.

As for it only "technically" being a mutual fund: consider that VFIAX predates VOO by 10 years. How does that square with VFIAX only "technically" being a mutual fund, when presumably it was a real, honest mutual fund in the years 2000-2010 (before VOO was introduced)
You've actually hit on the basic 'integrity rule' for these kinds of arrangements (at least in Australia): foreign related entities must charge on-shore related entities using 'arms-length' pricing (the 'transfer pricing' rule). Same goes for the interest rates on loans made by foreign related entities, because the interest is deductible against gross profits (the 'thin capitalisation' rule). I've simplified somewhat, but this is the basic thrust of the law.

Companies will end up in court when their definition of an arms-length price/interest rate is significantly higher than what the national tax authority considers to be reasonable. However, having worked in the offshore tax-haven unit in the Australia Taxation Office (I even went on a tax raid once), and then subsequently worked in tax policy for a few years, I don't think things clear cut with google (and others). I'm not even sure that transfer pricing and thin cap are particularly relevant issues.

In general, I think this issue is much bigger than a simple case of companies crossing the line on transfer pricing and thin cap rules. 'Tech capital' is extremely mobile; it can literally be moved from one country to another in a matter of hours. This creates strong incentives for countries to undercut each others' corporate tax rates to attract that capital. Tax havens (and Ireland) are extreme examples of this. The only way to extract any meaningful amount of tax from tech multinationals is through some kind of international agreement on minimum corporate tax rates (one that is ratified by countries representing a large enough proportion of the world economy). You'd also have to apply trade sanctions to any country, signatory or not, that goes below this minimum threshold.

In short, it's unlikely google and others will have to pay their 'fair share' of tax any time soon. This might sound defeatist, but I think countries will need to shift their tax burden on to less mobile (and therefore, more economically efficient) bases, such as domestic consumption and land.
I think it's fine to decide you don't want their jobs, but it's a mistake to frame it as "bullshit" which he does after the section you quote. Human nature isn't bullshit, and any endeavor which requires a large number of people to accomplish requires the management of human nature.
Evernote Free now limited to two devices
Well in this case it would be game AI which might or not use any traditional AI technique (pathfinding most of the time).

There are very few cases when games have used interesting AI/Machine learning techniques but most of the time you are safe assuming that they are not.
I don't think it's a cultural issue. I think it's deeper than that: it's about identity and self-worth.

The reason I say this is because a lot of people base who they are on what they do for a living and how well they do it. The feeling of being needed by other people is what gives a lot of people their sense of self-worth. IMO the biggest risk with a UBI program is that it will cause huge gaps in this equation as a lot of people realize they no longer have to work to feed and clothe themselves. So, when we finally come around to rolling out UBI nationally (I see it as simply inevitable), it needs to be accompanied by lots and lots of social programming that aims to decouple people's sense of self-worth from their perceived worth to society.

I envision a future where traditional introductions go from:

"My name is Bob, I'm from Cleveland, and I'm an electrician."

to:

"My name is Bob, I'm from Cleveland, and I spend my time tending to my garden and teaching the kids in the neighborhood how to grow plants."