skysight-inc/HackerNews huggingface dataset:
As a "common user", I'd say very much yes. It goes quite deep into the internals, and touches underlying ideas and basic mechanisms of Nix, which I don't think are expected to change [ever].

That said, note that it starts to be relevant when you're starting to write Nix expressions (meaning, write something in Nix language). Sometimes also when you want to read them and understand them. Which... is probably quite soon after starting to use Nix/NixOS, if you'll want to tweak some configs or add custom new packages. If you're really, really just doing first steps with Nix/NixOS, and/or just use the default packages with only simple tweaks, I'd say you don't need to read it yet (I personally wouldn't grasp enough basics then to understand WTF the articles are talking about at that point).
It is in our best interest to keep as many people safe as is possible. Society as a whole is better when there isn't an underclass perpetually exploited and predated on by others.
Shows 10,000 job postings per job seeker for C++. Lack of relevant data?

http://www.indeed.com/jobtrends/q-c++.html
Not that MySQL was created before Open Source was coined.
MySQL was hugely popular (several millions of users) way before it was GPL.

David and I always planned to make MySQL Free Software, but we needed first to get enough momentum to be able to afford it. We also needed to come up with a business model that would work with GPL.
MySQL was the first software that was using Dual Licensing on GPl.
It's currently Mac only.
Fplll 5.0 released: strong, fast lattice reduction
I also read one of his previous posts on how to prepare the family, and talk with friends about dying. I've rarely been so moved by a post and had such an understandment of the situation, than from his posts. I think they are a must read for most people, as we'll most likely encounter it either through friends or family, or ourselves.
I think the above comment accidentally omits 'not'.

This whole story is very moving.
And most modern machine learning is referred to in academia as "statistical learning".

Equivalences all the way down!
> Which would you expect to have the most?

Cars, by a significant proportion - because there are far more of them than bikes. But what I would "expect" is neither here nor there. (You can find examples of both kinds of law-breaking if you look on youtube, for example.) The main point is: when bikes do this, it is obnoxious but far less dangerous than when motor vehicles do it. This is reflected in KSI statistics.

It has been pointed out that the way cyclists and motorists jump red lights is different: some motorists tend to be "amber gamblers" or last-second red-light jumpers, whereas some cyclists tend to go right through regardless of the light phase. This looks worse and leads to confirmation bias when discussing this subject. The thing where motorists jump red lights is so commonplace we simply edit it out of our daily experience. If you look, you will see all kinds of motor vehicles going through red lights at just about every opportunity.

Another point is that cars get fewer opportunities to run red lights when there is a car in front, since if the guy at the front stops, usually everyone behind him has to as well. Bikes can move along the line of traffic and go through the red light at just about every time. So a very small number of law-breakers on bikes gives the impression that everyone is doing it.

Another experiment for you: wait at an intersection and see how many cyclists obey the law all the time. One of them might be me, which is one reason I get annoyed at being tarred with the same brush as a minority of cyclists. We usually don't do this for motorists, and it's not the result of "experiment" but bias and prejudice.
So a substantial portion of the US is already getting basic income, remove the progressive tax system and replace that with basic income and everybody gets it without spending any more.
Four Code Bootcamps Are Now Eligible for Government Financial Aid
The way the math works out with that distribution: only 80% of them lose money over one year, but as time continues over multiple years, the percent losing money approaches 100%.
Also, you know what happened to France when they hiked up their Tax rates? They moved to London. Where did the Russians go? They moved to London. Where did the Greek millionaires/Billionaires go, probably London.

Expatriation tax (for existing wealth) plus sales tax (for new income). It doesn't matter where they live if the money is taxed at the source.
How is this a court-relevant precedent? And for what court exactly? We're talking about giving up land voluntarily because it costs too much. There's plenty of precedent for countries giving up land in various ways.
"Everybody is a Genius. But If You Judge a Fish by Its Ability to Climb a Tree, It Will Live Its Whole Life Believing that It is Stupid."- Einstein

"Mediocrity" arises only when compared.

And comparison is plain stupid. My genes are different. The life circumstance through which I have gone through are different. My responses to various stimuli are different. My pleasure points are different. My pain points are different. My memory is different. The things that I consider important in my life are different.Every single thing about me is different from that of anybody else in this world. And yet, if I want to compare myself to some other person on a specific domain, I should be plain stupid.

Instead I would happily compare myself with myself. Am I giving my personal best? Am I getting paid in 'currencies that are important to me'?

Life is not single subject course. It is a multi disciplinary course. One may have ideas about becoming the greatest entrepreneur, the greatest artist or the greatest politician. But not many people talk about being a great child, being a great brother, being a great husband, being a great friend, being a great father or being a great grand father.

You may think that you got an "A' in a particular subject. But you may be a complete failure in other. If you are OK with it, no issues. But make sure that you scored 'A' in subjects that you thought important, and not someone else thought important.

I would love to believe that there is no such thing as 'Mediocrity'. The greatest tragedy is to not have lived the life that you wanted to live.
Not true. On shared roads, bikes and cars are equal. For a long time they were not, bikes had to yield to cars even when the bike was coming from the right. But that was fixed.

Bike paths create a whole host of new problems. On big streets with multiple lanes of cars traffic, bike paths are generally a good idea. On smaller streets, bike paths tend to be too narrow, and trucks turning right have a good chance of driving over a bike. And people designing intersections seem be often clueless about where to put cycle paths and traffic lights for bikes, creating a big mess.
I use NixOS since last spring and I adore it so much that I almost credit it with making me like computers again.

It's a kind of bumpy ride sometimes but for me there's no other distribution that's even close. Packaging the Nix way does require patching upstream and that's probably inevitable.

It would be nice to help with the documentation situation, though I'd note that the NixOS manual and the Nixpkgs manual are seriously helpful and quite comprehensive; it's just that there's another type of guide that would really help.
Boston has a data-sharing partnership with Waze.
IMHO, the problem is the influence of people who are obsessed with turning Linux in to a desktop environment. Personally, I am more concerned with Linux being a good version of Unix.

In my opinion, the SystemD is anti-Unix and should be shunned.
> Pedestrians, cyclists and public transportation are the most efficient mode of transportation inside a city

The more I think about it, the more I think this is a myth. Everybody say they are the most efficient, but with regards to which metric? The only important metric is door-to-door time.

If I can walk a short distance to the bus stop, have a ride and then walk another short distance to my workplace, then I'm lucky and I don't even consider driving to work.

But if I have to drive to the nearest bus/train station (actually, to the parking nearest the station), then ride to the city centre, then a bus to the suburbs, then a walk in the suburbs... sorry, the car will make much sense, even with the traffic jams.
Looking for Professional Sydney Bus Hire Experts?
If you are looking for qualified and professional Sydney Bus Hire experts in town, drop in at Cheap Bus Hire. We have a dedicated team of passionate professionals that ensure you get unmatched quality and services when you contact us for your unique needs. We are prompt and proactive to give you unique services each time you call us!

http://cheapbushire.com.au/
I have been in several business discussions regarding source code in escrow and in all of them they have agreed that having the code released as BSL or eventually Open Source would be ok with them.

After all, companies using your software wants just to be sure that they can continue to use it as before if you stop supporting it. For this purpose BSL works perfectly as a default. If they need more, then you make an explicit contract just for them where you give them more rights to the software.
OnePlus X Official Android 6.0.1 Marshmallow now available with Oxygen OS 3.1.0
Has anyone here applied for an unlimited holiday job and told them when accepting that you plan to take 40 days (or whatever) off? I'd be interested to know how they responded.
I used nixos for a few weeks and then went back to Debian.

* I share the concern of the author on symlinks farm. It is scary! I would like it to be dealt with in the filesystem layer (Plan 9 had a snapshot based filesystem - fossil - years ago). Symlinks have all sorts of weird semantics on different Unix machines.

* Another of my gripe with nixos is that it makes Unix, a single user machine! Sure, packages need not be installed in a user-local way. I may be ignorant of other possibilities here.

* More care for licenses. I still use Debian because they really care for licenses. Last I looked, nixos was in no way close to Debian in terms of documenting the various copyrights and licenses of files pertaining to a package.

Otherwise, Nixos is a great idea and a huge step forward.
The "wrapProgram" function used in builders takes a --path (IIRC) parameter that helps with this, useful in conjunction with the "makeBinPath" function which takes a list of packages and concatenates their path entries.
> `propagatedBuildInputs` should be used very sparingly, in most cases wrappers are the better solution.

propagatedBuildInputs is a widely-applicable hammer, and the article's tone made it sound like the author wanted a quick fix. Wrappers certainly provide a better outcome, but require more thought and case-by-case caveats; i.e. they're more appropriate for widespread adoption in nixpkgs, but not so much when throwing something into packageOverrides to stop a build script complaining.

> For example, consider if every package that contained bash scripts would put bash in `propagatedBuildInputs`. Then I could not use a different version of bash for my user environment than those packages I installed used!

Well, wrappers aren't the answer here either; fixing up the shebangs is. Functions like stdenv.mkDerivation will do that automatically.

I've not come across propagatedUserEnvPkgs before, but I also don't make much use of the user environment. I spend most of my time in nix-shells :)
Sure. But does your static typing system allow you to skip writing automated tests? Pretty sure everyone writes tests these days unless they're spiking something. If you're writing tests, you will have to come up with the mock data anyway. And the kind of exploration you're doing I tend to do from a test regardless. Once my exploration is done I also have a test that captures my work. You still have to write one. The question of whether to static or dynamic is moot in this case. It no longer matters much.

Maybe I need to spend some time in Haskell and come over to your way of seeing it. But the studies show that constructing the type system for your problem is very difficult and remains error prone. People routinely make mistakes with types systems of all kinds. I've found I spend more time making the compiler happy that it does making me happy.
Abortions are 3.4% of what Planned Parenthood does, and most of its funding does not come from government sources. (I believe most of what does come from government sources is just a matter of providing health services that are paid for by Medicaid, but I haven't seen figures for that.)
So if you went in with an "algorithm" which baked in your own rules for trading and left it for a year, would it have performed better?

Does a greater proportion of non-HFT bots make money?
Mediocre, or just average? Mediocre implies something, like you're lazy, not trying your best or otherwise leaving something on the table that you should grab. The outcome is being average, and there's nothing wrong with that at all. I have for sure been gunning for the next promotion, but I've started to question my motives there - I'm director level now, and is the personal sacrifice really worth it to keep moving up?

I started to do the math for us. Public school starts in 2 years, there's $1000/mo back in our bank account (private pre-k/preschool now). My federal student loans can "only" go another 18 years max. Mortgage will stick around, but isn't terrible. Cars are paid off. And my wife stays at home, which was a goal for us (she was a director too, that was a fun adjustment financially). Right now I spend every dollar that comes through the door on mostly non-optional things. Some months a little more. But I'm realizing that in terms of financial obligation, I may be at or near my high water mark. I never realized that before. If I never get another promotion, we'd likely be just fine, even improving financially over the next decade or two.

So the question becomes, do I really need to hit VP or whatever other level? It's not to say I don't work hard now, but I mostly leave the office to get home by 5. I take all of my vacation time and wish I had more. Maybe I have the potential to keep moving up, maybe I don't, but the question is really becoming more whether I'm willing to put in more time and energy here, rather than outside of work. I think I'm pretty good at what I do, but does that obligate me to go as hard as I can at that thing I do pretty well, and subjugate everything else just a little more? I don't think it does.
It's interesting to see HTML from that time period too. Did HTML tags in <title> used to be rendered in browsers?
I'd like to see Elon Musk cut back on his public speaking and focus on his CEO responsibilities. Speaking as a shareholder and a potential customer, I really want Tesla to mass produce the Model 3 next year as promised. Everything else needs to be placed on the back burner for now, including new PV solar projects.
It is fascinating subject, because it is zoonosis the pathology of the human brain might not be the same as in other animals. I'm not so sure that this study was done properly.
> Symlinks have all sorts of weird semantics on different Unix machines.

Is there any other implementation than posix in the wild these days?
> Very similar to how a good parsing-combinator library looks almost like the grammar it is parsing.

yup. getting from an ascii art representation of the pdu, to something like this should be fairly trivial :) only if writing fsm's were that easy ;)
It sounds to me like, and I'm not judging here, you're saying, "I want a job, but I don't want to have to prove myself."

How is the company supposed to know if you're a good fit for the position without an interview process? Blind faith?
Understanding Rails' Forgery Protection Strategies
> Windows did flourish

Late reply, sorry. I don't think we're on the same page: Windows sold relatively ok, basically doing tying the battle for the Enterprise sector, but in the meantime it lost the cloud war and was literally wiped out of several other segments (mobile, web etc). But don't take it from me: if everything were hunky-dory, they wouldn't be busy steering like crazy towards opensource, something that was unthinkable 15 years ago.

> are you suggesting that Perl would have been a better solution for a Windows interactive shell and automation tool?

From a mindshare/commercial perspective, yes it would have been (and I say this as a complete Perl-hater). By starting from scratch, MS then had to spend a decade evangelising their new solution, with mixed results. It would have been tremendously easier to just offer first-rate support for established sysadmin tools (ssh, perl/python etc) from day 1; but again, don't take it from me: the big new Windows Server features are Ubuntu-bundling and native ssh support. This would not be necessary, were Powershell and Windows dominant from a commercial perspective.
I hate that meme "let's make X great again".
The data shows that you see 3% bugs that could have been fixed with static typing. 97% are from other things. Mind you this area has not been studied much and needs more research, but that's what we know now.
Yes! The current flat design trend makes it difficult to distinguish clickable from non-clickable elements due to the fact that they are all flat. Android "Material Design" is even worse because of the dreadful pastel color scheme which makes things even worse.
This is quite fascinating. All these practices are touted as modern design techniques, however they were being done over 20 years ago.
I have no idea why they did put this COC policy there, but no discussion so far went into a hostile direction, even on grave technical opposition. Rather the opposite.
Related: Internet of Sh*t is a Twitter account highlighting "your best home appliances ruined by putting the internet in them".

https://twitter.com/internetofshit
Yes you are 100% right (edited my post).
I love that Guix chose a nice, clean (i.e., S-expression-based) representation for all of its code and data, but it's unfortunate that they chose Scheme instead of Lisp.
Quick PSA: The number one method of infection for toxoplasmosis is foodborne from undercooked meat (which is why France has a 90%+ infection rate). Most people focus on cats.

While cats are a vector, this really only applies to cats allowed outdoors. Indoor cats bear no risk of infection.

http://www.cdc.gov/parasites/toxoplasmosis/

Edit: Mistake on France stat, actually 50% of pop.
Why You Should Learn Python
http://www.weirdnet.nl/apple/rename.html

Yes, I know it is fixed. But who knows what one runs into!

And this: http://blog.moertel.com/posts/2005-08-22-how-to-change-symli...
In a way, it's similar in nature to how people will, with best intentions, tell you to smile more if you have depression.

I think the issue is many people don't understand the problem and they can't see it. In fact, someone with a common cold can expect to get more sympathy and better advice than someone with a chronic illness. The second issue is that many people struggle to think of something to say, its quite uncomfortable and the automatic choice is to give advice.
Edit:

Thinking a bit more about this, the real time bidding aspect isn't really a problem. You do need to know how many other players there are now/in the future though.

Symmetrical strategies:

bid_cost(t) = object_value * (1-p(t+1))^N-2 for all t, for all agents not currently winning auction is a MSNE.
They are definitely not scams, but it does all depend on the manager or motivation behind having unlimited, on top of the fact that unlimited vacation presents a real financial benefit to the company by limiting the liabilities against it.

My company has unlimited vacation and I didn't take any vacation from Jan 1 to May 28, then I took off 10 consecutive weeks for the birth of my daughter and a move from Seattle back to Portland. We also treat Dec 24 - Jan 2 as company holidays because so many people use their personal vacation days for that time of year and to prevent people from trying to work through the holidays and dragging others into it with them. I then followed it up closely with a few days off for a wedding I was in, a couple of fishing trips, a couple out of office days for unexpected things. I've probably taken more vacation this year than I have in my entire career excluding my honeymoon.

We have a system for placing vacation requests that allows anyone to see what a given stretch of time looks like as far as people being gone, and we can track how managers respond to vacation requests as well. I guarantee that if we found a manager pulling the kind of shit that the OP's manager was pulling they'd be dealt with, probably even let go without a second chance unless they were stellar in every other way. Also, all requests go through the system, so there is none of this whispering back and forth and getting you to withdraw your request. The back and forth happens and is recorded for posterity.

The only problem is, just like most other culture fits at a company, how do you know until it's too late? Also, would you personally feel comfortable using an 'unlimited' amount of vacation?

My recommendation has always been to treat unlimited vacation days like bonuses and options. They are perks, but the number you're generally after is the salary, so don't discount that too much in favor of some nebulous benefits that may not materialize.
How long until tech companies need to start offering free housing to attract talent to move to SF?

Even with the higher salaries, high enough to afford the same caliber home, the stress of dealing with that market is a turn off. What if it turns out to be a bubble and the million dollar shack you bought is only really worth $200k. You could be trapped with an underwater mortgage easily. Not that I know if it is a bubble or not, but that is a large amount of risk that the employer is expecting the employee to take.

Which is why I wonder if you tried to shift the risk. Say, give up 30%(the supposed standard amount spent on housing) of salary in exchange for the company providing housing.
Not necessarily rediscovering, just re-implementing.
As for the quantum stuff, it doesn't need a conscious observer at all. This is why an experimental qbit can decohere in a sealed box no human could possibly peek into. What it needs is one interaction whose result is contingent on state - that's a "measurement" or in unintentionally confusing terminology, an "observation".
At one point Sun had a similar model before RHEL + VMWare ate their lunch - https://docs.oracle.com/cd/E19095-01/sfe2900.srvr/819-1269-1...
Yep. Penrose's argument goes something like this (oversimplified): 1) Turing machines can't solve the halting problem. 2) Humans can solve the halting problem. 3) Therefore, humans can't be Turing machines.

There are two problems with this line of reasoning. The first problem is that 2) is unsubstantiated. A human can see immediately that 15 = 3 x 5, but this doesn't mean that we have a magical ability to factor integers instantly. By the frivolous theorem of arithmetic, almost all natural numbers are very, very, very large. We have some ability to analyze formal systems, but the systems we have managed to understand are very simple in the grand scheme of things. Almost all formal systems are very, very, very complex, and there is no evidence that we can understand them all and/or that our understanding process actually is correct (consistent) when extended indefinitely. Penrose's actual argument is of course more technical, and others have made more precise rebuttals.

The second problem is that the argument does not solve the problem of consciousness. Scott Aaronson put it nicely: "Even if we supposed the brain was solving a hard computational problem, it's not clear why that would bring us any closer to understanding consciousness. If it doesn't feel like anything to be a Turing machine, then why does it feel like something to be a Turing machine with an oracle for the halting problem?"