skysight-inc/HackerNews huggingface dataset:
> Verifying a program can result in you having to prove arbitrarily difficult maths theorems so it's similar to saying automating arbitrarily difficult maths theorems should be trivial.

But you wouldn't write a program that depended on a theorem that wasn't proven, no? I mean often the only mathematically hard parts of a given program are in the libraries it uses - which could ship with their own proofs.

> Yes, the theorem/specification statement may be trivial compared to the code but the hard part is coming up with the proof that shows the code matches the specification. You don't get this for free.

Doesn't the structure of the code tell you how to structure the proof though? Like, if you've written code that appends to a list by appending a single element and recursing, the way you prove it correct is to prove that it appends a single element and that it recurses correctly. If you've written something that's supposed to be a sorting algorithm and the code rearranges the elements of a list, why is it that you believe this particular rearrangement of the elements is a correct sort? Isn't the answer to that question your proof of correctness?
Jeff Dean on Large-Scale Deep Learning at Google
Ancelotti thinks Zidane should stay, no matter what
Because with 80%+ unused code, your instruction cache is gonna choke.

Also JITs can remove many more type checks, because it knows when a check would be redundant. See e.g. Lazy Basic Block Versioning[1], but existing tracing JITs do quite well also.

1. http://arxiv.org/abs/1411.0352
> but transpiling it down into a language that isn't as type strict just seems silly to me

You obviously have no idea what you're talking about. Almost all statically typed languages get compiled to something much less type-strict. This is one of the reasons for writing compilers in the first place! Case in point: Haskell gets compiled to assembler. You can't get a much bigger difference between typing disciplines than that.
Luck is necessary, but not sufficient condition for becoming a successful company.
I believe you're referring specifically to management consulting. There are many consultants outside the McKinsey/Bain/BCG ecosystem who work specifically on execution rather than just recommendation, at manageable rates to clients. For example, the consultancy I work for primarily works on longer-term software/strategy/change implementation, staffed by people who have been around the block a few times.
It would be good not to forget Bayard Rustin either.

"Rustin was also a pioneer in the movement to desegregate interstate bus travel. In 1942, he boarded a bus in Louisville, bound for Nashville, and sat in the second row. A number of drivers asked him to move to the back, according to Southern practice of Jim Crow, but Rustin refused. The bus was stopped by police 13 miles north of Nashville and Rustin was arrested. He was beaten and taken to the police station, but was released uncharged"

https://en.wikipedia.org/wiki/Bayard_Rustin
Keep an eye on the would-be profiteers. Why would VCs like Fred Wilson land on the side of the FBI and parrot their position despite certainly knowing better? Because there are billions of dollars of government investment money being lined up to implement the wishful thinking key escrow and other back-door schemes. Even if back-doored encryption is doomed in the market, co-investors will be rewarded.
> These things are not like each other! It seems like you're just complaining about a bunch of things based on little more than what their name is.

I only know the name, because they disappear faster from our tool chain than I (as strictly ops/backend person) can keep up with familiarizing myself with them. The tool churn in the frontend world is insane.
I think he actually did mean misogynist - women that dislike even other women and try to keep them from positions of power and authority absolutely do exist. Female competition exists, after all, and oftentimes social minorities that climb into positions of authority adopt the cultural biases of those that held power before them (see: accusations within disadvantaged communities for "acting white" or acting "like you're better than everyone else").

It can be difficult to determine if a leader is adopting a cultural meme or if there's something intrinsic to the person. There's a bit of a disturbing trend in the military where even female commanding officers will shy away from acknowledging cases of sexual assault against female personnel. Furthermore, there's evidence for private sector that women that get promoted oftentimes try to act more "like a man" in aggression and even bias against female subordinates, sometimes even to the point where they're more exclusionary than their male counterparts ever were. I can't provide citations right now for them but the first can be Googled quickly I presume.
Tip Tap Charity Dance APP
My position is that at least some of the criticism was warranted, and there's nothing wrong with responding to such criticism with an update.

I don't know if the critics were implying that Lee purposely left out women. But the fact is that he left out women. I assume totally by accident. When this was pointed out, I imagine his reaction was something like "whoops, slipped my mind."

I agree that people are looking to create issues where there are none. It's happening right here with all the people complaining about "PC run amok" and whatnot. A guy released a list, people thought the list was incomplete and suggested changes, the guy sees merit in the suggestion and makes changes. Whoopdie-do. The only reason anti-PC warriors are upset is because the changes involved including women.
Overview: newly adopted Swift Language proposals and upcoming reviews
But this is relevant even in Go AI!

As we saw with the recent AlphaGo matches, not understanding your opponent (always assuming you're playing against a clone of yourself, as AlphaGo does), can cause objectively suboptimal play. You just have no concept of a "trick play" -- in your world, everything you see, the opponent can see too!

You could argue that with a little bit better theory of mind [1], AlphaGo could have executed a better strategy for its comeback. Instead of playing out obviously broken ladders, hoping the opponent will make a trivial mistake (ha), it was objectively strong enough to devise a cleverer plan, playing to the human's actual weaknesses. It didn't, and lost.

So what you write is true, and only more true in the imperfect, fuzzy and intrinsically deceitful world of NLP.

[1] https://en.wikipedia.org/wiki/Theory_of_mind
OP's sample size is just low. My kids' mom happens to be incredibly great at noticing minute details that went wrong in websites. Sometimes a competitor of mine, like a big agency to which I lost a bid, will launch a new site here locally and I'll ask her to let me know what she thinks just so I can gloat.

I have worked with other moms who suck at details but do incredible brand strategy, etc.

Seriously, if you're not running a study and you need to typologize to _any_ degree, you should at least pick up e.g. MBTI because it is so much further down the road than "moms".
I'm working on a service [1] that will have virtual (L3) LAN with quite advanced routing rules.

[1]: https://multilink.link
You can have dense apartments with your own bathroom.

I guess this is all a bit of a broken record but Tokyo has all the same potential problems as SF (Namely earthquakes), yet somehow has no housing shortage despite being denser. It's all a manmade issue.

Accepting this is acting as if there's no reasonable solution of just building normal apartments on more land. But of course that runs into social barriers.
This new idea is old as time
https://en.wikipedia.org/wiki/Boarding_house
Absolutely not. Objective-C started out as a superset for C. Emphasis on 'started out'. It has nothing to do with C++. You can combine the two of them but they are hardly compatible. Messaging on the side of Objective-C vs. custom operators on the side of C++ being just one example.
Microsoft says it will still accept Bitcoin after 'inaccurate' info released
Wait, what?

Are we (the internet) actually simultaneously angry at a person for being un-politically correct and politically correct?
At least we don't have a monarchy. ;)
Clinton, clipper and crypto
> It's not immoral or anything, just sort of crass. And odd, that they don't care that their readers now know, too.

Newspapers and journalists love to talk about a free and fair press being essential to democracy. If you accept that, then political manipulation is an issue of morality.

The New York Times being deceptive and not caring that anyone knows is very old news. Noam Chomsky famously measured New York Times 'column inches' about the genocide in East Timor. That was in the 1980s (?).
I think the article and quotes have over-sensationalised a piece of maths.

The top comment here on HN does not recognise the 'trivial' point that I have made, hence the need to point it out.

And, the "most mathematicians would have assumed..." quote is probably false.
CIA recommends Key Recovery System (1996) [pdf]
I love the irony in this comment (and a couple of its siblings).

It's as though crazy javascript tooling is so deep into the bones of javascript developers that they can't even tell when they're using a tool. I expect you were genuinely sincere in your suggestion.
Tolkien, failure, and Lord of the Rings
> Flow has a lot of bugs and a lot of growth ahead of it, but it is far easier to get started with than TS.

I know this was definitely the case when I started using TS a few years ago, but they recently added support for compiling .js files in your typescript projects, so you only need to deal with the compiler one file at a time.

Admittedly I haven't used it, but I think it should have made the migration easier. Probably still not as easy as Flow, but easier...
> I really don't know what to believe.

It's really difficult to collect the facts. All pieces that circulate today seem to come from the same source.

- The AP report (essentially a North Korean press release)

- Warmbier's confessions (as real as a theatre play: https://www.youtube.com/watch?v=qYUMImDfhoo)

Doesn't seem to be sufficient to comment on the 'severe' crime or the punishment. Fingers crossed to have Warmbier home soon, and hear it all at first-hand.
Yes, the good guys will use it in many ways that were never intended....

http://www.nytimes.com/2014/07/21/us/politics/edward-snowden...
Thanks for the links.

The QuickFlux is promising start for the Flux pattern in Qt.

I was thinking more on the lines of React Native [1] like support in Qt.

Essentially, having React render() function backed by Qt Quick Controls?

[1] https://facebook.github.io/react-native/
You may not be upset, but a quick glance at the comments shows a ton of people who are quite upset that Lee responded to this criticism the way he did.

You wonder why he changed a list of something personal to him after people gave him additional food for thought? Are your opinions so set in stone? If you compiled a list of top programming language features, could you not even conceive of adding more entries to it after publishing it and having people make suggestions? Why do people expect this stuff to be carved in stone from the beginning?

Your hypothetical reply looks a lot like his real reply to me.
That's only a partial pressure of 20 kPa of oxygen. The Apollo capsule was supposed to be 20 kPa of pure oxygen, so providing the same partial pressure, but because they were on the ground they couldn't do that or the spacecraft would be crushed by exterior atmospheric pressure (<tangent> https://www.youtube.com/watch?v=O4RLOo6bchU </tangent>).

So instead they pressurised it to one atmosphere. Of pure oxygen, thus providing a partial pressure of 110 kPa of oxygen...
Hello! I work at Mapbox.

Pre-cached directions are just one use case for offline maps. Our SDK gives developers the control to download arbitrary bounding boxes for any purpose.
I mean, if your day-to-day tasks are as basic as reading some text, than carry on. But if you're doing anything reasonably complicated or modern, it just won't work.
Realtime Messaging SDK for Cocos2d-X
Is this actually voxel rendering, or is it voxels rendered with polygon rendering techniques?

https://en.wikipedia.org/wiki/Voxel#Rendering
People associated with the hippie movement / sympathetic to its ideals have made massive, massive contributions to the history of personal computing. Check out https://en.wikipedia.org/wiki/What_the_Dormouse_Said

That being said, both legalized weed and communal living are perfect examples of how counterculture ideas can become co-opted and corrupted by establishment greed.
The Literary Fiction Drinking Game
Drive by Daniel Pink, looks at what motivates people in general. Explains why a guy that codes all day goes home to work on open source project...
So the consolation is what? That although people will flee to spend their best years elsewhere and sell their potential there at least they'll come back to Canada so their younglings will benefit as they did from the better formative conditions?
Good point, but is the first sentence necessary? :(
Really, you think that "You should include some films from the silent era" followed by "You're right, I've revised the list to include some silent films" would make it to the front page of Hacker News and spawn a huge, vitriolic discussion?

I find this hard to imagine, myself.
Fortunately, missing the Forbes site isn't a loss - might even be a positive in terms of information content!
Throw in the complexity requirements a Windows domain imposes on the password, and this turns into even more of a headache. Of course you can just append A1! to an otherwise sufficiently complex password to meet the requirements, but it will make people freak out in the code review.
In an ideal world I'm sure a lot of us would love to work with Elm, but the reality in a commercial situation is often that the choice of language is driven by factors like: how widely used/well known it is, what the availability of libraries for it is like, how easy it is to hire developers with experience for.

This unfortunately makes languages like Elm and Clojurescript unlikely to be chosen in a lot of situations (e.g. as I understand it, the JS interop story with Elm isn't amazing, so you can't just use JS libraries with it).

Typescript is close enough to plain Javascript to not scare people off (I'd be willing to bet any JS developer could pick it up in a few hours) and can almost be considered in the same light as vanilla JS in such a decision, yet brings with it the advantages of a fairly decent type system.

As I've said elsewhere, it's definitely not perfect, but for developers in a position where other, more "esoteric" compile-to-JS languages aren't likely to be accepted, Typescript probably represents the best choice of bringing a decent amount of sanity and predictability to codebases.

(This isn't meant to be having a go at the parent BTW, it's just something I've been thinking about a bit and the comment jogged my memory!)
Passwords-based systems assume input, and most UI frameworks use text strings for inputs.

Binary password is usually not called a password, it's a key.
The world's sexiest computer hacker launch indiegogo
Kristina Svechinskaya with a team building secure cloud-based SmartFlash. All data is encrypted using a 2048-bit key and some function, which make the gadget is really the world's first Smart Flash https://igg.me/at/flashsafe
The line count of a diff has nothing to do with how focused the patch is. Some PRs are simply larger than others due to the language in use or the nature of the code being changed.

Presumably a codebase in an array-oriented language would have miniscule PRs, which is irrelevant (discussion of PL merits aside).
They probably used Microsoft Office as their inspiration on how to create a user interface that makes it difficult to to tell the difference between UI and data. The flat UI's have their use cases but mostly they are just a bandwagon that all cool-kid wannabes are jumping on, without really caring or understanding that a UI is supposed to make things easier and less confusing, not the reverse.
Why are so many people assuming that the initial list represented his comprehensive judgement of all films ever?

Because he's doing it in his role of NYU professor! If Donald Knuth released a list of "CS papers every professional should read," I would fully expect it to be his comprehensive judgement of all papers ever. Do you think that he may have missed one? Do you think Spike may have? In both cases it's their professional environment, and I would expect that it would have been discussed in their professional environments. To imply that they missed something important is to imply that their close colleagues missed it too. It could happen, of course, but not something that you think about when you read a list like that.

Until you see that he missed "Captain Ron." Then all bets are off.
> I mean, it's terrible. But it is impressive.

... Terribly {im|op}pressive?
It's weird to me that we keep treating the sites that run malvertising as victims instead of fully complicit. If the print edition of the New York Times ran, say, a full-page ad for the KKK,* and responded to the outrage with "haha, sorry, we outsourced our advertising to a third party with no oversight," they'd be crucified. But somehow websites are exempt from responsibility for the things that they publish.

Has anyone proposed getting sites that serve e.g. ransomware to pay the ransoms for everyone affected? That seems entirely reasonable.

*Or insert your own offensive ad concept here.
> If the future is programs that people can download and run on their computer on demand you'll need a good run-time, language agnostic, compiles to binary, sandboxed, with a well defined UI system not based on document display. There's no web-browser, DOM, or Javascript in sight.

You just described Windows 10's UWP.
My parents worked for the NSA before there was an NSA. A guy came in to do a talk about how there is no such thing as security. He had a table with a bunch of common locks and even some safes. He proceeded to unlock each one in a matter of seconds to demonstrate his point.

Modern encryption however is changing the game. It's no longer true that security is just a matter of perception. It's becoming a reality and that makes for an interesting and bold new world we're entering.
> Plus there is huge value, in my opinion, in writing an API in the same language it's going to be consumed in.

Making APIs so that they are only accessible from a single language should be outlawed.
China opens a new university every week
I think it's likely that tech in Vancouver is having trouble hiring and retaining as millenials flee to SF, where they can get paid dramatically more, but in general Vancouver is seeing net gains in millenials.

I have no idea how Bloomberg made their chart but using census and BC stats data no one has been able to reproduce it.

This UBC sociology prof crunched BCStats numbers and found that there is net positive millenial migration into Vancouver.

https://homefreesociology.wordpress.com/2016/03/16/ch-ch-ch-...

This doesn't change the fact that the unaffordability situation in Vancouver is deeply problematic and is probably accelerating a brain drain to the USA.
Bingo! It is about keeping the money inside the country. It's not just the US. The German authorities even went so far as to offer and pay money to whistleblowers/thieves with CDs full of customer names. It looks like an economic war.
I agree--but the issue will likely be traceability. That is, how can the victim prove that the malware they received came from PageFair? Unless the victim had a log of all network traffic, I'm not sure there's any way to show that.
> We generate our password from a cryptographically secure random number generator. ... We found that sometimes (no predictable pattern), we have interoperability problems between systems.

If there was a predictable pattern, that would be even worse!
Anyone know of a productized 'Advanced Math' consulting service?
They usually call college "the best time of your life," not dorm living. Most college kids don't stay in dorms past their freshman year, and the ones that do don't have nearly as much fun as the ones who find off-campus accommodations. (Dorms in many schools, especially state schools, often forbid alcohol.)
Unless they are C++ developers they will have to wait for a long time :)
Sure, WASM will make things better, until you have to deal with library and dependency management in your WASM-llvm-deploy toolchain.

I get that the javascript world moves pretty fast. On the other hand, what you seem to be saying is, "I don't understand this, _and I do not want to expend the effort to understand it_, so therefore it is bad".

There's a lot of things I don't understand, and frankly don't have the time, energy, or training to understand. I leave those things to the engineers who actually worry about them. Example: I can write and optimize SQL queries, but I don't want to work on postgres internals. If you want to be a javascript developer, you should pay attention to the state of the art.

FWIW: npm isn't in control of modern javascript development. You are still able to manually find new libraries, download them, add them to your assets directory, include them, and so on. This workflow never stopped working. All npm does is provide a centralized list of library versions and their locations, along with a syntax for declaring dependencies. My current project needs to do some image manipulation, so npm handles downloading and building the mmagic libraries for my development architecture. I could do this on my own, but this is just easier.

If it's too hard for you, just do it the old-fashioned way. If you choose to publish a library and not provide npm/bower support because you're old-fashioned, however, don't expect wide adoption.
I'd like to add 16.: For number recognition, you only need to care about locale-native phone numbers.

My phone is running with English locale set because German translations of apps (and even Android itself) are more often than not useless. I'd still like to have local phone numbers recognized, instead of having them split in two numbers just because that's apparently the US format.
That post says they won't support you, but if you use a VPN endpoint that's in another country, (and make sure to use WebRTC blockers and prevent DNS leaks), then I see no reason why you cannot still watch region locked content.
FYI, those are not ES2016 features. ES2016 only includes two small feature enhancements. They might make it into 2017, but if TC39 decides they're not ready, they'll just keep not including the feature in the annual spec revision.
That it's a false equivalence. You're being a bit facetious here, it was obvious what the above poster was alluding to.
> If it is being consumed as ES5 then your consumers lose most of the benefits of it being in TS. For them to consume it as native TS puts a fairly hefty constraint on their build process, namely that it must go through the TypeScript compiler.

Unless you're making changes to a TS library, there should be no need to build it and you can just use existing the built js files from the library.
Typedoc doesn't keep up with TS versions. It's not really solid enough.
So what do you do when the "trusted" escrow provider gets hacked, just like OPM was, and countless US corporations who've had customer records and credit card numbers stolen?

What's the point of using encryption if you're going to put the keys in the hands of some unaccountable entity which is easily hacked? You might as well not use it at all then.
CMatrix homepage: http://www.asty.org/cmatrix/