skysight-inc/HackerNews huggingface dataset:
> The Conundrum of Iran.

> Iran will be a major player on the world stage in the decades ahead, and its actions and behavior will have a major and enduring impact on near- and long-term US interests on a variety of regional and global issues. With a population of over 70 million, XX percent of the world's proven oil reserves, a geostrategic location of tremendous (enviable?) significance, and a demonstrated potential to develop a nuclear-weapons program, the United States has no choice but to find a way to coexist - and to come to terms with - whatever government holds power in Tehran. [...]

> An unfortunate hallmark of US-Iranian relations since 2001 has been [the] growing divide between Washington and Tehran, chronicled by bombastic rhetorical broadsides that have been hurled publicly by each side against the other. The tragedy of the al-Qa'ida launched terrorist attacks against the US homeland in September 2001 prompted the US administration to engage in a far-reaching campaign to eradicate the sources of terrorism, and Iran, understandably - but regrettably - was swept up in the emotionally charged rhetoric that emanated from Washington under the seemingly all-encompassing rubric of "The Global War On Terrorism". The gratuitious labeling of Iran as part of a worldwide "axis of evil" by President Bush combined with strong US criticisms of Iran's nascent nuclear program and its meddling in Iraq led Tehran to view that Washington had embarked on a course of confrontation in the region that would soon set a kinetic focus on Iran. Even Iran's positive engagement in helping repair the post-Taliban political environment in Afghanistan was met with indifference by Washington. [...]

https://wikileaks.org/cia-emails/The-Conundrum-of-Iran/page-...

While this leak may not be particularly confidential nor surprising to informed readers, I'd say reading this kind of insight into what US leaders really think is pretty damn interesting.
"While economists tolerate models that are not constrained by accounting identities because, for some reason, economists do not seem constrained by the need for their models of the economy to conform to reality, any engineer whose model for a bridge requires that two plus three equal seven would find it hard to build bridges(...)"

To choose just one of many money quotes (if you'll excuse the pun). Really insightful post.
I am not ignoring any of that. Nothing says that you can't work with non-constructive logic in a programming language, or analyze non-constructive logics as programming languages. In fact that can be extremely useful although it's also, at present, difficult and not super common.

The things you listed are extremely close to one of the foundational fields of CS, namely programming language theory. It's funny that you should bring up the law of the excluded middle because I learned a lot about it by studying PL theory: did you know that adding callCC to your typed lambda calculus turns it from a constructive logic system to a classical one? And that double negation translation is just a CPS transform which, at least for me, is a heck of a lot easier to reason about than proof theory directly?

Everything in math is, at least in theory, provable. Provable in a discrete system (ie a formal logic) even if it's reasoning about something that isn't discrete. So there's nothing fundamental stopping us from doing exactly the same proofs in a formal system that a computer can understand. Oh, say, a programming language.

Of course, with current technology, it's difficult from a practical standpoint, but there's nothing fundamental stopping us. And ideally it's something we should do to ward off errors and also to create proof artifacts that can be analyzed and manipulated systematically.

Wouldn't static analysis for mathematical proofs be great? Or papers written as libraries so that relying on a lemma literally links against the proof it was first defined in.

Seriously, if you dive into PL theory you'll see that the line separating CS from math doesn't really exist except as a social and technological phenomenon. (Lots of things are fundamentally possible but too difficult to do in reality, at least right now.)
> So, then is it correct to say that an outside observer can never tell if a particle he/she is looking at is actually entangled?

Correct. Entangled means these two particles have correlated measurements. If you don't have that second particle then there is nothing to correlate with.

> This observer would never know it was in a superposition

Superposition and entangled are two different things.

A particle can be in a superposition and not be entangled. (But not the reverse.)

> I can give you a particle, tell you it's in a superposition but you'd have no way to verify this.

Correct.
If by football philosophy you mean "the thing about Arsenal is...", skc got it right I think because 15 years ago he was definitely considered 'progressive' or 'modern'. But now I think he's considered "a stubborn old man" because of a "lack of a plan B...". (Of course, past few seasons that "lack of plan B" criticism is not really relevant anymore, but you probably know what I mean.)

About football the sport, I've always seen him as 'progressive' because for example he has always advocated for video replay technology to be used, goal-line technology to be used etc. And so it's definitely possible that he's not afraid of using all the technological help he can for coaching.

It's just that he has rejected using 'technology' to help his coaching in the past. By which I'm referring specifically about him not using video replays of how his opponents play to coach his players with (which has since changed). But I think that is more the case of just not being part of his coaching philosophy, rather than not wanting to use 'technology' or something.
I could see this starting as an opt-in for a little bump (of rate, score, etc.) in your favor, like how the car insurance companies give you a discount if you let them log your driving and it shows safe behavior (e.g. https://www.progressive.com/auto/snapshot/)
That's very cool.

You can do something similar using Chrome's console output. There used to be an intro that worked by rendering a canvas as ascii but it's broken in newer Chrome - http://sandbox.photonstorm.com/console.log/ (it may work for other people). I figured out how it works and made a little animation to explore the principle - http://ooer.com/console/i.html (You'll need to change the height of the console to fit 16 lines of output)
... and they named it Marty.
I'm digressing a bit, but what language is used here? A skim-over looks like Prolog, but recommendation links at the bottom say Scala. Are the functions (when, and) predefined and not part of the language itself?
I think it's fair to say Arsene's ability to buy bargain players has died up. Gone are the days of Henry/Viera/Van Percy coming in as mediocre players only to be indispensable a season later.

I think if you look at some of the more recent meteoric rises, they all seems to come from lesser leagues or clubs, BVB/Juventus/Atlético Madrid/Porto, and to some extent Liverpool/Spurs (Bale/Suarez/Sterling/Coutinho/Kane).

I think signing a player with potential is only part of the issue, the key is playing, developing and nurturing them. With teams like BVB/Juventus/Atlético Madrid/Porto they are either in easier leagues where a player doesn't have to be the finished article to excel, or financially constrained to not be able to purchase the finished article. With Spurs and Liverpool they fall into the later category so are forced to give youth players a chance.

Take Kevin De Bruyne as an example, an obvious talent purchased by Chelsea, but not played because he wasn't quite finished (perhaps only in reputation rather than ability). Sold to play in a lesser league where he excelled, and then purchased for 50 million where his stature and starting place are then almost granted.

These days I think Arsene is stuck in a position where he has the money to spend, but ideally want's to return to his roots of nurturing young players. However the fans and board aren't willing to gamble on youth, in favor of signing 40/50 million finished articles.

A few million on an analytic company isn't going to break the bank, and may be more valuable in opposition analysis than finding the next rough diamond.
Why wouldn't you?

I post default-public, on purpose. I welcome everyone to stalk me on Facebook as much as they like and to comment on anything that's interesting for them. I have very little personal secrets I want to limit access to, and generally live a single life. I understand it's a privileged position, as I'm just a pretty average straight, white, male, cisgendered, neuro-sort-of-typical Western geek, but I see no reason to post private when I don't need it.

I understand most people limit posts to friends or friends-of-friends (the latter is I think the default setting on Facebook now), though this kind of annoys me when I want to learn something about a person I'm not friends with and see an empty profile, or when I want to share a post from one friend to another friend (usually in a private message, in the form of "look at this insightful post or funny picture I saw on my timeline"), but the former has the post visible to his friends only, and the latter isn't friend with them. There are trivial workarounds for last case though.

EDIT: I'm not telling anyone that they should go full-public. But OP seems to be bewildered by the fact that some people do in fact keep full-public profiles on purpose.
There's a company that basically makes a "Stage 2" DeLoreans, fixing pretty much every single problem with that car, but it would cost you pretty penny.

https://www.youtube.com/watch?v=3L1LPQlao3I
Small imperative functions are just as easy to make bug free, I don't buy it.
Nevertheless, one should be very careful with unescaped queries like that in nginx. There is a reason frameworks exists around such topics.
Will Real-Time Messaging Personalize Business Communication?
Opta certainly hope so. They have, and licence access to, a colossal amount of sports data and I imagine clubs that don't have the resources to generate/collect their own will probably use a service like theirs.

http://www.optasports.com/

http://www.optasportspro.com/about/optapro-blog/posts/2015/b...
I think the similarities are mostly superficial. I mean it has (local) type inference, ADTs, and traits (which are sooooorta like type classes). But, as a Haskell programmer, the Rust type system feels very foreign.

No typeclasses (and associated goodness), GADTs, HKTs, Monadic IO, first class functions, generic deriving, higher rank types, existential type, etc. These are bread-and-butter features in day-to-day Haskell work. Rust's type system isn't powerful enough to build the vast majority of the tools that Haskell programmers use every day.

I don't mean this as a criticism; The Rust design seems solid. But different priorities lead to different trade-offs, and the end result is a very different type system.
Teslas will be effectively impossible to maintain. On the upside there are way fewer moving parts to go awry.
To simplify this process further, you can run both the new and old gunicorn process on the same port using the SO_REUSEPORT feature in Linux 3.9. This way you don't need to listen on a new port and update nginx config (potentially once for each upstream web server).

I submitted a patch to gunicorn just this week about this: https://github.com/benoitc/gunicorn/issues/598.

Ideally I'd love to see all server software that listens on a port have a SO_REUSEPORT option for hot-swapping. This feature makes operations so much simpler.
iTunes Connect CFBundleShortVersionShort Must C – Apple Developer Forums
Depends on what you mean by "human". If you're referring to "human" as an inhabitant of Earth, then no. Han Solo is not "human", he's an alien from the planet Corellia. But he is indeed "humanoid" :)
I will have a look, but I cannot promise anything. There are a lot of things that I want to do and only so much time... :-)
> I'm somewhat skeptical of how much the model in which "the scientists" do all the work of publishing a journal can scale, but I'd be glad to be proven wrong.

I'm quite optimistic. There are already strong explicit indicators for the worth of a publication. If a paper comes from a university, for example, you can likely already be assured that it's worth reading. If it has a name with good reputation on it, that's an even better piece of evidence. If a paper has interesting content, it will be shared in the community. Also, Google isn't just ranking by a explicit measures, but mostly by PageRank, i.e. a measure how how well a certain item is woven into the network of links (plus possibly hundreds of heuristics). PageRank could likely be applied to a publication system as well. In that case the network links could be co-authorships, associations with accredited universities, and perhaps other things. And let us not forget that the vast majority of researchers are actually truth seeking and concerned about the impact they make on the world. Things might become a little bit noisier, but at the same time the feedback-loops become shorter, as we're seeing it in the machine learning field.
amusing read, thanks
Just to confuse the naming, some people who say they care about the distinction call those culture- "appropriation" (bad) and "appreciation" (good).
> While talking to anyone at work, I have to act like a ditzzy vally girl or hippy of some type. If I don't do this, I'm pegged as a threat.

That's hilarious. I'm just sitting here imagining a bunch of hippies and valley girls eyeing a tired, geeky programmer and going "Oh my god he is like such a threat to our organization??"
- Injury risk

- Country of origin (home grown player quotas, visas, participation in national team (especially African cup of nations that occurs mid season).

- Attractiveness (something Madrid apparently value as part of their brand, and marketability)

- Mentality (Mario...)

- Position (typically higher the further up the pitch they play)

- Previous contract value. A number of players signed by big clubs then released are on high wages, and expect they to be met.

- time left on contract (shorter time means higher wage demands)
A 23-year-old Google employee lives in a truck in the company's parking lot
How the Internet Has Changed Bullying
New smoke alarm technology lets you be “worry-free” for 10 years
Thanks for restarting development and having good releases, with easy to read changelogs! Cmus has been very useful to me.
> People tend to overestimate their own abilities, knowledge and skills. For example, if you ask 100 people if they are better than average drivers, then you might not be surprised if more than 50% of them reply “yes”!

Also people don't actually need to think they're great drivers to think this– there's a selection bias at play. We remember every single time some other driver almost killed us, far more than we notice when people are driving nice and smooth.
Perhaps the elephant was still a juvenile or it had the equivalent of dwarfism in humans, but for elephants.

Either that, or they bred elephants back then until they became very small not unlike ponies. Less likely perhaps.
Teams have been using game databases for years as a scouting tool: http://www.eurogamer.net/articles/everton-signs-football-man...
I'd rather just close my Facebook account.
Because ancient radars in the VHF frequency light up stealth aircraft. Hell even wikipedia mentions this.

https://en.wikipedia.org/wiki/P-18_radar

Increase the wavelength and triangulate with multiple P-18s and you have a very visible nice slow moving target.
I assume you're the article author? If so, I know who you are on the Nim forums, so I'll certainly keep you informed. :)

In terms of ecosystems, I think that there is deployed Python code in the world that will never be re-written in Nim. I would prefer that Nim can be used to write drop-in extension modules for this Python code, rather than not at all.

I also think that there are situations where Python is a better fit for a problem than Nim. For example, handling JSON files in Nim (or any statically-typed language) will always be awkward (you have the choice between a double-dispatch Visitor Pattern or accessor methods that cast), but in Python, handling JSON is the easiest thing in the world. Likewise for any heterogeneous container.

By the way: Great article about Nim, as always. :)
Meet Sesame Street's First Character with Autism
Yes. Don't know about those specific cases but I know places where this happens a lot, and especially when it comes to white collar crime, but also mafia-with-a-legit-front kind of affairs.
I'm still waiting for some rabid liberal arts types to point out how sexist and racist Back to the Future is.
You are lucky.
For gunicorn running Flask I use something along the lines of for zero-downtime deploy which really works well as long as your app runs on a single server:

rsync -avz ./ user@remote:/home/user/web-app
ssh user@remote 'cd /home/user/web-app; \
venv/bin/pip install -r requirements.txt; \
venv/bin/alembic upgrade head; \
supervisorctl pid web-app | xargs kill -HUP'

The full deployment script has a few extra options which I've omitted for clarity, but this is basically it.
Is it really worth making yourself a laughing-stock to hope the press runs with it and maybe you score a few political points a whole year before the election? If this unnerves/angers the wrong people, he could lose his job and collective CIA morale too.

I'm not totally buying that he's really this incompetent, but dragging down Clinton seems a bit far-fetched as a reason this was intentional.
7 Steps to Server Monitoring Nirvana
So the conclusion is that the most reasonable theory is that the NSA has made an advance on ECDLP making them believe they can get faster Pollard-Rho (potentially n^1/3) or that they found signs the curve structures are weak?

Pretty mind blowing.
CSS Grid Generator
If we take calculated risks where we know about the small probability of success (in the case of startups) and perhaps employ risk-mitigating measures and justify the whole enterprise with the problem to be solved or the possible payoff, we're still confident but not ignorant (and thus stupid).

I don't experience that people call me somehow stupid for what I do. Perhaps because I tell them I know about the dangers, how I manage them, that my approach is not necessarily the best approach for other people (invalidating their choices).
> What kind of a wider conversation does leaking John Brennan's SF-86 create?

Does it necessarily have to create a conversation?

It, at the very least, destroys yet another time the "nothing to hide" argument and underlines both the fact that nobody is safe unless active measures are taken and that all this spying business is tainted with serious amateurism.

And if this is worthless to you, see it as a backlash. Our personal informations are intercepted on a daily basis and played with in a way that we have no control over. The average Joe, alone, can't fight back, Wikileaks is the collective answer.

It is in-line with Trevor Paglen's work [1] on demystifying spying activities: they're no super heroes, they're bound to physical, practical and logistical limitations (like we all are), we can fight them.

[1] (video) "Seeing The Secret State: Six Landscapes" https://www.youtube.com/watch?v=mF4vQA7eWgE
I still feel like there's plenty of wonder in the world if you go to the right places. Lots of stuff still isn't on the internet.

But that being said, I also sort of agree and feel like the modern world pacifies me with instant information, I think I'm less adventurous as a result.

Before: "I need to find out about a specific topic, time to take a walk to the library! Who knows what real life things might happen along the way."

Now: "Meh, it's a 5 second google search while I'm on the couch."

And so on.
I don't think they could collect anything more than pocket money by merely charging > 1M accounts.
What about simply spinning up a new VM on a service like AWS, keep the database and switch the load balancer you've confirmed the app is responding on the new VM?
It sounds like she has a fantastic PR team and has been coached very well. But, and perhaps this is unfair, it's starting to feel like there are too many denials here for all of the accusations to be wrong.

> Theranos has reportedly dialed back its 240 blood tests to just one. According to the Wall Street Journal, a source close to the matter told the paper that Theranos has caved under regulatory pressure from the Food and Drug Administration and has stopped collecting drops of blood for all but one of its tests. [...]

> “We’ve been transitioning to the FDA system voluntarily. As of right now, we’re only using it for the one test,” Holmes told Bloomberg.

This answer could be deceptive. "Transitioning to it voluntarily" could mean anything from that they made decision on their own, to that the FDA has declared its intention to file a lawsuit against them to get them to stop, and they caved to that request, and no lawsuit has been filed yet. (They have not yet been compelled to, i.e., it is voluntary). Meanwhile there are claims that the FDA has concerns and conducted an unannounced inspection. I don't think Holmes has claimed that no such inspection has taken place.

On the other hand, similar publications have published hatchet pieces against companies I've worked for that advanced one point of view strongly without any balance or contrary point of view, all while doing a very good job of seeming balanced and reasonable. So, who knows.

I wonder about one aspect: why does Theranos bother with venous draws if the only thing they do with that blood is put it through commercially available machines? They've just said that the unique service that they provide is by thumb prick only. So they've wasted a bunch of money on equipment and process for lab results that are just the ones that are already commercially available. Why bother? I imagine they must have had to purchase some equipment just to perform their own experiments on their testing methodology, versus existing methods, but why go into commercial operation? There must be a different scale of capital and operating costs involved in that. As an investor, it's not where I'd want them to focus unless there was a good reason, yet it sounds like it constitutes the vast majority of their current business.

Perhaps it is a strategy to build up their brand somehow? But venous draws miss their key differentiator that is the premise of their company ... I don't know what to think.
This kind of game was common in BBC Basic, way back in the 80s and 90s. It was limited to 255-ish tokens per line. (Excitingly, the keyboard buffer was 255 characters, but each keyword was tokenised to a single byte. Which meant that with trickery it was possible to get lines of Basic longer than it was actually possible to edit.)

At least one of the computer magazines of the day had a regular column of one-line BBC Basic programs sent in by readers. There were some quite good games.

Alas, I suspect that most of these have been lost to history, but here's a one-line Tetris:

0d=d:IFdVDUd:a=POINT(32*POS,31-VPOS<<5):RETURNELSEMODE9:GCOL-9:CLG:O
FF:d=9:REPEATVDU30:REPEATGOSUBFALSE:IFPOS=28VDUPOS,15,VPOS,24;11,26:IF0E
LSEIFa=0PRINT:UNTIL0ELSEUNTILVPOS=25:v=ABSRNDMOD7:i=0:VDU4895;3:REPEATm=
9-INKEY6MOD3:FORr=TRUETO1:t=rANDSGNt:IFt=rCOLOURv-15:VDUrEORm:i+=m=7AND9
-6*r:IF0ELSEFORn=0TO11:d=n/3OR2EORd:GOSUBFALSE:IF1<<(n+i)MOD12AND975AND&
C2590EC/8^vVDU2080*ABSr;:t+=a:IF0ELSENEXT,:VDU20:UNTILt*LOGm:UNTILVPOS=3

http://survex.com/~olly/rheolism/dsm_rheolism/
I am one of three people in the entire world with my firstname, lastname combination. One of the other two goes by a different name, and the other is Portuguese.

It must be nice to have a common name.