skysight-inc/HackerNews huggingface dataset:
I would add that in addition to locking between the front and rear axles, many 4x4s allow for the wheels to be locked across single axles. Right and left tires then turn at the same rate. This is horrific on dry pavement as one wheel will drag in every corner, but an enormous advantage in rough terrain.

Some of these can be locked manually/physically, but more often these days they are controlled electronically. Of course this defeats any traction control systems, normally leading to a warning light telling you that you are on your own in that regard. Antilocks also often disabled in this mode.
The parent and other people commenting about trashing 4WD systems are from Europe. I'm not sure if there are as many remote places in Europe anymore especially compared to Utah.

I go trout fishing a lot in North Georgia and many places I go would be accessible in a small fwd car. In fact if people saw you driving an incapable vehicle they would stop and warm you about proceeding further.
MostPop: We make social media sellable. Open Public Beta
I was referring to the comment I replied to.
Greece leaving would be problematic as Greece owes a lot of euros. If they leave, Greeks earning devalued drachmas would probably default, causing the German banks they owe money to to fail and generally causing a lot of issues. I think they'd quite like to if it wasn't for such problems.
I've had actual experience of this sort in an established, relatively large company with a dedicated CFO. Worse and worse every month.
A true mistake is acknowledged, not repeated, and addressed: the opposite of what a failing company in denial does.
I was just drawing the distinction between beating the market through passive investing (simple stock picking) vs. what Warren Buffet does.
"Consumer Product Safety Commission is behind...DDoS"

This sort of title suggests that intent is not important.

If we accept that as true, then we can make a few more observations.

DNSSEC is behind DDoS.

The large responses mandated by DNSSEC allow DNS to be used to DDoS.

People warned the DNSSEC proponents about this.

They ignored the warnings.

Because the intent of DNSSEC is something else besides DDoS. (What that something is could be a controversial topic in itself.)

If DNSSEC and its users are behind DDoS, then who is behind DNSSEC?

What are they trying to achieve, what is the problem they hope to solve with DNSSEC? Besides making DDoS easier.

A small group of people gets to ultimately decide what is and what is not a "valid" or "authentic" domain name?

Why would anyone need something like that?

"DNS experts" over the years have been increasingly willing to admit that it's reasonable to acknowledge that users could choose not to share a DNS cache with anyone else. They could run their own cache bound to the loopback.

When this happens, does the user still need DNSSEC?
Ghosts of White People Past: Witnessing White Flight from an Asian Ethnoburb
Show HN: Archiejs – a Node.js dependency injection framework for large projects
The modules in ArchieJS are very similar to NPM modules, except that a thin wrapper gives them some lifecycle events (such as initialization or termination) and they are injected into one-other.

https://github.com/archiejs/archiejs-docs/blob/master/README.md
> An alternative to mailbox.org is mailfence.com.

Do they also use on Open-Xchange?
Well, for one thing, you have to define 'true'. The incompleteness theorems don't have anything to do with what's 'true', they have to do with what's 'derivable'.

It's a consequence of the completeness theorem that every consistent theory has a model. Furthermore, in any incomplete system whereby a Godel sentence is useful, there are necessarily models that differ on the satisfaction of the Godel sentence.
I think the same thing happened to letsencrypt
If I have a 95% chance of losing a dollar from a vulnerability. I'm not gonna pay you a dollar for it. I have a 100% chance of losing a dollar that way and a 95% chance if I don't. Even if I buy it from you it may cost me 50 cents to fix it. Then I lose $1.50. If I pay you 45 cents then I break even if the process scales up to tons of $1 95% vulnerabilities that can be fixed for 50 cents.

Fair price is a pipe dream. But considering the huge sums of money that are involved something more than "here's $500, thanks for your time" would be nice.

As it stands if you're good at breaking stuff you can make more money breaking it for the bad guys than for the good guys. No other industry has this problem. E.g. a good lockpicker or safe cracker can make more money performing his/her trade legitimately.
They tried setting some some similar innovative type of tech offices during the .com boom. The offices were closed down and GE went back to their corporate roots. My guess is that history will repeat itself.
Interview with Rising Pop Star Kaya Stewart
Documentation:

[1] https://github.com/archiejs/archiejs-docs/blob/master/README...

Demo apps:

[1] https://github.com/archiejs/demo-webapp-mongo-redis-ticket_b...

[2] https://github.com/archiejs/demo-basicapp-googlecloudvision-...
The EU and latter day Soviet Union share more similarities than people would like to admit.

The EU tries to prevent countries breaking away from its dictats using economic war as a threat (i.e. you obey us or we stop trading with you), rather than "hot war" - at present. But elements of the EU are pushing to get its own army, and the EU already has a system in place to effectively eliminate or take over governments that are deemed to not be reflecting EU "values":

http://www.breitbart.com/london/2016/05/24/eu-vows-use-new-p...

Fast forward 20 years and you get zealots like Juncker who already want to "punish" countries where voters disagree with him, put them in charge of their own army with a puppet parliament, and presto - the USSR is back.
Similar to https://github.com/customd/jquery-visible which I use a lot.
+1 for manual entry; or if you need to fix some cells in the data.
Ask HN: Performance optimizations for Geospatial applications
I am in the process of creating a mobile app that consumes geospatial data intensively. I am displaying a map of points of interest and upon user interaction (pinching, panning) with the map, I query the database for the new region. As you may infer this is very computationally expensive as I could potentially be making thousands of geospatial queries per minute. My current DB is RethinkDB, however as explained in Uber's tech stack article they use Redis for caching geospatial data. Does anyone have any insight into how to accomplish this? Are there any alternatives you recommend? Thanks
Does English Use More One-Syllable Words Than Spanish?
I don't know about in the USA, but given the types of consumer access in use today, I wouldn't rely on it much beyond the country or perhaps state/province level.

For consumer level ISP's, you're likely to just get the location of the ISP headquarters.

If you need more accurate user location, I'd suggest looking into device location APIs - they aren't available all the time, and the user can reject/deny the request, but if accurate location is important and actually gives benefit to the user, that's likely a better solution.
Yeah, but then I remembered pressure. ;-)
Dragon has an unpressurized "trunk" which it can use to carry stuff like this. Here's a picture (a rendering, looks like, but it gets the point across) of the adapter being removed from Dragon's trunk:

http://imgur.com/LAMS49w

The rear part (with the solar panels) is discarded before the capsule at the top returns to Earth.
> 4wd/AWD are almost never necessary in USA and europe today...

I'd have disagreed a few years ago, then I moved to Norway. Snow is normal.

And the average car is simply a FWD. Most folks tend to have cars or station wagons instead of trucks and SUV's, and most of those are FWD.

The biggest things that help in snow?

Snow tires and snow socks for the tires, and chains when necessary. My spouse thought it was nuts that people didn't change tires in the winter, and average travel speeds on roads is slightly higher on snow and ice. Most folks will take their cars lightly offroad without incident (prinmitive vacation houses are often on dirt roads with weedy grass parking). In cities, at least, it is also pretty common to have bins with grit and I think folks need to keep safety items (a shovel) in their cars.

The snow socks are neat, and I wished they were more common in the states. They weren't in Indiana, anyway. http://www.autosock.co.uk/http://www.autosock.co.uk/
Wish it could be based on OpenBSD instead of Linux.
In consistent systems, false theorems are always unprovable.

So it's only interesting when unprovable theorems are true.

(If you're looking for a false theorem that isn't disprovable, simply negate an unprovable true theorem.)
This is really awesome. Looking forward to seeing progress on it. Ideally this could become the default provider for Vagrant on OS X in the future. I'm sure it'd be a million times better than VirtualBox.
Top 11 startups to watch from Bangladesh
I'm not a logician, but I think the question (a good one) is not quite well-posed. As I understand, in mathematical logic, a statement being provable means one can deduce it from a set of axioms. If you have a set of axioms A sufficiently powerful for Godel's construction to go through, the resulting Godel sentence s is (by construction) not provable from A, but one can always make it provable by appending s to the axioms A.

For a statement to be true, on the other hand, has a technical meaning: it means that there is a model (in the sense of model theory, see https://en.wikipedia.org/wiki/Model_theory ) in which both the axioms A and the sentence s are true. Godel's completeness theorem (https://en.wikipedia.org/wiki/G%C3%B6del%27s_completeness_th...) asserts that s is provable from A if and only if s is true in every model in which A holds.
Find the people from your uni around you
Hey! We built an app in React Native to locate the people that study/studied at your university around you. That's so you can easily exchange with them, network or just meet and grab a beer. Let us know what you think! www.eliott-app.com
When they start hiring MBAs, who then turn everything into a "profit center".
When I worked as an RA while getting my BSCS (and for a time during my first post-college job), I spent quite a bit of time with ACL2 (a language, logic, and proof assistant using a first-order variant of common lisp). I spent a lot of time applying ACL2 to my research area (information flow analysis for secure systems), and I feel your pain re: proof strategies. It was almost like learning how to prove things again (e.g. learning new induction strategies that matched the logical framework used by the tool).

That said, there was an incredible amount of freedom in knowing that if the tool accepted a proof, it was (probably) correct. Occasionally I would stumble on to a strategy without knowing why exactly it worked, and the interactive nature of the tool helped me gain understanding by letting my apply transformations to terms interactively without having to worry about whether I screwed up some minor detail.

I'd love to see one of these tools (though, probably not ACL2 at this point - first-order logic frequently felt limiting (e.g. when proving things about parameterized equivalence relations)) used in a book covering some math topic I'd like to learn, as interactive formalism seems well-suited to self-exploration (you don't need an instructor to point out your trivial errors)
There's been recent controversy about President Obama's executive orders, so I found it interesting that this article describes the impact of an executive order by President Theodore Roosevelt in 1906 (which was subsequently overturned by Congress).

I hadn't known that executive orders began with George Washington:

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

And President Obama has issued relatively few executive orders compared with his predecessors.
The areas that voted most strongly for Brexit are the areas that have seen the highest rate of change in immigration levels. It's the derivative not the absolute value that causes pushback.
I don't know if I'd agree with that - I haven't worked at a company that uses them, but I have seen them all over Facebook, and they don't look like they're failing anytime soon so far.
There's a relationship between the incompleteness theorems and the halting problem in that no turing machine can decide whether an arbitrary statement in a logical system where the incompleteness theorems apply is derivable or not. Equivalently, there's no turing machine with input 'statement in the logical system' and outputs a proof or a "unprovable".

However, once you already have a proof, checking is much easier (at the formal level). Modern mathematical proofs, however, are not generally written in a fashion in any way similar to how the formal system operates, so applying this in practice is non-trivial.
If all unprovable theorems were true and you could prove that statement then you'd have proven the unprovable. So no.
RoR developers: looking for feedback on my portfolio
I use them as well, they have custom domain and two factor authentification support. The only complain is that sharing in their online Office can be buggy, i hope Open-Xchange will fix that, but that's more of a side feature for me. At least their business model seems more honest than Proton Mail.
That really depends on the jurisdiction. The UK famously has very different libel rules, and judges that are much less willing to tolerate satire, hence the "I'll sue you in England" line in SouthPark's Scientology episode.

Satire/parody-related defences can fall apart when saying something that is allegedly true (ie "Tom Cruise is gay"). Truth is a defence in the US, but not in England and other jurisdictions that place privacy above "the public's right to know". SouthPark has in the past run some serious risks in this regard, but they seem more restrained lately.
The NASA article[1] has a better write up and says:

While the crew will be able to move the supplies out of the interior, pressurized compartment of the Dragon without leaving the station, the robotic arm will be called on to pull the IDA from the trunk and maneuver it near the port where it will be connected. NASA astronauts currently living aboard the station will perform a spacewalk later this summer to make the final connection of the IDA to the Harmony module.

1. http://www.nasa.gov/feature/spacex-crs-9-carrying-crucial-po...
A point I have not seen mentioned is that Excel encourages bad practices for data visualization. No other statistics or data analysis software I am aware of gives you the option of 3D-ifying a 2D plot. This adds negative value to the plot for anyone who is actually interested in data over eye candy. Simple example is a pie chart. Give it depth and it becomes much more difficult to reason about, and one's reasoning could easily change if the chart was rotated.
I recently graduated and this is my first time looking for jobs using an online portfolio. Looking for any feedback I can get, I also appreciate "It's too boring" comments...
> Yes, I do know that some clever people use it. They are productive in spite of excel, not because of it.

Would they be more productive if you took Excel from them?

> I remember a billion dollar merger where the analyst in charge of the "modelling" showed me how they reached the line limit. It's as if making things complicated justified their salaries, so maybe that's why excel is so popular.

How should the analyst write his model in a simple way? As a Java (or Haskell, or whatever firs your ideal of simplicity) program? Or maybe he could simplify the model until he can write it down in a piece of paper.
Here are some photos of the trunk on the ground:
http://www.spacex.com/news/2013/03/26/dragon-trunk

Quite a lot of space in there.
> Tesla has an ordinary open differential but will apply the brake on an overspeeding wheel.

Is that different than the traction control used by other automakers?

> Tesla's all wheel drive system has a separate motor for the front and rear wheels.

That is very cool. And it sounds much more complex - I wonder if the complexity is worth the benefit.
MacOS Sierra Code Confirms Thunderbolt 3 and 10Gb/s USB 3.1 in Future Macs
I wrote this post on "P2P Energy Economy" [1] back in 2009 when Bitcoin was new and Satoshi mentioned in his one and only email [2] to the P2P Foundation list that it could be based on Bitcoin, but I could not align the ideology of Bitcoin with the ideology I started with, which is that money should be useful in and of itself. Now I can see what he meant.

[1] - http://wiki.p2pfoundation.net/P2P_Energy_Economy

[2] - http://archive.is/5CbYM
Office space isn't that expensive.

While cost IS a factor, the idea seems to be going round that open plan is genuinely superior. (Although rarely so superior that the executives partake...)
Very true, that is a continual problem that even twitch hopefully has to address often. There are no simple answers as you scale an application. I was more addressing the feature set.

All a team can really do is setup an architecture that can theoretically scale, and then adjust as you reach higher and higher levels.

FWIW, our site is actually a pivot after a product that reached a higher unique per day than twitch currently has (99th globally vs 63rd globally according to alexa.com). And I can say from experience that scaling a real-time experience is MUCH harder than a more traditional web app experience. But the techniques are much the same, reach the scale, see what breaks, fix.
The skilled, senior developers leave.

Money problems (Travel cancelled, Free food/drinks stopped)

Drastically shorter deadlines.

They start hiring programmers who cannot code (Literally cannot fizzbuzz)

Rapid flip-flopping on projects couples with constant firefighting.

Starting to Micromanage developer time in intervals less than 1 day - (exactly 3 hours on X, exactly 2 hours on Y, exactly 3.5 hours on Z)
>It was nice having the cofounder around, but he could not really help at that point. He helped a bit with some guerilla marketing and started to work on our investment. I did the main work. That feeling of unfairness - even though you know that it is not on purpose, was really bad.

Could not agree more. I hate this feeling and realize that IN THE FUTURE the nontechnical/sales/marketing cofounder could absolutely have a longer lasting effect on the success of the business. However, those first months where you're building the product and he/she isn't really doing much or isn't proactive in finding ways to contribute are very tough.

In the future, I'm thinking I'll start out solo building the MVP and trying to get traction, then when there's enough, find a nontechnical cofounder whose equity is based around hitting users/sales/funding milestones.
Hm, interesting. So many solutions around. Anyway in page [1] you have a typo:

"The authorization token is public, and may be diabled at anytime to prevent abuse."

[1] https://www.lite-engine.com/blog/hello_world.html
Interesting; and that's a shame. I guess I just mean to say that a mistake like that could legitimately be a mistake. I'd be horrified if our employees thought we were going bankrupt because our payroll system had a bug in it!
When an article title poses a question like that... the answer is probably no.
> Are all unprovable theorems true?

"True" in this context means "conforms to my intuitive understanding of what true means".

Gödel sentences are an elaborate construction that express the concept "This sentence is unprovable from $AXIOMS" without using direct self-reference, but this construction only means what we think it means if the natural numbers are the "real" natural numbers.

Because no finite set of axioms can rule out all nonstandard models, you can't be sure that there isn't some "proof" corresponding to a nonstandard number.

If such a thing exists, the Gödel sentence is still unprovable (because no proof exists) but false (because it asserts that no "proof" exists, although there is a nonstandard one).
No news or new information in this article, just a recap of events that have already been widely discussed and speculation about what might happen in the future.
If they are options expiry it just has to be short term to,make large, leveraged gains.

The risk is the business uses capital to acquire stock and defend against these attacks which is the right tactical thing to do.

The real danger though is hackers making secret deals with nefarious hedge funds to attack hard so the company can't defend. Can you imagine if someone made a wide scale assault against a company who's revenue was based purely on its cloud revenue?
Something I've learned is that snow tires make a big difference during the winter, and I've read that they make a bigger difference than AWD.
It don't think it will work this way. The difference is because medical devices that contain known vulnerabilities can't just remain operating like a movie studio or cheat-dating-site can. Therefore publishing truly critical vulnerabilities will always have an effect on the company's stock, because more than just reputation is on the line.
Lions vs. Ravens Live Stream Free
If every sale remains an exercise in business development and requires the driving force of a founder or similar key person, then the company is closer to failure than success.

While this type of biz dev feels like forward action in the trenches, in reality it means that you are only a few key deals or people from an empty accounts receivable.

Companies that bring process to the prospecting and sales cycle, and develop a path to closing business that is not highly dependent on a small pool of stakeholders have a clear path to growth.
I'm the CEO of a 20-person startup and we've been on the brink of failure twice. Both times, our employees were never aware of it from the symptoms other people might expect (e.g., late payroll, some senior folks leaving); in fact, during such times we paid everyone ON TIME so that we wouldn't be on the hook later if things went to hell.

I would flip the question back to you:
(1) Do you trust your CEO?
(2) If you DO trust the CEO, then the only time your startup is failing is when the CEO tells you they're close to failure, running out of money.

If you DON'T trust your CEO, then your startup is also failing and #2 doesn't apply.

That's how I would think about it.

I think every startup employee has the right to ask me about runway, cash on hand, etc. I would be open with that info and have shared these metrics in the past with them.

I say this because we (a) hire MBAs, (b) hire less qualified developers for roles that do not require deep technical knowledge, (c) have motivational posters, etc... And as we grow, become profitable, and scale to 50+ people, we require these things simply to survive and thrive.

How could someone mistake that for a startup on the brink of failure is beyond me, but that's what some people seem to be writing in these comments.
Have to enter email to read? Forget it.
Newbie question: if one is not interested in extracting programs, but only in proving stuff, is a proof assistant like Isabelle/HOL easier to use than one based on constructive logic like Coq?
Breitbart's Milo Yiannopoulos asks Twitter to release his data
I'm confused what public roads have to do with anything. Does this mean you oppose regulation of private acts happening off the public roads? For example, if I want to employ people in a racist manner and pay them $3/hour in the privacy of my own bedroom, that's ok?

Or perhaps if the democratic will of the people decides that blacks must use a separate but equal set of public roads, that's also OK?

My only point is that appeals to the "democratic will of the people" are a dishonest justification for a policy. People are perfectly happy to ignore it when it leads to policies they dislike.
On Golang's `defer`