skysight-inc/HackerNews huggingface dataset:
We are doing the exact same thing with political messages that we label "extremist" or dangerous. (for example: political messages of radical Islamists)

And lets be serious: the US and EU would never accept or allow that a Chinese social network is as successful in the US/EU as Facebook is right now, with all the private data potentially getting into the hands of the Chinese government. If something like that happened, I'm pretty sure we'd just block those websites.

Just look at the US paranoia that Huawei had to deal with. The US senate (and UK/Australia) restricted their business and subjected them to additional oversight. Also, they warned South Korea to prevent a deal between Huawei and a South Korean telecommunication company.

They didn't even show any evidence for their suspicion of backdoors, it's sufficient that it could be possible.
> We were going to change the world, "with _science_!"

This is not only a hippie thing. Many conservatives have faith that global warming or pollution will be eventually solved by science.
The assumption is among other things that it is correlated with past voting for the SNP, eg see (a few months old) http://blog.whatscotlandthinks.org/2014/07/who-is-right-youg...
> I'd prefer [...] that the patterns were editable (e.g., typing '&' during a filter would show the currently extant filter for modification)

If you type '&' then the up arrow, you'll get the previously entered pattern(s), which you can then edit.
Home Depot hit by same vulnerability as Target
RESERVE Your FAVORITE USERNAME IN NEW STARTUPS
Awesome! And I confirm it does provide from looking through bug reports. As to whether better, I'd be wary to any claims, but I think I might give it a try!

edit: argh, yes, now I see that it's mentioned in the original blogpost; haven't read it to the end :/ this->facepalm();
Python: Triple-quoted strings act the same as `pass` keyword
It’s not really a smartwatch (not that it matters). I do like the different approach and I think it’s very promising, but it’s still very specific in what it does. It’s an activity tracker plus watch. There is nothing wrong with that, but it’s also limited to just that. I would expect more from a smartwatch (but maybe no one needs a smartwatch anyone and this is a much more promising model for the future).
> The application stores all your notes in your browser local storage spaces such as indexedDB or localStorage, which is good for security reasons, because only you have access to them.

Unfortunately the reason I use Evernote is to quickly document then later share idea docs with the other members of our team - Any chance of a future server-side storage?
Apart from semantic acrobatics, there is a practical need for defining causation in science and technology. The cause has to have a temporal precedence and be necessary.

> Causation in its purest form can help us understand the nature of reality, but it can't help us predict anything

huh?
social.7sheep.net is also available.
I find that floating point story hard to swallow. It looks like they went "huh, this CPU benchmarks roughly as fast as the others, but we find it slow in practice. Only floating point benchmarks lag behind the competition, so that must be why!".

Floating point instruction are rarely used in common software. They're important in rendering (which is offloaded to a GPU in this case) or scientific computing (which is irrelevant here, unless you were planning to fold genomes on your watch).

It's possible that this OMAP came without an FPU to save space and power.

Most Linux software for ARM is compiled with softfloat anyway, because it rarely matters for end users, and lots of ARM boards don't have an FPU. Some distributions have a separate armhf version, which does use hardware floating point operations.
Not necessarily. Remember the huge problem with 2013 Nexus 7 having wifi and bluetooth on at same time? Many bluetooth keyboards and some other accessories just wouldn't work at all with wifi enabled. It was broken for the longest time. Looks like it still is not working properly for some users:

https://productforums.google.com/forum/#!topic/nexus/ORce7P9...
If you want to get your data programatically, Google do not provide an API.

You'll need to "borrow" your own cookies. I documented the process at http://shkspr.mobi/blog/2014/04/extracting-your-own-location...
Most racists are xenophobes, but not all xenophobes are automatically racists.
WeChat is not blocked in the USA. Nothing is blocked in the USA actually, they don't have the infrastructure for it and the lines out aren't routed through central points as in china.

If you think US censorship is even in the same league as Chinese censorship, you need to come visit for a few weeks.
I'm also pretty sure that was print_r not var_dump.
JetBrains C++ IDE Early Access Preview
It's a layered and weaved history. Northern Ireland's Gaelic culture is historically related to Isle of Mann and Northwest Scotland's Gaelic cultures. At certain points in history the spoken dialects, kinships and such were closer between these regions then they were between Northern Ireland and other parts of Ireland. Dublin was a Gaelic-Viking town, later a Anglo-Irish-Norman town.

During the 16th-18th centuries, "The Plantations" there was a lot of migration of Loyalists from the Scottish Lowland. Their descendants make up the majority of the island's Presbyterians. Some still call themselves (or their subdialect of English) Ulster (Norther Ireleand) Scots.

Obviously there is even more weaving and layering. There are mountains of historical threads, cultural similarities. The Highland clan system is related to the Northern Irish system. There was trade dating back to prehistoric times.

When Irish Nationalism was on the rise, strongly Republican and strongly Catholic, these people developed their own Unionist political identity.

The whole thing is predicated on being in the United Kingdom. With political identities UK becoming Welsh, Scottish, English, even Mannish (Is there a Cornish nationalism?), where does that leave the Ulster Scots (who generally don't go by that demonym)?

Confusing.

Maybe it will confuse some sense into the situation.
Nope, the thing seems to work.
Are you asking someone to explain why news organizations use "catchy" headlines? Perhaps you want to know why certain metaphors are used in business? Somehow, I think you already know the answer.
I had a look at the video and it really seams nice, but for me the cost (learning yet another tool, integrating it into your workflow, dependance on yet another big-size software project) is too high.

The fancy stuff they show you are in my opinion just short-comings of C++ [activate flame-war prevention system] or not THAT important in development. E.g.

- implementing getters/setters: just make the thing public, the whole private/public bullshit is too shallow

- implementing methods: inheritance is normally used with caution and is just a small part of your application (e.g. a core that uses it); you will think about getting this abstraction right (your inheritance tree) and the time it needs typing the text to implement the methods is often small in comparison to the thinking over inheritance.

- completion: IMHO there are different modes you are in, while coding: (0) prototyping (researching the problem, reading API documentation) and (1) implementing a robust solution; In the first case, again, the time it takes you is more constrained by the thinking you do, and in the second case you probably know the API and important functions already (from the previous step) so the auto-complete is not needed anymore.

The coolest thing is the renaming which really might help you tackle one of the hardest CS things (naming things). Furthermore I would not use the Shape example as it is too far fetched from reality. It's like the "let's implement fibonacci numbers" in the FP world. And how do they manage "Makefile" only projects?
Steps to Secure Mobile Device Apps
Not a strong one in the context of international law. But, There was a Crimean referendum and as illegitimate as it was, Crimea is now permanently Russian and the majority of locals seem to be alright with that.

If the UK releases Scotland peacefully and legally with full international recognition of the process and another region with national aspirations does the same elsewhere in the EU... That's how common law is made. Common law is hard to deny.

Obviously there's hair. Who gets to call a referendum? Who gets to gerrymander it? etc.
And why cant they be?

If there is a breakthrough in energy a lot of things become possible to fix with brute force approaches.
I'm not a big fan of Evernote, but seeing Evernote consists of a whole suite of various collaborative note taking/memory helper products (not just Evernote, but Skitch, Penultimate and others really provide added value), with native app clients on nearly all platforms, this is not an alternative to Evernote. Evernote can be used as a simple note taking utility, but it is in fact much more than that.

This is not to say that this doesn't look a nice note taking app. It really does. I'm just pointing out that "being an alternative to Evernote" entails a lot more than being a nice-to-use web app. It's like claiming you have open source alternative to Photoshop - and after clicking the link you end up looking at GNU Paint instead of GIMP.
Wouldn't you still need to do a combination of filtering and manual moderation even with a subdomain? What would stop someone from creating something like 'login.7sheep.io'? If you are spoofing a domain, you probably aren't too concerned with what the TLD is and are counting on people to glance over it.
The definitions of the semantics of both the input language and the output language of CompCert are operational. If you want to prove functional properties of programs written in the input language with respect to CompCert's definition, you will probably have to define Hoare-Floyd-style axiomatic semantics and then prove that this definition is equivalent to the operational semantics definition.

An informal version of this proof for a toy language already exists in good textbooks (for instance Winskel's The Formal Semantics of Programming Languages). It is just a matter of scaling up to C and scaling down to the formally verified level.

I should also point out that there is an ongoing research project that takes the same approach, with “Abstract-interpretation-based static analysis” instead of “verification of functional properties”: http://verasco.imag.fr/wiki/Main_Page
Great news~

Only minor disappointment for me was that you can only use it on windows with gcc via msys, and you have to struggle through that install yourself. Given that there's a build of clang* out there for msys already that would have been nice to support... but I guess it's still EAP.

* http://sourceforge.net/projects/mingw-w64/files/Toolchains%2...
How Ted Melfi Got Bill Murray for 'St. Vincent'
Didn't they already have some kind of C++ IDE before? AppCode maybe - but that was OSX only I think.
Don't know if the Artus V12[1] is smaller but it's an actual combustion engine not an air pressure driven model of a combustion engine.

In that category it might be even still bigger than a pneumatic LEGO engine[2], but still an incredible feat in craftsmanship.

[1] http://www.artus-motor.com/artus-v12-motor/

[2] https://www.youtube.com/watch?v=5bKIdqh6ARA
This is actually a pretty minimal effect historically:

http://theweebluebook.com/assets/images/uk-govts.png
Sounds like you've never used a jet brains product before. Seriously, it's worth a download just to play with even if you only do it for ten minutes and then throw it away.

You may be surprised at how much of a productivity boost it is (and yes, intelliJ can be slow; but it's nothing like as rubbish as visual studio).
Yeah, I've been using AppCode for C++ on OS X for a while, and switched to CLion a week or so ago. CLion doesn't provide much more on OS X other than native support for CMake projects, but unlike AppCode I can use it on Linux as well.
New startups first 24 hours
The arrow of time. Randomised experiments.
You'd be surprised. A good poker player will bluff a lot. Up to 1/3 of the time on the river when he has nothing, more when he has a draw before the river card, and almost always with a strong draw.

There is no way to exploit this kind of strategy because as long as you're not bluffing every time (remember, he still has it 2/3 of the time or gets there before the river) you have to consider that he's not bluffing sometimes.

I guess the business analogy is that a founder will bluff more often if he knows there is a lot of real potential.
You can just use Google Takeout, IIRC.
This thread is dead now, but a quick response - it's not (just) less of a signal, it is a very different signal, which is important.

I wasn't addressing at all the issue of whether some group of people want to get rid of a product entirely which I had hoped was clear.

"The market for food" is a very broad category and contains many markets.
Revisiting the Moon
I think it'll be around for a while but it's definitely in a strange place. Some of the pages like the signup page and checkout settings page ( https://checkout.google.com/inapp/merchant ) just give a service unavailable error half the time, and it's been that way for months. And in the merchant center, the 'Business insights' section doesn't work and hasn't for months either. Last week we couldn't access our order history for a few days. The sandbox payments environment doesn't work most of the time either, and even production sometimes has errors loading the payments screen.

It's also really limited in that there is no API to get order status to check if a subscription is still active - so if you miss the cancellation postback, you have no way of knowing which subscriptions are active and which aren't. You also can't change the value of an active subscription. That was the biggest thing people were asking about when they introduced it at IO three years ago, and it's still not fixed.

So if you are in a country where you have a better option you might want to consider it :)
Interesting, they came up with ReSharper for C++. I wander how that compares to Visual Assist.
When you talk about protestantism what exactly are you referring to? There are many, many variations/denominations. Some are rational like you describe, others are nuts. Same goes for any religion and even the people within a religion. There is a broad spectrum of catholics. Some rational, some nuts.

In my experience people of protestant denominations tend to be more irrational/faith focussed than catholics who tend to question more. An example is that in my country the people trying to prevent gay marriage are protestant and believe homosexuality an abomination (because of bible teachings) whereas the catholics (and some more rational protestants) want to legalise it (obviously not priests/bishops etc. but the politicians involved in the decision making).

I guess my point is that when it comes to religion every single person has slightly different beliefs or puts slightly more emphasis on some beliefs over others.
ftp
docs
Nitpick: if Elixir is an "Erlang wrapper", then Dart is a JavaScript wrapper and Clojure is a Java wrapper.
Nielsen Finds Older Adults Are Embracing Digital Video
Use a language X. Language Y is too bloated.

Really, now that we have some of the features of language Y in most languages, language Y is obsolete. There was a time when you needed to use language Y to get feature A, but it's not the case anymore.

Can you see all the logical fallacies in your post yet? You criticize Lisp for being too bloated and in the very next paragraph proclaim that it had features that none of the other languages had, which necessitated its use. Well, guess what? This is still the case.
As I remember AppCode is a native (non-java) app, right? CLion requires Java/JDK which is a huge deal breaker for me, for things like IDE.
This is timely for me. I'm still new to C++ and have been using vim so far. I'm having trouble figuring out a way to easily refactor C++ code (e.g. renaming things across multiple files). In Python there are vim plugins which do a good job of this, but I haven't found any good plugins for C++ refactoring.

It might be worth learning a new environment if it makes this easier.
The benefit of those is generally teaching kids how to pass the entrance exams for good secondary schools.
Why would you consider Z85 to be a better choice? When you take URI encoding into account, Base64 is both simpler (no need for %-encoding)[0] and more space efficient (1.75 URI characters per byte for Z85, and 1.33 for Base64)[1]. The very first line on jwt.io says, JSON Web Token (JWT) is a compact URL-safe means of...; being URI-safe appears to be an explicit design decision.

[0] All but six of Z85's special characters get encoded by Javascript's encodeURIComponent:

: + = ^ / ? & < > [ ] { } @ % $ #

[1] URI-safe versions of Base64 (as used by JWT) use 4 characters for every 3 bytes. Z85 uses 5 characters for every four bytes, but 17 of those 85 characters require three URI characters to represent, meaning that a Z85-encoded byte requires 1.75 URI characters per byte on average:

(68 * 1 + 17 * 3) / 85 = 1.4 uri_chars/char
1.4 * 5 / 4 = 1.75 uri_chars/byte
Never used Genera or the likes (am a youngster). I have seen screencasts though. I have been mostly influenced by Acme of Plan 9 and the Oberon UI (also only through secondary sources). I am also stuck on UNIX so I had to deal with that in some way, also I know my way around UNIX so I felt it was easier to integrate UNIX with CL instead of learning a new OS.

My time with UNIX also made me fond of text files so a lot of my "stack" is optimized for plain text interfaces (e.g. the email client started because I didn't like the directory structure of maildir). Also I wanted my mail in a git repository.

> Did you build this all from what you thought you'd rather use

Kind of, its a compromise between what I wanted (a CL OS, optimized for simple text interfaces and CL hacking) and what was in reach. At some point I decided to go the path of least resistance, move my CL stack closer to the UNIX/Slackware stack and reuse and integrate as much open source software as possible.

The result is a very thin layer of CL and Elisp code and some CL apps which combine to a UI I feel comfortable with.
Disney's spinning armadillos defy gravity
AppCode is a java app as well - it's built on the IntelliJ platform which is java based.
Blocktech are trying to do something like this with MovieCoin[1]. They contacted PopcornTime about it but I'm not sure how far their technology is at the moment

[1] https://forum.ethereum.org/discussion/427/moviecoin-worldwid...
Urray! It is finally here.

Looking forward to the Android Studio integration.
Yes, it is a bad UX that the session expire randomly and how to handle this is a whole subject per se.

Here are my two cents:

- Web Apps: If you set an expiration of 1 week, do not use the token for 1 week. Use it for a day and then use the token to get a new token. This way every time your user uses the application, he gets one extra week logged in. This is not different than the normal concept of session and cookies.

If the user does not use your application for a week, next time he go to your app, he will have to login again and this is fine and widely accepted.

- For Mobile/Native Apps: you can use the same explained above, but that's not how most of the mobile applications work these days, I can open facebook after a month without using it and I'm sure I will not need to login again. One way you can do this is to use a refresh token that never expires to fetch a JWT that does expires. The problem with a token that never expires is that it never expires, what happen if your phone is stolen?. In my opinion, there must be a clear and easy interface where the user can revoke these tokens but looking at random alphanumeric characters wont help, so the best practice will be to show something like "Revoke access on John's IPad" this means that the refresh token must be requested for an specific device name.

Certain events can trigger things, if you lost your wallet (at least in Argentina), first thing you do is to call the bank to disable your credit cards. If you forget your laptop in a friend's house and you don't want then to read your Facebook you will probably change your password. Changing the password is usually a good event to

1. Revoke all refresh tokens (for native apps)

2. Anchor the "iss" date for JWTs, this means that tokens issued before the last password change are not longer valid.

Because changing the password can have other purposes, you can also put a prominent button in your UI: "Close session on all browsers and devices", this will delete all refresh token and store the timestamp to check against the JWTs.

We might write a blog post soon about this on Auth0's blog: https://auth0.com/blog.
Using network block device on Android
Which is where Qt Creator currently shines (would be interesting to hear from someone who has tried both) :)
I think the crusades weren't as bad for Islamic development as we like to believe. The Mongol invasions which happened around the time of the last serious Crusades in the Middle East probably did more lasting damage.

The cultured Islamic states were basically conquered by nomadic pagan hordes, while at the same time being battered by the crusades. For instance, look at the sack of Baghdad by Genghis Khan - a major center of science and learning at that time.

Eventually the nomads - Mongols and Turkic tribes - eventually settled down and converted, but a lot was lost and the focus on discovery and science never reached the same level again.

(Note: this is not historical revisionism where I'm trying to minimize the evil that were the crusades. I'm not saying the crusades weren't really really bad, they were. I'm just saying the Muslims were capable of repelling the Christian invasions and retake lost territories without being damaged beyond repair. At the same time, a lot of those who fell to Mongol expansion were wiped of the map for good or reduced to tributary kingdoms.)
You'd certainly find something to interest you in the Ascent Of Man documentary series, although it covers many other areas.

Cosmos was based on it. Potentially the greatest television programme ever IMO.
And on the sixth day, God fabricated man.
Breakup letter to Node.js
The link sounded like linear types, which they talk about at the end. There are plenty of apps that don't need full on C++ performance and can't afford the dev costs anyways. Garbage collection isn't the big problem for these apps; getting the code to work is.

The analogy between memory management and data race avoidance is apt, but not in just the way you're thinking. We can also build slower garbage collection-like systems for automatically handling data races, further improving programmer productivity [1]. In this case, unrestricted sharing is still allowed, and the run time just takes care of it (for a price, of course).

[1] http://research.microsoft.com/en-us/people/smcdirm/managedti...
Top Software Technologies Trends by Google
Are you magnetic?
Solving fine art using astronomy
The Importance of Intellectual Property Management
Monday Vibe: A Sweet Perspective on Swift
I have to say, I'm a big fan of JetBrains products. I use PyCharm pretty much every day and love it.

The only thing that I am not a big fan of though is having to install Java to run any of their IDEs. I'm not a Java developer, and have no need to install it on my system, so having to install it just to use my IDE is a bit of a pain. Small price to pay I guess for an otherwise great product.

Congrats to the team on another great-looking IDE.
Looks like a binary star, similar to the two suns of Tatooine.

http://en.wikipedia.org/wiki/Binary_star#mediaviewer/File:Or...

OP: This is an amazing tool to learn the sensitivity of dynamical systems to initial conditions. Well done!
End of the world: God particle could DESTROY universe, warns Stephen Hawking
Btw, OnePlus is a Chinese company headed up in Shenzhen.