skysight-inc/HackerNews huggingface dataset:
I wonder if there isn't a way to deal with this problem through something like the South African divestment movement of the 80's. If institutions like universities, pensions, and corporations were under pressure from their constituents to not do business from Goldman Sachs, Goldman Sachs would start feeling the pressure to not capture regulators.

It is not clear that banking advice from GS is that great. Often times their customers are effectively the victim. If there was popular pressure to not deal with them they might clean up their act.
...or Orbital Sciences has a return pod in the works. I would think they would be working on something, especially since SpaceX is already there.
Thanks for your comments!
We're actively working on performance improvements needed on both the client side and server side, but right now it would be very sluggish at that scale. We do have immediate plans to expose an API, probably sometime early 2015.
A Tiny Emissary from the Ancient Past
I'm confused, either you are claiming France and China don't conduct commercial espionage or that the US doesn't, in either case I disagree. All three conduct commercial espionage for the "right" corporate clients.
Peter Thiel's Zero to One Might Be the Best Business Book I've Read
Not only would that be illegal, it would be nearly impossible, since you'd have to patch bash at the binary level.

IIR, compiled software on Linux is non-deterministic, so you'd stand an amazingly high chance of damaging the targeted system as opposed to fixing it.

So, if you could pull that one off, you'd not only be a god, but you'd be a god that would probably spend the rest of your life defending yourself in court, where ethics and justice are not really the point.

Just let the process handle it. It's way simpler and far less likely to blow up.
I was responding to my parent poster's argument, not yours.

If this particular case is about national sovereignty of indigenous tribes, why is the ACLU mounting a first amendment religious protection defense?
Reminds me of the RelateIQ look and feel.
Question answering is hard!

A couple of years ago I wrote a question answering system too; it's just sitting on my drive. I haven't decided what to do with it. Maybe open source it?

You can see a demo here http://youtu.be/PIxAsVDBfzs

Is there any interest in open sourcing it?
I don't believe the historical reality of Jesus would give or remove credibility from the Bible. Discovering that the city of Troy really existed doesn't prove that the Iliad and Odyssey happened, either, or that the Greek Gods were real. Jesus could very well have existed, while not being the Son of God.

The most crucial claim that the Bible makes is the one that all religions make - which is that the supernatural exists, and takes precedence over the natural world. It's all well and good to approach it from a historical and cultural perspective, but the leap between Jesus being real and Jesus being Christ is pretty much infinite.
Show HN: Cross Site Gravity Form Shortcode
Amazon has GPU powered instances [1]

Python has pycuda [2]

Python has OpenCL [3] amusing ran by the same person as pycuda

[1] http://docs.aws.amazon.com/AWSEC2/latest/UserGuide/using_clu...

[2] http://documen.tician.de/pycuda/

[3] http://documen.tician.de/pyopencl/
Reach out if you need any help on the Zapier front :)
That is a lot of confidence :p
The Simple Lorem Ipsum Generator
Hopefully more like FAA role
How UPS 3D Printing Compares to a Dedicated Service Bureau
Thanks for your feedback. I have no quantitative evidence to back up this statement so I will amend it. There are many reasons most developers (certainly in the Bay Area) prefer OSX to Windows or desktop Linux.

How would you feel about: "Macs combine the user-friendliness of Windows with the Unix environment necessary to run most tools and frameworks."
Standard ML Family GitHub Project
I think biicode is trying to do (better) what autotools, cmake, and SCons do. So comparing to them might be useful.
And if it is not trying to do replace those tools, explaining that might be helpful.
Websocket would be the solution to doing that, especially cross platform. Meteor is built on top of websockets, just saying...
AirVR – iPad and iPhone Enabled Virtual Reality
Oracle Linux is coming to Ubuntu's OpenStack cloud
If the article is correct (saying that the memory bandwidth is very important) then a 780Ti is still interesting (336GB/s[1] vs 224GB/s[2]). They increased the memory clock but they decreased the memory interface width from 384 to 256-bit, for some reason.

[1] http://www.geforce.com/hardware/desktop-gpus/geforce-gtx-780...

[2] http://www.geforce.com/hardware/desktop-gpus/geforce-gtx-980...
Why does it require Google auth?
I once had a 2U rack server. Proper double Pentium III's inside, ECC RAM, serial console, alarms on the case, everything. Doubled as a coffee table in my living room. Alas, I was young.

Nowadays I have an Array R2 pc case with six HDDs, one SSD for the OS, a mini-itx board and an Intel CPU with virtualization support (I really don't remember the model) and a few gigs of RAM. All (except the HDDs) were bought new at about the same cost. The SSD is a 32GB chinese model from eBay. The machine is powerful, quiet when the HDDs are spinned down, relatively small and elegant and acts as NAS, Server, testbed, etc. Also at idle it consumes about 20W.
Other than Vim or Emacs (which I do mention in my post), which tools do you use? And which tools would you recommend for beginners?
I would think that bigger companies would use dedicated IT staff over a start-up for something crucial like SSL cert checking.
Whats the finish and weight of the poster?
We require that you oauth in via a Google account purely for authentication right now. We don't request permissions for your email, calendar, contacts, or other data--only your name, email, and profile picture (which is used in the UI). We're working on support for email/password based signup, as well as oauth support for other services.
For those looking to do it on the jvm, I have a prepacked scientific computing framework that might be interesting:

http://nd4j.org/

This is a generic wrapper with ndarrays for cuda and normal blas operations. Deeplearning4j (my deeplearning project) also has support for GPUs (it's built on nd4j)

Stable version coming soon =D

For those of you in python land, I would look in to theano
Yeah... my assumption when an executive says they are leaving to "spend more time with my family" is still that they were asked to leave and are trying to be graceful about it.

(I mean, I know nothing about bond markets. It could very well be sincere in this case. I'm just saying, my immediate impression, when a top person says they are leaving to spend more time with their family, is to extend my sympathy at, you know, getting canned)

Maybe it is just my experience at Yahoo in the mid aughts. It seemed like every three months, a top exec was "leaving to spend more time with my family"

I mean, being graceful about getting pushed out is a good thing for all involved, and it seems like the leaving letters are getting more convincing lately, which is fine, but... yeah, I'm still not buying it.
Idea is great, but pricing seems a bit expensive.

Have >25 certs? Add this check to Nagios: http://exchange.nagios.org/directory/Plugins/Network-Protoco...

Saved you $200/month :)
It was one of the more interesting meetups I've ever been to. There is a lot of interesting stuff going on with Julia right now.

For example, the pretty picture in the header of the Juno page is also a Julia project. Yuri Vishnevsky gave a lightning talk about his graphics demo at the same meetup last night. See [1] and [2] for more about that.

[1] https://www.youtube.com/watch?v=aML8nQlaJ6E&noredirect=1

[2] https://github.com/yurivish/Julia-Playground
Ah yes, it is. I'm jashkenas at gmail. Thanks!
> I don't believe the historical reality of Jesus would give or remove credibility from the Bible.

It would for Biblical literalists and many fundamentalists. For those people, there's no metaphorical dimension to their beliefs -- the Garden of Eden is a real place, Noah's Ark is hidden somewhere on the slopes of Mt. Ararat, the Shroud of Turin is a legitimate historical artifact, and the Ark of the Covenant ... shall I go on?

> The most crucial claim that the Bible makes is the one that all religions make - which is that the supernatural exists, and takes precedence over the natural world.

Yes, that's true, but there's a world of difference between accepting the existence of a supernatural dimension, and requiring that it leave artifacts in the physical world.

> ... the leap between Jesus being real and Jesus being Christ is pretty much infinite.

Not for True Believers, many of whom have zero capacity for abstraction.
Url changed from http://imarketreports.com/judges-bring-new-rigor-to-evaluati..., which copies this one, presumably because of the WSJ paywall.
There are actually many poor claims you made in your posts about "good tests".

> I'm aware that addition is a toy example, but suppose we want to test our implementation:
> Except for very simple verification, to exclude obviously broken implementations, I'd rule out testing specific values such as 3+4=7. And, like you said, performing an exhaustive exploration of all values is out of the question.
> So I'd try property testing instead. Relevant properties in this case are associativity, commutativity, etc.
> As an example, I'd try writing properties such as:
> for all X, Y: add(X, Y) = add(Y, X)

These properties can also be satisfied by implementations of add() that:
- return a constant value
- return the smallest number of (x, y)
- return the largest number of (x, y)

The cases you threw out as an "obviously broken implementation" are required to actually validate that functionality of the method. The functionality of the method is also one of the properties of the method.

You can write it in a more generic way than simply: assert(7, add(3, 4)). However, those tests are _also_ required. Without them, you never actually test that the `add()` function does what it's supposed to: add two numbers together.

Regardless of type system, you also have to worry about underflows and overflows - another property of the functionality of the method.

> You are right, without additional information property testing would be less useful. Which is yet another reason to favor static typing in my opinion.

Static typing doesn't help you constrain sets of inputs; it may not be valid that your method accepts all ranges of integers. You could have a method `addbase2(int x, int y)` that is to be used only when x and y are powers of two because of an optimization you perform in that method. Static typing doesn't help you generate the correct input set for x and y.

The only thing that static typing provides, in regards to test cases, is this:

def add(x, y)
assert x is int
assert y in int

return x + y

// test cases
assertIsThrown(add("foo", "bar"))

That was the test case you had.

Regardless, the point of the article was not about static typing being bad. There is value it. However, there is also value in not being so rigid in your type system that things don't work well.

add((short)0, (long)1) // compiler error if you have an extremely rigid type system

Generic systems typically swing the pendulum far to the right requiring an extremely rigid type system. That always causes pain. The question you have to ask, is the ROI worth it. For some, it is. For others, it's not.
If you're interested in talking about the challenges of creating a performant spreadsheet, I've built a javascript-based spreadsheet backed by a database that's more performant than Google Docs/any open source table available on the internet. I'd be happy to share the techniques.

Edit: reach me at shri (at) freshvc (dot) com
Love the idea - thought of it 7+ years ago! Hope you guys succeed.
That link is down for me, but I think this is the same content?

http://yogthos.github.io/ClojureDistilled.html
It's definitely one of the better crafted "spend more time with the family" announcements.

Barring other evidence, there's no particular reason to believe this is different than any other executive who is being encouraged to resign from their organization.
This article is behind a paywall, that's 7 points against it...
Yes, this was what I was referencing. Thanks for clarifying. I didn't mean to imply it was a good thing to do.
He added the corpus to the repo so you can try it: http://www.reddit.com/r/programming/comments/2hisfk/breaking...
finish: semi gloss
weight: ~170g

I'm sure other types can be created for different prices.
Well-polished product.. can you u talk a little bit about the design and the front end. what did you use for the UI design and front end. it is clean..
Well it's pretty unusual to write a Java program that accidentally parses, compiles and runs a given string as Java code instead of just treating it as data.

Shells are designed primarily as human interfaces. They try quite hard to execute data they receive, because when used interactively that is what you want. Passing around data that you don't want to be executed involves a lot of careful escaping because everything is done in-band. That's why the history of shell scripting contains countless examples of people accidentally executing file names, abuse of control characters and things like that.
> So, why doesn't someone exploit bash to update bash.

Because each Bash version has different machine-language instructions. There's no realistic way to fix Bash other than by editing the plain-text source and generating binaries for each target processor type.

> ... and all it would take is one to work and then bash would be updated.

Maybe a refresher is indicated, as to the nature of modern computer binaries and how they're created.
If it was a fashion accessory first Apple wouldn't use a nonstandard strap.
Apple rebuts complaints of bending iPhones
With your hypothetical there, I think you have just described fairly accurately how I think most financial institutions work
When using rawgit, please follow the owners request about using cdn.rawgit.com for anything that might result in heavy traffic. I guess links submitted to HN often results in heavy traffic.

https://rawgit.com/faq#diff-between-rawgit-and-cdn
I condemn this!

Opprobrium on you Mr. El-Erian.

You were one of the truly talented people in this world, and your efforts helped bolster this shared undertaking called civilization.

And now, in an act of selfish indulgence, you've decided to turn your back on your rare talents, and instead provide very simple child rearing ("I now alternate with my wife in waking up our daughter every morning, preparing her breakfast and driving her to school.") to a single one of the 73.98 million children in the US (http://www.wolframalpha.com/input/?i=united+states+populatio...)

This is not my values, and we should not venerate this man for his selfish choices.
Fighting to Honor a Father’s Last Wish: To Die at Home
We had a 50gb instance initially and it was no problem, then our app started to get a lot more traffic in a short period of time. We had to start sharding on a reasonably large scale. Mongo is a lot harder to maintain when it's big and unpredictable. I know this sounds like a plug, alas it's the truth, we found Object Rocket and now we don't worry about Mongo.
AWS Reboot FAQs available here: http://www.rightscale.com/blog/rightscale-news/aws-reboot-fa...
I'm not talking about writing software, so much as I am talking about distributing software. Yes, you can use apt-get to install whatever libraries you need, but you can't guarantee that users are going to have access to the same version as you through their distro's repo, so you have to either statically link the version of each library you wrote the code with, or wait for your software to be picked up by a maintainer for all the common distros out there.
Can I ask how you've created 416 certificates for a mid size company? Holy shit, lol.

Unless those include SMIME certs, but still...
Besides git or mercurial, there is no single set of tools which can be universally usable across the developers' profiles range. There is a huge diversity of needs, cultures and methodologies out there.
> if they made 100 million in a year that they'd quit too

That is certainly one option that affords one more time at home. On the other hand, quitting or even changing your schedule is probably impossible for a good share of the American labor force. There is however a sector of the work force that's in the middle of these two extremes, and is one which many HNers fall into. Many of us can -- and many do -- simply take a less demanding job or cut back one's responsibilities at the current job. Many times this can be done without any loss of pay and hence impediment to an otherwise comfortable lifestyle. However, this greatly reduces one's chances of climbing the corporate ladder, or making a huge exit on a startup, or whatever your motivation to work long hours may be. So I agree, it's a good article, because while money affords some near-total freedom and hamstrings others, it is not the primary factor for a lot of people who may not otherwise stop to seriously think of taking a step back.
There are various implementations of the same idea out there and they've been there for long.

In any case, very nice execution on the front end. Good job.
I appreciate the sentiment of the article, but I hate that our culture plays up this idea that being a good parent means being there for all the arbitrary "milestones." I honestly don't remember if my dad was there or not on my first day of school, etc. I sure as hell remember that he called me when I got home from school every day to make sure I was okay and not getting into trouble.

You're not going to be able to convince corporate America that a kid's dance recital is more important than a client meeting. All you'll do by stressing that dance recital is make busy parents feel bad for not being able to live up to some ideal, or discourage ambitious people from having kids because they think they can't be good parents too. You'll get a lot further trying to push back on ideas like "face time" or competing on who can take the least vacation. Don't have much work? Go home at 2 and take your kid to a museum. That's just as valuable as your being there for an arbitrary "milestone."
Maybe if she walked or cycled to the stores as regularly as she shops online then she might not need those plus sizes.
What is religion if not one means to address the suffering we encounter in life? (finding meaning and purpose, existing in a community of shared beliefs and goals, encountering illness and death, etc.)

What is consumerism if not another means to the same thing? (if I obtain these material things - a house, a car, a family - I will be happy, I will not suffer)
Not sure about your first point. ARM does license out its architecture/ISA (i.e. for you to implement your own processor with an ARM instruction set) in addition to complete cores (Cortex-A57, etc...).

This is how Apple and nVidia can design their own ARM-compatible chips (Apple A8/NVidia Tegra K1 "Denver") without relying on Cortex cores.
Founder Assumptions
> Maybe a refresher is indicated, as to the nature of modern computer binaries and how they're created.

I was assuming executing commands like "apt-get update bash", "yum update bash" etc to cover the majority of distros
First off, we're huge fans of both Meteor and Asana. I spoke with Geoff @ Meteor a couple years ago when we were first starting to build out the Airtable product and was very impressed by their approach and vision.

We've closely followed the developer blogs of both those projects (and in Meteor's case, their source code). With those learnings, we built our own realtime database engine that supports relational data (which Meteor doesn't yet support) and also some other major features like the ability to undo any user action out of order (like git revert), which is necessary to support undo in a multi-user context (because the last thing that you did may not be the last change globally if other people are concurrently making changes). Undo is a particularly challenging feature to implement in a structured relational database context, because it can't be reduced to a set of simplistic character insertion operations as is the case for a google word doc, or a spreadsheet (which is a simple 2d array of values without type constraints, foreign key relations, etc).
Office apps on the Mac are automated using Scripting Bridge [1]. Applescript is one way to drive a scriptable app, but Python and other languages can also use the bridge. I built a substantial Word addin on the Mac in C# on Mono, using the Scripting Bridge.

[1] https://developer.apple.com/library/mac/documentation/Cocoa/...
I would recommend OS X for PHP.

Things just work better on a mac for development. This is true for Rails and PHP development. Things just never seem to work as easily on windows.

I would also recommend checking out Laravel and using Laravel Homestead (Vagrant) for development also check Laravel Forge for deployment.

https://laracasts.com/lessons/introducing-laravel-homestead

Laracasts is a great place to learn the Laravel Framework. Jeremy uses a mac so using OS X makes the tutorials easier.
Why the New Heroku Button Gallery Rocks
Too bad the makers of enemies seem to think they're the only ones who can be trusted with power.
Is there any reason why there isn't any AMD GPU? Mantle?
For what it's worth, you do get that anywhere now. http://newrelic.com/application-monitoring/pricing
Author of spec-me-maybe here. My $0.02 cents on the "maybe" syntax would be please don't actually use it.
But that line was intended to test whether your installed version of Bash is vulnerable to this attack. You don’t do that by solely calling /bin/sh.

Of course, you can also check /bin/sh explicitly if you are worried about extra copies of Bash hiding there.
Or conversely, he knows the bond markets are going to take a beating when interest rates rise and wants to get out while his reputation is intact.
Given that Microsoft and Amazon have both had their SSL certs for their cloud businesses expire, a little extra reminding probably can't hurt.

That said, I wouldn't pay for a service like this from a random person, I'd have my registrar do it (MarkMonitor or similar -- that's why they're paid the big bucks).
There is a whole range of essential tools not available for OS X. For example, none of Xilinx or Altera tools runs on OS X.
I'm amused that the article fails to note that as of 2012 Windows was available in 109 languages[1]...

[1] http://blogs.technet.com/b/terminology/archive/2012/02/21/14...
What if the kid cares?
I'll be honest, I'm not even in a demanding job and but my wife and I are both full time employed and I have been struggling with this (our little ones are not even school age yet). Personally handing my child over to another for raising is and has been difficult, I'm not sure whether it's something I'll continue to do, or if it's something I'll regret when I'm older. Time will tell.
Student rocketry group crowdfunding a space shot
A Stolen Video of My Daughter Went Viral
No, that's how you estimate something completely different - the age of the hydrogen atoms that make up the water.

I believe that the GP's point is something like this: It says "the water is older than the sun", but what it really means is "the hydrogen atoms in the water are older than the sun".
A Lesson from Alan Turing: How Creativity Drives Machines (by Walter Issacson)
It's an interesting article and I can certainly get behind the sentiment of making software more accessible to non-english speakers. That said, if another language already has a word with the desired meaning, why not use it instead of inventing a new one?

This is a two-way street. Much of the english vocabulary comes from other languages: trek, pundit, taboo, gauntlet, moped, etc. And many languages use english loanwords for technical terms. Just try translating "internet" to other languages. Even Japanese is "インターネット" (intaanetto)[1].

1. https://translate.google.com/#en/ja/internet