skysight-inc/HackerNews huggingface dataset:
Personally, I don't really like the translation "information about A and B is insufficient to rule out implication". At least when I say "A implies B" I mean exactly "A => B". But maybe I hang out with too many mathematicians.

Other common translations you might be interested in are "A suffices for B" or "B is necessary for A". Though admittedly these particular words have a bit of a mathy tone, so no wonder they are so precisely tied to the definition of implication.

As far as your idea of "outside information" goes, I'm afraid it kind of breaks outside the bounds of sentential logic, which cannot deal with numbers in the manner you are attempting. However, that does not mean we cannot analyze it with logic. It should be simple to put your sentences into the logical "language" of Arithmetic and to prove more or less what you would expect: A is false (because John never leaves the office before 5), B is false (because it takes him 30 minutes to get home), and that "A => B" is true (by the definition of material implication, however vacuously).
> They try, again inasmuch as I know, to not blame a person - but to blame a process. This is not a distinction without difference. It fosters an attitude of cooperation and openness.

Because even when the cause was blatant human error, it can still be a process problem -- how did this type of human error slice through all the protections against it? What process can be put into place to prevent disaster even when some bonehead does that same thing again?

But air travel safety is atypical.

If the crash rate for planes was the same as it is for cars then air travel would have to be prohibited as a necessary measure to prevent the extinction of the human race.

Most endeavors are not of that sort.

And so in most other contexts we could use their methods to produce a process that will prevent a particular category of trouble, but suffering the trouble costs $2M (instead of $2B) and implementing the process costs $20M.

And then people will want to implement it anyway, even though they shouldn't, because "it solves the problem".

Or, seeing the obvious fallacy in spending $20M to prevent $2M in harm, a "compromise" is proposed to spend $1M to prevent 5% of the $2M harm, still with no one doing the math. And then, problem still 95% unsolved, more half measures are kludged on over time until the surrounding bureaucracy becomes politically powerful enough to be self-sustaining.

Because people don't want to admit that some diseases aren't worse than their cures.
More like what's wrong with VPEng who can't program?
Answer: plenty.
1. 2003 - cuts to training, 6 month "SWOS Basic" training eliminated.

2. reliance on technology, no basic seamanship skills

3. Iraq and Afganistan wars, more need to support ground ops

4. Officers care about Cover Your Ass.
An Open Compute engineer describes server HW design for hyperscale datacenters
Not quite. You'll also need a minority owned business to act a pass through entity.
OMG i think u just invented a world class Movie/script. >> please someone start writing it.
I enjoy email, but get frustrated when conversations get long. Here is my favourite quote about email, which explains the issue lovingly:

--
A: Because it reverses the logical flow of conversation.
Q: Why is top posting frowned upon?
A: Top-posting.
Q: What is the most annoying thing on usenet and in email?
Always good to see a Cod War reference..
Game of Thrones Book 6 Generator
You are not the last Medium post you read
Yes, and North Korea's continued existence is useful to China. If this pet bites the hand the feeds it, China can euthanize it and select a new pet. Plenty of generals ready to take Kim's place and consolidate power over NK with China's assistance.
So glad to see the pro-email comments! People seem so down on email, I made buttons for those of us who still like it: http://giantcatco.bigcartel.com/
"would have lived" with continued treatment isn't quite the right metric, because they'd be generally be withdrawing life support with or without taking the organs.
VB has a perspective on this:

https://venturebeat.com/2014/04/01/gil-hyatt-has-waited-40-y...
Since when do individuals know what's good for them? That's why we have regulation.
The premise is interesting, but the article reads like an ad for a specific alternative service.
I read(1) that only the northern part of Seoul the city is in striking distance of their (somewhat limited in numbers) long range artillery, and that there are lots of shelters e.g. the way the subway system doubles up as being bunkers.

However the civilians part between Seoul and the DMZ, home to millions, is not going to fare exceedingly well - if the North decides to "waste" their ammo on civilians instead of the military that will be hitting them back.

1) https://www.quora.com/Can-North-Korean-artillery-really-kill...
Failure modes suck - if battery or motor or logic board fail you will faceplant.
Not so with bike or scooter.
There were a tonne of people involved in the Manhattan project that weren't working on the bomb itself. The uranium enrichment was a huge project by itself.
Google and ProPublica launch tool to track hate crime in America
Derek Muller, the Veritasium guy, has a PhD in physics and a focus on the use of media for physics education. What you're seeing is his (and Destin's) successful take on how to make learning fun.
Some certainly acted with the motivation of stopping Nazis, or at least had considerations other than pure science. Notably Oppenheimer, who was quoted thus after witnessing the first nuclear explosion: "I am become Death, the destroyer of worlds."

But others, best exemplified by Edward Teller, didn't concern themselves with such liberal arts nonsense, and merrily continued building larger and larger (and–actually more dangerous–smaller) bombs after Germany was long defeated, and before the Cold War's weapon's race had begun.

And, of course, the Trinity test mentioned above only happened three months after Germany's capitulation. Since afaik none of the scientists quit and the Manhattan project continued unabated, the idea that it was solely motivated by the fear of a German bomb seems somewhat...strained.
First thing on the BBC article:

> No effort was made by the Japanese to shoot down the missile, which was launched early in the morning local time, triggering safety warnings.

Isn't that odd? Why mention this up front? Why not shoot this down given the warnings to the public indicated it was serious and a threat to life?

What tech do Japan use to shoot these down? Is it the same as the Yanks? What happens the moment they try to shoot one down and it sails right by?
I mean recovered, released from hospital, is-not-a-vegetable.
Probably my favourite comment on HN to date.
In much (all?) of Australia all government tenders have to be publicly advertised so this is something you could definitely look in to if you were interested. In particular, Victoria's listing is at : https://www.tenders.vic.gov.au/tenders/index.do
Paging Martin Shkreli, big pharma slumming and lack of informed consent is needed in room 3.
Using lynx with `-stdin -dump` works pretty well in mutt
I'm more worried about Trump escalating than Kim.
This is early days, very early days. Give it a few years, and people won't bat an eye at raising capital via the blockchain. It's just more efficient and easier. I mean, if you like having to travel around, having tons of meetings and discussions, hoping your lead investor doesn't pull out and fuck up the whole round, by all means keep supporting the current system. It just is going to change, massively, in the coming years. There will be some sort of place for traditional capital but blockchain capital raising will hit every industry.
I really can't tell if this is an expensive and sophisticated troll, or they're genuinely bewildered.

Using a graphic showing several thousand kilometre-wide pool with one edge touching a pole is disingenuous. At that scale, yes, you're going to observe Coriolis effect.

Hurricanes don't form within five degrees of the equator -- that provides a useful data point for the lower end of the scale required to see the effect.

Sydney's 34 degrees south, but the velocity delta at 1 metre distance would be dwarfed by various other environmental factors and starting conditions. (Temperature deltas and wind, especially for the outdoor pool, vortices produced by the elbow close to what looks like a 19mm outlet, texture on the PVC liner, etc.)

Plus of course in any dual-pool-emptying experiment, there's a 25% probability of this result.

I'm miffed that a single experiment gets described as 'this is science, dude!'.
There was indeed conflict. The conflict came from the juxtaposition of seemingly unrelated frames.

Creating conflict is an element of every story. Drama is the process of reconciling conflict.
In a gas pipeline, the high pressures help to stiffen the structure. In a hyperloop, you have very low pressure inside the pipe which changes the pipe design completely.

https://youtu.be/T9bpUfWy8Wg?t=161
> I think it's less about outside regulators than organizations/individuals optimizing to cover their own asses. I assure you, I'm not in the "gov'ment regulators ruin everything" camp.

The problem being that the ass-covering is a predictable response to known stimuli.

What do you propose to do to get them to stop doing that?
Anecdotally, I went to a lot of raves in the 90s and did what I would consider to be a stupid amount of ecstasy now, as did most of my friends, and everyone that I've kept in touch with are fully functioning members of society. Most of us are making six figures, have families, etc. The people whose life turned into a mess were people that got sidetracked into methamphetamines or opiates.
The verdict is still up in the air

> Our largely negative findings appear inconsistent with many past studies as well as some more recent investigations (55-57) that report lowered cognitive functions in ecstasy users. Indeed, our findings are inconsistent with several findings in our own pilot study (15)
I don't know why people intuitively hate blockchain here, I rarely comment about this stuff anymore, even though I have a trillion anecdotes that make me know something big is going to happen, and soon. HN is an echo chamber like anything else.
Site appears to be hosted in AWS. Lots of free SSL goodness to be had from Amazon as well.
On a more macro scale, places I've worked have had people set goals across a longer period of time (3, 6, 12 months) that are measurable and have direct actions. I've found those to be quite good for myself as a developer as a day level measuring doesn't really capture what I do and what I achieve.

Ignoring fluctuations in performance at a day level (somedays no progress goes forward and it's more reading and thinking, come in the next day and everything just lines up and can power through a ton of work), I find that by virtue of working in a ticket based environment (user stories, anything involving Jira and/or Trello etc.) provides enough day to day ability to track how you go, so I like to set goals like in 12 months I want to have learned a new framework and worked on a project with it, or in the next 3 months I want to have re-factored this legacy code etc.

Goals to me should always extend past what you're expected to do, and instead show what you want to do in addition, whilst still adding value to the org you're at.
I love the continuous queries over append-only datasets and it's great that Kafka added support for it.

It looks like there is one main contributor (https://github.com/confluentinc/ksql/graphs/contributors) though, it seems that the other contributors either wrote the documentation or helped for the packaging. Not a great sign considering how big this project is (there are competitors which only do this such Pipelinedb), hopefully you can create a team just for KSQL.
I love picturing a room full of PhDs developing a crazy complicated algorithmic wonderland. Their celebrations at the complexity and genius of their work probably cut short, when users are targeted with ads telling them to buy something that they just bought.

When human male user "Joe" purchases a women's bath robe 1 week before Mother's day, does he really need ads for women's bath robes for the next month? Of course I know this is nothing to do with the fault of the room full of PhDs.
I feel like a lot of ICO are a way to bypass regulation that protects investors. Smells like we've hit peak tulip mania.
Arghh. The series ended before he succeeded. So close!

It was a fascinating read however and an inspiring display of persistence.
Are InfluxDB's continuous queries really like this? It's so much less of a streaming solution I hadn't realized it did this.
Many people are blaming China for the whole NK situation for their "support" and asking for a regime change.

What do you propose that China can do after the regime change?

Afghanistan, Iraq and Libya and great examples that you cannot just throw away a dictatorship. What follows is practically a game of thrones of powers in the region which is a lose-lose situation for everyone, specially people of the "free'd" country and the neighbors.
You're very right.

At a quick glance, this thing is going to need power, probably from the car battery. You don't want it to catch fire and kill the occupants, so there's going to be R&D in power supplies, material etc, along with regulation and testing.
I'm with you on this. I'd be really interested in seeing, for example, an "Open Division" in Track-and-Field, whereby anything goes, up to and including gene modification and cybernetic enhancement.

It would be both a sport and a laboratory for transhumanism. I'd be incredibly interested to see what science came out of it.

There are probably ethical arguments to be made against doing that, but... meh.
Because you reference AF447; Autopilot systems also added additional sensors (satellite assisted speed) for the system to have redundancies.
Yes, it's called the THAAD and it has been recently deployed in SK after a long debate.
As do all countries with any sense.
This is interesting because, I'm trying to get to grips with where the abstract and the practical meet. But I'm not sure all of your example fit.

Your first example if(a) assert(b); really does fit the intuitive idea of implication. The other two just look like cases that happen to have the same boolean structure as implication, but that's not their meaning.

For example

if(!p || !p->buffer)
return 0;

Means (roughly) "check if p's buffer exists, which of course requires that p also exists". So there is a kind of implication here, but it goes in the direction

p->buffer => p

Which is not what you are talking about.
Self-flying planes are now a marketing issue more than a technical one
How to kill a Raptor
I started a freelancing account on upwork/freelancer/similar site, a year or two later, I have an established profile, I want to build a company instead of getting gigs as an individual

Generally speaking, your freelance profile through an online service is going to only get you more gig work through that service. Their contract typically stipulates that outright. If you want to transition away from that, you will need to set up your own website elsewhere and figure out how to get consulting work through a different pipeline. You probably need a website and a portfolio of some sort, plus a payment mechanism, description of services and means to start promoting yourself.

All of these other things are additional business skills you will need on top of whatever central skill (like programming) that you are actually selling. If you can figure them out, great. If you can't, you might have newfound appreciation for why the service has value.

I am doing this as a writer, not a coder. Having my gig work via a service is my bread-and-butter and security to fall back on while I develop more lucrative stuff that I enjoy more, like polishing resumes.
And having said it aloud, we can fix the mistake:

cd /; sudo rm -rf *<cr>
North Korea fires missile over Japan; launch an 'unprecedented threat'
No need to copy/paste: http://build-a-co.in/
GopherCon 2017 Videos
Back in the day of Rust having a runtime, you couldn't call C functions, or functions potentially calling C functions, without worrying that it might indefinitely block one of the limited OS threads used by the runtime. With weirdly typed coroutines it's at least part of the type system.

I think Haskell happily spawns a new OS thread when one looks like it might be going to spend a while in C code?
I think people naturally dislike what they don't fully understand, or that which does not confirm their biases, so many new technologies are ignored or ridiculed early on. You just have to brush off the haters.

https://hbr.org/2012/09/ten-reasons-people-resist-chang
Sorry, I might have been overly generalizing here. I'm not aware of djb's behavior in particular, and was working off of the comparison that OP had made.

I had cited the abortion example as it's perhaps the most well-known example of Torvald's behavior. I should have made that more clear.
> Reddit IIRC was 6 employees until they were spun out of Conde Nast in 2011. (Some of those early employees are on HN; maybe they can correct me.)

I wasn't that early, but I was probably in the first 30 employees, depending exactly how you count things.

There are start dates for most of the early employees in this file that used to power the (now removed) "team" page on the site: https://raw.githubusercontent.com/reddit/reddit-plugin-about...

The "new" field in that file is YYYYMM data for when each employee started (though, looking through it right now, some of these definitely aren't correct, but they're reasonably close at least). Figuring out when people left is a little trickier, but estimates around a few significant dates:

* Acquired by Conde Nast (Oct 31, 2006) - 4 employees

* Independence from Conde (Sept 6, 2011) - 12 employees (including 2 redditgifts from that acquisition the month before)

* $50M funding round announced (Sept 30, 2014) - 58 employees (many working on redditgifts/redditmade)

* Steve Huffman returns as CEO (July 10, 2015) - 69 employees

* $200M funding round announced (July 31, 2017) - 230 employees

And they've said that they're aiming to get to 300 by the end of 2017.
I don't know. I don't think I cherry-picked. The concept sounded ridiculous to me, so I asked for clarification. The article provided for me (which was supposed to introduce the concept to people who haven't heard of it) only seemed to confirm my suspicions.

I _must_ be missing something. I mean I probably will still think the idea is unsound, but at least I want to really understand the thinking behind it better before I solidify my negative impression.
> Only debate was that the effect is not strong enough compared to other forces acting on small vortices in fluids, i.e toilets.

Pretty sure there's no debate here, it's not.
> Afghanistan, Iraq and Libya

I think it's wrong to compare North Korea to those countries. For one, the post-regime change problems in those countries have been caused by Islamic insurgencies, which is not something I'd expect to happen in NK.
Such nonsense. Even Van Jones has rightly called the Russia narrative a 'nothingburger'.

The only cheat in the 2016 election was Clinton conspiring with the DNC against Bernie. Now THAT was true election interference.
Companies giving up on open standards in favor of their own walled gardens does not really provide a meaningful commentary on the open standards themselves.

XMPP itself is a bit of a mess, but it's a standard with a lot of adoption, which has its own value.
You still might accidentally invent the command pattern on your own.
As long as you have to intentionally modify the sign to cause confusion, as opposed to doing random vandalism, I don't think this is a problem at all. It's like a person spray painting extra loops to change a 30 into an 80 or sticking a home-made sign over a real one so it's indistinguishable to most drivers. People aren't going to do that any more than they already do and it'll still be just as illegal.
Ask HN: Is there a site for data scraping/retrieval and cleaning gigs online?
Not Craigslist
The Australian Federal Government Now Spends AUD 10Bn  a Year on IT
The data is really difficult to make sense of, and that does indeed make many people weary of overdoing it. But from the anecdata I have, it seems the 6-month intervals are often motivated by the desire to reset one's tolerance. One surprisingly effective safety feature of MDMA (unlike other amphetamines) is how self-limiting it is. A second dose within even a month never creates the same, life-changing experience as the first, not even if the dosage is increased.

Some people still enjoy the effects of such a second dose and freely consume MDMA every weekend, but for many it seems to be more of a 'meh' in comparison, and not worth the health and legal risks.
That's the thing. In the Air Force (at least)- there is no thought of cost/benefit analysis. A single machine fails once because a bolt wasn't torqued and causes $5000 of damage ... So they add the checklist item, and the second person, and an extra training item, and a log record that has to be maintained. The list of special rules and required documentation only ever gets longer. Eventually, you spend all your time on the checklists and maintaining the documentation, and none on actually doing whatever procedure you were originally messing with that bolt for.
Step by Step Tutorial to Install Kodi on Windows 7/8.1/10 PC
I read an interesting article earlier today about IT spending in Australia: http://www.abc.net.au/news/2017-08-28/federal-governments-$1...

> It found public servants were too afraid to make major changes to IT procurement and were not talking with other departments to avoid duplication.

> "A fear of external scrutiny of decisions — such as through Senate estimates and audits — leads to a low-risk appetite and a culture where it is 'not OK to fail'," the report said.

> "This means that old and familiar ICT solutions are preferred to newer and more innovative, but perceivably riskier, solutions."

Nobody in the APS gets fired for hiring IBM, and nobody in IBM gets fired for screwing up major government projects. http://www.abc.net.au/news/2016-10-25/turning-router-off-and...
The Anatomy of an ERC20 Token
Those are mostly the elderly and babies who have a high risk of dieing anyway. Elderly people especially are certain to die of something soon. If it's not the flu, it'll be a cold or an infection or whatever.
Also Swype or Gboard would thwart it ?
IRS Announces Tax Relief for Taxpayers Affected by Hurricane Harvey
> Although, the solution would occasionally have issues with particular letters.

A mistake like this can and has destroyed lives.

http://thisiscriminal.com/episode-18-695bgk/

> Police officer John Edwards was patrolling a quiet neighborhood in Bellaire, Texas when he saw an SUV driven by two young African-American men. It was just before 2am on December 31, 2008. Edwards followed the SUV and ran the license plate number. His computer indicated that the SUV was stolen, and Edwards drew his gun and told the two men to get down on the ground. It wasn’t until later that he realized he’d typed the wrong license plate number into his computer. He was off by one digit. By the time he realized his mistake, one of the men had already been shot in the chest at close range.
Hurricane Harvey victims get a tax extension
None of those other factors have any weight on the decision making process. If North Korea attacks the US homeland or military with a nuke then the US will hit back with multiple nuclear counterattacks and to hell with the consequences. Appearing weak in the face of blatant aggression would mean the end of the US as a superpower so the leadership will never allow that to happen even if it seems like the rational choice.
Yeah - I did wonder about clarifying that as I typed it - there's obviously a long history to VR (I'm a child of the 80s so I'm not completely ignorant of the twists and turns of computing history)