skysight-inc/HackerNews huggingface dataset:
Ah that makes sense; thanks!
I think you contradict yourself when you say that my implication in my second point is unfair do dang, and then go on to say why you think that stories like mine should be treated negatively by moderators (note that dang has unflagged political stories before, so it's not just about the community).

Anyway to the main point, you cannot escape hysterical leftist social campaigns, HN is already full of them. And there have been numerous stories on them on the front page (most notably https://news.ycombinator.com/item?id=9150107). The story I posted was unfortunately from a source that used language that will distract from the real issues. But it was also the best story on the issue I found.
proof : ¬¬¬¬ϕ ⇒ ¬¬ϕ
proof (f : ((((a -> False) -> False) -> False) -> False)) =
\ (z : a -> False) -> f (\afff -> afff (\aff -> aff z)))
Speaking of package managers, looks like the ssl-cert for dlang.org is expired (and has been for more than a year) -- which leaves most of us with one less way to try to verify the installer, as: https://dlang.org/gpg_keys.html is only available via a untrusted channels.
Queue for managing network request

If you don't want to put all the network reqeust logics in a "Manager" class, STNetTaskQueue may be your choice. You can now handle each network reqeust with separated STNetTask instead.
STHTTPNetTaskQueueHandler is included, which is for HTTP based network reqeust. If you are looking for a socket or other protocol based handler, currently you should write your own net task queue handler and conform to STNetTaskQueueHandler protocol. STHTTPNetTaskQeueuHandler depends on AFNetworking, which is included in example project.
Thanks for the reference, I had never run into APK as a meme/topic.

As to the HOSTS question, I am currently working through Terpstra's SAMBA-3 By Example, and after spending enough time on small business networks chasing down odd stuff every time a Microsoft Small Business Server goes down (runs its own DNS and DHCP servers for the LANs in question), I am beginning to consider static mapping some of these smaller networks for better resiliency, which seems to be a frequent consideration of that author.

I apologize for the naivete, but I did specifically label my comment as such, and my question was an honest one with a simplistic security model in mind, when it comes to specific outside resources that may be untrustworthy.

edit: And that search for APK derived my answer at pineight.com, so again, thanks.
Trinity, turn off the lights
It's worth noting that if you want to support Tor exit nodes but do not want to run your own, you can donate to the Noisetor project. Noisebridge, a 501c3 nonprofit, has sponsored an exit node for several years now:
http://www.noisetor.net
[ClojureScript] Aerobics with Reagent's Cursor
How to Jailbreak iOS 8.2 running iPad
The flip-flop is not as fast as the law makes it seem, because a law against X only gets passed when X seems like a real possibility. Nobody was passing gay marriage bans in 1850 -- only when it seemed imminent did people try to fight it.
Track your bass fishing catches in this private journal
Fans are happy to curate the art the like and will always do a better work , and for free.

LOL no. Sure there is no shortage of little YouTube videos that replace some kinds of TV content but most people don't have the creative skills required for high quality narrative content. It's precisely because this is in such short supply that popular shows are pirated in such enormous quantities. If there were so much great creativity about, where are all the great indie/ micro-budget/ fan-based/ crowd-sourced films and TV dramas? There are tons of little short films and imaginative trailers to be found on the internet that were filmed for small sums over a few days, but relatively little long-form content because that involves way more time and effort.

The Entertainment industries are largely based on building hype and celebrities, while the cost of production keeps falling thanks to digital production.

That's not true. Some parts of production get cheaper because of digital methods, eg I don't need to pay the same money for film stock, chemical development etc, I can just buy a bunch of hard disks instead, which will be quite a bit cheaper. That's great - instead of spending $100/minute on celluloid every time we run the camera, we can build a set of multi-terabyte arrays and set up a modest asset-management pipeline for a few thousand $.

But that's only one part of production. People still need to eat, lights still need to be put up and equipment moved around, locations still need to be rented, costumes still need to be made, actors need to be paid and so on. You can try and do all these things for free, but if you do it will look ugly, the camera angles will be bad, the subject matter won't be interesting, the actors will looks badly dressed and the performances will be poor. Of course big Hollywood productions are all about marketing glitz and paying huge sums to very famous people (mainly because they predictably attract audiences who want to look at them). but even small-character-driven dramas require a great deal of time and effort to manufacture. It's very very difficult to make a basic 90 min. film that meets basic consumer expectations of technical quality for less than a few hundred thousand dollars. It's possible, of course, but the vast majority of films made for substantially lower budgets are of really bad quality.

There is an oversupply of creativity which obviously should drive their profits down.

But creativity is only one input to a film. You can't solve every problem by just throwing more creative people at it, not least because the more people you throw at a problem, the more they get in each others' way and the lower productivity becomes. Screenplays can often benefit from the advice of additional creative people, but they're really better for being written by committee. Likewise, a lot of what goes on in and around the film production process is just logistics and grunt work.
On the slightly larger side, I was able to visit Easter Island at one point. Depletion of natural resources led to an all out class war that nearly wiped everyone out (see: the popular 'Collapse' (2005)). It is a very eerie place to visit because there is not much vegetation across large parts of the island and you can see the the extent of the island in all directions standing on one of the peaks. I couldn't really put my finger on it at the time but I definitely had an uneasy feeling being in such a remote location in the middle of the vast ocean. It hits you in the gut that you would be trapped on this tiny speck of land if it were not for the occasional airplane or cargo ship. I can only imagine what crew of the Bounty (or any other shipwreck) felt.
13 Ground Rules for Effective Meetings to Increase Productivity
New in Symfony 2.7: VarDumper improvements
Why do you think you have such certain knowledge of these things? It seems like knowledge of human genetics and diseases is in a very early stage. As far as I can tell the idea that inbreeding is bad is primarily political.
With bits like schedulers and device drivers in an interrupt-based system a lot of ideas we'd like to about runtime state as modeled by your language of choice (the stack, lexical scope, memory, thread context, reference counts) become exposed and the implementation details have to be known, or you have to be comfortable tuning/self-restricting use of features around such a tricky, dragons-be-here scenario.

This isn't a problem specific to TTYs, but indeed they are their own special little hell no matter how you choose to tackle them.
Well yeah I mean, I'm not gonna write a dissertation on HN. I like to think the future is more Star Trek (do whatever you want, free food/shelter/awesomeness) than Star Wars (pretty much what we have now with some new toys and psychic powers).

But I disagree that "there will need to be industry and incentive to create the income in the first place". I think people largely just do stuff because either they're coerced, they need to survive, or they think it's cool. Open source is a good example of #3, and I think that's gonna be the chief motivator as the world continues to develop.
What Triggers Lightning? Radio Telescope Data May Have an Answer
The universe is just a projection of a massive Turing machine two dimensions, time and tape.
It just follows from the axioms. They accept that a proof of ¬ p can be a proof that takes p and arrives to a contradiction. And that a contradiction is a formula and its negation. From that we can prove ¬¬¬¬p => ¬¬p.

We can assume ¬p and we have to prove a contradiction.
So we have to prove: ¬¬¬¬p, ¬p => _|_
Now, we know* that alpha => ¬¬alpha.
So from ¬p, we can get ¬¬¬p.
And from ¬(¬¬¬p) and (¬¬¬p) we arrive to _|_.

*To prove alpha => ¬¬alpha, we can assume ¬alpha and arrive at a contradiction, so we would have to rpove alpha, ¬alpha => _|_ and we are done.

In Natural Deduction:

[¬p]1 [¬¬p]2
---------------
_|_
----------2
¬¬¬p ¬¬¬¬p
-----------------------
_|_
-----------------------1
¬¬p

This has been generalized to translate classical theorems into constructive theorems.[1] Just like this case, though, the resulting theorems are full of double negations.

[1] http://en.wikipedia.org/wiki/Double-negation_translation
Or a '90s 4-banger Nissan Hardbody with a manual transmission. My father has one and there's a list of people waiting to buy it off him if he's ever willing to sell. Those things are great.
> all isolated from each other with their own stack and heap,

That is really a unique property of the BEAM VM. Most languages built on it Erlang, Elixir, LFE, Joxa, etc can take advantage of that.

Often when telling someone technical about how you can have processes that behave like OS processes -- fully isolated heap, and if one crashes it doesn't affect the others, and which are also very lightweight -- only a few KB of memory overhead, they think there is some trick or misunderstanding. Like "sure but they are just green threads" or "they can't be just a few KB of memory, processes have to be bigger than that".

Isn't there a saying something to the effect of "an advanced enough technology looks to many as indistiguishable from magic".
JmesPath is built into the AWS CLI.

You don't need separate JQ. See the --query option:

http://docs.aws.amazon.com/cli/latest/userguide/controlling-...

Check out http://jmespath.org for details.
Mine is a Songza machine basically and we take it on vacation. Works great for both.
It may be slightly easier to work through it for the formula ¬¬¬P ⇒ ¬P. (This also a constructive tautology, and the above formula is an instance of it, taking P = ¬ϕ). So let's prove that.

Expanding the definition of ¬, we must prove (((P⇒False)⇒False)⇒False)⇒P⇒False. I.e. we are given two assumptions

f : ((P⇒False)⇒False)⇒False
x : P

and should prove False. So we can use the assumption f, provided we can find an argument of type ((P⇒False)⇒False) to call it with. And in fact that's easy: (λg. g x). The full proof term is λf.λx. f (λg. g x)

Indeed, this is a perfectly good function (so it's constructive). If we type that function into (say) a Haskell repl, the typechecker will infer an even more general type for it, but we can check that the type we wanted is an instance:

ghci> :type (\f x -> f (\g -> g x))
(\f x -> f (\g -> g x)) :: (((t2->t1)->t1)->t) -> t2 -> t
gchi> type Not a = (a -> False)
ghci> :type (\f x -> f (\g -> g x)) :: (Not (Not (Not p)))->Not p
(\f x -> f (\g -> g x)) :: (Not (Not (Not p))) -> Not p
The Hubris of Venture Capital
Bill Gates says life would be better with a world government
There are really two issues: the knowledge acquisition and the money. I have made a good living in software for nearly a decade, without having a computer science degree. Being self-taught was not a problem. My only problem is that I never invested in learning some of the core material - writing my own operating system, writing a compiler, learning 30 common algorithms, etc. For most jobs, this knowledge is not required. But if I wanted to work for Google or Facebook, lack of this knowledge might be a problem. When you work at their scale, often operating system patches or crazy algorithms are needed, and the base knowledge comes in handy.

That said, there is no reason for the base knowledge acquisition to cost $100k. It merely requires an investment of time. There is no equipment needed, professors are not that helpful. You just need to the work of reading through the material and coding the implementations.

So waste of money, yes. Waste of time, no.
>But what is with epidemics? How many doctors do we have as much planes, tents, what scientists? If there were such a thing as a world government, we would be better prepared.

It sounds like Gates is advocating this for resource distribution reasons. How about making disease treatment cheap and accessible to everyone around the world WITHOUT relying on a "world government"?

As governments grow older and more powerful they become corrupt, at first it is with good intentions but slowly the positions human beings hold in those governments attract people who are corrupt. Then, those people leverage their position in that government for self-gain. This is the case all over the world with every single government ever. It is a natural human condition. A world government would multiply that opportunity for corrupt people to reign exponentially, especially as time goes on.

yikes.
Is there a public version of their findings? Toyota hired Exponent to do an independent analysis of their electronic throttle and released that report to the public. It'd be interesting to compare Exponent's findings with the Barr Group. Exponent didn't find any plausible failure modes for the Toyota electronic throttle systems—their study looked very comprehensive, including a static code analysis and hardware-in-the-loop testing on the software side. They also did extensive hardware failure testing. It sounded like the Barr Group is claiming that the software was failing their quality tests, but it didn't sound like they were proposing a specific hardware or software failure that would lead to an uncommanded acceleration.
Convert PDF to Editable PPTX File and Multi-Column PDF Generation in .NET Apps
I was thinking about this- maybe one could have a "formal name", "familiar name", and "honorific" field?

I think the problem is drawing the distinction between the questions "what is your canonical identity?" and "how should we address you?"
You can use ansible as a library from python: http://docs.ansible.com/developing_api.html
This is an alien? Probably not, but of all animals of the earth
"Or more comprehensive vending machines on each floor."

That's what most people are looking for, and it is the best solution.
Expert witnesses will often quote numbers like that in court, stating that the probability of a random person getting a DNA match is less than 1 in (some large number) million.

However, the FBI has been strongly resistant to opening up their DNA databases so these numbers could actually be verified empirically. (I think currently they just multiply some numbers together to get an estimate.) Some preliminary research suggests that partial DNA matches are much more common than claimed.

Here's a law review article about the problem: http://papers.ssrn.com/sol3/papers.cfm?abstract_id=1551467

Naturally it suffers from the common law review problem that most of its text is in footnotes instead of the main body, but it's pretty good...
Chris's (chrisaljoudi) video response on the issue https://www.youtube.com/watch?v=_D1TpddtVUA

More here: https://github.com/gorhill/uBlock/issues/130#
It's a similar isolating feeling on Pitcairn. There's no air access so I arrived via a two day boat trip from Mangareva. Once there my boat left leaving me with no way off for the time I was there until another arrived to pick me up. You become very aware of how problematic a medical emergency would be.

For an example of such, here's one travellers tale of their medical evac from Pitcairn: http://jimmyaroundtheworld.blogspot.com/2010/09/life-and-dea...
Actually, if you were really worried about epidemics, it would be better to fragment the world further. Make travel much harder and rarer. From an existential point of view, mass air travel is a really bad idea. If a pandemic ever breaks out, it could be far too difficult to contain it in one continent, thus posing a threat to all technological civilization, and humanity itself. If continents were separated, America might have time to develop a vaccine before a disease incubated in Europe could reach it.

Back when I was in middle school I was a fan of world government. The big problem is that exit is a much better way to enforce accountability and make governments serve the people than any form of voice is. "Voice" is an illusion since bureaucracies always maintain the real power and are resistant to change. Furthermore, world government is a massive single point of failure.
The Future Postponed
does somebody has a link to some Chinese press news about that ?
15 Books Every Entrepreneur Should Read
Ugh, yes. The only way I made it usable was to use the arrow keys on my keyboard but even then it's so slow.
Luckily there's a common sense rule to apply that an economic analysis of law makes clear.

Enforcement should occur up to the point where the marginal cost of extra enforcement is equal to the marginal cost of the activity we are seeking to deter.

I would agree with you that the particular circumstance described in the article does not warrant legal action, but your original post made no allowance for enforcement directed at anything other than purposeful and effective crime.
Yes. Officers above a certain rank have to be on a "rated" ship, and IIRC the stone frigates were all 4th-rates, which meant a senior Post Captain (later just a captain) could be in command there and not lose his seniority. And in fact, the first stone frigate command (of a rock in the Atlantic) was given to the lieutenant who had led the assault that took the island. Since the act gave him promotion to Captain, he couldn't command his old cutter anymore, so they came up with the stone frigate idea. Later on it became more of an unofficial punishment; a way to take a commander who was too senior to just keep on the beach and put him somewhere that he wouldn't do too much harm.

For any "Master and Commander" book series fans, Jack was threatened with being sent off to a stone frigate in I think "The Yellow Admiral".
Okay but if you are going to call the function factorial, why not have it actually calculate a factorial? This would have done the job:

def factorial(N, result=1):
if N == 1:
return result
return factorial(N-1, N*result)

Assuming that you never call it with the result argument.

As written, it just looks like the author never ran the code.
It really depends on what you are doing. If you are processing requests concurrently, parallelism is a nice benefit, but the requirement is to do things at the same time correctly with resource contentions involved. Parallelism is more about breaking a job into bits so it goes faster...e.g. what is done in the HPC and Big Data worlds with MPI, CUDA, MapReduce, ...

Concurrency is necessary property of the work as defined, parallelism is an opportunistic property. Confusing the two concepts can lead to people trying to do HPC work with Erlang.

If you are working on an HPC workload, you wouldn't choose Erlang, but you might get a happy speed up for a standard distributed application. Parallelism is strictly about performance, concurrency is about correctness. When you go off and do a HPC or big data program, you might play with MPI, CUDA, MapReduce, or maybe just roll something yourself. No one goes...we should do that in Erlang! Likewise, when you go off and do a concurrent distributed system, Actors make a lot of sense given the concurrency requirements involved (who would think of using CUDA for that?).

Perhaps the problem is not about concurrency and parallelism, but different kinds of computations.
Study finds cardiorespiratory fitness contributes to successful brain aging
"I want results, not excuses!"
"I am paying you for stuff that works, not fancy acronyms!"
"Let's do it the way that works today and we can sort out the exceptions Tomorrow™"
My biggest mistake was not starting earlier. I'm a 39 year old Firefighter/Paramedic, and it's a job that I won't be physically able to do forever. I moved away from my stressful career in IT, and found that while even this job is stressful, I have more free time to travel, explore hobbies, get in better shape, etc. It was a pay cut for sure, but I'm a whole lot happier.

The long term plan is nursing.
Sure. My reading of that is they will save you from writing some tests. Comment didn't say "they will free you from tests" or something like that.
You're not wrong about the slight bloat in the marketing here, but I wouldn't say the article is disingenuous. In fact, I think the authors clearly wanted to pull in readers, and once in, offer heart-felt examinations of multiple disciplines and the state they are in currently, good and bad. Remember, this is a report of the _innovation_ deficit, not funding. Through examination of the political and social ecosystems driving and holding back each discipline, and how each one fits within the priorities of our government, we see where innovation is lacking and potentially why.
I am also a (software) engineer. I work on stuff that's much like the throttle controller on the Toyota without being directly automotive.

I don't think it's an opinion piece. It's just not journalism. People find Gladwell infuriating because he somewhat defies categorization and tries to take a very neutral, nonjudgemental tone. I said "essay" because that's as close as I could get.

I don't buy "acted maliciously". I don't agree that it was covered up. Malice implies intent; there was no intent. Indeed, that's the problem. There really isn't, to my knowledge, a fixed protocol for these things outside of whatever management or PR protocol you follow and then possibly the courts.

Toyota as an entity believed that it was acting responsibly.

From the article:
"The engineers were right. A series of exhaustive investigations by federal regulators, with help from NASA engineers, established that the perception of an electronic failure was almost certainly illusory. The problem was caused either by the fact that some people put in poorly fitted, nonstandard floor mats or by the fact that drivers were pressing the accelerator thinking that it was the brake."

For one, Gladwell isn't the one saying it was the floor mats. The team of Federal regulators, with help from NASA engineers said that. Toyota took this seriously and launched an investigation.

Prior to Micheal Barr's analysis, I'd say it was formally undecided whether there was a software problem. Even then, the defects found were not a smoking gun.

This is new territory. The Barr Group is one of the first of its kind.
The 6KJ number is flat-out wrong. You cannot multiply pressure * volume like that. It's not an isobaric expansion. I mentioned this in a reply to his comment.

As for the 15JK number, I cannot see any estimates in this thread saying 15JK. Could you link the comment?

The 100atm figure is assuming that the linked article's calculation of final pressure is correct, assuming the thermos doesn't burst beforehand. Although I fully agree that a standard thermos is unlikely to achieve that number.

And as I said a lot of the energy won't be focused. This is just a first approximation, to indicate that yes, potentially the energy is there.
How to Improve Self Esteem to the Ultimate Degree
The federal budget is pretty much a function of inflation + population and economic growth. Since 1960, the budget has hovered between 30 and 40% of GDP. The federal government isn't really growing so much as the country and world are, and we should expect basic research to keep up with that growth.