skysight-inc/HackerNews huggingface dataset:
I know this comment has been criticized a lot, and rightly so. As the last picture of train station with "elegant men and beautiful women" acting to look the station busy, is by itself so much of a story, as to make me want more of it.

(And I hate that this is the top comment. As its almost off topic, and has utterly non interesting commentary, in contrast to the pictures which offer us so much - again I hark back to the last telling photograph - I will surely be tuned for more photos from this travelogue.)
Also, people are in general really bad at understanding how hard some problems are, particularly in relation to how easy we've made some seemingly magical things.

Reminds me of this XKCD: http://xkcd.com/1425/
HexLox – Protect Your Saddle and Wheels from Theft 50% in 20hrs
There's a cool app on ios which does this, iA Writer. I would love to know how they go about doing this.
How about Entertainment? Being virtually transferred to a remote location, either as tourism or to watch any kind of show (concerts, live theater, sports) should have obvious appeal for any spectator. Watching performances should be a larger market than other niche entertainments that benefit from VR like hardcore gaming.

The increased sense of presence is an instant upgrade over the limitations of TV and handheld devices, assuming the shortcomings of VR discomfort can be avoided.
We also need support from the IDE vendors. Can I drag in the component from the left hand toolbox in my GUI? Do I get at least some stubs for the corresponding server side code? And common stuff like authentification/authorization should really be rock-solid and built-in too.
What a shame that Apple haven't got WebRTC supported, and I think it would still take a long way to go.
The new Nixon Mission is an Android Wear watch for surfers
I don't get the hatred for small JS libs. It's the unix philosophy brought to the web. Have each part do one thing and do it well, then combine them.

I've used "one function" libs before, and i'll continue to. The most recent example is a small lib that added Array.prototype.reduce to browsers that don't have it. It's 31 lines total (un-compressed, un-minified, un-anything)

Installing that small, well tested, and standards compliant function using a single npm command is significantly better than trying to do it correctly myself (which would most likely take an hour or so just to look over it's exact functional requirements, and it would most likely have subtle bugs), half-ass it and write my own "not quite reduce but close-ish" that i now need to use everywhere and need to train new hires on because "I didn't want to install a 31 line lib, so now you have this non-standard system that's buggy in it's own strange ways", or copy-and-paste the code from somewhere muddying the legal status of my codebase.
And one Titan X gives 6.6 TFLOPS, single precision (peak)
Seconded, the subject matter is fascinating and the human story of Wiles' difficult journey and ultimate accomplishment is gripping. One of the books I've most enjoyed ever on any topic, let alone in popular science / maths. It's Singh's best work.
Randomized data does not have padding.
You can get a prepaid card with some amount, I guess.
>I don't see why including women directors would be to the detriment of a list and only to meet a "quota."

Obviously women aren't a detriment to the list in and of themselves. It's the fact that Mr. Lee made a list of must see movies, was critcized, then went back and changed the list based on the criticism.

So which is the list of must see movies? What movies were "must-see" pre-criticism, that were no longer worthy post-criticism? PC run amok.
That sounds like the step forward these things need. VR to really get a good look at your stuff, and the ability to mocap while sitting at your pc. Cool stuff.
Will most people want a PC? Phone and tablet sales have been eating into traditional PC sales for nearly a decade now. And the PCs people have still been buying are mostly low powered laptops that won't be able to power a Rift or Vive.
Same question can be asked about any iterative technology. "Why are those computer scientists so goddamn clever? Math is just numbers, why can we not just live with that, why do we need to build on top of it? What has the invention of writing ever done for us?"
I think it's two things: firstly, I've been conditioned not to use card payments for low-value transactions; and secondly, forking over actual currency for coffee makes the cost more "real" in a way that helps me to limit my consumption.
I'd counter that if you watch the films on this list and don't understand why Lee included them, you're not likely to be a good film director.
We[1] do!

Our service is similar to Hamachi in that we offer you an L2 network. We also provide DHCP by default on the 100.64.0.0/24 subnet. We don't offer Internet access, but if you add your own proxy (proxies? :)) or router to the Virtual LAN, you're all set.

We've started our service recently, so any feedback is more than welcome.

[1]: https://wormhole.network
And empathizing is? Measured in?
Were they all by women? What's the diff on the movies and directors?
No I would rather sell to Canadian banks any day.
Film production in Dubai
Which Camera should I use for photography from film production Dubai when going for travelling?
Your UI Isn’t a Disney Movie – Startups and Venture Capital
This is one battle in that war. It's not the whole war.

How will this affect the average citizen of China? Indonesia? Namibia?

If Apple loses, will they be immediately forbidden from creating devices such that they'd be unable to comply with similar future demands?

The war is important, but getting confused between the war and a battle seems like a failure of perspective.
Previous versions of the MapBox SDK had offline tile caching, for both Android and iOS. Worked really well if you could know which tiles you needed to download in advance.

This update is for the new version of their SDK, Mapbox GL. When they first announced it, there was no offline map support, so I couldn't bring my apps over to it.

For anyone who's interested, I used the offline maps in a trail/hiking app that needs to work in remote mountains, and for a "back seat driver" app for kids in the back of cars on road trips.
Please do not use all caps for the title of links you're submitting. Thanks!
> Are there examples of cases where a system was very hard to verify with any one general technique, but much more practical to verify by using several domain-specific techniques and some kind of bridge between them

I'm not sure what you mean by bridge but the halting problem comes to mind: the general case is impossible but you can prove common algorithms halt by showing they're structurally recursive (the recursive parameter always get smaller) or some metric always decreases on the recursive call (e.g. the sum of the length of two lists always gets smaller on the recursive call).
What political problems might that be?
>expectation to use latest and greatest and be future-proof

In javascript (just like in any other programming language) you generally get one or the other.

You can have the "cutting edge" features or libraries, or you can stay a bit behind and have one that's stable and will stick around for a while.

People are using features of JS that aren't even in the spec yet then getting burnt out when they break in the future? Using a library at version 0.0.3 and getting upset when 2.4.3 breaks something?

There is nothing wrong with using mature systems, and that's why I personally feel all of this "javascript fatigue" is self inflicted. If it is going to be a project you write once then don't touch for 5 years, maybe don't use react 0.15.beta-4 as your library of choice...
I'm not yet sure if we should abandon grids completely. I've tried flexbox-only with one project, but I found it to be repetitive and more time consuming than starting with a grid based on flexbox. A simple flexbox grid is my way to start a project now as you need a lot of it anyways.
Whoa, the guys who wrote this paper should get treatment not dissimilar as people who helped design and build Nazi death camps.

People will just ditch banks and return to exchanging physical currency in their transactions. Why would you need electronic money if it incurs additional fees?
But this is a list for aspiring directors - If I'm currently aspiring to be a better director, then some level of explanation would be beneficial to me
Show HN: Base Deploy – visual web app builder focused on user-generated content
It's really not the same thing at all. Parks was standing against a wide-sweeping injustice leveled at a minority, of which she was a part. While we all have some vested interest in having Apple win the case, in reality very few people are ever going to be directly affected by this ruling. Many people are going to come down on the side of law enforcement and be happy to do the work, and many more just won't care. It's not an issue of one person standing up to fight a clear social injustice, it's an issue of a corporation complying with a highly specious legal action. Tim and the Apple board are by far and away the only ones in a position to stand up to this in a way that matters, everyone else may as well not exist.
The latter doesn't seem terribly likely. If he wanted to avoid criticism, he wouldn't have set himself a quota as low as 8%.

It seems more likely that when he thought about the criticism, he thought about whom he might've overlooked and remembered Lina Wertmüller. Come to think of it, I'll watch something by her.
This sounds like a culture that prioritizes work-life balance, independence, and self-motivated employees. You're not aiming to measure butts-in-chairs time but delivery of working software as far as performance is concerned.

Focus on those specifics when hiring and not something like specific technology stacks. Once you narrow your talent pool to that philosophy and then narrow it further by tech stack you may end up with so few people to choose from that you will end up with people that match the tech stack but not the philosophy and they won't work out long term.

It's SaaS, which means web application, which means your tech stack really doesn't impact success||failure. So choose smart, agile learning people that match your work philosophy and they can learn whatever stack needed. You say "we" so maybe you already have a team - in which case they may not agree with your new philosophy or they may not want to change tech.

Make sure the compensation, HR stuff like benefits, etc. match this philosophy. By that I mean make employee contributions tied to something like profit sharing, equity, bonuses, etc. That can help motivate and enforce the delivery of value priority over hours worked (aka here's a salary for 40 hour weeks).

Also have legal/HR stuff figured out in case - employment laws differ by country and if someone decides to work/travel through Europe for a couple months, does that have tax/finance impacts on your company or employee? Do they need a work visa? How will internet be funded? How will pay be handled for work locations with different costs of living ... will it be "fair" if someone chooses to live in SF area and gets higher pay than someone in Belize?

These are all rhetorical questions but if you have this stuff figured out, people might want to hear the approach.
>No Psycho by Hitchcock but 3 other movies by him?

Not like my opinion matters (nor does Mr. Lee's, in the grand scheme of things), but Psycho probably isn't in my top 3 Hitchcock films, either.

Vertigo, The Birds, Rear Window for me. Consider Notorious, North by Northwest, Strangers on a Train, Dial M for Murder...there are quite a few permutations, taste dependent.
file size appears to me as a completely random metric to measure your code against. With the overhead associated with establishing a http connection, the actual byte-size is most likely of little importance. In fact, if this goes over TCP/IP (Which HTTP usually does), isn't there a frame size of some 1500 bytes?
There was a money laundry investigation a while ago because someone walked into their local Post Bank and withdrew 4.6 million Franks in cash (in 4600 Thousand Notes). The employees checked if the man had the amount in his account and paid it out. The bank was found not guilty of any wrong doing. [1] However it turned out the guy was a con man and disappeared. Flags should have been raised because of the large electronic deposit just 2 days before but the employees them selves did not know that.

[1] http://www.tagesanzeiger.ch/wirtschaft/unternehmen-und-konju...
Hottest Apps to Watch at SXSW 2016
That sounds like your developer's problem, not the technology's problem.

Would you blame the language C++ if the developer was constantly compiling their own compiler from master every single day and spending hours upon hours dealing with that?
Serious question - what if players of a certain skin color break the rules more frequently than another skin color? "Bias" is extremely subjective and complex. Was this possibility taken into account?
Another endorsement for Mullvad here.
this is where people get all confused as to what employment is.

Employment is an exchange of labor for money, you are trading your knowledge, time and experience to preform work for a company in exchange for money.

it is not a family, the company has no obligation to "look out for your" or your actual family

if you are not preforming work, you should not be paid. Period, it is as simple as that

You "making a new tax payer" or what ever is not relevant to the topic if employment

Further I do not expect anyone other than myself to secure my retirement. I will likely not retire, I have no plans to. I plan on working in some form until I die.
I don't think it's going to be a fruitful exercise to demand that implementers of ISO C/C++ change their implementation to guarantee certain properties of programs that ISO C/C++ consider to be invalid, and thereby weaken their competitive position vs. other implementations.

The root cause is the ISO C standard itself, so if you want any change in that direction, the best approach would be to join the ISO C working group and make proposals to replace various undesirable undefined behaviors with, at the minimum, implementation-defined behaviors (starting with signed integer overflow, perhaps). Probably there aren't any vendors of one's complement machines and the like left to veto your proposals.

The C11/C++11 memory models for the most part don't solve a problem that kernel developers have, because all kernels already contain tested solutions to the same problem, so one would not expect kernels to quickly exchange all their tested and highly performant concurrency primitives. The only benefit for them is that the memory model effectively prohibits implementations from doing some optimizations that would be valid only under the assumption that there is only one thread of execution, and this benefit is implicit, i.e. you don't need to use any of the new language features or standard library headers to benefit.
I haven't gotten a chance to read the entire paper however the reference to the Therac-25 in the beginning was slightly tilted. Yes - it was a programmatic error that dispersed a deadly amount of radiation. But, if I remember correctly, the Therac-25 is often used in Software/Computer Engineering ethics classes as an instance in which a hardware safety mechanism would be appropriate. So while the article is right that a software malfunction did disperse a deadly amount of radiation, the fix for this isn't necessarily a software solution
Not really. If these movies don't stimulate your directorial imagination, a few words aren't going to help.
To be fair, Congress seems to be on Apple's side here. It's just our ever-more-overreaching executive branch that's the issue.
But the coin doesn't have free will like the players. Some players may prefer heads over tails.
Pijul is not a reimplementation of darcs, it's based on a new theory, without the performance drawbacks of darcs.

Btw, rewriting darcs would really feel like reinventing the wheel. Haskell is safe and great already.
Fair enough regarding donations, but the idea that HN is "truly free" while Facebook isn't is shows how unclear the proposal is. HN may not sell ads, but it does have them[1], it's just for their own companies. It's more than a little naive to think that HN makes no profit for YC and its investments.

The analogy of burning the forest to allow the new sprouts to grow is quite pretty, but I'm not sure you'd actually get better trees in the end.

[1] https://news.ycombinator.com/item?id=11295614
You could say that. But the message—arguably—would be much better received with information.
What do you mean by "most likely"?

Each living individual is an uninterrupted continuum of living cells (sometimes reduced to a single living gamete) back to the origin of life, whatever it was.
There are plenty of good dentists, and the internet has made it much easier to compare. Not sure if there's a well-reputed review site for healthcare professionals, but Yelp has worked well for me.
>It's the fact that Mr. Lee made a list of must see movies, was critcized, then went back and changed the list based on the criticism.

He added to the list; no films were removed.

>So which is the list of must see movies? What movies were "must-see" pre-criticism, that were no longer worthy post-criticism?

The current list. And none.

>PC run amok.

I can't write a sensible comment to this.
How to send an 'E mail' [1984] [video]
Pressure on Valeant Puts William Ackman’s Image as Moneymaker at Risk
My first thought was civil disobedience on the part of Apple's developers too… But I couldn't make it work out in my head how that could result in a positive outcome.
"Last fall, Leo invested in a trash-hauling startup called Rubicon Global. He had invested in other environmentally focused startups before, including an electric car maker, and a synthetic diamond startup Diamond Foundry."

This is really interesting.
Life is not reliable.
> Today there is huge demand for the ability to develop
> desktop standard applications inside the browser.

Is there? Or just devs wanting to do that, for reasons unknown?
I as a user could not care less about "desktop standard applications inside the browser", desktop applications work just fine.
57 startup lessons
The dominant explanation among leftist economists in Europe is that banks wants to set negative interest rates on consumer bank accounts. But that only works when cash is eliminated. Otherwise, negative interest would cause a bank run because keeping the money at home in cash is literally more profitable than leaving it in the bank account.
I watched that movie without a trailer, context or knowing it was by mel gibson in a foreign country without english subtitles.

One of the most captivating movies I have ever watched.
Thank you for suggesting relevant thread and yes what you said makes sense. It is unlikely that users would care about the company, who is backing the product.
This lib will only work on the latest browsers.

The source leverages calc for simple width percentages, so on android browser below 47 these values won't calculate at all: http://caniuse.com/#feat=calc.

> Partial support in Android Browser 4.4 refers to the browser lacking the ability to multiply and divide values.

Why wouldn't the author change this to:

.Cell.\-1of12 { width: calc(100% * 3 / 12); }

to

.Cell.\-1of12 { width: 25% ; }

It seems silly to go through the trouble of installing a lib when it gives you less browser support than flexbox itself.
This is amazing Thanks so much author.
This isn't the type of issue that polls should matter. There's a saying that democracy is more than "2 wolves and a sheep deciding what's for dinner". This is a prefect example. Also, I saw where when the details were explained to people they tended not to support the government position.
No Shortcuts
Sure. In fact, I believe this is the norm rather than the exception. Software systems often use model-checkers, abstract interpretation and manual deduction to be verified. Each have their strengths and weaknesses. In fact, you can see all three methods used in one of the common representations of logic (which I've picked because I know you're a Scala guy): types. Simple types (like H-M types) perform crude abstract interpretation, but can only prove properties of finite state machines. Liquid types use model-checking algorithms to infer and check some kinds of dependent types. These, however, still don't cover all properties, so in practice, people need to resort to manually-inferred/checked dependent types. Using those alone would be extremely cost prohibitive.

In the safety-critical software world, you see projects using model checkers to verify individual modules and deductive proofs (say, in Isabelle) to verify the interaction among modules or vice-versa. In the less-safety-critical software world, you see people commonly use static analyzers (employing abstract interpretation), even though those can only verify certain properties, because both interactive deductive proof and automatic model checking are too cost prohibitive.

But the problem in general is this: we are not at a point where any single approach nor a combination of several lets us fully verify a real-world program even of moderate side at any acceptable cost. I don't believe any moderately-sized program has ever been fully verified using any technique.
> Many Website owners force all these negative implications on all of their visitors.

No they don't. Website owners force this on people who want to view their ad-supported content. If you don't like the ad-supported content, nobody is forcing you to view it.

This article has no new content, just a restatement that some ads are bad, which nobody disputes.
The "grid" is a graphic design principle [1] that existed long before CSS. You can implement this in CSS with flexbox or something else. If you don't care about vertical alignment of elements at different heights on your page then you probably don't need a grid framework.

[1] https://en.wikipedia.org/wiki/Grid_(graphic_design)
I agree it's not "insane" to include NPM, but I do feel a trend of over complicating things that should be simple.

A 4 page static website, for example, shouldn't need model view controller, package manager, routing, etc.
> functions f from R to C such that f(x + 1) = f(x) for all x) uses specifically cos(2πNx) and sin(2πNx) for integer N

Define cos'(x) = cos(2πx/A) and sin'(x) = sin(2πx/A) (such functions could be defined without referring to π in their definition)

Now f can be expressed as a weighted sum of cos'(ANx) and sin'(ANx) for integer N.

> every function of period 1 decomposes into the sum of a series of functions whose 2nd derivatives are square numbers * -(2π)^2 * themselves

You are correct that the scaled sin and cos functions I mention above still have the 2nd derivative equal to -(2π)^2 * themselves.

I found that a weak argument that pi is somehow inherent in periodic functions though.

First, this property of sin and cos is not necessary for or directly connected to the Fourier transform as far as I can see.

Second, there are infinitely many families of orthogonal functions that can be used to decompose periodic functions in the same way sin and cos can be used and do not fit this rule of the 2nd derivative. Consider a family of square wave functions for instance.