skysight-inc/HackerNews huggingface dataset:
The point is that the formality of process description is mathematics. It may not be mathematics as you understand it, and that may largely be because you can intuit a large part of what you are doing as you are doing it, and that's an unfamiliar feeling with math. But let's get this straight: cancelling out out the unnecessary steps or factoring out the common steps in a procedure is exactly the same thing as it would be in an algebraic expression. In the simplest application, it may not seem like there's anything "formal" or "mathematical" going on there, but that's only because it's simple and easy to spot. You can also look at four things and see four things without counting them, and divide them into two twos without doing anything that feels like division. Just because it doesn't feel like mathematics to you doesn't mean it isn't.
What about being liable for storing illegal files someone uploads to your filebox?
What does it feel like to be a self-made millionaire under the age of 25?
I think you are too close to the politics of the tech industry to understand how technology continues to empower people.

Social media platforms are new tools for communication. Populations in nations like Libya, Syria, Brazil, Egypt, etc. are using these tools to organize politically and socially. The tools give them powers of reach and speed that previously were only available to major media outlets like TV or radio station operators (who might be state-controlled anyway).

Even in the U.S., the tools of digital communication are directly resulting in a growing diversity of political organizations, of which the Tea Party is currently the most prominent example.

At the personal level, I can use Yelp to find all the restaurants that are near me physically right now. Trivial? Maybe, but it empowers the individual to make a personal decision. Developing a similar data set even 10 years ago would have take a lot of manual work.

One does not have to built technology to be empowered by it.

But even building technology is way easier than it was even 10 years ago. Powerful languages, development environments, libraries, operating systems, etc. are available to anyone for free. Anyone can lease a full Linux server for $5/month.
No, files are contributed to the network as a whole, must be distributed, and require payment. See the discussions on mining and on rewards in the paper: http://filecoin.io/filecoin.pdf
> wouldn't software also be able to create and analyze mathematical theory ("conjecture, proof, and building theories")?

Already happening.
1. Companies implement those policies to inflate their vacation policies. In the negotiation phase, candidates don't ask, "do you mean 15 days of vacation, or is it that shitty thing where sick days are pooled with vacation?"

2. It gives people an incentive to come into the office sick. The result is that half the office is ill (but showing up!) all winter. It's pretty disgusting.

If you're trying to build a polar vortex of disease, then implement a pooled PTO system. If you're trying to build a company, then don't. It's that simple. What are you trying to build?

Here's how I would set it up:

* Three weeks minimum vacation. (Investment banks have mandatory vacation and it's not a bad policy.) In tech, that wouldn't be a hard-and-set rule, but taking little vacation should be the choice that needs to be justified. Five weeks paid, anything beyond that is unpaid leave which can be taken without stigma.

* Don't come in if you're sick. It happens to all of us. If you're going to lose more than 10 days per year to health issues, talk to HR about accommodation and we'll try to make something work. If it's less than 10 days (e.g. colds and flus and stomach bugs) then just stay home.

* Don't worry about emergent personal issues. Let people know where you're going, then go. Come to work when you're ready to concentrate on work, not when you have nonsense hanging over your head.
Multi-document and multi-collection transactions are already a part of TokuMX[1]. Since commit of the oplog insert is atomic together with the actual operation's changes to documents, atomicity is also guaranteed in replication. Atomicity and MVCC in a sharded system is something we're working on, but it's unrelated to Raft/Ark.

Ark is just about making replication as a whole trustworthy. The jepsen post on MongoDB[2] shows MongoDB losing data even with majority write concern, which if used properly, is supposed to make MongoDB a CP system. But because of the design flaws in the election algorithm, you can't rely on it perfectly. The changes we made in Ark fix the election algorithm to make majority write concern actually able to guarantee data safety, so you can treat it as a fully CP system.

[1]: http://docs.tokutek.com/tokumx/tokumx-transactions.html

[2]: http://aphyr.com/posts/284-call-me-maybe-mongodb
HN stories cannot be downvoted.
Recently I was googling for NGLY1 references on German language web sites and found some very short thread in a child healthcare forum (or something similar) where some parent described their child, some other guy said it sounded a bit like your case and linked to your site, and the OP replied that it sounded similar indeed and they'd be in touch.

I don't know if that was really one of the cases, but your web site sure has impact.
I have three nationalities. Under German law, children of Germans are considered German no matter where they are born.
49310 83597 02850 19002 75777 67239 07649 57284 90777 21502 08632 08075 01840 97926 27885 09765 88645 57802 01366 00732 86795 44734 11283 17353 67831 20155 75359 81978 54505 48115 71939 34587 73300 38009 93261 95058 76452 50238 20408 11018 98850 42615 17657 99417 04250 88903 70291 19015 87003 04794 32826 07382 14695 41570 33022 79875 57681 89560 16240 30064 11151 69008 72879 83819 42582 71674 56477 48166 84347 92846 45809 29131 53186 00700 10043 35318 93631 93439 12948 60445 03709 91980 04770 94629 21558 18071 11691 53031 87628 84778 78354 15759 32891 09329 54473 50881 88246 54950 60005 01900 62747 05305 38116 42782 94267 47485 34965 25745 36815 11706 55028 19055 52656 22135 31463 10421 00866 28679 71144 46706 36692 19825 86158 11125 15556 50481 34207 68673 23407 65505 48591 08269 56266 69306 62367 99702 10481 23965 62518 00681 83236 53959 34839 56753 57557 53246 19023 48106 47009 87753 02795 61868 92925 38069 33052 04238 14996 99454 56945 77413 83356 89906 00587 08321 81270 48611 33682 02651 59051 66351 87402 90181 97693 93767 78529 28722 10955 04129 25792 57381 86605 84501 50552 50274 99477 18831 29310 45769 80909 15304 61335 94190 30258 81320 59322 77444 38525 50466 77902 45186 97062 62778 88919 79580 42306 57506 15669 83469 56177 97879 65920 16440 51939 96071 69811 12615 19561 02762 83233 98257 91423 32172 69614 43744 38105 64855 29348 87634 92103 09887 02878 74532 33132 53212 26786 33283 70279 25099 74996 94887 75936 91591 76445 88032 71838 47402 35933 02037 48885 06755 70658 79194 61134 19323 07814 85443 64543 75113 20709 86063 90746 41756 41216 35042 38800 29678 08558 67037 03875 09410 76982 11837 65499 20520 43682 55854 64228 85024 29963 32268 53691 24648 55000 75591 66402 47292 40716 45072 53196 74499 95294 48434 74190 21077 29606 82055 81309 23626 83798 79519 66199 79828 55258 87161 09613 65617 80745 66159 24886 60889 81645 68541 72136 29208 46656 27913 14784 66791 55096 51543 10113 53858 62081 96875 83688 35955 77893 91454 53935 68199 60988 08540 47659 07358 97289 89834 25047 12891 84162 65878 96821 85380 87956 27903 99786 29449 39760 54675 34821 25675 01215 17082 73710 76462 70712 46753 21024 83678 15940 00875 05452 54353 7.

^ https://en.wikipedia.org/wiki/Illegal_prime

Now what?
The problem with the `-e` flag is if you want to output custom errors, say json. I prefer to have bash inspect status codes.

if [ $? != 0 ]; then
echo "{\"error\": \"Failed to connect to the database.\"}" >&2;
exit 1;
fi
Please stop calling F2P's "games".
I work in Missouri, and wouldn't leave here for basically the same reason. Too many friends here from college, and my family's close.
I went to school in Iowa, so I recognize that the midwest is a great place, but the reality is that for those people at Microsoft in Redmond about to get laid off, they will just go over to Google, Facebook, Amazon, etc. In Des Moines or Cedar Rapids if you are good you'll be able to name your gig, but there are simply fewer gigs to go around and the compensation can't compete.
Following that analogy, I've tried slaying the dragon but fallen short after the first attack. In other words, the point at which the product is built and needs to be disseminated.
I will do so! They'll be short on content to start with, since we've still got to do the leg work to fill in the data.

I don't really get why other biologists shut down, but I figure if we put together some good cognitive (and analytical) tools to allow people to better understand the roles of glycosylation, it'll no longer be so scary.
This has already been done many times.
I saw this on /r/netsec a few days ago. One of the comments there mentioned that some POS devices are still vulnerable to the VNC authentication bypass exploit from 2006. The "we lose money if we patch"/"don't have time to patch, got this stuff to do" mentality is strong with this one.
No, none of us know how to use those. :(

If you're interested in building one and you have experience with them, get in touch and we can work through it together. I think the biggest challenge would be modeling the semantics of write concern, but I'm not that familiar with proof assistants, maybe that isn't too hard.
This is pretty interesting from a economic standpoint. The USD price for file space would likely hover around the same price of something like S3. If the price paid by the user is too high, they are better of using S3 for storage. If the price paid to the user is too high, it creates an arbitrage situation in which someone can simply use S3 to host Filecoin data. This should theoretically provide more stability to the price of Filecoin in comparison to other virtual currencies which is simultaneously the biggest strength and weakness of most of these things.
Just do it all in the condition instead of separately:

if ! command_that_may_error; then
echo "{\"error\": \"Failed to connect to the database.\"}" >&2;
exit 1;
fi
http://media.mofo.com/files/Uploads/Images/130725-Employment...

"Thus, class-action waivers
must be enforced regardless of the consequences for
the vindication of small-value claims, state or federal."

also, http://www.cbs46.com/story/24388303/consumer-advocates-fine-...

also http://publicjustice.net/content/tribe-scotus-denying-access...

also http://www.minnpost.com/community-voices/2014/05/forced-arbi...

So any disputes with verizon cannot go to court, they have to be arbitrated. Further, there cannot be a class arbitration. So to vindicate your rights against verizon, you'd have to be willing to bring an individual arbitration against Verizon and bear the costs of doing so which will be exponentially more than the value of your claim. In essence, these clauses immunize corporations from liability under antitrust laws, consumer protection laws; employment laws etc. It is a terrible situation created by a Supreme Court that despises class actions.
Facts of life at Microsoft:

- There is dead wood. People who do negative work, or who do not add value, only process, to shipping products

- There are toxic middle-to-upper level managers. These people exist; I have personal experience with one who I believe is an actual psychopath

- There are many partner-level people who have essentially reduced their careers to manipulation of other people's careers, by canceling products, or getting people canned or quashing promotions, or backing poor promotions.

I don't think it's hyperbole to say that middle management at Microsoft is riddled with "dead wood".
Ask HN: Use Docker, Foreman, or Vagrant for installing our FOSS project?
I'm coordinating the development of Quill.org, a web app that provides writing activities to students.

We are an active open source project, and we've had over 40 people contribute. We recently moved to Docker to make it easier for new developers to get set up. However, the Docker environment is proving to be problematic, and developers are having a hard time getting the code set up. I'm reaching out to you on HN to get your thoughts on what our install process ought to be.

You can get a good sense our code here:

https://github.com/empirical-org/Documentation/blob/master/Getting-Started/README.md

Here are the questions we are currently facing:

1) Is it going to be difficult to maintain Docker? My concern is that we'll need to spend a lot of time re-configuring Docker as the project changes. I'm not sure whether we should stick with Docker for install or simply use it for production.

2) Would it be better to simply use a manual install process with Foreman? We were using a manual install process before, and this is where a number of problems sprung up. Our project is somewhat complex, utilizing a SOA with multiple databases and an API. I'm not sure whether it'd be best to stick with the Docker install, or whether we should return to the manual install.

3) We could move back to Vagrant for the install process. Would this be the best course of action? We used Vagrant in the past, but the instructions became out of date, and it was dropped.

We are trying to bring on board new developers, and we are running into a number of issues. I'd really appreciate your thoughts on how we ought to proceed.
I think the vast majority of customers know what they're getting when they start playing a free game with incredibly high production values. Additionally, to the economics point, consumers are making choices about whether they think a purchase is worth it every single time they are faced with an IAP.

There are also varying degrees of IAP:
- Should a "free" game that offers ads be considered free? You're paying for it by being forced to watch interstitial ads. (ex: Flappy Bird)
- Should a "free" game that has IAPs for purely cosmetic items that have no impact on the game be considered free (ex: TF2 model)?
- Should a "free" game that has IAPs that are optional that help you win be considered free (ex: Candy Crush)?
- Should a "free" game that has IAPs that have a pure pay gate 20 minutes into the game be considered free?

Personally I think there are a ton of varying degrees here, and putting a "if you have IAP in the game, PERIOD" it's not considered free, makes a black-and-white statement about something that has many shades of gray.
I've not once seen a cow walking in the Chicago Loop or downtown Indianapolis.
Consider your ancestors. How far do you have to go back before you know essentially nothing about them? I know a lot about my parents, know a few stories about my grandparents, and nothing about my great grandparents beyond a name and a couple old pictures and maybe a letter or two.

What they were, the things they possessed, are all just gone. I am not sure if that's a good thing or not, but the idea that digital storage is ushering in a new age of ephemerality is not justified.
Building trans-cloud environments with juju
Or I don't really give a crap about my 'real' self outside the simulation, since my existence is more part of Roko than I am of the other 'me' outside. Why should a video game version of you care about the real you?

I'll take my simulated $1000 please!
Why Facebook, Google move to statically typed language?
Why Facebook (hack), Google (go) moving towards statically typed languages? Is it true that it is difficult to maintain a large code base of a dynamically typed language?

Facebook: https://code.facebook.com/posts/264544830379293/hack-a-new-programming-language-for-hhvm/

I could not find an article from official Google source, but I heard from one of its employee that they are switching for most projects from python to go lang.
That's exactly what everyone did with 3D TVs... do they still make those?
e.g. Douglas Lenat's Automated Mathematician [1]... there are probably newer, better examples.

[1] http://en.wikipedia.org/wiki/Automated_Mathematician
What area of programming are you in?

There is a lot of math I don't understand because I don't have the background, and I wish I could. Differential equations and fft come to mind.
I'm kind of surprised this is HN-worthy news. Using a VPN that routes around Level3 is an effective and obvious bandaid to members of the tech community...
I'm interested in where this is going. Do you have a citation?
I'd settle for speakerphones and conference bridges that sound good.
The funny thing is that "friends" and influential people in the business get preferential treatment as of today. See here: https://twitter.com/rrhoover/status/489931085048860672

I'm not implying of anything shady. I'm just saying that kinda stuff is really annoying for the average joe.
> I'm no OCaml programmer but glancing at the beginning of the Real World OCaml's chapter on FFI, it appears OCaml uses dlsym() to look up functions at runtime, whereas Rust can outright link to them like any C program would

This is not a limitation of OCaml but a deliberate choice of the authors of Real World OCaml to use the ctypes library. The OCaml implementation also supports directly linking with C code. What you need:

* Your ordinary C code
* Some C stubs that do the conversion between regular C types and the C types the OCaml runtime uses. Usually they are quite trivial, just use the few macros that OCaml ships with.
* Some type signatures to tell the type system what types your C stubs expect as that can't be inferred.

Generally I think the system is pretty easy to understand and use. Overall it is pretty neat to have two alternatives on how to do FFI, so you can pick the type of FFI (dynamic/static) exactly as your project requires.
Original article on Bertrand & how Matt Might investigated the cause of Bertrand's illness

http://matt.might.net/articles/my-sons-killer/
How to argue for Python’s use
Knew about it, assumed it, or not... it's egregious.
roughly: HN, internal tools, and (soon) external tools
4 months of freelancing. Looking back
Mathematical background helps in programming. It is not absolutely necessary but personally I do not know any Programmer who was good at Mathematics and failed really badly in programming.
> If you want an answer, it is easy: companies like coinbase or bitpay know very well what they are doing, and participate in the market in ways that minimise the exposure risk.

So the question is: how they do it?
Users pay to Put data into the network. Are there any ongoing payments for storage? I don't see any way to delete data either. If the network promises permanent free storage after a one time fee, it's sure to fail eventually.
Does this have anything to do with the female vs male perspective on programming?

Maybe programming can be actually approached with different mindsets -- and it's not a case of either/or....
A million times this. I'm in a similar situation. My wife and I just aren't that interested in relocating to a higher cost of living area and trading our nice yard and larger house for something small and expensive. With two kids we have very different priorities than younger folks with fewer attachments. We currently live outside a major Northeast city, so we get some of the benefits of a metro area but not the full brunt of the high cost of living or super-dense housing. We pay for it with a long train ride (for me) and both of us working.

We would relocate to a less densely populated area if it meant she could be a mostly stay at home mom while roughly maintaining our existing home size, yard size, type of neighborhood, etc... We have built-in childcare being close to family, but that would be made moot by a relocation that allowed her to be a stay at home mom.

Alternatively, a total work from home position that eliminates my commute, allows us to stay put, and pays top dollar would be attractive as well. It would allow us to not have to worry about who will be home when the kids get home from school for example.
Ever since the Phoenicians invented money, there has only ever been one answer to that question :-) Basically, remote work at "tech hub" prices (that's what all your competitors are offering), or laughably oversized salaries (even by already-inflated tech-hub rates) if your client insists on having a local dev team. There's a reason it's called flyover country, and to entice me to work there (as someone who escaped from 'flyover country' to the East Coast and then again to the West Coast) is not going be cheap by anyone's standards.
Actually, I worked with Garann at Etsy, and she's great. In fact I can think of numerous occasions in which she paid down organizational technical debt.

She says this in the article:

> I made a very successful career of programming while entirely motivated by having a good paying job, and at the risk of being a braggart, I was a good programmer.

and she is right.
I went to school in Iowa, my wife is from Iowa, and in many ways it would be a great place for us to live. Biggest problem I have is one that simply can't be overcome: no skiing, no mountains, no forests. What Vancouver / Seattle / Portland and the Bay Area have going for them is concentrations of real tech (not just corporate IT gigs) with great geography and weather. Plus, superior compensation. Sorry, Minneapolis and Chicago have no appeal.

Playing the long-game why do you care about location when you can hire good remote talent anywhere - they are happy to stay where they want to be, you get access to the talent you want without sourcing and relocation costs.
> "Latitudes and longitudes are unambiguous..."

This is a tangent, but actually, they're not.

There have been (oil) wells fail because someone gave a lat/long without specifying the datum, and someone else assumed it was in a different datum.

Without a datum defined, latitude/longitude (no matter how precise) only gets you to within ~1km of an actual location.

The Earth is not a sphere (or even an ellipsoid). Therefore, we need models of the the absolute shape of "sea level" (i.e. an equipotential surface - varies due to density variations in the Earth) to go from a spherical coordinate system to an actual point on the Earth's surface. These are referred to as a datum.

Because our knowledge of the absolute shape of the Earth has changed over time, there are many different datums (ranging from spheres to ellipsoids to detailed gridded surfaces).

There are a large number of datums that are still in common use. WGS84 is the most common (and very accurate), but NAD83 and NAD27 are also very, very common, as well as many others. If someone gives you a lat/long in NAD27 (e.g. read off of a printed map) and you assume it's WGS84, you can wind up over a kilometer away from the original location. (NAD27 is reasonably accurate for the US, but is very inaccurate elsewhere on the planet. I regularly see it used for data everywhere, though.)
Is this associated with http://filecoin.org/ (febuary 23th, 2014)?