skysight-inc/HackerNews huggingface dataset:
Beyond "it showed up on a popular television show", there is very little reason to believe in the Prime Directive being a real thing. It already appeals only to a particular subset of humanity, and there's little reason to believe it would appeal to all aliens. And there's a lot of humans who would consider it actively immoral, too.

It's one of those Fermi paradox answers that requires all of the supposedly millions or billions of intelligent species to all happen to have adopted one particular answer uniformly and for all time. Those answers aren't very compelling without a rock-hard explanation as for why it's absolutely mandatory that all star-faring civilizations will A: adopt that ideal immediately and B: keep that ideal intact for millions or billions of years despite all the changes they may go through.

The Prime Directive was a tool for creating drama, not a well-thought-out philosophical statement on the inevitably of certain ethics. Heck even in Star Trek itself, only the Federation has this policy, which it violates accidentally and otherwise fairly often anyhow. The other major civilizations show no sign of having this policy at all.

It is also an easy answer to try to explain the Prime Directive in a dramatic setting in such a way that our real world might still be in a space full of aliens, despite the fact that if space was really crawling with aliens there shouldn't be any such thing as virgin territory anymore and everywhere in the galaxy should be showing millions of years of proof of alien interactions, just as it's increasingly hard to find a square meter of Earth's surface that doesn't have some sort of unambiguous evidence of the presence of a technological civilization, if examined with powerful enough tools.
Energy, deep sea/space exploration and mining, Social science (once you can study all humanity with utilities like FB, social science can discover things things about us usually hidden because of small sample sizes)

Of course, since no sunrise industry can function without technology, technology's growth will either match or exceed the next big thing's growth.
IMO the largest costs aren't the dollar costs, in fact those barely matter. The large cost to me as a founder are the weeks/months it takes to negotiate a priced round when there's so little data is borderline exercise in futility and so much work that needs to be done by exactly the person that would need to handle those negotiations. But that's more abstract than putting a solid "$60k" number on something.
Please excuse me for relating an experience, but it's relevant. To get into my IT grad program I had to take a few undergrad courses (my degree is in music, and I didn't have all of the pre-reqs). One course was Intro to Computer Science, which unfortunately had to be taught in the computer lab used for the programming courses. It was sad to see how undisciplined the students were. Barely anyone paid attention to the lectures as they googled the most random shit (one kid spent a whole lecture searching through images of vegetables). The final exam was open-book. I feel a little guilty, but I enjoyed seeing most of the students nervously flip through the chapters the whole time, while it took me 25 minutes to finish (the questions were nearly identical to those from previous exams).
I think its a double edge sword; not just paper > laptop or laptop > paper. As many people have already stated, its about engagement. Since coming back for my PhD, I've subscribed to the pencil/paper approach as a simple show of respect to the instructor. Despite what we think, professors are human and flawed, and being in their shoes, it can be disheartening to not be able to feed off your audience.

That being said, you can't control them; however, I like to look at different performance styles. What makes someone binge watch Netflix episodes but want to nod off during a lecture. Sure, one has less cognitive load, but replace Netflix binge with anything. People are willing to engage, as long as the medium is engaging (this doesn't mean easy or funny, simply engaging).

[Purely anecdotal opinion based discussion]
This is one of the reasons I think flipping the classroom does work; they can't tune out. But, if its purely them doing work, what's your purpose there? To babysit? There needs to be a happy median between work and lecture.

I like to look at the class time in an episodic structure. Pick a show and you'll notice there's a pattern to how the shows work. By maintaining a consistency in the classroom, the students know what to expect.

To tie it back to the article, the laptop is a great tool to use when you need them to do something on the computer. However, they should be looking at you, and you should be drawing their attention. Otherwise, you're just reading your PowerPoint slides.
The article this is responding to is extremely misleading and is pure clickbait.

Safes are great. They're easy to understand, and any semi quantitative founders should be able to build dilution spreadsheets without the help of a lawyer.
>using as much syntax sugar as possible

It's not possible to say this on the internet without being rude so, apologies, but, why code like that? It genuinely was a struggle to parse (in my brain) your oneliner of code there. If I found this in our code base it would be a huge waste of time and energy.
I really like what they've done here with the update notifications. It's much less disruptive than the alert messages at the top they had before.
You could still sell your patent to an actual airline, and it could then use that patent exclusively and prevent airlines from doing so. In a sufficiently competitive market that might be enough. Boeing might buy your patent to prevent Airbus from using that tech and therefore gaining an advantage. Or if Boeing ignores your patent and just builds that tech anyway then they would expose themselves to future liability if Airbus later buys your patent.

Or you could sell the patent to an existing supplier of airline parts (and I'm sure there are plenty) which can then commercialize it. Or as a last resort if none of the existing players are interested in buying your patent, you could raise funding and open up a shop that manufacturers and sells nosecones, and then sue everyone for lost sales.

Ultimately I think it's much more useful to protect entities that actually make products and give them incentives to bring innovative products to market than it is to protect entities that simply want to invent things and extract fees from others. To me it would be a perfectly acceptable compromise.
First, 16 is still pretty young. Second, just because you didn't have STEM hobbies when you were young doesn't mean you weren't given the framework to excel at STEM. It's not "you learn math or you don't", rather the argument is "you develop the framework for mathematical thinking or you don't".

For what it's worth I also did better with literature and history than math when I was young. Also, I struggled to pass Calculus 2 but breezed through upper level CS courses. It's a very fuzzy thing.
Daniel's point is that the specification itself is simple, he is saying nothing about the complexity of proving that your program matches the specification.

The decidability of the specification isn't important in this context. It is known there is no procedure to build a proof of this specification for any language or optimization, but as humans we can prove that it holds for a specific configuration of compilers, and optimizations, and have done so many times, for example CompCert, Alive, etc.
no, i'm waiting for the vultures that think that every language and every platform is equal.
I wouldn't be so quick to write that off as a performance concern. Creating tons of unnecessary objects is JavaScript's equivalent to programming without regard for cache locality at a lower level, due to the way the JITs work.
If you subtract the stuff that you don't want them to do from the stuff that you want them to do, are you still in the positive?
Shameless plug: At DotProduct (www.dotproduct3d.com) we have pioneered this. We've been selling our solution since summer 2013.
Also, then the $25k would come out of the management fee rather than the LP's capital. Even less incentive for the fund manager to go this route!
By the time we're building one of these, we probably have a solution for Kessler. There's really no shortage of possibilities. Kessler syndrome isn't a fundamental of space travel, it's a momentary accident of our being able to launch things, but not launch things cheaply enough for us to justify launching things just to clean up the orbital space. By the time we're seriously discussing this sort of solution, clearly we can launch things cheaply enough to clean up inner space, or, more likely, simply build the cleaning solutions in space to begin with.

Though I can't help but enjoy the dark humor of refusing to fix one somewhat hypothetical problem with a hypothetical solution because it might create a different hypothetical problem. ("Hypothetical" here simply in the sense that none of these things have actually happened yet.)
Zendesk is slow as hell
I wouldn't find out too much about it before you read it but it's an autobiography covering his medical school days, travelling and inner travels. It's entertaining and thought provoking.
I'm in tech but not in the valley. How accurate is HBO's representation of patent trolls?
Angular 1, angular 2, angular 2.1... Angular (note, Angular 2 is now Angular! And so is every version after this! Angular 1 still exists though).

Surface Pro. Surface Pro 2 (note: Surface Pro is now surface pro 1!), Surface Pro 3, Surface Pro 4, Surface Pro. By the way we also have Surfaces (1, 2, and 3?) as well as Surface Books, and Surface Laptops! :D

Android: here's a bunch of fucking candy

OS: here's a bunch of fucking animals. By the way, sometimes people call your macbooks 10,1 or some shit.
> So sick of seeing these paywall links.

What's wrong with paywalls?
Trade secrets.

As long as they remain secret they have protection, but the very act of outing them makes them not secret. I am aware of very few successful suits defending trade secrets.
If you don't have concrete plans for a Series A in the 18 month timespan does a SAFE still make sense?
Not sure if trolling or serious...
> I have never seen an H1B holder make any less than their counterpart born in the US.

By pure economic logic, they must. Because the cost of the immigration attorneys and process has to be paid by the employee. If the employer absorbed that cost, it would be cheaper to hire local at the same price(salary).

Not only that, but the lower level of mobility an immigrant has means he cant switch jobs as easily, thus sacrifices potential earnings that a local wouldnt.

There is no way around it: any restriction you make will harm the person being restricted. It is thus that it think any kind of immigration policy aims at harming individuals at the request of others.

The best reform would be remove the requirement altogether and let companies hire who they want, and individuals work where they want to. While the US pertains itself to questions like how restrictive their visas should be, other countries panic at the constant brain drain.
No editor seems to handle ruby very well, why do I get an automatic closing bracket but no automatic end? I don't have to write a 1 char closing bracket why do I need to write a 3 char end?
Oh, indeed! Sorry for miscrediting. Great work.
> “[Is Blackbird] doing anything thing that is illegal or unethical?” continues Cheng. “For the most part, it’s unethical. But it’s probably not illegal.”

If it's not illegal, more work needs to be done to make it illegal. Inventors always have avenues, moreso today than ever before.
Of course it's easier if you have a viable theory to deduce efficient treatments. But the correlation between hand washing and medical outcome was noticed before germ theory, this is why I mentioned it. It didn't become popular until later though.

https://en.wikipedia.org/wiki/Ignaz_Semmelweis
> If you do stupid shit with rails it will take 5.1 seconds and if you do stupid shit with Golang it will take 5.05 seconds.

Honestly, if you do the same stupid shit with Go, it will take 0.51 seconds, according to many benchmarks out there.

> So, Is python slow because it's taking 20ms vs 12ms?

No, bad code is bad code. But on companies that have good programmers, sometimes you do hit a performance problem caused by the platform, and then you have to either a. throw more money (more servers, more CPU cores, more mem), or b. rewrite that section in other language. Actually, for example this is what some Python libraries do, for example Numpy has a lot of code actually implemented in C, not python.
The parents statement is literally correct. You seem, to me, to be assuming motive and wrongly accusing the parent.
This article reads to me like a long list of problems caused by government and blamed on capitalism.

I'm biased though - I'm an anarcho-capitalist, and I've spent orders of magnitude more time considering these sorts of questions than the vast majority of people who are not so politically involved.
If anyone is new to VS Code you can check out one of our most recent videos from the Build 2017 event:

Visual Studio Code: Conquer the cloud with an editor and a CLI
https://channel9.msdn.com/Events/Build/2017/B8094
Anyone have any idea what theme they use in the gif that demonstrates the ruby auto-indent feature?
Getting the most out of your SIEM investment
At the end of the day, this is all the LP's money, and this comes down to how much the LPs pay the VCs for their service.

Leaving aside bloat in lawyer rates because the VC doesn't care about price, the total cost to do the deal is basically unchanged though.
Lean is LCF style in the sense that there is a small kernel, and all proofs written by the user and generated by the automation are checked by this kernel. This kernel (i.e. type checker) is much smaller than that of Coq or Agda.

It is _not_ LCF style in the sense that there is only a "theorem" datatype with proof operations. Lean proofs are type-checked expressions.

It is hard to find a terse description of the Calculus of Constructions or CIC. Lean's logic essentially consists of Martin-Löf type theory + (noncumulative) universes with Impredicative Prop + inductive type (where nested and mutual induction is compiled down to a simpler forms with only one eliminator) + quotient types + function and Prop extensionality. And optionally choice to gain a classical logic. Most other features, like a Agda like dependent pattern matching, or mutual and nested inductive types are compiled down to more basic features.
That sounds pretty cool. Are there any public examples that I can learn from? Thanks
"Nothing is that it seems" typically makes for a horrible experience, for me at least. Can you explain it any better than that?
Thanks for sharing this. I had forgotten what it was.

> The safe (simple agreement for future equity) is intended to replace convertible notes in most cases, and we think it addresses many of the problems with convertible notes while preserving their flexibility.
I think you misunderstand, "New Math"[1] was a thing from the 60's, he clearly took it as an adjective talking about common core, the current "new math", but not the same as the "New Math" bitwize was saying had been tried and was a failure.

[1] https://en.wikipedia.org/wiki/New_Math
We know that Google and Apple are working with the American Intelligence and they could be considered AV companies when you look at some of their mobile OSes features...
Please don't do this to yourself : I tried Fedora 25 KDE a few weeks ago and it was the buggiest POS I ever ran on my PC. Just customizing the taskbar gave me a black screen that even a reboot didn't solve.

For the record Fedora Gnome was rock stable on the same machine. The only reason I didn't keep it is that I need what I call a 'pinnable taskbar' (like Windows 7).

If you really want KDE you could try KDE Neon, still a bit buggy for my taste but at least it's usable.

After a few more distros I settled on Mint Cinnamon. Not bad but frankly I miss Windows.
Real-Time Elasticsearch Indexing on WordPress.com
It's an archive of a 30-minute period but the file is only 18 minutes long.
The name HAT was given by its inventor Edward Sitarski in 1996. It looks like few people are implementing it and/or calling it by a different name. Because of this lack of development, it might not be possible to change the name to a more modern, neutral alternative.
And a note on that diagram:

CAUTION:
Pilots are cautioned not to
mistake Twy T for a landing
surface.
> Why due to the accident if geography is an American entitled to a salary that an Indian would be willing to do for less? How is that fair?

I am not going to argue about "Fair" because it is a value judgment which depends on your moral and political predilections. This isn't the right place for such discussions.

However there is definitely no such thing as an 'accident of geography'. I see this all the time expressed as a implicit argument, which I believe to be a form of pre-scientific thinking that has crept into our world view.

Sperm cells are not randomly selected in some kind of bingo ball system in the ether when a woman is impregnated.

It is one of the least random things possible - the entire catalogue of back choices of your ancestors is present as part of that inception. All of history, culture, geography, must have been necessary for you to be born where you are born. If you think otherwise, then you must not believe evolution theory is real or you have to be compartmentalizing it away from the present somehow, as if it were theoretical pure math instead of an always present reality.
True, but Compuguy was not referring to people with medical conditions in my opinion. He is referring to the "many" that don't want make a concentrated effort to improve their handwriting but could if they did.

If a student has a medical condition that makes it so their handwriting is not legible then they probably had the same issue in HS and should be able to navigate College bureaucracy well enough to get the exemption status.
Slack Announces New Slack Fund Companies
On Matthew effects
As I understand it (but I am not a pilot), that's true of Boeing planes, but not true of Airbus. Airbus makes the pilots defer to the automation.
Physicists Go Deep in Search of Dark Matter
The issue is that being able to see that little path of logical steps is a skill on it's own, and most students don't know even how to begin approaching a new mathematical problem.
Socialists/Communists not satisfied with 200 million+ deaths, must want to hit an even 1 billion.

Blows my mind people can even be calling for socialism while we have a real time implosion going on in Venezuela right now. It's ending like every other socialist regime in history, cannibalism, famine, riots, and murder. Meanwhile one of the United State's biggest problem is obesity due to being so prosperous.

Actually I'm not surprised, just look up Yuri Bezmenov's talk on ideological subversion he foretold everything 30+ years ago
In fact, most patents are written to be as broadly applicable as possible. The enablement requirement applies to all patents.

Seaborg patented element 95. That's pretty broad. However, people aren't saying get rid of manufacturing utility patents because folks are patenting elements.

https://www.google.com/patents/US3156523
The Columbia shuttle accident report is a masterpiece of the genre. It's available at:

http://www.nasa.gov/columbia/home/CAIB_Vol1.html

It's detailed, but well-written and the quality of the analysis is extraordinary.

For a sample, take a glance at the debris maps on page 45, followed up with amazing results on page 75. If you like understated drama, start at the comm transcript on page 42. ("Lock the doors.")
Not physically able to use hands != perfectly able to use hands but was failed by their elementary school system and now rationalizes that learning to write legibly is somehow a waste of time ;)

Not to be too personal, 99% of college students (including myself back in the day) are lazy rationalizers in some fashion. In my experience it's not until Junior/Senior year that some majors start squeezing that out.
Jon's post notes that this is the industry standard. Anecdotal, but my experience matches that claim (last data point being end of 2016).

I've never encountered any compelling rationale as to why/how that standard emerged.
Do you think that everyone who disagrees with you has spent less time considering these sorts of questions than you have?

As a counterpoint, I'd suggest the thousands of political-science, economic, and philosophy scholars who all disagree with you (as do the vast majority of humans who have ever lived and appreciate the social contract).

You may be correct and everyone else may be wrong, but I don't think it's accurate to dismiss other people as not having considered things as much as you have.
I just want to confirm that I understand what's going on here since you seem to get it. I have no background in this but am curious.

They're dipping this thing into liquid multiple times in different ways and then measuring how much the volume has changed from the initial touch of the liquid to the volume of the object as fully submersed? Also, it seems that they are first 3D printing a 3D model, dipping, and then comparing the scan to the original 3D model? Is there any chance that the types of models they're choosing are skewing the accuracy of the results? They seem to be choosing models that don't have a lot of surface texture or much fine detail and I'm assuming that's a limit for all 3D scanning tech right now?

Edit: Also, how does this thing handle 3D scanning of something like a sponge or box that might absorb the liquid? I imagine that's just not possible with this kind of scan, right?
What’s Holding Back Business Formation?
I am very glad that you can now rename Terminal sessions. I will often have several of the same type running.
I believe that one of the main reasons not to do this is that adding anything to `Object.prototype` means that now everything inherits that new method.

So you have weird things like `'foo'.map()`, `( 42 ).map()`, `new WeakMap().map()`, `false.map()`, etc.
Security releases for ALL active Node.js release lines are available, July 2017
Snapchat Biggest Underwriter Says It Was Wrong About Snap Stock
I'd argue that students are better off without a classroom as long as they have a laptop (and internet, but that is often also better at home/cafe than in the classroom).
True. Sadly.

Alas, while Russian (and Chinese) general disinterest in f'ing with you does help, their equally developed general disinterest in your well-being means they might have incentive to sell or trade with entities more... interested.
Why Single-Payer Health Care Saves Money
Interesting, I actually had no idea. Thank you for the link.