skysight-inc/HackerNews huggingface dataset:
Thank you. Using TLAs without defining them should be a bannable offense.
What would they gain from that?
I was only referring to the starting quote:

> When most practitioners think of "typechecking", they typically think about proving properties about programs statically.

This is what the type theory community (e.g. Bob Harper) thinks...not anyone else from what I can tell (definitely not practicing programmers).

Typing it out on mobile didn't make it easy to do the right quote context. Here is a good essay about it all:

http://www.cl.cam.ac.uk/~srk31/research/papers/kell14in-auth...

vs. say

https://existentialtype.wordpress.com/2011/03/19/dynamic-lan...

There are other ways to do typing that might make more sense for a dynamic language than going down the expressiveness rabbit hole; e.g.

https://www.youtube.com/watch?v=__28QzBdyBU
Does this still work with 'get my iPhone photos in a normal folder' (e.g. for Lightroom) hacks like photostream2folder?
This is a bit troubling, my boss is one of the inventors of WiFi.

https://www.google.com/webhp?sourceid=chrome-instant&rlz=1C1...

Hedy's name isn't in the list. Though inventing frequency hopping is an impressive accomplishment and very useful, there were many previous technologies that needed to be in place for WiFi to exist.

Am I the only one who feels this is a dishonest representation of Hedy Lamarr, and takes away from those who actually invented the technology that billions of people use every day?

The only paragraph which mentions her invention is
"It was Hedy's idea for a secret communications system - specifically one that could guide a torpedo using a technology called "frequency hopping" - so that signal couldn't be intercepted."
I heard that U.S. Legalization of Marijuana has had other side effects in Mexico, like making harder to get good quality weed in Mexico
> You have to see both sides here.

Why? To understand the motivations of Jobs, Cook, Catmull, etc.? The motivations are clear. Collusion is still illegal, and "seeing both sides" is an attempt at justification.
Looks interesting especially for non-designers like me.
I also recommend Skeleton[1] for a simple and clean look. It has some additional features and makes use of classes, but is still quite simple.

[1] http://getskeleton.com/
A 20 years old guy from India is looking for your advice and suggestions
You aren't wrong. But there is a good reason objects remain popular even if they aren't ideal by any means. With objects, you get to rely on your built in metaphor capabilities of natural language, your ability to think ad hoc. Now, that gets you into trouble quickly because the computer isn't human, but it shouldn't be a big mystery why OO remains popular. Haskell makes imprecise ad hoc thinking hard to encode, because well..eat your vegetables, they are good for you!
Show HN: Reactive Extensions for Swift
Hi, I've ported and adapted Microsoft Reactive Extensions for Swift. I've only ported most common operators like map / select, filter / where, combineLatest, switchLatest, throttle, merge, concat, refCount, publish, ... with corresponding unit tests.

If somebody doesn't know what reactive extensions are, I've tried to explain as best as I could in README.md. It also contains small example app.

I am aware that guys are trying to do something similar with reactive cocoa and swift, but their vision is little different. Error behavior is significantly different and release date unclear.

Anway, I thought I would give it a try.

Yesterday I've come to a point of creating something presentable to public, so this is the result.

I would appreciate any feedback on this.
Therefore I'm surprised about the OP. Sure they have a specific employment contract in place with a batallion of lawyers drooling on their preys, so what does the OP risk?
I wonder if the the Mexican Cartel's have a good Lobby here in the United States that is pushing for the re-focus on the criminalization of Marijuana. How ironic would that be.
Because past products compete with present products. This is why the movie and record industries have been aggressively antihistorical: you can't sell the kids your new crap if they know it's crap.
Airline seating: Facing up to the problem
In reality, as someone who grew up talking like that, answering yes to such a question is really awkward and in no way the expected answer.

I think this is cultural lingo though, as you should probably be asking 'do you like cigars', while the negative form of the question shows familiarity, is less formal and leads to a lot of unwritten rules.
Choosing to build Android (mobile in general) apps using a Hybrid framework such as Cordova, Ionic, Xamarin may help you learn the intricate details of the mobile development life cycle. No matter the framework chosen, you will spend a considerable amount of time figuring out setup, time developing, and time resolving issues with the problems you encounter.

With that being said, and as @Envec83 said, why go through so much trouble when you'd spend the same amount of effort going Native? Look at the job market; yes, you'll find some jobs asking for such hybrid frameworks. However, most will want hands on native development with exposure to hybrid frameworks such as those mentioned above.

In my opinion, you being a first year CS student, and with the likeliness that you'll learn Java along the way, it's a great start to go about learning to build Android mobile apps the native way.
> [Table Top] garnishes several hundred thousand views per video.

It should be 'garners'. Garnish means to put something ornamental on.
How is it reasonable for them to have a hostile and defensive position in relation to open source when so much of their software is either built upon or enabled by open source?
Like in call centers, the toxic people aren't the CS reps that answer your queries, but psychologically troubled managers and paper pushers.
I don't get that interpretation, unless you mean "ad-free videos" in which case maybe. I'm not sure if you can upload ad-free videos (edit - I mean, I'm not sure if you can do this currently).

If you can, then I'd expect this means that if you have ads, then they won't be shown to anyone with a subscription.
An image diff is pretty simple. If you represent an image as a vector of values, diffing just means subtracting two vectors abs(A-B) and writing out the result into a new image.

template<typename T>
T diff(const T& a, const T& b)
{
auto sz = std::min(a.size(), b.size());
T img(sz, 1);
for (auto i = 0; i < sz; ++i) {
img[i] = std::fabs(a[i] - b[i]);
}
return img;
}
// usage
vector<float> a, b;
a.emplace_back(1.0); b.emplace_back(0.5);
a.emplace_back(1.0); b.emplace_back(0.0);
a.emplace_back(0.5); b.emplace_back(0.5);

auto img = diff(a, b);
write_exr("filename.exr", img);

The resulting image ends up with 0.0 black in pixels that are identical and non-zero values in the pixels that differ. When you look at it in an image viewer only the portions that differ will be visible.

You often need to crank up the gain when the differences are small.
Ensemble Studios Post Mortem (2009)
>And the other options are...?

Nobody knows. Consider:

1. We don't know everything about physics.
2. We don't even know how much we don't know about physics.

I'd be surprised if alien civs didn't do at least a few things that are hard to imagine on 21st century Earth.

Some would be more or less mainstream, like balloon staging:

http://www.gizmag.com/zero2infinity-balloon-rocket-launch/34...

Others could be much weirder - possibly incomprehensible without a few years of science exchange.

I realise this is idle speculation, but it's impossible not to wonder if aliens would be alien, technologically and in other possible ways.
But they will still track and log everything I do no matter what kind of subscription I have, won't they. And the site won't become any less bloated.

Well, at least it's a step forward.
I have a different take on the police.

I can't go into a whole lot of detail as it is late, I am tired and I have lots of work to do.

But more or less I point out to every cop I come across, that while I do know that there are some bad cops, there are bad people everywhere. It is wrong to hate the police despite that there have been lots of officers who have murdered innocent, defenseless people.

I don't judge individuals by the behaviors of other people. Recall what MLK said about "the content of our character". For me, I don't judge someone by the color of their clothes or whether they have a shiny badge affixed to them.

I then point out that I have quite a profoundly serious illness: Bipolar-Type Schizoaffective Disorder, and that it is much like being Manic-Depressive and Schizophrenic at the same time.

Being crazy gives me lots of real-world experience with law enforcement. Consider that I was once hospitalized involuntarily for ten solid days because I told some shrink that I planned to "go camping in the desert". See, I was completely unaware that in Reno, when one intends to "go camping in the desert", one intends to commit suicide.

It didn't help to point out that I had the Boy Scout Wilderness Survival Merit Badge, nor that I had camped in the desert just the night before.

I was once beaten unconscious by two cops by having my skull slammed repeatedly into concrete. When I regained consciousness three days later, while I could correctly visualize the spelling of my own name when I thought about it, I was incapable of spelling it when I attempted to write it on paper with a pencil.

You'd think that would make me hate all police officers but no, I don't even hate the two cops who assaulted me with a deadly weapon.

However, I do feel that they should be spending some time behind bars.

On the other hand there have been plenty of times that police officers have saved my very life. The ONLY time I ever saw a cop so much as set foot on the Caltech campus was when a Pasadena Police Department officer came to save me from the Caltech campus security guards who beat the living crap out of me then hurled me bodily down a flight of stairs.

Finally I write down the URL for "Living with Schizoaffective Disorder" then point out that "I wrote it in part to help people like you help people like me".

http://www.warplife.com/mdc/books/schizoaffective-disorder/

Finally, I offer to shake their hand. Cops aren't used to members of the public offering to shake their hand. Quite commonly they are visibly moved by my simple gesture.
Photos are probably the most valuable digital files quite everyone has. And as with all things that are precious, there comes (or at least should come) caution.

There is nothing that I fear more than loosing my photos, my visual biography.

That is why I am super conservative when it comes to software that wants to handle my photos.

What are the requirements for software that I allow to manage my photos:

- Very good chance of still being in the market in 5-10 years. This basically rules out all Google (Picasa), Apple (iPhoto, Aperture, Photos) products.

- Possibility to backup my photos on various destinations (not only one commercial cloud)

- A library format that is readable from external applications (SQL, metadata files)

- Good tools to search, compare and sort my library

- At least support two major platforms natively

Unfortunately, the only software that meets most of these requirements is Adobe's Lightroom. And this is very sad:

- It has too many features that I do not need - I am not a professional photographer

- It does not care about native UIs and its usability I still find weak

- It asks for a premium price for professional photographers (both the one-time fee and the creative cloud version)

How about alternatives?

- Aperture was a very good alternative, despite being only available for Mac

- I was disappointed by all open source alternatives; most of which are not easily available for Mac and Windows (Lightzone, Darkroom, Digikam, Shotwell)

- Digikam comes closest, but as it's KDE based, installation and native support on Windows and Mac is still weak

- Capture One Pro 8 works on Mac and Windows but is even more expensive than Lightroom and hence not worth it

- I do not know about any other photo management tool that is stable, multi platform and meets most of the conservative demands
It's great, but very late. I'm unsure about the pricing - $10 is very pricey (I pay ~$20 for internet). I would've /thought/ about it if it was $5, though, to be fair, I'm not a huge Youtube user.
There will always be ways to skip ads. I guess going premium will be the morally right way. Look at spotify: any day you want, you can download the mp3 from a million sites, but people prefer spotify (probably because of comfortability, but still I know a lot of people that are willing to pay back to the authors).
Here's my view, based on 10 odd years in various CS roles.

I think there's confusion about good/bad customer experience and what that means. Great staff doing great interactions is important, but if you focus just on that you're missing out on two important earlier layers.

No-one really wants to talk to customer support. Ever. So trying to be good at talking to people is nice, and you better be good at it when you need to or you will lose some customers (whether that be through lack of acquisition from bad stories or people actually quitting), but it's like the third level of defense, and it is arguably less important than the first two levels.

The first level is "Make sure your stuff just works". Actively work towards eliminating defects. The best product is the one that just works. People hate on Ryanair in Europe - I think it is vastly exaggerated. They get the point that having things just work is huge. They "just work" better than any other airline. They suck completely at the third level, and are only ok at the second level, but they are good at the first level. And sometimes good at first level, and good prices, is all you need.

Second level is - if things for some reason dont work, make it easy for me to fix it myself. Again - I dont want to think about your thing, I just want it to work, but if you're making me think about it by having it break, at least make sure I can do all my thinking and solving in one go - best way to do that is to let me fix it on my own. Sky broadband does a decent job of this. Their routers come with built in self-service menus rather than random error screens. Along the lines of "Something is wrong - lets start by plugging and unplugging the wires. Here's what a micro-filter is and looks like, check if you have one of those in place. Ok, lets power-cycle the router, you do that by just unplugging this wire..." 100% better than having a generic error screen or referring to online help.

Third level is - If you failed at the first two levels, make it easy and nice to talk to you. Important, not least for PR reasons, since people who failed the first two levels and also fail on the third will be really pissed off with you, but arguably less important than the first two layers, if they are done right. The other reason it is hugely important is that your improvement points on level 1 and 2 will come from 3. If your team isnt set up to continuously feed back what they are hearing from 3 and use that to improve 1 and 2, you're not going to get better.

The fourth bonus level is "f you failed the first three, at least have a decent social media setup to manage your awfulness".

A good CS organisation recognises all three levels at least, and spends time on all of them. You continually work on moving things from the third level up to the first, or at least the second, and doing that proactive work is part of what makes a good CS team.
NASA and IBM Join Forces to MakeApps
Isn't that a similar issue [1] to what Zoe Keating went though not long ago?

[1] - http://zoekeating.tumblr.com/post/108898194009/what-should-i...
The monetization formula for subscribers and free viewers will obviously be different. It means the channel owner can't just accept the free viewing model exclusively.
I think they are simply trying to force all partners to accept the new terms.
From my point of view as an outsider, if it wasn't for Rails, Ruby would never had reached mainstream, even though many of its ideas were already available in other stacks.

Also AFAIK many of the Rails use cases drive Ruby's design.

So in a way, DHH was influential to get Ruby adopted.
Well that's pretty much the case with everyone who quits a big company and goes on "his own path" adventure. It's not something specific to Apple, but I guess putting it "I quit Apple" makes you cool?
As a recent convert from Linux/Amarok, I think iTunes is great. I really don't understand why it gets so much hate. It works perfectly fine for me, and looks quite pretty doing it. I don't know any other music player that has anything like "shuffle by groupings", which is a killer feature if you listen to a lot of classical music. Literally the only problem I've had is that it sometimes doesn't find album artwork[1], but it's easy to manually fix that.

What's the big issue?

[1] It's been 100% on non-artwork metadata.
That's the point of property concept: if you own something, you can do unreasonable and even stupid things with it, if so you choose. So, although it saddens me that they choose this course of action, they're completely in their legal right here.
PostgreSQL admin cheatsheet
There have been a bunch of new builds recently: http://www.sublimetext.com/3dev
Ehhh. Maybe. Keep in mind that this bug is probably one of the least serious of the dozens of bugs patched today, as there's very little damage you can really do with it. Hardly anyone runs OSX servers, so you're not going to take down any major web sites with this. You can crash someone's browser, but that's actually already pretty easy to do with some javascript that eats a bunch of resources. Chrome doesn't even consider DoS to be a security issue because there's just nothing they'll ever be able to do about it anyhow.

If the bug in any way threatened data integrity or confidentiality, then yeah, they should backport it. But for a DoS, I can see the case for not really caring.

FWIW, for many of the bugs patched today, Apple did in fact backport to Mavericks and even Mountain Lion, so it seems like they haven't completely abandoned old versions.
People have been saying this for years, with the securistas basically avoiding an answer. Now there's data. Will they still avoid having a conversation?
Portugal decriminalized the possession of all drugs for personal use in 2001, and their situation has actually changed for the better.

http://www.tdpf.org.uk/blog/drug-decriminalisation-portugal-...
Data is not Information.
> It means the channel owner can't just accept the free viewing model exclusively.

I pray that I'm either misunderstanding you, or you are misunderstanding Youtube. Partners must be able to choose whether they want videos to be shown to subscribers only, or for everyone. There can NOT be any forced exclusive deals for subscribers.
Something particularly interesting there is the way the money will be split:

> Individual partners' cuts will be apportioned based on how much time their viewers spend watching their channels

This could provide a nice incentive to have longer videos rather than shorter ones (for quick views). Particularly for full episodes of something.

I wonder if that's the route they're hoping to go down? If they had a good selection of films & tv shows then this could be quite nice (much more so with offline viewing!).
> It's not just that their model is wrong -- and VaR is certainly wrong. It's that NO model is right.

See chaos theory or google "irreducible complexity". There certainly is a model that is right - an obvious model would be just take all actors, their holdings, and their actions, that trivial model certainly is right. There are even people who have this model available to them : the stock exchanges. In theory, no-one else has it available, and we should be sure they're not using or selling this model, right (heh) ?

Black swans are quantifiable. For instance, calculating the current debt loads of governments will tell you that interest rates aren't going back up without killing social security or something like a 300% (cumulative) inflation. Since we won't be killing social security, a sudden crash (at least 40% drop in SPY) followed by a short-term (~1-2 years) tripling of prices is coming. Alternatively, there could be lots of sovereign defaults, resulting in 10-20% treasury interest rates for 5-10 years. There. Quantified.

Black swans happen because we, as in humanity, have this need to believe that things won't change. When they inevitably do change, the first thing we do is to use capital to get us back to the old situation. But that hardly ever works. When it fails, it requires exponential use of "capital" and the capital is gone (so no-one is ever getting their investment back). A recent obvious example I saw of this is Abu Dhabi : the idea that you can have a lush, green, modern city in the middle of the desert. This is wrong, it's artificial. And every millimetre the city grows comes at exponentially increased energy expenditure, exponentially increased stress on all the systems that support this city, and on a regular (as in weekly) basis a sandstorm comes and makes it blatantly obvious what happens if those systems would fail for even single week. But trillions of dollars are being invested to change this, because it was almost reasonable to do this for a small oasis with a freshwater source. As expected, this city is burning an ever-rising share of the oil income of the state just to keep existing. Black swan coming up, right there.
As someone who works at Crutchfield, I really appreciate the props. Customer support during the entire shopping experience is a huge priority for everyone here. Bill Crutchfield's relentless focus on the customer experience is legendary.
> it was perfectly possible to set up online game servers, but the master server was hard-coded in the executable, so anyone wishing to play this game nowadays must "hack" it.

I assume it was an URL so a modified hosts file without touching the game itself would be enough. If it was a fixed IP it could be also handled outside the game.
note that decriminalization != legalization

There's still a black market for selling drugs, but drug users can't face jail time and have a much easier time getting help for addiction
Pypc: The Python3 Package Creator
> (Mac OSX UI) doesn't "just work" anymore

Please, if someone can sell a Linux with the same polish as Mac OSX, and as low-administration time, I would agree to pay about $200 per year for it. I've switched away from Ubuntu after being unable to resolve a problem after upgrade two years ago (which cost me 4 days). I spend 2x more on computers for Macbooks, not because of the hardware but because of Mac OSX.

I don't know how large is the audience for a paid workproof Linux, but I wish someone would build it.
The GOP?

edit: Some people seem pretty tetchy about this...
IT, what is it?
I'm not confident the conversation will be had. At some point it'll just become a matter of course and no one will object.

More states are pushing the same agenda, if the federal government doesn't object, why would there be a conversation?
You can unmount ZFS storage really easily:

zfs unmount ...

Or using umount like you would with any other file system.

Generally though, you wouldn't want to manually unmount file systems unless you're planning to migrate them to a new host. In which case you would export them instead:

zpool export ...