skysight-inc/HackerNews huggingface dataset:
Static analysis is not just about inferring types and hot paths for optimization. For that kind of stuff, a dynamic analysis is most of the time way better (lots of JIT compilers with speculative optimizations prove this point). There is another goal where static analysis shines: verification. If I'm writing a somewhat critical application, I want to make sure that it behaves according to my intent in all cases. For example, if I'm writing an airplane sofware, I want to make sure that it will at least never invoke any undefined behavior (this is done in ASTREE project). Static analysis is a powerful tool to give such guarantees in many cases.

Some highly dynamic language features make analysis really imprecise or really hard (in terms of computation cost). There has been quite a lot of work on making static analyses that can handle such language features (for example control flow analysis helps analyzing code that uses dynamic dispatch or closures a lot but cost of the analysis is exponential in terms of the precision level most of the time). Sometimes people tackle analyzing highly dynamic languages like JavaScript but at a huge time cost in certain cases [1]. I'd prefer using a language designed with static analysis in mind if I were to prove certain properties about my code.

[1]: http://www.cs.ucsb.edu/~benh/research/papers/dewey15parallel...
Not sure if it's relevant to the point, but Trump is donating his salary, Kennedy did as well, Hoover refused a salary and Washington tried to. I don't believe you can judge whether a job is 24/7 or not by the amount they pay you.
That "Oops, sorry, I just realized" is all implied by that "Correction:". It's more pithy like that.

Your parent is not saying "mistake was made", "I was led to believe" or what not, which would be passive third-person voice, sneakily trying to shift the blame. Instead, the fact that a mistake was made is clearly communicated through an additional corrective edit. Seems appropriate for a correction of such minor point.
Fun "fact" as well: they won't arrest you, or worse, if they don't like it.
This will hold you over while we wait!: https://www.youtube.com/watch?v=kPRA0W1kECg
Removing the burden of updates for OEMs makes it practical for an OEM to differentiate on update support. If any of them does that, it creates competitive pressure on others; and if users care enough to purchase based on support commitments, some OEM will have a strong incentive to be the first to differentiate that way.
Personally I equate eye strain with too much 'close work,' which must surely also be the major impetus behind the growing prevalence of myopia in children and young adults. I read a little about it a while back. I think giving young children glasses is probably a bad idea, as they could perhaps outgrow it otherwise. Under communism (Eastern Europe) there was a different approach, would be interesting to find out more. I suppose this discussion is really for another thread.

http://www.nature.com/news/the-myopia-boom-1.17120

I use a hisense 43m3000 4k 43" (~$350 USD). It's great. Cheaper than eye surgery (and more pleasant.)
Yes, this is priceless!

I'm reminded of Halting State.

A riff on this would make a great novel.
> Isn't the government granting private property coercion? As soon as it gives it to you I lost my consent.
reply

Yes, this basic philosophy depends on the belief in private property rights. I.e. you own your body and you also any property that was gain through legitimate (non-coercive) means.

> Smog? did you commit violence against me?

If you can prove damages, yes.

> Government property? Parks?

No government property. Private parks and eco reserves allowed.

> Taxes? how does the court system run without funds?

Short answer, no taxes. Longer answer, this gets into the debate of minarchism vs anarchy. Minarchism would allow taxes only for courts, police, and military.

> Excessive profits? Aren't monopolies a form of coercion?

Try to name a destructive monopoly that isn't supported by government.

> billboards with porn?

Tricky one, I don't know the answer to this one.

> Is a trade secret a form of coercion?

No. If someone acquired a trade secret through legitimate means, they deserve to control it.

> How about the feeble minded?

Fraud could be prosecuted. Still, will stupid people make stupid decisions? Yes.
Hardly. It could be as simple as setting a high tax rate at some threshold of income. Not sure why you're jumping straight to central control of the economy as though it's the only option - it's the most extreme option among many.
Space-Efficient Construction of Compressed Indexes in Deterministic Linear Time
I have an Alexa and use it daily. It doesn't see much use, but the uses I have for it are a minor extra convenience that is sufficient to justify it. E.g. setting reminders, playing music.

I'd rank it firmly as a luxury item, though - it's a replacement for spending 10 seconds looking for a remote/phone/laptop one of which is always nearby. But it's nice for that purpose. It's one of those things that lets the technology fade into the background.

It's one of things you want to be able to forget exists and use use now and again without thinking about it.
> For power users it's annoying and disruptive

Let me stop you right there. As a sysadmin, UAC is both effective as it is necessary. I absolutely don't want any application a user can launch with a mere YES/NO prompt but proper secondary credentials, interactively or by some nefarious app spawning other processes, to have the ability to gain an administrative level of access over the local machine. Unless it's absolutely necessary (which in most cases, it's not!).

"Power Users" are, in my experience, an annoyance at the corporate level and especially at home when they bomb their system so badly that it requires reinstalling the OS every few months.

However your other points raise a good standard and I'd like to specifically mention one I really want to see in Desktop OS's. That app sandboxing for every "feature" accessed should be a whitelisted (by asking for permission) endeavor. It should request access to the file system (only for those directories in its specific needs), calendar, contacts, network access, looking into other apps (themselves or their access to the file system), network access, etc.
New Materialism: How Matter Comes to Matter
See also the classic NDAs and Contracts That You Should Never Sign, March 28, 2000 by Joel Spolsky:

https://www.joelonsoftware.com/2000/03/28/ndas-and-contracts...
> They were saying that the U.S. (government through laws and legal system) centered on "fairness" up until recently. Sometime after WWII the focus changed to Economics and growth.

I absolutely agree with this. Considering the history and how we used to run public schools, it seems almost obvious.

American nationalism was at an all-time high during World War 2 and we rode that straight into the Cold War... 50 years of anti-soviet propaganda and public discourse, riding the post-WW2 American economic boom and global "anti-communist" imperialism. For an entire generation community-oriented principles, egalitarianism, collectivist ideas, and far-left leaders were demonized as Soviet sympathizers, replaced with rah rah unregulated capitalism, Ayn Rand-ian individualist, and military might.

If you've ever wondered why many modern American Christians blatantly disregard the liberal social aspects of Jesus/the Bible, look no further. WW2's morale-boosting propaganda morphed into a cancer of civil discourse, deeply coupling nationalism with the perceived indisputable success of American capitalism.

Consider these two points:
* The Cold War started 70 years ago, and formally ended 26 years ago
* 2016 Trump / Sanders popularity, bucketed by age: http://www.msnbc.com/sites/msnbc/files/age_of_voting_groups_...

American society takes time to change because our 2-party system is dominated by unengaged voters, the uneducated electorate that votes without thinking about it... heavily influenced by the world they grew up in, and what they were taught from k-12. When many election results are +/- 5%, moving the average 10% in one direction has long-term consequences.

It's worth thinking about how our 17 year-old "War on Terror" will continue to change society...
This Font Evolves as You Type
Bullshit socialist article
Fraud would be illegal. But still, yes, some people will always have more info or intelligence than others and will probably benefit from it. Though also in a free market, businesses will spring up that offer to provide information services.

You say consent plus something else. What is your something else?
Official Go implementation of the Ethereum protocol
does that not sound like US? "bullies other countries through money"
Anyone who roots their phone, in all likelyhood, knows how to pirate the content: granted Netflix is way more convenient, that's why I pay them. I don't watch on mobile devices so this doesn't bother me. If I did watch on mobile and I had a rooted device, they would definitely stop seeing my money though. When will these companies learn to stop going after the nerds; we're the one who actually know how to get around you if you piss us off.
I'm sure they're under equal pressure to not say as such. It would be nice if they could just flat out state "as part of our contract with X, we must <enter exact clause here>".

Edit: I just realized that cable companies sometimes have hostile notices about their dealings with certain stations. I'm guessing Netflix isn't quite in the same position of power though.
The kind of subsistence level jobs done all day every day in third world countries tend to be very mechanistic and/or low intensity. Those fishermen throw out a net and pull it back in after a while. The store keeper working 14 hour days spends most of that time sitting around reading a book. It's more that the lines between work and leisure are blurred than that they have a crazy high work ethic.
What is the significance of the time span indicators? Does the 1M selection indicate how many computers remain infected or how many that were infected within that time span?
The Republican party has been ambivalent or against new spending on infrastructure in recent history. Trump had some genuine appeal for being in favor of it. He even threw out the same $1T number: http://thehill.com/business-a-lobbying/306490-gop-braces-for...

Not that I actually expect that money to materialize.
How to prepare vegetables and their benefits
I've been tempted to seed multi-GB torrents, comprising random data encrypted to long random passphrases, with intriguing names. Or maybe use LUKS-encrypted virtual disks.
Tools for Thought by Howard Rheingold
The proper response to "it's not enforceable in CA" is to say "then you won't mind if we cross it out before I sign".
The fact that we don't have riots in the streets means that the collapse of the middle class has been greatly exaggerated. Most people are better off in most material ways than they were in decades past, like it or not. Even if the numbers in their bank accounts aren't as large.

Meanwhile, in Venezuela...
> working within the existing system ("bourgeois democracy") would not be sufficient to bring about lasting change, as the system itself is built to serve the interests of capital.

I think the problem is more that when you do vote in socialism as in Venezuela the system sucks. Then it either gets voted out again or you get a violent dictatorship.
Does "unlocked" mean carrier-unlocked or bootloader-unlocked? I'm confused by this sentence:

For example, Artem's unlocked stock Pixel is still on Widevine Level 1, the most secure level, but fails SafetyNet because it is unlocked.

(What does "unlocked stock" mean - does the Pixel ship carrier-unlocked? Was it unlocked by calling up the carrier and asking for an unlock, or in some other way?)
passive anticompetitive behavior, is just competitive behavior.
How is "setting a (presumably very) high tax rate at some threshold of income" not a strategy for implementing "central control of the economy"?

At some level of income confiscation, you're basically describing slavery.
Sure, if you have the resources. In my case, it was far more feasible to change careers.

Edit: I did speak with a few attorneys. But they all wanted cash up front. And told me that I had little chance of success.
It might be more accurate to say:

> Smalltalk doesn’t need macros because it has classes, powerful introspection capabilities, and simple expressive syntax (especially blocks) instead.

There's a debate to be had if compile-time macros are superior to passing blocks as arguments. It also is easy to make your language parser extensible or easy to modify without having traditional lisp macros. Metalua does something like this.
How reasonable is it to say that NSA are at least in part responsible for deaths resulting from the NHS crisis, since the ransomware is using their exploit?
I used to agree with this, and the same argument about DRM in general, but Netflix now has a significant body of original content, so I'm less sure about it. In particular, they appear to be blocking the entire app from even downloading (not even running!) on affected devices.

Do their contracts with the content providers say "All your content, even content that doesn't come from us, must be provided with this much DRM"?
The Julia developer have backed away from the claim that Julia is homoiconic; they no longer describe it that way. Nevertheless your points are really interesting, to the extent that I can understand them.
Employers are in a unique position to offer group health plans. This used to be more relevant before Obamacare and is becoming relevant again. There is no equivalent to a group health plan one can buy individually.
And while he's working another shift at another company he's getting additional training which is good for the first employer. This is all bullshit trying to argue the validity of modern day slavery.
Wow, is that true of vice presidents that become president for 3hrs when air force one goes offline in the middle of a national security crisis?
My first (and last) non-compete was when I was starting out as a web developer in a small company. By the time I fully realized what I had signed I had contractually given up my right to work for any other webdev company for 1.5 years, and even worse, the company owner stated that he believed the non-compete also extended to all our clients (and the clients of a major client) too. This meant nearly all banks, Heineken, Google, and consultancy agencies (we ran a job board).

Needless to say I am not a web developer anymore.
Jürgen Schmidhuber had an interesting comment on the Strange Loop in his AMA: https://www.reddit.com/r/MachineLearning/comments/2xcyrl/i_a...

As we interact with the world to achieve goals, we are constructing internal models of the world, predicting and thus partially compressing the data history we are observing. If the predictor/compressor is a biological or artificial recurrent neural network (RNN), it will automatically create feature hierarchies, lower level neurons corresponding to simple feature detectors similar to those found in human brains, higher layer neurons typically corresponding to more abstract features, but fine-grained where necessary. Like any good compressor, the RNN will learn to identify shared regularities among different already existing internal data structures, and generate prototype encodings (across neuron populations) or symbols for frequently occurring observation sub-sequences, to shrink the storage space needed for the whole (we see this in our artificial RNNs all the time). Self-symbols may be viewed as a by-product of this, since there is one thing that is involved in all actions and sensory inputs of the agent, namely, the agent itself. To efficiently encode the entire data history through predictive coding, it will profit from creating some sort of internal prototype symbol or code (e. g. a neural activity pattern) representing itself [1,2]. Whenever this representation becomes activated above a certain threshold, say, by activating the corresponding neurons through new incoming sensory inputs or an internal ‘search light’ or otherwise, the agent could be called self-aware. No need to see this as a mysterious process — it is just a natural by-product of partially compressing the observation history by efficiently encoding frequent observations.
I don't think that all who disagree with Picketty's conclusions do so simply because they don't like them. Nor would I agree that all critiques are mere nitpicks. For example, here's an IMF working paper that conducts an empirical examination of Picketty's hypothesis: https://www.imf.org/external/pubs/ft/wp/2016/wp16160.pdf

From the abstract:

In this paper, I build a set of Panel SVAR models to check if inequality and capital share in the national income move up as the r-g gap grows. Using a sample of 19 advanced economies spanning over 30 years, I find no empirical evidence that dynamics move in the way Piketty suggests. Results are robust to several alternative estimates of r-g.
This is the issue I have with Zachtronics games - while I like playing them, sooner or later I start feeling like I might as well be working on real code.
Be reasonable. It's not slavery, nor even indentured servitude when you can quit at any time.
It was only on rereading Antifragile that I realized that Scott Adams' book 'How to Fail at Almost Everything and Still Win Big' is practical Taleb. I don't think he's ever acknowledged the influence on the book directly, but he has said that he considers Taleb one of the smartest people he knows of.
It's interesting to see research suggesting that this might be helpful, since I feel like I've stumbled on something similar. Lately I've had several instances where I've been completely stuck on a problem, so I'd stop everything and take a long hike on a trail or through some mountains. After taking a day of just literal wandering, I've found I'd be able to finally make progress on what I was working on once I pick it back up again, where I otherwise felt like I was hitting a wall. It's felt like my mind does some unconscious processing when I allow it to take a break, so it's encouraging to see some evidence to support that.
Does this use Perlin noise to generate the PCM values?

If so, what would it look like to use Perlin noise as the input to an inverse FFT function?
I would assume bootloader unlocked, I believe that causes SafetyNet to fail and can't imagine why a carrier unlocked phone would.
While that's true, the real benefit of dental insurance in my experience is just like that of medical insurance - negotiated rates.
In economics terms:

Y = f(A, K, L).

That is, GDP is a function of Capital (K), Labor (L), and a catch-all of technology (A).

Developing countries can ramp up any of these 3 easily, especially technology "A" by transfering/adopting technologies that exist elsewhere. The richest countries can't do that since they should be at the forefront of technology.
I wouldn't call "not working" "leisure". I work 80+ hours a week myself. But I recognize that there are more important things in this world and in this life than just working.
Talent and IP are in extremely limited supply. Your alternatives are mediatek and spreadtrum.
Machine Learning from Scratch in 60 Lines of Python
thanks a ton err4nt! had actually gone back and noticed an oversight to where I had left out a divisor!

Current formula is: LOC (Based on Linguist's default values) / 64 (which seemed to be about the num of lines that had shown up when opening a given file in print dialog)

With the change, your back at 1 for that repo ;).
I believe those that are using Plex with sonarr and radarr and a newsgroup sub have it just as convenient as Netflix except with way more content. After it's all setup of course.
Why do you think it's a joke?
I've followed you on /r/generative for a while, this produces some really cool output. I've been interested in getting more into generative art, I just always get lost trying to find a way in.
Another problem with "group plans" is that large companies are actually self-insured. The insurance provider is just handling the paperwork, but you are part of a group of people separate from other plans and the employer is on the hook to cover all costs (it's not always what the actuary predicts). The advantage is that working people are generally healthier than the average, so this results in lower costs vs plans that cover the general public.

The purpose of insurance is to amortize the cost of unpredictable things across time and population. Group plans are just another way to select higher quality (lower cost) people for the plan. Of course this means higher than average cost for programs like medicare.
I have a carrier-unlocked Nexus 5X and Netflix works fine.
> They didn't even care if people used VPN's to access their service.

Netflix employees used to help out users in Australia with VPN issues back before Netflix launched over here. It's all different now.
> So yeah, capitalism may be inherently inclined to wealth inequality because some people outperform. But do you really want it another way?

You mean would I want capitalism to be different, or would I want a system that wasn't driven to inequality because it relied on capital returns to drive both the economic system and (due to fungibility of power) and the political system?

The first is a pointless question, the second, well, yeah. It's the fundamental problem with capitalism that led both socialist critics to identify and seek to overthrow it, and more moderate social democrats to seek to reform and moderate it.

> There certainly is wealth inequality in the world, but it isn't actionable to blame it on r > g.

Sure it's actionable, and if it's the true cause, no micro action is meaningful.

You may not like the actions that are implied by understanding the root cause, but that doesn't make it not actionable.
They certainly are going above and beyond. It's basically impossible to find a good VPN that works with Netflix, and they also block pretty much every IP range where you can get a VPS. They are just much more effective than any other geoblock I'm aware of.

I think in this case they have worse odds though, Freedom or Lucky Patcher or some Xposed module will be up to the task if there is enough interest.
Are we OMEMO yet?
NSA is responsible for lots of deaths - that's their function.
unemployment rates and youth unemployment rates sound interesting, but what about measures of happiness? depression? In America we tend to select metrics which also enforce the work, work, work, mentality by making it look like a good thing.
It's probably a lot easier to have a blanket ban on VPNs and rooted devices than to allow them when you watch X versus when you watch Y.
hi gus_massa! thanks a ton for the feedback! great idea, can most def do.

and had most def had the thought of supported repo urls as well--thank you! and yes, could most def cache data for some of the more popular repos!

thanks a ton for your feedback!
Only read the quotes on the article, but the comments from the engineer are much tamer than the headline makes it out to be.
100-1 this was built by a bunch of young dudes. Get one female on the team, and she would have said: "uh, maybe we need a way to block people".

This is why we need better diversity in tech.
Isn't it possible for a rooted device to fake beeing a non-rooted device
to (selected) applications? To my understanding root means having the
full control but I fear that this definition doesn't apply to smartphones.
Why prevent installing the app when you could instead stop specific content from being played?

Surely not all Netflix content is licensed under terms which prevent it from being distributed to rooted devices.
> Shadow Brokers didn't leak to Wikileaks.

No, they had no connection and no collaboration on those NSA leaks.

The author might be confused by Wikileaks releasing CIA malware right now (they have their own internal NSA clone) or he just wanted an excuse to plug the "may be a front for the Kremlin" bit.