skysight-inc/HackerNews huggingface dataset:
I remember watching James Bond get recovered that way in one of his movies and doing a bit more research. Apparently people who had been recovered that way often had spinal trauma. There was a write up in one of the technical reports about changing the compliance of the pick up line to spread the acceleration of the "passenger" over a long enough time without there being a bounce effect of the line jumping off the front of the plane.

I wondered if you could do something with trains where they lifted a net in front, over, and then behind them. The idea being to lift off people who were in front of them in a way that was gentle enough to not kill them.

It is impractical of course because pretty much any system would impart enough kinetic energy into the person that they would fly off and kill them selves anyway when they hit where they landed. Of course the train wouldn't have to stop but that was small comfort.
The driver's attention is not focused solely on the crosswalk, but on many different things at different times during the approach. Once the driver reaches the point where the brain is tricked most by the illusion, the attention will be on the crosswalk, with a greater probabilty. That's all what matters, these milliseconds where the brain perceives the illusion as an obstacle.
This is a massive loss for mathematics and the world :(

Although I've never met him, I've been strongly influenced by his writings and contributions to math, especially his down to earth blog posts.
It looks like you are developing a system for better political discourse.

https://docs.google.com/forms/d/e/1FAIpQLSf8URhWCUk1t1D_EQif...
It’s true, that’s why I’m surprised more countries don’t adopt it, it’s petty shortsighted from the elites not to support it is my point.

Personally I feel that the best solution to what you describe would be democratization of business and industry.

It does at least prevent the worst kind of poverty, like we have in South Africa for example, so it would be most welcome here.
Become a writer or get a (tech) writing skill? The latter could serve you well
It is also the pinnacle of interoperability. Nowadays, two apps in the appstore can't send messages between each other, because reasons.
With email you have compatibility between so many vendors, devices, programs, programming languages ... everything is compatible. It is THE standard.
‘Let's Make a Deal’ host Monty Hall has died
Having read some more about this entropic gravity theory it does have quite a few pretty strong criticisms, detailed on the the wiki page.
I don't think you should watch Burns' documentaries or any documentaries as history, but as works of art.

And Burns' Vietnam War is a great work of art. And you have to appreciate that he is making a film for an audience and naturally, he will cater a significant part of it to that audience.

There is no such thing as a completely unbiased documentary or history book or political text. They are all made by biased people.

But I think Burns' gave every major side and every major viewpoint a voice in his documentary. And that's all we can ask.

I think his film was as objective and fair as anyone, or any american, can be. But you have to be cognizant of the fact that it is an american documentary by american filmmakers for an american audience.
A great documentary on par with his Civil War documentary.

Binged watched the entire series in 2 days.
The solution is simple: change driving sides every 10 years.
Obsolete? Maybe not yet. But I do think putting forth effort to improving distributed protocols like IPFS could be very helpful in preventing internet censorship like we have seen from Comcast, YouTube, etc. recently.
https://news.ycombinator.com/item?id=15367077
Anyone can easily find for themselves plenty of coverage of these issues in major news publications. We don't need citations in every comment.
The literal next sentence in your link:

> One essential prerequisite is the perception, by the bully or by others, of an imbalance of social or physical power, which distinguishes bullying from conflict.
Being more rigid about semantics and formalization of program meaning means that it is a simpler process to answer queries about what a certain piece of code does vs an alternative “pragmatic” language that is riddled with exceptions and lacks a strong type system.

If your job is to take a piece of code written by someone else and either fix a bug or add a feature, it is objectively easier to do when you have strong guarantees about input types and format, exceptions generated, referential transparency, side effects, execution model, etc.

You also get shorter programs and simpler programs in the algorithmic complexity sense when you have strong first class features for modularity, interface definition, and constrained polymorphism.

Haskell has all of these properties as good and often better than “production” languages, and has since the 90’s. Haskell is objectively better on all counts.

However what matters is not objective truths but subjective realities. Haskell is also “different” in a way that is only endearing to mathematicians and CS theorists (which are really the same in the extremes). You can hire someone and train them on Haskell, but it’ll take much time and money to get them to similar comfort levels, and not everyone is willing. And with Rust, which carries over many of Haskell’s benefits to the imperative world, you can get 80% of the benefit for 20% of the cost. So why bother?

If I had a time machine though, I think code dropping Haskell 98 back prior to the invention of FORTRAN would have put us in a much more desirable alternative history. One where code mostly works as advertised, security is based on proofs of correctness not boxing, requirements and intentions are more clear and explicit, etc. Too bad we live in the world we do.
Yeah I know :-)

But OK here's a reference of sorts. Not by Feynman but by Bennet and Landauer. https://www.scientificamerican.com/article/the-fundamental-p...

"there is no minimum amount of energy that must be expended in order to run a Brownian clockwork Turing machine."

Also interesting but I didn't find the exact thing I was looking for:

Simulating Physics with Computers
Richard P. Feynman
https://people.eecs.berkeley.edu/~christos/classics/Feynman....

Richard Feynman and Computation
https://cds.cern.ch/record/411350/files/p101.pdf
>It baffles me the amount of misinformation given to the public in the West. A deliberate attempt to mislead and misguide people to further an agenda of violence, coup, and war.

You give us no specifics about what the article says that is not true. I guess that's because you don't have any.

In particular, is it really your view that Erdogan is not making Turkey far more Islamic than it was? And would you oppose or support that?
Interestingly, many people (including Trump) said the same thing about Trump in the States. He's so independently wealthy, he can finance his entire campaign himself and not be controlled by anyone because he doesn't owe them anything. Turns out that couldn't be further from the truth.
In my city a lot of new crosswalks have white stripes on a bright yellow background, a lot of them with blinking LEDs. In several places even the sign has a flashing light. Nobody will stop on an ordinary zebra crossing anymore, it doesn't even register. As for the interesting patterns to draw attention, they tried it in a different town in my country near a school, painted the stripes with different colors. Didn't last, police says not according to road regulations. And then someone brought up the famous zebra crossing in the capital near the zoo, where the pattern was realistic zebra stripes. That was promptly repainted as well.
> Why do you think that after 1000 years of war (in the case of the 'Germanics' - you could say 2000 years, i.e. against the Romans) - that places like 'Germany' still exist as a relatively coherent entity? Even when they were not 'a single state' they were allied.

When has "Germany" been a "a relatively coherent entity"? The "Germanics" the Romans fought against have just as much in common with today's Germans as they do with the French or the Dutch–the French get their name from a Germanic tribe (the Franks), the principal historical difference between France and Germany is that the Germanics who invaded the Roman Empire ended up adopting the language of the people they had conquered, whereas those who remained beyond its borders kept their original Germanic language.

Moving forward, what we call "Germany" today is just the Prussian-dominated part of the Holy Roman Empire–"Austria" being the other main component–the separation of "Germany" and "Austria" is fundamentally due to dynastic politics (the Hohenzollern dynasty ruling Prussia vs. the Habsburg dynasty ruling Austria) and religion (the former being dominated by Protestants, the later dominated by Catholics)–the differences between Austrians and Germans are really no greater than the internal differences within each country, and the fact that they are two separate countries today is more an accident of history than anything deeper.

The only time that historic Germany has ever been a "relatively coherent entity" was in the Nazi period. (I think Hitler's role in Austria-Germany relations was sort of paradoxical, in that despite briefly unifying the two countries, he ended up associating the whole idea of unification with his own odiousness, such that Austria-Germany unification is a lot less likely now than it would have been had Hitler never happened.)

> The boundaries of Europe for some reason always seem to 'snap back' to something resembling an ethnographic map.

Yes and no. On the one hand, political boundaries often (but not always) end up following ethnic boundaries. On the other hand, ethnicity is often a deliberate political construction. Look at France – for many decades, even centuries, the policy of the French central government was to suppress regional ethnic/cultural/linguistic identities in favour of a homogenous notion of Frenchness. If people on opposite sides of France see themselves today as having a common ethnic identity, that is due to the deliberate policy of the French state, rather than something that happened naturally.
I really like this. I get overwhelmed by the options and want to be prudent yet have freedom to screw up.
A great loss for mathematics!

I became familiar with his work through HoTT --

> More recently he became interested in type-theoretic formalizations of mathematics and automated proof verification. He was working on new foundations of mathematics based on homotopy-theoretic semantics of Martin-Löf type theories. His new "Univalence Axiom" has had a dramatic impact in both mathematics and computer science.

And some of his online lectures outlining his reasoning and motivations became greatly influential on my own interests.
> I am unable to judge zcash and must rely on other cues. So when the founders seem to be saying they're OK with backdoors, it makes me think hey, given the chance maybe there's something they could do.

This approach is vulnerable to an easy attack: get government funding, design a cryptosystem with lots of backdoors, and proudly proclaim that you will never add one and you will absolutely stand up to the government.

I think you should find a better way to evaluate cryptosystems.
So do we need to pay the US President billions?

If there was a "pay $10 billion to get a law" corruption system in the US, all the big companies would spend that money. Nothing is more valuable

We don't need to reward politicians for not being terrible. Having a strong independent judiciary is good enough.

Sure, in the US there's super PACs and whatnot, but when the bribery is explicit enough, politicians go to jail.
If someone clarifies a meaning by saying "this is what I mean" and pointing to a dictionary definition, a more appropriate response might be "Oh, I didn't realise that's the way you meant it".

That's a sophisticated response. Though you might care to decide which meaning of "sophisticated" you think I'm referencing here.

(There are, in fact, words with widely varying, and even opposed, definitions. Arguing that someone means one that they clearly don't, in such a case, would be exceedingly uncharitable.)
No, I'm not. Words can have multiple definitions. One definition does not apply, but a different one does. That's how language works. Hell, most adjectives mean more than one thing, that's just English.
It is. I wonder what this will mean for Homotopy Type Theory.
Does anyone know if Dat can be used over HTTP like IPFS can?
>YOU are the one who is demonizing someone else (Snowden)

Demonizing, no. Simply expressing a lack of faith in human nature.
There’s some good advice on this thread, and I’m definitely going to do some reading before I go to the optician next. I’ve been wearing glasses for 15 years and I don’t think I’ve ever had a pair that are really comfortable for computer work. The best I had was contact lenses, but now I have a weak astigmatism which they can’t correct properly.

Anyway I wanted to ask about your test lens set. Do you just go to the optician with the glasses? I get the impression they’d give a reaction as if you are self diagnosing from something you’ve read online...
I only read Da Vinci Code. To me it felt more like a propaganda piece for conspiracy theorists.
Purism and Its Critics
Interesting, apparently this is already a thing in India and China
http://tris.com.hr/2016/05/3d-zebra-i-nacrtana-provalija-na-...
Inside the Surreal World of Chess Boxing
Not to justify them shafting you, but I remember seeing articles around April this year that Nautilus has been dealing with financial troubles. Writers have been waiting on payment and the editor admitted: "they were running on fumes". I don't know if they've managed new funding sources, or maybe a kind of patronage, but that could explain their difficulties with the print editions.
It's amazing to me that modern aircraft engineering is so good that an engine can lose its fan blade entirely at 35000 feet and the plane can still continue on for 2 hours and safely land. An uncontained failure like this is the worst kind, and I know it could have gone worse, but it didn't and that amazes me.

I wonder if the cowling contained the initial disintegration but was removed in the process. I'm not an engineer, but from the way that looks and the fact that nothing flew off and did further damage makes me at least wonder if that's what happened.
The fan failure was probably contained by the cowling. But the cowling broke right after because of stresses imposed by the damage and wind. If that's so, the cowling worked. The inner fans look damaged, so I assume the outer fan particles flew through the engine like expected.
Alaska Airlines has had exactly the same program for almost a year: iMessage, Messenger, Hangouts, etc. traffic goes through without having to pay for it[1]. After a tenuous partnership, Delta and Alaska have been at each other's throats of late, so it's not surprising to see Delta imitating some of Alaska's offerings.

By the way, even though you couldn't tell from Alaska's landing page, Hangouts/Messenger/the like all work from an ordinary laptop, too. I've flown a lot of Alaska miles this year, and often wonder how much work it would be to implement "TCP over Messenger" :-)

[1]: https://www.alaskaair.com/content/travel-info/flight-experie...
See ActiveX for windows
> the public polls and reaction after Kent State

That was shocking for me too. In high school, we were taught that kent state was a significant event that galvanized the public to end the vietnam war. It made it seemed like 99% of americans were appalled by it. I had no idea that nearly 60% approved of the shooting.

> and Mai Lie astounded me

Yeah, it just shows that all the political talk about how good/kind/generous/decent americans are is just nonsense. I wish our politicians would stop it with the american exceptional lies already. We are people like any other. There are good and bad. We aren't saints. Also, how low were these people that they defended the murder of infants?
This? https://en.wikipedia.org/wiki/Seasonal_affective_disorder
Never Completed Game
If you dump ten million bucks worth of shares in a $10B company, it doesn't matter how many other $10B companies there are. All that matters is the liquidity of that particular company.
“Democratization of business and industry” is a way of saying less regulation, right? I’m a mostly libertarian myself, and agree, but it’s not a popular opinion among progressives and BI supporters. They focus on “less regulation” meaning less accountability, rather than less barriers to entrepreneurship.
A developer that does not use mail for code submission.
Non sociable has always been a valid, and in my experience the primary, meaning of the word antisocial. The sociopathic definition has come to prominence relatively recently, hand in hand with its adoption as a favoured euphemism in the authorities' rebranding of low level crime.
PSA:

Grew up pretty poor. One of those people that just got lucky and was never seriously injured since I didn't have health insurance until I went to university.

Again, I was one of those people that always struggled to read for extended periods of time. It never occurred to me that I might need glasses and I didn't have a single eye exam as a kid.

Fast forward to one of my last semesters. I finally go in for an eye exam and sure enough, I needed glasses.

After I got the glasses, studying for long periods was effortless (at least by comparison) and needless to say, my grades improved drastically. For at least a short period, I felt what it was like to do well in at a really competitive school.

I really wish that period had been longer, so please, if you're reading this and you've been putting off an eye exam, go do it today.
Elegant open source Evernote desktop app
> One definition does not apply, but a different one does.

This is you choosing to ignore the first definition. And it's NBD.

I do understand how language works. You can choose to focus on one definition and ignore another, as is clear by this thread.
Brown wrote one book about the space business, “Deception Point”. IIRC, the plot was that a couple of aerospace companies had faked a meteorite with fossils in it, in order to leverage a huge increase in the space industry from Congress.

He made the mistake of naming the companies involved in the conspiracy. These were companies that, in the book, were powerful enough to buy off Senators, pay massive bribes, and leverage incredibly advanced technologies. He named three, and they weren't who you might expect (Boeing, LockMart, Northrop-Grumman) - they were from the original generation of “new space” companies.

When I read the novel, I had worked with two of the three companies. One had gone bankrupt five years after the novel was published. The other had, as I recall, three employees.

No more Dan Brown for me.
State Of the Art of War: Offensive Techniques in Binary Analysis [pdf]
To answer just one of your questions, many commands have a patch mode as -p. At this point I rarely just git add, it's always git add -p. A side benefit is that you get a chance to review your own code, make sure you cleaned everything up, and can't accidentally commit something.

And you may be interested in the Gitless papers, they are a very interesting approach. I personally think I've got a good enough sense of Git to generally use it pretty effectively (and I'd say with somewhat high-level thinking, though you may disagree), though I'll admit that's after reading the Git Book a few times.

Honestly, my opinion is that most devs just rush their work all the time, and having a different model of version control can't stop them from doing so. Careful, measured practice is the solution, but that's often a hard argument to make in the current industry.
Star Wars Jedi Knight: Dark Forces II Turns 20 Today
Jedi Knight turned 20 years old today according to Wikipedia. Even though I haven't played video games in many years, I still have fond memories of playing this title as a kid. Vast, mysterious, dark, and a lot of fun. This topic isn't what you usually see on HN, but I thought this kind of crowd might enjoy a trip down memory lane.
Bartering often comes after a depression already exists. When liquidity drops to zero, people will develop their own money. Bottles of Tide, gasoline, cigarettes, etc.
I was thinking about this the other day. This airplane is functioning fine with a failure like that. On the other hand my bug took down the entire fleet of servers the other day. It's terrifying because bug was in the unit tests!

As an industry we suck as reliability and failure handling!
The great thing about email is that it is asynchronous.

The problem with a ALM is it is a global lock. It is enormously disruptive if it is unavailable or even slow.
I'm not familiar with that law, but it sounds a lot like what we have in The Netherlands. I'm curious about your alternative to "Erbengemeinschaft"?
Bitcoin's a bubble and ICO's are a scam. I feel for those whose hard earned IRAs are being invested in these.
I Turned My Dad's 1950s Morse Key into a USB Keyboard – Album on Imgur
Is this Dan Brown the ski jumper? Everybody knows he never jumped more than 20 meters. Why the fuck should I listen this guy?
>This is you ignoring the first definition.

No, it's English allowing words to have multiple definitions.

>I do understand how language works. You can choose to focus on one definition and ignore another, as is clear by this thread.

So why do you take issue with that? If one definition applies, and the other does not, why are you focusing on the definition that doesn't apply? That would be like me picking apart every single word of your post because they can all have multiple meanings. You're straw manning a headline that isn't even making an argument. You're just being disingenuous to be a dick.
I was trying to imply “live forever” without saying it since that results in a bunch of ignorant responses (not yours). If you don’t die — which should be the end goal, no? — how do you leave a sufficient amount to your kids while keeping enough to live well yourself? If you never move into a nursing home — because you are as healthy at 65 as you were at 25 — then how do they stay in your house?

I’m against burdening our young people with debt, for sure, but I don’t see generational wealth as a long term solution to that either.