skysight-inc/HackerNews huggingface dataset:
I guess for a majority of HN readers abstract algebra is not "esoteric", and type systems is a very hot topic indeed.

Even those pitiful articles from the dynamic typing zealots are very often coming to the front page, so a high quality explanation of a trendy topic in the modern type systems research should definitely attract a lot of attention.
>"But not IQ? What's the exception?"

I don't think intelligence, outside of unusual situations, is a physical characteristic. So I'm not sure how to answer your question.
Peter Thiel and Richard Levin (Coursera CEO) are also attending.

Them and Altman attending make sense when you consider some of the topics that will be discussed (from the site):

US political landscape, economy: growth, debt, reform

Cyber security

Precariat and middle class

Technological innovation

Clearly all three have opinions on these topics and suitable experience.
> it is highly domain specific

It is "domain specific" to pretty much all the domains in existence.
Probably because even in 2016 most programmers never heard of the other possible choices?

I started with C instead of SML, which was available then, I think, because everyone I knew coded in C and they all said it's ok and a good language to learn.

The same is probably true today: you first need to know that a language exists before trying to learn it, and beginner programmers are going to only know about languages their peers (other beginners, probably) use.
I think it's something like the user holds private key A, publicizes public key A, and requests private key B such that public key A+B has the desired characteristics and private key A+B is only known if you have private key A.
I reworded the bit on retirement to help deal with this.
> I wasn't a big fan of the music or art style in the update

BOI definitely handled it's artstyle refresh better, found the HD Spelunky muddy and muddled compared to the original and a lot of needless animated unskippable fluff in the menu and intro screens that means it takes way longer to start a game than it should do.
TL;DR: Containers are containers, and not virtual machines. In other shocking news: Water is still wet.
Its mainly for stand-alone publishing of documents. Not just blogs, but creative briefs, CVs, reports, reviews, etc. Its way better than sending pdf that are not mobile friendly...
Social Media are taken as a powerful tool in increasing brand awareness
Thanks for the suggestion. We have tested whether people who sign up to the newsletter from appeals read it or click on link, and they do at the same rate as everyone else. :)
Does it really cost that much? It's actually cheaper here, so my previous comment about global pricing was not entirely true.

But I still find it too expensive, for my use cases that is. I used it because it was free(mium), I wouldn't have touched it otherwise. I'm sure it's valuable service for some, just not for me. I'd be willing to pay 2-3 beers[1] worth a month (but I would still be hesitant because I really don't need to).

This post was mostly about anti-user behavior from Spotify, perhaps because they can't afford free users.

1. cost of domestic beer (or local food in general) translates better than money across different regions across the world
> I do not own a Vita

I bought one specifically for Spelunky actually, then BOI came out which I went on to 100% Platinum on the device. I'd never have bothered to do that playing either of those on a PC.

Excellent device for games like these and the best d-pad I've ever used
There's nothing dirty or secret about this. The whole point of docker is to be lighter weight than VM, because you're sharing a kernel with the host. It's no surprise, then, that you can't run a container with an OS using a different kernel from the host.
Seems like the facts listed in the first paragraph are substantial indications for it having at least something to do with the attack. It wouldn't be the first time or the last time extremist muslims reacted violently. Do you have a source for that complete debunking?

Edit: The article as a whole isn't about just that incident either. It is about the growing suppression of speech from regimes of all kinds.
Some other legal restrictions on communication that aren't normally included in the "free speech" debate:

* Distributing pirated media/breaking copyright or trademarks

* Slander and libel laws

* HIPAA and medical information privacy laws

* Sharing information for insider trading

* Market manipulation by sharing false or misleading information

* Breaching attorney-client privilege

* Laws governing how jurors are allowed to communicate

* FCC and obscenity laws in US media

* Distribution of illegal porn (for various definitions of illegal)

* Holocaust denial laws in Canada and Europe

* US anti-boycott provisions that ban "furnishing information" about doing business with certain countries

* Military and government classified information (thanks rmc!)

There are many others. The point is we're always a bit selective about what counts as free speech, and there are lots of exceptions, some very well motivated.

These articles about "free speech is in danger" seem to be unnecessarily abstract: if you want to discuss the problems with Islam or the merits of social justice or whatever, don't argue about the way you're having the debate, just have the debate. Because our society doesn't really view free speech as a consistent principle anyway.
Sadly, there are enough people in my neck of the woods (Fairfax County, VA) that have trust funds and extreme privilege, that the essay didn't come across as satire. I literally thought this was just another oblivious rich guy.
It would be cool if the garbage collector could be written in the language itself.
Not accurate for me in the Bay Area, site said its raining but it's not, and not even in the forecast according to WeatherBug.
As traffic density increases due to inevitable population rises, this first-world claim of "its my street and I want it quiet!" will have to give way to practicality. It takes years and $Millions to upgrade major roadways for ever-higher loads.

In my area the rich manage to get speed bumps, intersection blocks and one-way signs installed to protect their extra-special selves from the world. I kind of resent it.
excuse my ignorance, but could you elaborate a bit on that.
The Rickest Rick [master theory]
It's a shame the article contains that flaw, but I don't think removing it materially damages the overall argument.
So this discussion doesn't apply to other online sites which do ship items?

What stops an ebay buyer from the same malicious litigation?
Nobody is going to die from radiation poisoning off the 10,000-year water unless they ingest it, and the hot stuff will be too cool in a couple hundred years at most.
ALL religions are cults
Any suggestions on where to start with Elm?

Learn You an Elm examples don't compile on the try-it-live console.

Official examples do, but fail to compile on a local install (after setting up elm package install etc).

Any suggestions on where to start troubleshooting?

It's failing to find modules that are in the core standard lib.
They're also kids. Kids make mistakes. Kids get drunk and think posting selfies is the best thing to do at that moment.

Kids grow up. They change. They look back and cringe. They think more for themselves than their standing in social circles.
To provide some clarity and background to the problem:

https://en.wikipedia.org/wiki/Lysenkoism

The left, even across cultures and vast geographic distances, has an unusual constitutional weakness against that specific mental disease.

Not implying, that the right has no unusual mental illness susceptibilities of its own, although that's a bit off topic.

Arguing with someone suffering from a bad case of Lysenkoism is about as effective as trying to argue my coworker out of being a type I diabetic. You can tell him all day long that its long term ineffective or environmentally wasteful or wrong or unhealthy or non-vegan or unpopular to inject insulin, but all that hot air talking is never going to wake up his pancreas. Ditto pointing out to people suffering a bad case of Lysenkoism that they're diseased is not an effective way to cure them. What does work is curing their political views, when that's possible, most of the time the patient regains their lost scientific reasoning capacity in that specific corner of genetic research.
A brief history of digital signage
Yes, not during the 1812 war when the White House was invaded. Not during the 1860s when our country was at war with itself. Not during the 1940s when we were in a depression and a giant war.

Every year and every election always seems more historically significant than it is - because you're living it now.
Only if it were live streamed. Since he didn't require that, he is a parasite as was already proven.
No-one except the invitees. The secrecy behind it generates lots of conspiracy theories, but to me it just sounds like a fancy high-flying networking event.

It might be interesting if they released info under Chatham House rules, but that would probably just feed even more conspiracy theories.
Dundee's no pure misty like, ye bam.
They've said that for a long time. It's why they are moving to WebExtensions.

http://www.tomshardware.com/news/firefox-improves-security-n...
It's really hard to say how our world will look in the coming decades...

On one hand, we have all this explosively liberating technology, cheap and powerful, that is changing the way we communicate and share information. On the other hand, you see the 'natural' result of all this power moving towards the individual: states and governments gripping tighter than ever to control it and maintain their elevated status.

It serves to illustrate how asinine our arguments over 'appropriate' speech are. The result of any kind of forced censorship is the same no matter what the content of the speech is : less freedom.
Salesforce Creates $50M Venture Fund for Developers
VSCode has regex support in find all (it's the little .* that you see on the right-side of the search box).
Time to get a new password.
In this case a garbage collector is unnecessary. In this Lisp, list structures are immutable, which means it is impossible to create a list with a cycle. Thus, the interpreter can use basic reference counting without fear that anything will leak.
Cooling a MacBook like this seems inconvenient, but it certainly works.

However the second picture in the article - where someone is using copper coins on an internal computer component - is utterly stupid and dangerous. Copper is one of the best conductors. If one of those coins falls onto the mainboard it could easily short out something. In the best case you break your mainboard, in the worst you start a fire.
The entire premise is that this waste is going to be toxic for 10,000 years. So we're not allowed to posit 'cool in a couple hundred years'.
Is it likely that someone is actually going to look at your password in a breach that may contain several million accounts? On top of that, if it even gets cracked (if it was stored and encrypted properly in the first place).

If you're really personally targeted, then I agree with you. But for a casual person it's probably an easier thing to convince them of doing this instead of installing a password manager.
Predicting the Upcoming Primaries Using Twitter Data
Very good point, and many don't realize the restrictions we already face, even in the United States.
Punning means that we have two types, and we somehow interchange them; use an object of type A, as if it were of type B. We thereby leave behind the type system and take responsibility for that being correct.

If a language doesn't have a Boolean type, and some other type serves for indicating truth/falsehood, then that is a representational technique distinct from punning.

A language with no Boolean type can be statically typed. It just means that the conditional operators work with some non-Boolean, like integer, yet according to well-understood rules. For instance if we have some "if expr foo bar" such that either foo or bar is evaluated based on whether or not expr is zero. This would be statically well-typed if expr has integer type and foo and bar have the same type.

Of course, we can't do pattern-matching whereby a value is classified as Boolean or integer in separate cases. (Unless we use the language's type construction ability to define a Boolean type which wraps integer, or whatever).
File-based CMS: pros, cons, candidates
> You're assuming the conclusion that consciousness isn't just processing external stimuli with internal state to generate output signals, just a particular form of it.

Yes, that is my assumption, because that is what I observe (only in my own mind, of course – I don't know how to observe it in others). I'm not alone, many (most? all?) people are claiming to observe that.
Source? (I actually have no idea what caused the attack on the embassy.)
The pyramids were covered in a beautiful coat of white limestone, which was robbed within a century of their construction.
Also hashcrack.org where you can use paypal, visa, bitcoin or even fancy ethereum for your shady cracking needs.
Utility Software Services | Melbourne, Australia - ONSITE | Ravi.Chandiramani@utilitysoftwareservices.com

We are looking for an intermediate to advanced full-time Java developer to join our team of 6 programmers.

A sampling of our tech stack; Java 8, Maven, SBT, Play, MySQL, DynamoDB, Akka, Kafka, Kubernetes and Intellij IDEA. We’re not expecting applicants to know it all, we’re far more interested in your ability to learn, and your passion for being part of something cool.

As a team, we’re small and nimble, and nothing excites us more than a quiet day at the office just churning out code.
Send us your resume, brownie points for sending through your github or stack overflow account details as well.
Tinder for a11y color palettes
Too true. When Hillary wins she will undo Citizens United to make sure no one can make a feature film that criticizes her ever again. Sure, you might be able to make a book, but so few people read it could never matter.
Seems to be common among compiler theory people

http://www.cliffc.org/blog/2012/03/24/too-much-theory-part-3...
The clickbait is real with this one. Nothing shocking or "secret" here that a 30 second skim of the documentation wouldn't reveal.
As a maintainer of dozens of fairly small OSS projects on GitHub, I learned early the importance of 'No'. Also, unmentioned here, you have to be willing to ignore the 'me too' present in a lot of PRs and feature requests; what's most important to me is 'will this new code/feature make the project easier or harder to maintain?'

If harder, it had better be a stunning new addition that makes the extra maintenance worth it... And often, it had better include an automated test!
I am being sued, in East Texas, for using Google
Secretary of State Hillary Clinton: "we know the attack in Libya had nothing to do with the film. It was a planned attack, not a protest."

https://en.wikipedia.org/wiki/2012_Benghazi_attack
This is of course also true of linux running on a different architecture such as power, you need specific images that are built for that architecture.

I wonder if the author noticed that none of his docker images were actually running on Mac OS...
Google Is Quietly Recording Everything You Say
You either persist or you fail
DuckDuckGo's Partnership with Yahoo
A good summary of some unhappy comments is that its an experimental reboot of a vast new system. Most of the people who are unhappy went into it expecting something very small like "uber for the jvm" or "the twitter of functional programming" or similar.

Progress in IT / CS has dramatically slowed over my life. Urbit feels much like 80s home computing, where forklift upgrades of everything you know was "normal" in the extremely rapid transition from Altair CP/M to an Amiga to a SunOS box or whatever path. Nothing is new in the last 20 years, at least compared to the incredibly rapid pace of change in the first 10 years I was into computers. I'm just saying that however unthinkable a forklift upgrade is culturally in 2016, in 1986 it was considered to be "great fun" not a problem or a downside.
RMS does edit things sometimes but most of the editing comes from the volunteers. That particular note is both for and by me.
Slackers
There's a glaring omission in the Economist's articles on free speech: the effort to criminalize BDS activism. [1]

[1] https://theintercept.com/2016/02/16/greatest-threat-to-free-...
I don't know, islamic terror in particular seems to stand out from the rest. I mean, china, or the mexican drug lords are directly defending their interests. Islamic terror is not, it's revenge against a nebulous 'enemy' that they are being forced to tolerate (terrorists are not defending the honor of the peaceful muslims (who wouldnt even read charlie hebdo); instead they are trying to radicalize them).

> he could not live “in any country where free speech is allowed”

There is something to be said about incompatibility of certain cultures here.
The Dangers of Disruption
That particular bit isn't scripted (I just haven't gotten around to write a script for it) but a bunch of other things are the site are done with perl scripts.
Feature suggestion: easily get direct links
3D Printing Filament Brand Overview – 3dprintmaterials.guru
If you have to develop 100% accurate human detection and avoidance systems in order to avoid catastrophic tissue damage for users of a mild convenience, maybe you should pack it in.

Some things are worth the risk. Spaceflight, experimental cancer research, assassination of despots, hazardous waste storage technologies. Sometimes you really do need to crack a few eggs to advance humanity.

But the 'advance' we're talking about here is the trivial convenience of not plugging in your phone.
How to use financial data API with Python
Well if you ever need help with the iOS version, we still could. :-)
Just because the attack was planned doesn't mean that it had nothing to do with the movie. From the article you linked to:

> Captured suspect Ahmed Abu Khattala stated that the assault was indeed in retaliation for the video Innocence of Muslims
Most of those involve people entering into contracts or making agreements not to share information (pirating, medical information, insider trading, market manipulation, attorney-client privilege, jurors, probably anti-boycott?). Slander/Libel, obscenity and holocaust denial are the only ones on that list that I think are truly problematic.

I don't think holocaust denial should be a crime. Yes it's despicable, but I'd rather put it in the same category and hollow earthers and UFO spotters. We can't legislate people out of their own stupidity. It's not going to stop people holding such views or circulating them among themselves anyway, so it's utterly pointless.

For me Porn is easy too. If it only involves consenting adults, it's fine. If it doesn't then other crimes have been committed and distributing it is de facto complicity by association in those crimes.

That only leaves slander and libel. These are civil, not criminal matters and should be prosecuted as private matters based on the harm done to the individuals so slandered or libeled

I'd add incitement to commit crimes as an issue. But that falls under complicity or conspiracy to commit a crime. If the speech in question doesn't cross that line, then it should be free.

Anything left?
"Free speech" is not "free beer." Shouting "fire" in a crowded theater has been widely accepted as harmful speech and as such is not free.

As an American, I have the right to bear arms (ok the constitution actually says not to infringe on "a well-regulated militia" but bear with me), but not the right to spray automatic gunfire wherever I please.

I disagree with your assertion that "our society doesn't view free speech as a consistent principle." Of course we do. Free expression is a staple of Western civilization, and shows us how far we have come from mandated religion and the sanctity of the nobility.

However, free expression can be damaging in certain circumstances. It is a testament to the strength of our civilization and our values that we find ways to mitigate the harm from certain kinds of expression, rather than scrapping the 1st Amendment altogether. It lasted over 200 years, why not 200 more?
wont match \n though https://github.com/Microsoft/vscode/issues/313
Facebook Live takes on game streaming like Amazon Twitch, YouTube
I would like to add one more issue to this. In India local roads are narrow and it is mostly two lane or 4 lane with heavy traffic blocks. Even if someone tried to carry someone to hospital,(op already has mentioned about the ambulance crisis, and don't even think about air ambulance), he/she will be met with roadblocks after roadblocks.
They are adults.
Growing up, I had superimposed the belief that the central circle was supposed to represent an original infected cell, and then, I thought the sharp hooks were supposed to be forming three new infected cells violently emerging from the original infected host, destroying the host in the process.

The imagery seemed to make sense to me, since viruses load up in a cell, and force the cell to churn out copies until it explodes.

I figured the knifey looking sharp hooks were just stylization, to communicate danger and get the point across. (see what I did there?)
Author here. Thanks for your comment. I figured this would be obvious to some.

Question: do you know of a good resource that describes docker in these terms, such that what I wrote about isn't surprising?

The official architecture page [1] doesn't illuminate this issue. To be fair, it isn't super relevant—so long as you run Linux, OS X, or Windows. When you run alternative OS's, though, it becomes pretty important.

[1] https://docs.docker.com/engine/understanding-docker/
> [in response to the idea that IQ doesn't change over time] Think about how it would it be if it was the other way around; there might actually be some bad outcomes. Because then parents would be able to totally control their kids with bad parenting, and wreck kids’ IQs for the rest of their lives. Governments could have big influences on people’s IQs by enacting different policies toward different sets of people in the country.

I can't quite put my finger on why I find this assertion so loathsome. As though having autonomy over your intelligence is somehow a betrayal to what I imagine is the interviewee's sense of societal "fairness" or "equality".
Well, of course, the Electron framework, which is essentially a stripped down Chrome browser, consumes more hardware resources than a terminal-based text editor.

On my machine (Core i5-4590, no extra graphics card, 8 GB memory), once it's open (which takes a while), it's nevertheless very fast and definitely not sluggish.
The page should probably hide the score of the color palette you're currently rating. After you notice it, you can easily be influenced by it. Showing it after voting would be interesting though.
In public I want a reverse voice assistant. Think the movie Her but I don't have to talk back. I want hardware that is in my ear but still lets me hear normally. New text message spoken to me, same for email, calendar, etc. I don't want to even have to look at my phone to get information, and I want it to be invisible. Augmented, I didn't ask for this, well actually I did.
It is the corner stone of the Benghazi investigations. HRC wrote in an email that they "knew" the attack was planned and had nothing to do with the video yet kept repeating that it was because of the video to the public. Her defense was pretty pathetic. [0]

[0] https://www.washingtonpost.com/news/post-politics/wp/2015/10...