skysight-inc/HackerNews huggingface dataset:
If anyone is falling prey to Simpson's Paradox, it's you. You're the one implying a causation based on those statistics. I'm asserting that there's not enough information there to make any such connection, and I'm highlighting on the graph a short-term upward trend that contradicts the assertion that you are trying to make. Ignore that part of the data if it makes you feel better; I still wouldn't accept that there's enough data there to support your theory.

Another interpretation of the data, also just a theory but no less valid, is that handguns rose in popularity as the weapon of choice within gangs, and the police responded by targeting gun crime. Again, I wouldn't want to state it as fact, but it would be a useful starting point for additional research.

The reason frankly why I would need so much convincing that banning hand guns had any effect gun crime rates in the UK is because I just don't think there were enough gun owners to be statistically significant in the first place. Handgun shooting was a niche sport - a very niche sport.
Hacker Hotz (geohot) Talk on Google, Tesla and GM in Autonomous Vehicle AI
Show HN: TaskPaper 3 – Plain text to-do lists for Mac
It would be great if my manager read anything at all. Having been through a few managers; the good ones read, the bad ones don't read. It doesn't matter what they read, the last good one I had pretty much only read WW2 novels.

That being said, I think Zen and the Art of Motorcycle Maintenance is an important read for anyone in technology. It changed how I approach and appreciate technology.
Will URL Shorteners Help or Hurt Your Site’s Functionality and SEO?
If I had to hazard, the profit being referring to is the type where the company has profit potential on razor thin margins and requires massive cash infusions to grow it to numbers where the margins are substantial and support an exit. As long as those "curves" work for those who have money, their money will flow.

I've hypothesized that technology bubbles are created by injecting large amounts of stored work (causality) into a system. Stock market, dotcom bubble, Bitcoin, fuses in your breaker box, etc. In some cases, this stored work allows for the creation of trust channels. These trust channels are not always trustworthy. Consider poker games.

I no longer trust VCs because I think their "game" is driven by a very small set of limited partner's desire to make even more money than they already have or need. That they are willing to stuff a whole generation into a dorm on the "ifs and buts" of an exit is ridiculous.

This "gotta have more" strategy isn't holistic and isn't scalable. When it pops, it's going to be messy.

Bootstrap it. Move home, if you must. Move to to a cheap Asian country and build your dream. Whatever you do, do it with your eyes open and your mind free of dissonance. And remember, profit puts you in charge, not them.
What an odd thing to get your knickers in a twist about.
Show HN: Test-driven source code search for Python
That does though. Skip to line 120 where code is actually written, and it's ES6. The top part is type definitions, which could just as easily be thrown at the bottom. I'd argue it should for exactly this reason.
Hi, I'm the programmer...

TaskPaper 3 combines a plain text editor front end with a outline backend model. There’s a download on the website. I hope you’ll take a look and tell me how you like it.

Implementation Notes:

- Rich scripting support.

- Internals implemented in JavaScript.

- UI layer implemented with native Cocoa views.

- Outline model is mapped to text buffer that user edits.

User Interface Notes:

- Feels like a normal text buffer.

- No restrictions of how and where you can move items.

- But provides outliner power (folds, filtering, focusing).

- When move folded items around the folds move along too.

- Moving items is unrestricted. You can move an item under a folded item with out that item expanding.

App, website, marketing… let me know how you think I could make it better.

Thanks,
Jesse
Do you gain anything from this train of thought? He decided to edit the list; why not simply accept it?

Also, I suspect spike lee is sensitive about recognizing minority directors (women are a minority among them).
But the typescript type definitions will still be useful. See e.g. https://github.com/sjrd/scala-js-ts-importer
A VPN, whether public or private, will not hide your traffic from the government.

Through statistical analysis and network protocol heuristics you can identify all sorts of things about bulk internet traffic - where it's coming from, where it's going to, the most likely content it's carrying, the application used, even a specific user's connection. This works over multiple network hops, encrypted, on a single tap of a large switch (though multiple taps spanning the network path work muuuuuch better).

There is one good use for a VPS, though - store-and-forward network traffic. You use a remote VPS to retrieve and store content, and at a later time, download the content in bulk (or upload, same difference). You can change both the size and the form of the content before the bulk transfer, making it much harder to identify. You can also use different network paths for connecting to issue the download/upload commands, and connecting to transfer it - Tor comes in handy here.
All of these "You should use X instead of Y" articles is really not much can debate because there is no perfect languages/tools where in this case, the author think TypeScript is better than JavaScript.

I stop find perfect language because there is none.
I think the problem is that many people who don't use LaTeX (and some who do) are so inept at typography that it actually impedes the reader's ability to use the document.

One LaTeX-agnostic example is when people abuse hyphens-like this-which makes it impossible to parse the sentence without reading it several times.
> I always thought that correctness (in computer science) only asserted that an algorithm acted as specified. For example, say the specification was: The input accepts an element in the set of real numbers, and the corresponding output is that number added to the next element in the set of natural numbers.

Nobody is saying the formal proof approach will find all bugs, just that it helps find more bugs compared to not using it. You could make the same argument with acceptance testing: unless you specifically tried 3.1 as the input during testing, it might not give you the output you expect. Formal proof can be complimentary to traditional automated tests and QA.
What gets me is the sheer volume of money being divested. $3.4T is no joke! Even Norway's sovereign wealth fund (the largest in the world)--based on oil profits--is divesting from coal...
This reads like knee-jerk reaction from someone who's never tried TypeScript.
Right. But it is important to understand that this is the hardest problem in computer science (human-level AI is much easier), and so general-enough solutions must somehow be aligned with how humans tend to construct programs (because a completely general solution is impossible, and solutions that are not aligned with how people program can only hope to solve human-produced code by accident). For example, we do know that we cannot create a general-purpose language that will make verification easy for all programs written in it; that is a mathematical impossibility. Whatever approach may work one day, it will have to be based on empirical observations of programs people tend to write.
I went to NK few months ago, while they do check cameras on train, they didn't check anything at all when I leave the country via airport. They call this "internationalization", I felt a little bit stupid for encrypting all the photos I took.
This is not much different than most film school lists. Nothing special.
Meditation Plus Running as a Treatment for Depression
The language itself is what is simultaneously causing this craziness and holding back real change. Half of the stuff out there is working around JavaScript's limitations.
If a bytecode had been approved 15 years ago instead of blocked by JavaScript's own creator, we would be much better off today. WebAssembly is finally, finally a step in the right direction, but it's not a bytecode, either.
I'll be honest. It's hard for me to hate on Vancouver too much as I truly think Urban planning is difficult.

I think people should move to lower costs cities if the situation makes sense for them. Vancouver might be at a disadvantage due to Brain Drain at this specific moment in time, but I believe there's an argument to be made that Vancouver has significantly been a beneficiary of Brain Drain from other countries in the past.

As the USA and Canada continues to transition to a knowledge based economy, our cities should emulate what made Vancouver a economic powerhouse, which is a world class research university, great public transportation, and effective immigration programs. Now, there are things you can't emulate like great weather or prestige, but we can make more cities like San Francisco or Vancouver.
“I Contribute to the Windows Kernel. We Are Slower Than Other Operating Systems”
I'd agree 100% on this. As a Canadian, looking at our future career prospects it is in our best interest to learn how to work well as remote employees.
Just curious how you came to this conclusion, were you asking about reading habits? I have no idea what my managers are/were reading, unless they mention it or make a recommendation.
Strathcona Park has some of the most remarkable backcountry skiing and ice climbing in the world, I'd say.
Electronic (particularly Paywave/Apple Pay/NFC) is miles faster than me & a shop assistant both mucking around counting coins, let alone queueing up at ATM machines or the "don't you have anything smaller?" conversations.

He says having moved from New Zealand to the UK in the last 6 months. Cash is a constant PITA here for me.

I'm of the generation where as kids ('90s) we used EFTPOS (electronic debit system which took an absolute maximum of 10 seconds including manual retailer and customer actions) to buy ~US$0.30 chocolate bars from corner shops. That was helped by both the retailers and customers essentially paying no transaction fees. (Doesn't apply to PayWave, but that's another story and the customer expectations are the same)
Alternate title: "Everyone else should invest the effort to support my use of TypeScript"
Because there has been a mini-bubble in the "on-demand economy," a.k.a., delivery businesses. Investors are highly subject to groupthink and trend chasing. When one or more companies start to take off in the same space, a category is (theoretically) born. And then everyone wants exposure to the category.

Now, in the public markets, there's no problem jumping into a category; just buy some stock in X, Y, Z companies. But in the private market, if you didn't get in on X company's Series Y, you can't just buy in tomorrow to gain some exposure. So you invest in the next company with a similar concept (but perhaps in a different vertical).

All the while, nobody stops to think whether the newborn category they're chasing is even fundamentally viable, or if viable, whether it's nicely profitable at scale. Or whether it can bear so many entrants into the space.
Zen and the Art of Motorcycle Maintenance is amazing and I happened to read it at just the right time in my life where it shaped a lot of how I think about technology and the different ways to approach it.
Soul's Protest:  North Korea's Answer to the Movie Titanic
5 SaaS-Focused Podcast Episodes to Expand Your Mind
Or not, and add type annotations instead.

https://developers.google.com/closure/compiler/docs/js-for-c...
This may give some insight:
https://news.ycombinator.com/item?id=10638795
devEngine is on hiatus, but it would fit this list nicely
> With last night's victories for Clinton and Trump, the real question people should be asking themselves is what these two candidates have in common that have kept them winning, despite their having the two worst favorability ratings in the election?

Specious assumption. My conclusion is that the favorability ratings are bullshit.

To posit that a huge media conspiracy has caused millions of voters to vote huge, huge landslides in favor of these two people is just ridiculous compared with the probability that measuring very complex and ineffable metrics like "favorability" is a total crapshoot, especially in a world where voters like myself (and many HNers, I suspect) do not have landlines, use ad-blockers, do not click on advertising online and do not fill out surveys.

Tl;dr the likelihood of media influence controlling this election to such huge, huge landslide outcomes is overwhelmingly improbable compared to the high likelihood that favorability metrics are junk-science.
DIY Quants Who Ditched Wall Street for the Desert
Are you arguing in favor of everyone sticking to the lowest common denominator technology just because the pace of change is too quick? I would wager that things are changing so much exactly because of this reluctance to adopt new developments at scale. It's a vicious cycle, to be sure, but plain vanilla JavaScript everywhere can't possibly be the savior!
Exactly this. And it helps NK's preferred narrative if he was somehow manipulated by forces larger than himself--both because it makes Americans look desperate for any material advantage they can get, and because it makes the crime more easily forgiven when/if he is ultimately released.
You should reach out with a bug report: they're pretty responsive.

Note that iOS will disconnect the VPN when the phone goes to sleep, however in iOS9+ you can force all traffic over the VPN (unlike earlier versions).

The best feature of Cloak (to me) is that I have it auto-connect when on any network other than my home network. Airports, cafes, work; Cloak is default on.
> Think of HN threads like a Markov chain

Fascinating! It's like Blindsight in reverse.
Oh buddy, if you think they're "unwinding" while on parental leave, I got news for you. They probably got 2 hours of sleep for that entire 6 months.
Although the testimonies sound great, the landing page gives me mixed feelings about the book. Perhaps too much salesmanship. Could you tell us a bit more?
Anecdata is my new favorite word.
Microsoft privately testing Visual Studio 16
I agree as an American. I've met some super smart Canadians in SF and DC. They all say basically the same thing: most Canadian cities have a high cost of living, and salaries don't always keep up, so much so that even the Bay Area is attractive over Vancouver, since at least there's tons of jobs to choose from and they can optimize on salary with many offers.
What we want from "the system" is protection from seizure. Swiss banks cannot guarantee this protection anymore, because if I am, say, a German citizen they will now happily report my bank accounts to German tax authorities due to recent agreements, and they will seize my money, even if they are mistaken, before court decision, with no presumption of innocence. (Ironically, they are explicitly disallowed by law to do it for Swiss tax authorities).

If I have physical gold, it's anonymous, can be stored securely and is not transparent. Still can be seized, but this is much harder and requires actual physical force.
Georgia College & State University
"The Phoenix Project" and an earlier one, "The Goal" by Goldratt https://en.wikipedia.org/wiki/The_Goal_(novel)
Yeah, that changer is way too bulky. No way I'd carry one around in my pocket.
I don't doubt you're a white man, but it makes no difference.

What exactly are you, as an individual, missing in terms of diversity?

> "the broad array of cultures and experiences brings different opinions to the table"

Technical opinions? What does this mean exactly?

This is the bad implication I was talking about, that a group of white males is somehow deficient relative to any group of people.
It's important to have role models you can identify with. Recognizing and celebrating the achievements of female directors is important. When you don't include female directors in lists of great movies, when female directors don't win awards, it reinforces the idea that women are allowed to enter the industry, but they can never really thrive and succeed in the same way a man can. Scholarships and quotas help at the top of the funnel, but if the middle of the funnel is still awful and discriminatory you're just feeding more people into the meat grinder.
I can absolutely understand that coming from coffeescript (optional parentheses resolution... yikes).

But TypeScript is basically "Javascript + types + ES6". They call it an "erasing compiler" because it's not meant to do much but remove types/make ES6 code work with ES5.

There is one gotcha in name resolution when you're working in modules (if you are in a module a.b, and a.c exists, then c will automatically refer to a.c, even if a global c exists). But that usually gets caught by the type system. Lot less issues than coffeescript IMO
None of those countries continuosly bombard me about how free and good they are.
Simple solution - offer the compiled file in the library. Everyone wins.
That could more easily be accomplished if they had chosen a proper bytecode, like LLVM, even JVM. It's still possible, but WebAssembly is just a Javascript AST.
> actually asking for help when I was stuck worked for me.

This is larger than math. Successful people ask for help.
For support and/or programming (in the context of slack), is Linux generally better or worse than windows 8/10?
Super Massive Black Holes Explained
> AI is massively popular in both industry and academia at the moment. It is at no risk of being deinflated by "anti-hype".

Isn't it precisely when something is massively inflated that it's most at risk of being deflated?

Remember those mid-80s films with intelligent computers everywhere? People really thought that AI would be a solved problem within years. Then reality struck and the AI winter fell.
Norway is indeed an intriguing story.

Their sovereign fund is based on the fossil fuel, yet 1) their pension fund is divesting from fossil fuel 2) the sovereign fund has all kinds of ethical guidelines.

You can see their exclusion list here. It includes: Weapons, tobacco, human rights and environmental damage, and corruption. http://www.nbim.no/en/responsibility/exclusion-of-companies/
Syn 1.1.0 Released: Global Process Registry and Process Group Manager for Erlang
But of course: https://en.wikipedia.org/wiki/How_to_Win_Friends_and_Influen...

If there's a single book I wish everyone had read - not just managers - it would be this. I'd market it as "manual for human beings". You learn how to deal with them, as well as how to be one.
If it can't be compiled to JavaScript reliably then how do you expect it to be compiled to WebAssembly reliably?
That depends on what you mean by "exactly the same approach". Can the same algorithm construct both proofs? Can it construct both proofs with the same computational complexity? If not, then you're not using the same approach.

Using dependent types is more of a particular notation than a solution to verification. How you prove your type inference/checking is the hard part. Examples of approaches include SAT/SMT solvers, symbolic model checking, manual deduction, explicit model checking, abstract interpretation (which is really abstraction + explicit model checking; H-M inference algorithms can be described in terms of this approach), weakest preconditions, etc. You can use all of these approaches to infer/check dependent types, just as you can use them to verify program logic stated using means other than dependent types.
A Quick Look at How Uber's Surge Pricing Can Expand
>We're living in different worlds.

Likely, I am a Geo-Libertarian Agorist that believes in a society free from Statism and Coercion by Government

>While you seem to like to live for yourself, I live in a society. Moreover, I live in a social country (and more important: A social culture) in which the line isn't as clear as you'd like it to be.

I believe in voluntary society, and not forces socialization. Which is what a "social country" is, especially a democracy where under ideal conditions 50.1% of the population impose their will on the 49.9%.

>Your definition of employment seems rather limited from my personal point of view.

I use logic, and reason to define employment, not emotion. Most people are driven by their emotion not by logic.

>If you hire someone, train someone, potentially socialize with someone, you have a contract with a person not a wage slave.

you have a contract for them to proved the labor you need in your business.

Pay, benefits, etc are all designed to attract the best talent to give the business the best value for their labor dollar. As such it seems illogical to me to attract people that desire to get paid to do no labor. Etsy and all of the other companies that have been pressured into offering this policy by the pubic are betting on very few people actually making use of said benefit, and the ones that do not actually taking the full 26 weeks, I can not image a company surviving several employees all at once deciding to take 50% of the year off, paid.

This is one of the High PR Value, but in reality will likely be low cost HR benefits to attract people, likely offer them lower base salary so they get the "feel good" benefit of 26 week maternity leave they will likely never use.

Further it could limit their talent pool as people like me would not be likely to to accept employment unless there are other benefits that would be applicable to non-child employees. Offering 26 weeks of leave for having a child is meaningless to me, and will not entice me to join Etsy as an employee, and unless there is something to counter balance it will actively deter my willingness to work for them

>In short, your argument seems rather egocentric

Employment is egocentric, no one works for the "good of humanity" every one works to support themselves. People may find other reasons and motivations with in the employment, but very few would continue working for their employer under a "I won the lottery" situation.
I agree that asking for help is necessary, I always wonder at what point it is acceptable to decide you're "stuck" and give up.
> It's not about reading, it's about the tooling you need to set it up.

npm install typescript -g

This is the only addition on top of vanilla js, which is what you should be comparing with instead of the massive crap of build-tool-of-the-month. All said and done, if you're using those build tools in typescript, you'd be using them for javascript as well.
What does one miss out from Babel, given that TS is a superset of ES6?
I think there are coal companies that did this at one point. I could be wrong but I think it ended when some people died.
Jennings is a surprisingly good and humorous writer. (I say "surprising" because there is no reason to expect that someone so good at Jeopardy would also be so good at expressing himself with such charming self-deprecation.)
Lockheed hails progress on hypersonic military aircraft
Why not just using JSDoc for you library?
Criticism of that statement kind of hinges on the source material being solid enough to be taken seriously.

I mean, one of his main points is that everything written in JS should be written in typescript because it helps support typescript users. Another it is leads to better documentation, with no qualification of how that happens. It might make your intent more explicit to a reader of the source code, but that doesn't magically translate into documentation for an API user.

I personally find nothing good about trying to coercing a language into something it isn't and then transpilling it back and that article has no strong argument to make me feel any different.
Qt – Startup Plan
Sounds like a "corporate arcology" from science fiction.
APIs written in C seem to do just fine.
http://usejsdoc.org/tags-type.html
CRYENGINE V Released on a “Pay What You Want” Model