michael_fine

In a story of insane luck (and unluck!), the craziest part is definitely this

" He said that if I had had a spleen, it almost certainly would have ruptured when I hit the water, and I would have bled to death. Of the 25 pilots in our squadron, I am the only one without a spleen. It gives me something to think about. Maybe it does you as well."

While they exist, shell based autocomplete have always felt like a suboptimal solution we just accept out of historical happenstance.

- You need to press tab to get any completion to display

- You don't know what completion will appear when you press tab, or at most one completion displays

- The completions are not at all aware of context, at best just doing some untyped fuzzy matching. Compare this to Fig, which at least seems to know what sorts of arguments each command accepts and displays a list of them

- They only provide completion, not inline documentation, which is one of the big points of the article

Woah, that's really cool. This seems to check the first two of the article's points, approachability and discoverability. Are there any plans to implement the third point, interactivity, where you have small, dynamic guis embedded in the terminal?

I hate to ask, but does anyone have a clubhouse invite?

Great to hear! I'm actually a week away from finishing my undergrad thesis (ironically procrastinating on that now), so kinda stuck with Zotero for now. Once that's complete I'll take a good look at polar.

Does the new version handle citations/bibtex export? I really want to use polar but that’s the main value of zotero for me atm.

Does roam support automatic importation of bibliographical info and export to bibtex? That’s the main value of zotero for me. Also latex math embedding notes would be great

Edit: This is what I get for only skimming the article. Ignore

You can implement pretty powerful type checkers as constraint based systems. I used Z3 in a project called LightDP to verify differential privacy as a property of the type system.

Anyone know who that other user is in the first graph, who just surpassed Jon? They seem to be answering at a crazy consistent constant clip.

If we did that, how would you propose implementing upvoting in HN without js?

I

Isn't that exactly what the court system is for? I've never heard of anyone being charged with terrorism merely for googling IS, and I suspect any judge would throw out a case like that in a heartbeat.

It seems few of those apply to Snowden -- he wouldn't need a public defender, he probably wants a trial rather than a plea bargain, I'm not sure if there's a systemic problem with outrageous bail but Snowden is a textbook case for flight risk, ridiculous prison sentences -- perhaps, but just because a law is harsh doesn't mean that that law is applied unfairly.

Depending on the relative elasticity of supply v demand, yeah.

But if a significant group of employees do it, that's called... a strike, which is absolutely a reasonable thing for an employer to acquiesce to.

So you liked odd numerators? Or unreducible fractions?

> There's nothing inherently wrong with the media paying for information.

I'm tempted to agree, but almost every reputable media outlet does in fact claim that there's sometimes wrong with paying for stories, most in their own ethics handbook.

The common explanation is that "paying for information creates an additional incentive for subjects to lie or embellish the truth. And even if a subject tells the truth, the fact that he’s been paid undermines the journalist’s position as a disinterested observer".

However, this seems rather absolute for what appears to be only mild cause.

Yeah, implied subject is a thing, implied predicate less so in common parlance.

It certainly didn't mean that this time.

That's entirely unprovable, given that we have no idea how many backdoors the NSA has, nor for the matter, are we even sure how many have been leaked.

Typically (in the US) it's been the executive branch that has tried to subvert privacy (see COINTELPRO), and the judicial which has (sometimes) upheld it. However, because crypto would actively impede the ability of the judicial branch to use warrants, I imagine it would alienate our typical ally.

To be fair, the NSA did have a very high profile incided where they were considering legally mandating a physical backdoor, called the Clipper Chip, until it was proven that the chip had a gaping vulnerability.

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

Which many members of conspiracies would be more than willing to do, hindering the investigation of organized crime, and (genuine) terrorist cells.

Because most political jobs pay abysmally, have little job security, and require painful working hours. As such, there aren't many reasons to go into politics beyond wanting to make a change.

They're not claiming to verify them against a govt database which doesn't exist, there just claiming to be the smartphone equivalent of the id scanners that liquor stores have.

Most quality fake IDs are designed to pass scanning checks like these -- it's only really a barrier to very low quality ones.

Source: I went to high school

Hmm, have those predictions of life changing uses been borne out in places like South Korea, with actual superfast internet? (Not sarcasm, genuinely wondering)

Honest question -- I always see people argue the need for ultra-fast internet, but I'm not sure what the economic benefit of increasing speeds beyond their current rate of improvement, which in most parts of the country seems reasonably sufficient for the vast majority of work, especially given the bottlenecks are quite often in the home. Would it really provide a comparable increase in GDP/utility to say, improving transport and saving people 30min/day in their commute?

I'm sure mathematicians would say the same thing about programmers and their verbosity.