skysight-inc/HackerNews huggingface dataset:
I find that putting the method signature at the end of the method definition can become unreadable pretty fast. Also, the fact that it doesn't offer any performance improvement (most probably, this will actually degrade performance) makes me see this as a cool trick, but not really recommended in production.

I like the aproach Perl 6 took on gradual typing. You can read about it in this article which computes fibonnaci's number:http://blogs.perl.org/users/ovid/2015/02/avoid-a-common-soft...

The only reason I wait for the next winter to come is because Perl6 will be production ready by then as Larry Wall announced at FOSDEM this year.
The game is called 'aqua balls' and is on google play. I haven't updated it in almost 3 years, though ... right after I finished it I started having trouble with my wrists and finger joints, which meant no more coding for fun (I took a team lead job and cut out a lot of typing at work too). My brother wrote and maintains the other app published by 'woggle' (he also did all of the art for aqua balls), so it is still updated regularly. He's actually a D.O. IRL, so this is 100% hobby for him.
I've read enough of your other replies ITT to know you aren't exactly sticking up for the ESA, but rather playing your usual devil's advocate/contrarian role :-) You're not getting boxed in, at least not by me.

Let's say the ESA knows of some solid reasoning which will support its point for most reasonable people. If it does, it is certainly not presenting them in this legal brief. In that case, something is very wrong with our legal system, because then things like facts and coherent logic have a value of about ε, and that's harmful. And if that's the case, then you are right that it is not exactly fair to hold the ESA to what they've put down here, as though it's a position paper. But if that's what's happening, then to make that excuse for them (especially when they have not, as far as I know, written down the 'real argument' anywhere else) feels an awful lot like supporting a broken legal system, which I don't want to do.

I did think of your point as I was typing up my earlier response, however I decided I don't care. A legal brief and a position paper are not the same thing, but they should be correlated. And by 'correlated' I don't just mean that they share the same conclusion - they should be based on roughly the same reasoning. I know that you're sort of just supposed to use whatever tactics you can to win, and I recognize there is some value to having a system where the goal is to win rather than arrive at the truth. But if that system encourages twisting the facts to the point that you're basically just lying, then it goes too far. And I'm not going to encourage that by making the excuse "oh well they're lawyers so what did you expect". I demand better.

For what it's worth, while I do think our legal system has a great many problems, I don't think it is quite so bad as to support this hypothesis. I think the ESA has presented a poor argument because their position is poorly supported. I think they have twisted the facts and omitted other ones because they know this. I believe they are using these deceitful and deceptive tactics not because they are trying to support a reasonable cause within an unreasonable system, but because they trying to support an unreasonable cause within a framework that is, for all its faults, still sometimes capable for recognizing such bullshit for what it is.
To be fair, there were things like usermode linux (UML) that were (roughly) contemporary to jail, circa late 2001 / early 2002.
From this reddit thread[0]:

"We believe someone compromised our sendgrid account. We were not actively using this account, but it was configured as a backup. It has since been disabled, and we are working with sendgrid to track down the source of this attack."

[0] https://www.reddit.com/r/Bitcoin/comments/31wjt7/coinbase_sc...
As I said I'm basically in favor of the EFF's proposal. My beef is with their mischaracterization of the ESA's position; they're making them into a boogeyman instead of acknowledging that they have some legitimate interests here and looking for a way to bridge the gap.

Even then, I don't want to blame the EFF too much, but to critique the peculiarly zero-sum American appraoch to resolving conflicts of interest, as discussed in this excellent book: http://www.amazon.com/Adversarial-Legalism-The-American-Way/...
Was this like Gnome3 removing the option to turn off screen blanking?
Facebook is/was primarily a web app. That web app has a messenger in it. Why does Facebook need a standalone web app?

WhatsApp's web app is fantastic and I use it heavily, but that's because WhatsApp didn't have a desktop client or any non-phone/tablet alternative.

This is just totally unnecessary.
They can't. As the comment before yours pointed out: after about three weeks, those six overworked people are so inefficient that they are getting less done than six people would working regular hours.

Long crunch times (more than two or three weeks) are strong evidence of deliberately abusive management, who are willing to lower productivity below what it would be with a 40-hour work week for the sake of their egos.
"we removed the GUI stack, 32 bit support (WOW64), MSI and a number of default Server Core components. There is no local logon or Remote Desktop support. All management is performed remotely via WMI and PowerShell."

Is this unprecedented ? I think it is, but I've been divorced from the windows ecosystem for a very, very long time ...

Is this, in fact, the first time that there has been a Windows release that had ... no windows ? Had no GUI ? Was administered with a CLI only ?
That sounds like some kind of intellectual property right that needs to happen.
I'm still ramping up on git-annex, but basically (once set up):

git annex add large_file
git commit

And with mixed (haven't experimented with that yet), I'm pretty sure you could:
git annex add large_file
git add small_file
git commit
I think the site is trying to address a different need from the one you described. If you want a cheap ARM board with closed source debugging, PDF schematics, without the freedom to resell, you should get a corporate board (like the STM32F4 Discovery). You can learn and tinker in a very cost effective manner.

If you want an open source, free to resell, free to remix or change (with access to the CAD designs files), multiplatform, easy to hand solder, cheap to replicate in large quantities board, then an Armstrap Eagle is a better choice.

It looks like the Armstrap Eagle is a bit more expensive than those corporate boards but you'll probably be in a better position to ship your kickstarter ontime if you started with an open board from day one.
Really cool idea! I like that you can specify a `#respond_to?` constraint instead of a class. Not sure if OP is the author, but here's some feedback:

* It would be better if this didn't pollute the global namespace by defining `#typesig` in `Module` [0] -- perhaps consider refactoring that method into a module which the user may extend. Doing so would also get you out of needing to define `Module#prepend` for older versions of Ruby.

* Perhaps allow the user to enable/disable type checking at a global/class level. For example, then users could only enable type checking during specs if they wanted.

* Instead of using class-level variables, try using class level instance variables. They have less odd behavior when dealing with subclasses [1].

[0] https://github.com/gogotanaka/Rubype/blob/develop/lib/rubype...

[1] http://www.sitepoint.com/class-variables-a-ruby-gotcha/

Edit: Whitespace
(Slightly off topic) One thing I haven't figured out yet (I haven't dedicated more than a couple of hours though) is how to backup all of the pictures from my photo library. I have a NAS, and I'd like to copy all of the photos (not the library) to a particular share. Do you know if Photo will help with that?
In consulting, your only resources are human.
Agreed. 10 hours a week of meetings seems nuts.

I've been trying to get my boss to reduce the 2-3 hours a week of meetings I have to attend.
The fud from Microsoft is interesting. They imply that by using open source, you can't get support for when you're company is losing money. Additionally, they imply that by using Microsoft, they will actually do something useful in this contrived situation losing thousands per day.

Here's a hint, whichever solution is more complex is going to bite much harder from a downtime perspective, regardless of the underlying technology. I would much rather depend on a few line script that uses sendmail rather than a 5,000 mail client half implemented in a batch script.
Honestly that's the most exciting part of neovim, but with the current milestone (https://github.com/neovim/neovim/milestones/libnvim), libnvim might be a few seasons away
For almost 100% of users, the "modern web" is an anti-feature doing way more harm than good. It's a giant pile of tracking scripts and animated "punch-the-monkey" graphics wasting users' power and bandwidth while stealing their personal data and providing nothing of value. Web browsers are creaking piles of bloat trying (badly) to support this disaster while pretending to be shinier than their competitors, or than last month's version of themselves.

Browser extensions offer a whole new host of evils, along with a marginally effective way to fight back against the rising tsunami of web horrors. The web is mostly about harming users, so I can hardly blame them for grasping at whatever chance they have to defend themselves.
"You forgot the part where Solaris did containers first in 2005."

FreeBSD jail in 2000.
>An advantage is that architectures are converging anyway to PC-like instead of exotic stuff like Cell.

It didn't help with the Xbox.
I think this would apply to a few common ircds running on affected versions of OS X too.
It's a bigger problem for Chrome. Imagine if you ran an ad on a major ad network that loaded a banner from your server that sent a byte as TCP urgent. It would lock up any Mac who visited a significant fraction of the Internet.

(Incidentally, a bug like this was what got me to switch from Netscape to Internet Explorer back in 2000. Doubleclick ran an ad that included some Javascript which locked up Netscape and hung the browser entirely, blocking roughly 40% of the Internet for me. At that point I was like "This is ridiculous, fix your damn software Netscape" and switched.)
https://news.ycombinator.com/item?id=9338088
What significant application of Stellar do they have?
Dog breeds are a weird artifact. I don't view it as a bad thing that so many of these human-created breeds are going "extinct". Actually, they go pseudoextinct. The animals do fine, they interbreed with the general canine population and their descendants are mutts. If you've ever met a dog, they're quite OK with that. They have no concept of "breed" as far as we can tell and, if they do, they probably find mixed-breed animals more attractive (not that dogs are selective in that regard). We should be OK with it, too. Mutts live 2-3 years longer and are, unless you're after a specific aesthetic or breed profile, generally better dogs.

I wouldn't mind, honestly, if the practice of breeding animals for profit went extinct. We have too many good animals who are killed in shelters for no good reason. (We should stop that too, preferring TNR, but one issue at a time.) That's far more heartbreaking than the possibility that some weird-looking creature that wouldn't exist in nature and requires almost cruel human interventions (see: English Bulldogs, who now require C-sections) will not have descendants, or will have descendants of a more hybrid nature (pseudoextinction).

I think that dog breed is such a thing because of confirmation bias. So many people say, "oh, I got a French Bulldog and she's the sweetest thing ever" or "my Golden is smarter than I am" and I'm sure that they do have great dogs... but I have awesome cats and they're just regular mutt cats. As long as the animal is properly socialized, mixed-breed is best if you're just looking for a good pet.
WOW :) Haha, that's way too funny, I made my first website with Frontpage around year 2000.
"Yes, everyone refers to jails, but I think most people would agree that jails weren't really containers. They didn't provide true isolation for a set of applications. I guess you could argue they were the original prototype for them though."

The first VPS provider (JohnCompanies, 2001) was based entirely on jail and it absolutely provided (even then) true isolation for a set of applications.

Every customer had their own unix root and their own rc.conf configured their own system and everyone ran their own sendmail/named/httpd/etc.

It is absolutely correct to refer to jails in this way, and that is why you see everyone doing it.
Go was an evolution of a language developed years earlier, but with a new name because it was different enough or because the inventor got a new employer/copyright-holder
> When most practitioners think of "typechecking", they typically think about proving properties about programs statically. This project seems equivalent to adding a runtime check at each call site to ensure the arguments and return values are the correct type.

It basically seems equivalent (albeit somewhat nicer in a few ways, ie. scalar types are supported) to PHP's "type hinting"[0]. I will say that it is useful, in combination with unit testing, as you can pick up on problems with things slightly easier than hoping for the best in production and tailing error logs, but proper static type analysis is more useful.

[0] http://php.net/manual/en/language.oop5.typehinting.php
I wonder if this is related to a wacky clipboard bug I hit today while VMWare Fusion was open. Basically I copied & pasted a file within a VM, then copied some text from Chrome on OSX and Chrome froze instantly.
yeah, ive been doing 880 from hayward into Cupertino for 5 years now, and its been getting worse, which i guess is a good thing because people have jobs? or bad because there are too many people here.....
We have a multiparadigmatic-conflicting set of models to try to explain (parts of) the observable Universe.

If a theory can't explain nor predict origin of Black Holes, Dark Matter and say what Gravity actually is and why happens, then that doesn't qualify as Kickass in my book.

Show me teleportation and controllable antigravity and we can talk kickass again.
You're saying "how do we know that that quora will sufficiently overlap?". David seems to be saying "how do we know they won't?". At this point, I think just about everyone can agree that the security depends on a set of empirical assumptions that we currently simply do not know how they will play out into the real world. So my plan at least is to simply sit back and see how it actually ends up evolving in real life; if it fails, the Stellar Foundation was centralized enough to temporarily take back the reins for itself the last time, so I don't see why it can't do it again.

That said, my _prediction_ is that it will work fine mostly, occasionally there will be concerns about people splitting off into islands, and a resulting second-order consequence is that people will start putting the Stellar equivalent of blockchain.info onto their trust list in order to ensure connectivity to the "main graph" (I had actually cited The Tyranny of Structurelessness in my own responses already :) ), and this will just have to be the social-network-consensus version of the GHash.io scare and we'll be fighting against people's private interests to be lazy to reduce the risk of that happening.
What was the name of the game?
Also, I don't believe that Monal is open source. You might also want to add https://chatsecure.org/.
its not only for engineers.
The deploy to DO ain't working.
I guessed that rlwrap used an LD_PRELOAD trick but a cursory glance at the source shows that it's much more complex. Can anyone explain? This might be worthy of its own HN post.
It's ironic that the people who attack the Apple watch under the pragmatic guise that a regular watch performs better, are forgetting the fact that a regular watch is completely superfluous.

In this day and age, with a phone on you, and everyone else, you can always get the time. A watch is a relic of the past. It's Tradition. It's ornamental. It's redundant.

With tens of thousands of brilliant people working day and night to build amazing third party apps, the smart watches can actually do things. A regular watch can't do shit. It's not a tool, it's not a workhorse. People that are satisfied with their traditional watches are kidding themselves, as much if not more than the people who will happily buy an Apple watch and tout it's features.
This feels a lot like vendor-lock-in to me. It "just works" as long as everything you own runs OS X or iOS.
>There is no one culture

It seems he worked at the Sydney office. There's a comment on his story as news.com.au

"Apple HQ in Australia was no different - a big frat-house where the "in" crowd got ahead and anyone else who challenged a process was seen as a difficult employee and managed out of the business."

Must be kind of hard to deal with that at a distance - It's not like Tim Cook would know who's who and doing the bad stuff. Maybe some sort of feedback tech would help.
Another way to describe cost centers is that their benefit is very hard to measure but their cost easy to measure

By that metric, marketing and advertising must be cost centers! But they somehow always manage to take credit for revenue.

Honestly I think that "cost centers" are a combination of politics and managerial laziness. If you only place value on the "easily measurable" benefits, then the beneficial but more difficult-to-measure functions will be devalued and cut back.

And maybe a department only gets labeled a "cost center" in the first place if the manager running it is not influential or politically savvy enough to take credit for a piece of the revenue.

If you can form a reasonable argument that your work either earns or saves your company more money than they're paying you, you are not a cost center, and you would be foolish to accept that label.
This is kind of pedantic. What programmers think of and find useful as types and type systems is quite different from what type theorists think.
Nice! Since we work with so many different companies (clients) to develop solutions that work for them, it would be great to be able to keep them comfortable with their existing chat tools instead of asking them to move over to our systems. Great for keeping people happy and having to take time training people on systems that they might only use once.
Preventing this sort of thing is the FDA's job: testing food, drugs and supplements for undisclosed adulterants, and bringing enforcement action against companies that produce adulterated products. I want to be able to trust that supplements will contain exactly what the package says they contain. Unfortunately, they aren't doing this job very well.

In the past, proposals to get the FDA to do more have gotten mixed up with proposals to have them regulate claims about efficacy and possibly ban substances, which are things people don't want them to do.
I support this. People overestimate the importance of certain biases (racial, gender), but underestimate incentive biases or social-proof biases.
LCD? Samsung used OLED for its top Galaxy devices since the day one. That was and is the main differentiator.
David,

It just so happens that I use your company's product. Given your comment, should I expect that you'll renege on your commitments to your customers when it becomes inconvenient for you?
Being a Night Owl May Be Bad for Your Health
Ha, yes I used that too to manage my 100+ daily emails at my old job ;) Fortunately in my new one I receive maybe one email daily, as everything is screened by the technical lead and I can just follow tasks on Github/Jira...bliss :D
> Let's say one day China had enough of Bitcoin, and used their essentially limitless resources to gain enough hashing power at will, to block transactions or rewrite them or what have you. Entirely plausible with Bitcoin

That's the Maginot Line attack, at Tim Swanson calls it. The more realistic attack is that China just hacks into five data centers and serves a warrant to another ten. An interesting property of the PoW incentive structure is that there is actually fairly little incentive to protect oneself against hacks, so I would not be surprised if it was fairly easy.

> By hacking enough organizations to take control of their nodes?

The key point in Stellar consensus is that even if enough nodes are hacked, then users can just stop trusting them and switch to other nodes, and so the network would "route around" the damage. With Bitcoin PoW, there's no way to exclude an attacker from participating; you have to accept their work just as much as everyone else's.
I would definitely find what curryhoward described as useful, but I don't think Ruby is that language in which it should) be implemented.

That being said, sum types would be a nice addition to this library.
I had a French Bulldog, and she was indeed the sweetest thing ever. (Still is, in fact, but she lives in California due to a set of complicated circumstances.)

I have never known another dog who was in such need of being in constant physical contact with me. Admittedly, part of it probably had to do with her being a rescue, but still: Frenchies are extraordinarily affectionate.

That said, I would never buy one from a breeder. The fact that bulldogs are so inbred that they require artificial insemination and c-sections to reproduce says that it's time those breeds go extinct. If I had the opportunity (and the proper time) to get another rescue Frenchie, though, I'd do it again in a heartbeat

For your viewing pleasure, my little girl, Moxie:

https://www.flickr.com/photos/aaronbrethorst/8104303829/in/s...

https://www.flickr.com/photos/aaronbrethorst/8292373427/in/s...

https://www.flickr.com/photos/aaronbrethorst/8403846731/in/s...

https://www.flickr.com/photos/aaronbrethorst/8590965099/in/s...

https://www.flickr.com/photos/aaronbrethorst/8609317262/in/s...

https://www.flickr.com/photos/aaronbrethorst/8658684108/in/s...

https://www.flickr.com/photos/aaronbrethorst/8776664388/in/s...

https://www.flickr.com/photos/aaronbrethorst/8773349885/in/s...

https://www.flickr.com/photos/aaronbrethorst/10078258256/in/...
I studied Chinese in college for a few years. Everything you wrote is correct.
I worked at Apple on OS X server in various capacities for a few years, and really loved the experience. As an open-source user and advocate, I was really sad there because they have a very hostile and defensive position about open source (which is a very reasonable stance, in my perspective).

The fact that there aren't any prolific bloggers, open source contributors or HN commentators is an artifact that the company does not encourage anyone to do that -- in fact, they actively discourage anyone that isn't involved in open source work on Webkit or Obj-C or Swift from talking about their work. For better or worse, they still have a culture of secrecy around their products.

For what it's worth, I really enjoyed my time there and wouldn't trade it for anything else; I worked with a lot of fabulous teams, learned a lot, and got to build some really amazing stuff.
> but you can just buy them on their own, just like you can buy plain TSP washing powder.

Are you referring to this? http://en.wikipedia.org/wiki/Trisodium_phosphate#Exercise_pe...
The MBA is portable enough, and it's plenty fast. A little thinner and smaller bezels would have been nice, but the killer downgrade is the screen. Still a TN panel. Why not atleast a upgrade to IPS?

It seems Apple just went out of it's way to create product line differentiation and the easiest way to get a person to stretch budget was to handicap the screen.