skysight-inc/HackerNews huggingface dataset:
But you can understand how people could confuse "automatically backed up" and 'automatic backup', right?
Perhaps referring to a theory about glaciers over a continent melting and essentially "raking" the soil to create a relatively robust and even quality, which didn't happen so much in Africa as other places.
Unsubstantiated bullshit. Most theoretical backbones of math and science were discovered/formalized for anything but commercial reasons.

How does that contradict what the author said? His argument is that any field closed over itself, over time, will tend to distance themselves from reality - obviously, the initial impetus of a field happens far too early to experience such effects.
Did anyone make a Javascript version of this with emscripten? I am currently using Z3 on the server side but would really like a client side solution to save computational resources.
Whenever I read a negative review like this, I wonder whether the author took an advance short position in the company he's reviewing. It's legal -- it doesn't count as insider trading -- but it's a bit shady if true.

It's not that uncommon. It's the opposite of "pump and dump", but it has the same outcome -- those in the know benefit at the expense of naive investors.

This isn't to say the review is wrong -- it seems to be right -- but if the author has a short position, that fact might color readers' thinking.

Just speculation -- I don't know if any of this is actually so.
Of course this makes sense for Bitcoin. Early adopters had a much easier time accumulating currency, and likely ensured a way for them to keep control of a good amount of currency in the future.
We know: https://news.ycombinator.com/item?id=6375511
If you're interested in the previous discussion on same article check: https://news.ycombinator.com/item?id=6375511
As far as I know contributions to master (or default) and gh-pages count.
Deflation makes the value of currency go up, so the rich would get richer.

In an inflationary world, the rich actually get poorer, but typically have the means to invest and thus negate the inflationary loss...

The reason for the typical rich-get richer scenario in the real world is that the rich have enough assets that they don need to be liquid that they can invest and increase their wealth, whereas the poor need to keep their assets liquid for potential hard times, and thus by not investing they lose value to inflation.
Why would it be asinine?

Seriously, so what if they have nukes? Simply having them doesn't mean you can use them.

After all, that's what the Cold War demonstrated. If you're going to use them, you have to use them in numbers great enough to wipe out every city in every nation opposing you. In essence, your own use must be heavy enough to absolutely ensure no possibility of retaliation.

Accordingly, it's not enough for Tehran to nuke Tel Aviv. They also have to nuke every city in every nation that's part of NATO and they'd have to do so at the exact same time.

In the Soviet era, we mitigated a threat of this magnitude with the Nuclear Triad, which distributed our weapons on moving platforms around the globe, ensuring that even if we were obliterated by a Soviet attack, we could make our very last act one of equally devastating retaliation. The resulting situation, known as Mutually Assured Destruction (yes, MAD), was the thing that not only kept the Cold War cold, but ensured (in theory) that any direct conflicts that did break out would never go nuclear.

You must realize that there is absolutely no way for any middle eastern country to build arsenals and delivery platforms formidable enough to replicate the Soviet stance. And even if there were, the enormous gulf between the size of their economies and ours means they couldn't get a quarter of the way there without the US rearming - even from from scratch - and recreating the MAD dynamic.

The nuclear logic is simple: unless you can use them on a scale large enough to avoid any threat of retaliation, you cannot use them at all. You can't even threaten to use them without putting your own life at risk. In that regard, they're like trying to take hostages on an airplane post-9/11. Knowing what we all know now, every one of passengers will be thinking the exact same thing: corner the bastard and either cripple or kill him.

Like soldiers dressed in bright red coats, nuclear arms are a relic of age that has passed, never to return. The more openly we can acknowledge this, the better off the world will be.
as i understand the technology involved access requires a print off a living finger, not a lifted print, not a fabricated print.

they can legally get a person's finger prints but that won't get them into the phone. the person would have to put their finger on the phone to unlock it.

my question is can a court compel a person to do that against their will?
I didn't think of that long-term view you described. reminded me of some one-hit-wonder artists - thanks for that, but what's the way for a long-term success? the best one retains in the highest branches i guess.
This is why I mentioned the public keys. You can do the parts of the process short of the signing, then go the other way from the published binary with the public keys.

Sheesh, does everyone on HN need everything spelled out for them?
If those are the only two reasons you wouldn't get crypto randomness directly from "random.org", you shouldn't be designing cryptosystems to begin with.
Just use /dev/urandom.
Irssi 0.8.16-rc1 Released with DNSSEC DANE Support
Seems like a good place to mention: "Ignition - An informal history of liquid rocket propellants"

http://www.amazon.com/Ignition-informal-history-liquid-prope...
I actually audited gpg in 2006 while studying, it was an interesting project. Here are some of the results:

Remotely controllable function pointer http://lists.gnupg.org/pipermail/gnupg-announce/2006q4/00024...

GnuPG does not detect injection of unsigned data http://lists.gnupg.org/pipermail/gnupg-announce/2006q1/00021...

False positive signature verification in GnuPG http://lists.gnupg.org/pipermail/gnupg-announce/2006q1/00021...
I get that the original article was a joke - a sort of academic discipline ad hominem. But in case anyone actually wants to understand why literary criticism is seen as valid, they should read Rorty as you mentioned. Here is an paper that is worth the time:

http://olincenter.uchicago.edu/pdf/rorty.pdf

It isn't on deconstruction specifically but on why literary criticism has become so important in general.
Observation is prior to explanation. Compile a list of countries good at wealth-creation. Then make another list of the ones where people went through Ice Age conditions. Now compare them.
No, but it changes with some seconds every year. http://en.wikipedia.org/wiki/Terrestrial_Time
There are some alternatives, i.e. where Captchas are only displayed when JavaScript is disabled. But all these methods don't work, at least someone just can analyze the traffic and do all the JavaScript-Stuff in a single HTTP/TLS Request, because it's not truly server-side.
I know it's embarrassing to use Captchas, but at least for the registration it should be used.
Or you could use OpenID or some social network oauth system to avoid Captchas.
AngelList’s Product Strategy: Text Of My Discussion With Naval Ravikant
I must confess to finding this answer pretty insulting (but i guess in truth, you are calling everyone monkeys, and just distinguishing between those that climb to the top and those that don't)

I guess the counter-thought would be that of exploration & discovery, where we need trailblazers to set the path that others will follow later..
The article totally lost me when the author called Godel's incompleteness theorem a "cheap trick" used to "frighten mathematicians". That comment makes it clear that despite his claims to the contrary, the author is very comfortable dismissing ideas that he does not understand. For this reason, I can't really trust the rest of the article.
People don't generally accomplish something immensely creative or interesting by setting out to do so. Instead, they stumble upon that great idea after some amount of time spent pursuing their own curiosity. The process looks something like:

1. Do things that interest you

2. Follow the threads of those interesting things towards a deeper understanding of your domain

3. If you're so inclined, specialize further and repeat

4. With some combination of luck, perseverance, and time, you may become the "best" at something for a brief time, but either way you'll have learned a lot and pursued your own curiosity.
I don't see the harm in reading a newspaper or staring out the window during table conversation, and I don't see the distinction between those and fb or a phone game or image site. If it hurts people, then those people need to toughen up.

Dismissing things because they're no longer relevant has served me quite well as a technologist.
The disagreement is not between literary theorists and sciencey types

Sometimes it is! (http://www.amazon.com/Fashionable-Nonsense-Postmodern-Intell...)
GnuPG developer on code review, binaries and the feds
Taste-testing a second career, with a mentor
Charlie Munger Quotes
The idea is interesting, but I would imagine you need to take into account various forms in which people might want to express their intent. For example, "train from A to B" instead of "I need a train from A to B", or "flight tickets to C" (the current location omitted and can be detected using IP geolocation).

Another thought I had was that many people might actually prefer to interact with checkboxes and select from a list, especially if they're using a mobile device.
> humans are known to greatly increase the prevalence of all of those species

Based on this definition the American colonies helped Africans 'thrive' on the American continent by bringing them over as slaves, and allowing them to reproduce.

I could agree with you in the case of wild animals that mooch off of humans (racoons, crows, rats, etc), but in the case of livestock, or animals raised for the sole purpose of being tested on in laboratory settings (and possibly killed immediately after), I don't think you can really spin that as a positive thing from the perspective of those species.

It would be like an alien species taking humans away to 'domesticate' them and raise them as livestock on another planet. And then hand-waving away concerns about all life on Earth going extinct because the "livestock humans" are 'thriving' because they are bred in large numbers in captivity (and even trying to make it sound like putting them in captivity for such a purpose was actually better for them then letting them live their own lives).
A nifty JS date library
On the other hand, I think the Stanford Encyclopedia of Philosophy's article on Derrida does a pretty solid job of summarizing at least Derrida's stated definition(s) of "Deconstruction:"

http://plato.stanford.edu/entries/derrida/#Dec

It's still dense and a bit jargon-y, but relatively easy to follow linearly.

The second you get into "X thinks Y about Deconstruction" or "X's work relates to Deconstruction because Y" (which is most of the Wikipedia article), the whole thing seems incredibly unapproachable without being an expert on the entire canon of western philosophy. This is unreasonable for something that's really a pretty simple concept.

This sort of argument is very common (from my experience) in contemporary philosophy: "Your work on X is invalid because you didn't consider how it relates to Y." Despite the fact that that is a fallacy, covering all the "it relates to Ys" seems to be a primary goal of the Wikipedia article.
Showing Twitter references in a static blog
I, for one, can't stand how all other distros do package management, especially package names. Ubuntu is the worst offender in this department in my opinion.
I second this recommendation. At least partially because its complement (myloader) can also load tables in parallel back into a database.

Also, since mysqldump insert lines all contain the database name, it's fairly trivial to do this splitting with standard 'nix tools as well.
Have you ever thought about turning your anti-spam passion into a startup?
Google Waves Goodbye To MySQL In Favor Of MariaDB
You could do something similar to this with Google Maps before Twitter stopped selling data to Google.
That's an entirely reasonable position.
I doubt that. But it is what Canadians say when you step on their toe. I've done it myself!
Also, if you're looking for a short, but surprisingly informative video on the matter, Scott Manley's "WTF is rocket fuel anyway" video is fantastic:

http://www.youtube.com/watch?v=jI8TuufCp0M
Link to the original instead of this blog spam:
https://blog.twitter.com/2013/observability-at-twitter
... obligatory recommendation of the book "Normal Accidents" if you want to see this trend discussed across a broad range of threat vectors, from nuclear plants to shipping disasters ... and the common threads that link them all.
Thanks so much. The list of stuff that we need to provide as well is really helpful.

We're looking 2 bed house, 3 - 4k.

We've already got a BofA bank account/credit cards with 1 years spending on it - hopefully that'll count towards credit history?

You're right - I've realised that the only way is going to be AirBnB-ing it for a few weeks. No way you can get a proper feel for the area looking at a map,

I've taken a guess at your email :) - mine is joe - at the domain in my profile - would it be okay to ask you a few more q's?

Thanks so much!
A less computer literate friend called me and asked if I can help restore his file. He regularly backed up his work file by dragging it into a USB stick, until one time he dragged the wrong way!

He lost his recent work which was a big deal for him, as it was a whole chapter in a book he was writing that he believed turned out really well..

I suggested using Dropbox instead.
Great article! I would like to add something to the source code solution:

* Create private repos for all the participants well in advanced, and ask them to commit their changes to their designated repo.

* At the time of the deadline, all pushes will be blocked, and/or the current version will be pulled down to a "demo" machine.

* Participants must provide a make file (or something similar) to automate the building on all projects.

* When their time for demo comes, they will only get to demo whatever that has been compiled on the "demo" machine.

* The "demo" machine would be hooked up to the projector, and will be the only machine used for demo-ing purposes. This also saves the time spent in hooking up their laptops to the projector.

That's all. Sounds academical, but it's a really good way of monitoring cheating (provided you have an audit team as well).
You nailed it.

Company X chooses... ocaml, in this case. Someone taking a job there either needs to know it already, or have a 'willingness to learn'. OK - I'm willing to learn it, but at what expense? I dig in to ocaml for a few years, get really good at it, and find, say, 4 years from now, that the market for ocaml developers is really bad. I've gambled and lost, even if it "paid off" for the company.

Most developers are making rather rational choices, regardless of what tech company founders would like to think.

I do run in to people who are ".net or die" and "java for everything", and they'll never ever consider bothering to learn a new tech stack. And... they chose wisely enough that they may not have to over the next 10-15 years - almost anything you'll want or need to do for a large majority of computing/development needs will probably have .net/java equivalents (whether they're the best implementations or not is irrelevant to these people). But... choosing Haskell as a sole focus... they may end up having to uproot a family to move to another location to get another equivalent Haskell job in a few years, which most people don't want to have to do.
Similar to InvisibleHand is a browser extension I built called PriceAdvance (http://www.priceadvance.com). We have a browser addon for FF and chrome which does realtime price comparison of the products you're browsing and offers coupons.
It's a real effect but nothing inherent to a market economy. It's more a result of human behavior....
It sounded like the author was referring to a (very real) feature of Synaptic trackpads that performs app switching via the trackpad.
And in that case, a reader who does know the difference would hopefully edit the page to remove any secondary sources that aren't of good quality, such as links to HN comments that are flat-out incorrect.
Exploding college tuitions might be a terrifying sign
From your link: "Wikipedia articles should be based on reliable, published secondary sources and, to a lesser extent, on tertiary sources and primary sources."

That suggests that Wikipedia treats primary sources on par with tertiary.
As for the choice of 4096, well, I would have chosen 4000 (or 1000) simply because it's more comprehensible from an end-user perspective.

4096 is a convenient power of 2, and is the same as the default limit enforced by passlib (a popular password-hashing tool in Python).
How would the foundation get corrupted? If someone found a vulnerability, and wanted to disclose it to them, then they would just go public if there was any "funny business" (e.g. refusing to pay-out, trying to keep the vulnerability to themselves, etc).
> the mechanism of ontology -- that everything has a "being", that it "is" something -- is not a given

That may be, but it makes one hell of a useful working assumption.
This is a great read and I highly recommend it. I was greatly entertained despite no particular background in chemistry.

There is a PDF available here, since it's a wee bit hard to get from Amazon: http://www.sciencemadness.org/library/books/ignition.pdf
I almost completely agree, but no one seems amenable to the idea that Microsoft should be able to forbid vendors from customization of the computers they sell; some even think it would renew DOJ scrutiny.

As it is, the best way for users to buy a device with a Microsoft OS is probably the Microsoft Store, because they forbid those same customizations.
Tangential, but I just finished reading _A Canticle for Leibowitz_. Amazing sci-fi book that deals with the aftermath of nuclear war.
I would hope that most of these first strike targets sit at the bottom of deep valleys, so that if a missile strike were to hit them that much of the resulting damage was buffeted and contained by the valley walls. I imagine that much of the fallout would also be captured by valley itself and that any future rains would funnel all contaminated material to the lowest point in the valley. In essence, every single one of these first strike targets should be designed to be massive sinks for radioactivity.

On your second comment, I'm actually surprised that those two bases are that vulnerable. I was under the impression that they would be fortified the same way Russian naval bases like Object 825 GTS, one of the bases for nuclear armed submarines, is.
I agree with the fact that businesses don't like to publish - but if such community is built the businesses will be benefited more than everyone.
If you had posted this text on microsoft.com, then I might be tempted. :)
You used a split infinitive there.

;-D
The post on frog design's site has more details and imagery: http://designmind.frogdesign.com/blog/snow-white-steve-jobs-...
Second this recommendation. The author was a propellant chemist/raketenmensch and wrote about the subject with passion and humor. A pleasure to read.
Jobs the movie - What do you think?
So there is still a nuclear weapon sitting in salt water just off the US coast corroding away?

[0] http://en.wikipedia.org/wiki/1958_Tybee_Island_mid-air_colli...
His argument is that science and engineering haven't drifted from reality due to commercial interest.

I am saying that whether or not science and engineering are tied to reality has little to do with being relevant to the commercial world.
A brief history of how sampling turned to theft
Peculiar thing is that the Middle Eastern threat is created by the US itself, artificially. Even if, which is unlikely, some of those countries manage to develop a viable nuclear weapon and a viable delivery system, its hypothetical launch will be triggered not by an act of terror, but by the US aggression.

It may actually be a good thing for the Middle East to acquire nuclear weapon. It just might soften the US militant zeal a bit.
One of my favorites:

The Tybee Island B-47 crash was an incident on February 5, 1958, in which the United States Air Force lost a 7,600-pound (3,400 kg) Mark 15 nuclear bomb in the waters off Tybee Island near Savannah, Georgia, United States. During a practice exercise, the B-47 bomber carrying the bomb collided in midair with an F-86 fighter plane. To protect the aircrew from a possible detonation in the event of a crash, the bomb was jettisoned. Following several unsuccessful searches, the bomb was presumed lost somewhere in Wassaw Sound off the shores of Tybee Island.

http://en.wikipedia.org/wiki/1958_Tybee_Island_mid-air_colli...
Great, thanks for this.

Yeah, I must say, it's hard to stomach paying these amounts when you can pay half the rent just across the way.

What's the commute like?

WIll definitely take a look around there when we arrive. Thanks for the tip.
You're totally right, the people lag behind because we haven't given them the tools to circumvent our social firewall more easily and automatically with data-mining tools. That has always been the case and a traitor will do it with a shrug one day, Be it government sponsored or corporately financed, this will force us to switch and adapt to the new problem of automated, targeted and individualized desinformation platforms. We need new solutions to this today.
It is time for a public OpenSSH audit.

Word on the street is the code is horrific and last I checked was not even checked into git, in any way, yet.
Yes. Ugh, sorry I deleted the comment on you... I moved it under tptacek's link.
Original Creators of Woot.com Start "Mediocre Labs" - Experiments in E-Commerce
yes, I'm working on a project, that I don't know the outcome of yet to be honest.
It's import is exaggerated.
so it's a process built upon a calling and without any comparisons to other? the last part is read into it, but you get the point; I think these comparisons affect the motivation - even if you don't do it for that. - i.e. this blogger stopped with ballet after she saw better ballet dancers in her course. (unclutterer.com/2009/08/03/you-dont-have-to-be-the-best/)
The nation-state is just as much a failure.

South Ossetia or Kashmir or the Basque region might claim independence, then small pockets within those might want independence in turn.

You can't draw a border distinctly around every unified group of people, certainly not to demand it permanently reflect those people forever. Both the natural movement of people and the tendency of groups towards cultural change (both fracturing and collusion) over time slowly erode our best efforts to put everyone in separate pens and label them as distinct groups.

Pan-nationalism doesn't magically solve these issues, but a rigid adherence to self-determination isn't the panacea it's sometimes made out to be either.
This is only true of the public beta. It bothered me as well when I tried it out, but after a few searches I found that the RTM will still have local accounts. I assume the decision was made to keep in contact with the beta testers or something, but my hotmail account is a glorified spam catcher at this point, so I've never bothered to check.

[1] http://news.softpedia.com/news/Windows-8-1-Preview-Won-t-Sup... (This isn't the article I read back then, but it's the first thing I found when I just searched.)
If you want to read another terrifying book (about Russian biological weapons) I highly recommend:

https://en.wikipedia.org/wiki/Biohazard_%28book%29
it doesn't seem insulting for me, perhaps my username led him to call us monkeys (what humans are, kind of ;).