skysight-inc/HackerNews huggingface dataset:
What I mean is, suppose your module does an arithmetic operation involving a _function from the other module like "x + other_module_function(y) * 2". You've enabled panicking on overflow in your module for safety. Is it still possible that "other_module_function(y)" will return a result that overflowed without panicking? Does this mean that anyone writing code with overflow disallowed must carefully choose what modules they call to avoid calling any that allow overflow?
I hadn't heard of Maude before, thanks! For those interested in this kind of thing, another well-known term-rewriting language is Pure (http://purelang.bitbucket.org/), which grew out of an earlier project called Q (http://q-lang.sourceforge.net/).
The government GitHub ecosystem
The Subaru one stays on until you come to a complete stop. Even then, it's still "on" in a way, since it'll hold the brakes, but you have to flick up on the cruise control switch to get the car to start moving again. It'll also notify you if the car in front has started moving again and you haven't done anything (with or without ACC on). It's on my girlfriend's car, so I don't use it every day, but it has been nice the times I've driven it in traffic.
An additional point is - what if I have another CI gem that conflicts with capistrano-harrow but not capistrano?

What if capistrano-harrow introduces a security vulnerability that I'm not prepared for because I don't pay attention to a gem I'm not using?

I get that the maintainers want to promote their paid services, but this feels awful on multiple fronts. If capistrano is too expensive to maintain on your own, address that problem don't drag the Rails community kicking and screaming.

What about soliciting help from RubyTogether?
>There's no new money "injected". If he wants to buy a significant amount of stock, there will be some upward pressure on the price, because you have to find someone willing to sell, but that same condition applies to Apple. They have to buy on the open market just like Tim Cook. If a 100MM purchase is going to push up the market cap by 0.1%, it'll do the same for both.

The injected money (or I will admit more accurately injected value) comes from increased demand. The only effect of Tim Cook buying shares in increased demand for Apple stock. Meanwhile Apple buying shares will be coupled with a decrease in value of the company's assets. Tim Cook's purchase only provides upward pressure on the market cap. The buyback provides downward pressure as well.

>As for the buyback being important because it increases insider's ownership, no, it doesn't. At least not in any meaningful sense. There's maybe 1% held by "insiders". If Apple buys back 175 billion in stock at their current price/value (a terrible assumption, but whatever), they'll take 33% of the stock back. So the insiders will hold 2% instead if none of them sell.

Personally I would say doubling your ownership percentage is meaningful. But like I said earlier the whole thing relies on the insiders having $150 billion in stock + cash which they almost assuredly don't and likely can't raise. You keep on ignoring that condition. I am arguing a hypothetical situation in which they do have that money. You seem to be arguing that even the hypothetical is impossible because they don't have that money.
>We talk to them, dance with them, have sex with them, have a lifetime of interpreting subtleties of their tone and body language and power politics. We are the same species as they are.

How is this any more of an evidence?
Why quantum cryptography could be a one-way street
I'm really interested in hearing more about this. I mean "Internet 2.0".

Anh pointers on where I can find material that speak about the ideas you've expressed? Obviously I'll hit Google but you might just have something better.
It's literally just calories in vs. calories out.
If 400 calories/day meets your weight loss goals, all you have to do is make sure that the calories you expend + the calories you no longer intake = 400.
The ratio of those two factors completely varies from person to person on what their motivation levels are going to be, but as long as it works for you it will result in the same amount of weight loss as any other ratio
Artículos: Maneras de hacer dinero en línea desde casa seguro
The Top 5 Key Benefits of Purchasing and Owning Investment Real Estate
Don't know about cats, but I've had a dog that we fed doggie Prozac in an attempt to help with behavioral issues. Seemed to have a positive effect (unfortunately, not positive enough; had to eventually put him down). We volunteer at an animal shelter, and there are occasionally particularly anxious dogs that get a prescription. Works well for a lot of them, it seems, or at least takes enough of the edge off that they can be worked with and trained.

Not sure of the colloquial meaning of "barmy" (and the Mac OS dictionary is no help), but if it's a negative term, I'd argue that observation says it can help in some situations.
> systemic entrenched sexist bias

Did you read the source? I was not being sexist, I was stating a factual finding from a peer-reviewed journal... I believe you misinterpreted my statement.

> Evidence clearly exists that lot of women used to enjoy being in the kitchen, but that doesn't mean women are less suited to work outside the kitchen -- to make an extreme example.

Yes, and this is my point! If you read the article I sourced, it said that women found "high-level positions as equally attainable as men do, but less desirable". Evidence clearly exists that a lot of women want to prioritize non-work related factors in their life, which is why you see less women in higher-level positions currently, but that doesn't mean women are less suited to high-level positions.
Squirrels accounted for 28% of fiber cuts in 2010 for Level 3 Communications.[1]

[1] http://blog.level3.com/level-3-network/the-10-most-bizarre-a...
That has completely different performance characteristics. And for sane usage you need then some code again in the main program that encapsulates away the IPC basics. And it won't work for all use cases, e.g. moving parts of the GUI into a different process will most likely not work.
Meet the Woman Who Watches Porn Professionally
Apple's stock suffers worst week since 2013
Gravitational storage is hard.

For perspective: if the U.S. loaded up all 1.5 million of its rail freight cars to 30-ton capacity and sent them 4km up to the top of Mt. Rainier, that would store 494 GWh of energy.

That's just over an hour's worth of our average electricity usage.

Gravitational storage is hard.
I feed a large group of stray cats around the neighborhood every morning for years now.

Let me tell you, they definitely have feelings.

Some cats are overjoyed to see me, they even come running down the road, purring and chirping at me. It's not because of the food because many of them don't even eat it right when I put it down, they must eat later in the day. They are just genuinely happy to get some attention, to "talk" to you and to be talked to.

What people should be asking is if all those chickens, cows and bulls that are slaughtered every year had feelings and if it is right to raise them only to kill them.

(and yes I know the irony is the cat food is made of chickens, cows, etc. - I don't know how to resolve that conflict)
I don't agree that we have any evidence that other humans aren't p-zombies. The whole point of the exercise is that it's logically impossible for such evidence to exist. If you're aware of any, I'd love to hear it.

(FWIW I don't personally believe that people are p-zombies, but I believe that purely on faith, and because the alternative is too horrifying to contemplate.)
Rule of Economy – Revisited
Ballpark, that's 100,000 days or 300 years. So I guess that's MTBF, not "rated for", which gives even more the impression that we are talking about per-device lifetime expectancy.

MTBF means that, in the expected lifetime of all devices combined, the expected time between failures is 2.5 million hours.

So, if you buy 3000, one will have a failure within about a month (assuming expected lifetime is larger, but that is not stretching it)

Also, MTBF says nothing about what happens outside the expected lifetime. If that is 10 years, whether they all break down on the first day of year 11 or somewhere between year 10 and year 100 doesn't affect MTBF.

So, what do they expect the lifetime of these devices to be?
Let's make it more complicated than history and personal experiences. How do you know that you are not a Boltzmann brain? It's highly improbable, I'm not claiming it to be true. There is the smallest possible probability that I am the only one that has qualia and sentience. It's a philosophical zombie for a reason: it's a source of creative thought, not necessarily truth.
Pretty much anyone who decided to work for a company where the agreed upon hours are from X to Y. You can complain about it being unnatural all you want, but if those are the hours that you agreed to, then you're obligated to conform to the schedule. If you don't like it, work remotely for a company whose normal business hours fit your schedule.

Being an adult is not necessarily about conforming. It's more about sticking to your obligations. Even if your word means nothing to you on a personal level, others are probably depending on you to come through.
> It should not [affect development], localhost has been declared as “potentially secure”

Glad this was included. Is https even meaningful when on a local server?
Create your own PokeMMO
I would say these are all different ways to know somebody. We do after all speak of knowing somebody intimately as opposed to a passing acquaintance. There's a wide gap between the two.
This theory has been running around for a a few decades now. But a couple years ago I read a paper where they were studying traffic jams, and the conclusion is that elastic traffic is the problem, and this technique does nothing really to solve the problem. Instead simply maintaining the exact same spacing in front/back of your vehicle does a much better job of avoiding and clearing traffic jams.
"Salary is not the number one motivating factor for me in this decision."

Why is it that every article about compensation has the author saying some variation of this? It seems so cliche to tell the company this. Yet, in this article, it seems like the salary was very much a motivating factor. So much so, she had to practice, then write an article.
What is aerobic weightlifting? Weightlifting is an anaerobic activity.
The Fibonacci sequence in logarithmic time
Now already a "correction" that casts light on everything else OP wrote:

"I mistakenly asserted that Sara was “driven out of the company”. After talking with Sara she informed me that she left on her own accord and in-fact has maintained a very good relationship with Pillar."

I don't see anything really wrong with the company here. Okay, they are possibly a bit wrapped up in their own founding story and have a higher opinion of their code writing skills in the abstract than in the concrete. That's pretty...normal. Maybe they even suck as a company, who knows? But this isn't some clearcut story about a company doing something terrible. No one is going to read this and think, "I need to contact this terrible company." It reads like a rant. OP, seriously delete this. I get that you are angry right now over what you perceive as being terminated without cause but this will hurt you more than it will hurt them. It comes off as more than a bit immature, even now that you deleted the FU picture. It sounds like you are a good coder with some health issues. Get your life back together, take some freelance work, and figure out your next steps. That will all be a lot easier without this coming up in google searches. I don't say that to be a jerk, just from someone that has also been wrapped up in my own personal story a bit too much at times.
Yeah, it's just the breaking changes thing - I like what Google are doing, and it's been alerted in the console for ages, but they're strong-arming it slightly.

I'm weird, but it always grates slightly when companies throw their weight around - even if the endgame is a positive outcome.

Plus the cynic in me assumes they have an advertising product in the works and this is facilitating it.
It's just a bad title. The title should have been "Why you shouldn't exercise to lose weight without changing your diet". If you eat the same amount as you did before, assuming that was maintenance calories, you will lose weight if you begin exercising. The problem is when you're intaking 1500 more calories than necessary before you start exercising. You can't burn that off to the point of a deficit with exercise alone.
Visualizing Machine Learning
Baseball Card Collecting
One thing that I think is commonly missing from these discussions about hiring is the fact that most hiring processes (especially at these large companies) are not designed around letting all qualified applicants in. They are designed to ensure that unqualified applicants don't get in, even at the cost of passing up good candidates.

The negative cost associated with one bad hire can often outway the gain from one great higher. So if a company has to pass up on some great candidates in order to maintain quality they are going to do it.

Are there better ways than trivia questions and whiteboard coding to prevent bad hires? Of Course. One of my co-workers brings up the hiring practice at his old job. They would fly all potential candidates out to their office and have them work (paid) with the team for one day. From there, they would take their top picks and have them work (paid) for a week. From that group they would choose who to hire. My co-worker always remarks about how great of a process it was. However they were also only ever hiring for one or two positions a year. When you're trying to hire as many qualified applicants as possible, these kinds of in depth interviews just aren't efficient enough.

So the negative cost of hiring a bad applicant, in addition to the problem of trying to hire as many people as possible with minimal cost leaves us with interview techniques that don't cater to everyone. But they do do a good job of weeding out bad applicants, even if that does mean passing on good applicants.

Now I'm not saying this is the right way to interview, I just think this aspect is commonly left out of these discussions.
Disclaimer: These are my views. Not my employer's.

I currently work for Pillar. I met Ray for the first time fairly recently. He seemed like a smart, passionate developer and it breaks my heart to see him having such a meltdown. I've had my own sleep issues and the last company I worked for seemed to be talking out of both sides of their mouth. I understand what that can feel like. It's a really hard thing to go through. I would also say that when you're barely sleeping at night, you make poor decisions and start to look at the world through a warped lens.

Yes, the company is goofy. The CEO can be a bit of a blowhard, the titles seem kitschy and uninspired, and there's a lot of self-congratulatory aggrandizing that goes on. It's a consulting firm. It's not surprising.

But the people are excellent. Imagine an oasis of nerds (okay, maybe don't) that really care about software quality in the center of a market that needs a lot of help. They're committed to education, community involvement, and each other. It's really pretty great to work here.

That is, as long as you don't get it twisted. On time and under budget still matters. Perceptions still matter. Politics, expectations, and realities are all things that you're going to have to deal with no matter what. Your ability to balance all of these things is part of what makes you effective at your job.

I don't know the particulars of the circumstances that led to his termination. I don't really want to know them. It would be irresponsible to postulate. However, I can say that I'm disappointed with the way that he's chosen to move on. It's good for no one. I see a thoughtful developer burning bridges in public.

That can be cathartic, but at what cost?
AlphaGo and what it means for our future
So this does pretty much amount to population control

From the POV of an outsider or a different species, would any entity care about the difference between "effectively/pretty much" and what you deem to be "actual" population control?

I doubt it.

So basically, you haven't been disagreeing with me, just splitting hairs on what the words "population control" means. I'm using a more generic criteria: Is the population controlled?
A difference is that humans can report their subjective experiences directly (i.e. "I feel anxious") whereas animals cannot. It's not dispositive, of course, (would a p-zombie report that they feel anxious?) but it makes a big difference.
Switzerland has been placed on a US watch list. I imagine the Swiss are absolutely sh#tting themselves now.

That'll teach those cuckoo clock making, tobelorone chomping terrorists.

However one thing in the Swisses favor, they do actually make surprisingly good suits. I recommended the Strellson brand. A bit like Hugo Boss but half the price.
"a vulnerability in Slack bots" should really be "a vulnerability in Slack bot developers"

This isn't a slack specific issue, and it seems silly that its getting the attention that it is, just because of the word "slack"
What would stop them?

EDIT: @sohailk, think you're missing the point, which is not if it's logical, but what literally would stop them from doing this?

(Hardware, legal, etc.)
I'd bet there is some exercise intensity threshold step function at work.

The article says exercise is, "only around 10 to 30 percent [of total energy expenditure] depending on the person (and excluding professional athletes that workout as a job)," implying that when you are doing lots and lots of hardcore exercise almost every day, it will use up a greater percentage of calories.
The app looks cool but it doesn't really do much (not that I need it to do anything).
When you call Rackspace, you will probably get an entry-level person. That makes sense, since answering calls all day is an entry-level task. If necessary, the call will be escalated as high as it needs to go, to meet the need.

When you call AWS, Digital Ocean, or Linode... just kidding, you can't call them, at least not without paying at least as much as Rackspace.
The "can be shutoff at any moment" problem is a huge problem for just about all hardware startups these days. Such huge reliances on cloud services. It's ridiculous.
Bay Area traffic ignites backlash against boom, new poll suggests
What was your daily diet like?
Semi-trucks are generally not allowed in the left lane on the freeway, and the right must be a nightmare of merging for semi-trucks in traffic.
Anaerobic exercise increases post-exercise oxygen consumption more than aerobic exercise.
"how do we deal with all the corpses from all the pestilence we're having".

There is still no guarantee we won't end up in that situation again.
Yes, federal magistrate judges.
John Mauldin and Worth Wray are two really strong voices for the high yield debt problem. I have learned an incredible amount from them and trust them far more than Zero Hedge on such topics. ZH is the frontline pulse but if you don't want to have to filter out 85% of the crap, Mauldin and Wray are excellent sources.
That's a naive look at losing weight and overall health though. High Intensity Interval Training(HIIT) is one of the most effective approaches to trimming.

http://www.exrx.net/FatLoss/HIITvsET.html

http://www.exrx.net/WeightTraining/Toning.html
A whole hour for "10:00 to 11:00: Background and context"? That sounds very inefficient. Interviewers need to be able to explain the context and background in about 5 minutes.
Removing even more factors have found that gap diminish even more. In some cases, looking at young adults with college educations with out children (with some other factors also made equal), they found that women out earned men.
When women take over, does it grow the number of people in the field? If so, does pay drop because there are more people willing to do the same work?
https://en.wikipedia.org/wiki/Hard_problem_of_consciousness
Like how I get a popup notice on my Samsung TV every few days about they're shutting off various apps like Skype on their smart platform?

$35 is about the right amount of money a smart TV enabler.
The whole point of the article is that the traditional "calories in/calories out" model is wrong.

"Based on the research, Pontzer has proposed a new model that upends the the old "calories in, calories out" approach to exercise... He calls this the "constrained model" of energy expenditure, which shows that the effect of more physical activity on the human body is not linear."
OnHub runs (effectively) ChromeOS and self-updates, so in theory Google could send an update that bricks it but they'd have to be stupid to invite that class action lawsuit.
Can a $24B Hedge Fund Blow the Whistle? Citadel Thinks So
Why I Care About Cut to Libraries in Newfoundland and Labrador
Changes in prices are taken account of in the GDP calculation.
And lead is a lot more expensive than rocks.
Given the comments in this thread, it seems this is an insanely difficult concept to grasp. It's like the notion just bounces off Teflon.

But ... but ... but John is working 60 hours a week for his $60K, and Jane puts her foot down and doesn't work more than 40 hours! She's not as committed! She doesn't want it badly enough! She doesn't deserve to be paid $60K when she's working 20 hours less!

So Jane gets punished because John is a dumbass who lets the company steal 20 hours of unpaid additional labor. Can't have John thinking about that, though, so Jane gets a pay cut because she's not "working as hard" as John.

But ... but ... but John just negotiated better/harder/longer/more successfully! It's Jane's fault she's paid less. She's just poor at negotiations.

Bullshit. If ever there was a reason to eliminate salary negotiations, this is one of the stronger cases. Just fucking pay a set wage for each position in the company. Make it known. Enjoy there being no wage tension or envy in the workplace. Be proud you've eliminated any chance that your team members could even entertain the notion you weren't valuing them equally and fairly.

Oh, wait. That's stupid. Instead, let's argue about just exactly how much less women are paid—but as a whole, cos it's really nasty when we start breaking the pay gap down by ethnicity. Cos it's so productive to argue about the rules for quantifying the pay gap than it is to just start and stop at the simple rule that there shouldn't fucking be one.
Trump University and the art of the get-rich seminar
Your question rests on the assumption that it's "my" router, since it's a piece of physical hardware that I bought, and that it will continue to function after they shut down the cloud-based features that they used to lure customers in and justify the price tag.

Past experience - most recently with Revolv - suggests that your assumption is wrong and Google has no problem bricking the device instead of letting it function without cloud support.

In other words: When Google shuts down a product, it's 100% shut down. Hence, I cannot understand why anyone would buy non-throwaway hardware from them.
There is startup near me called losant[1] that pretty much does this. Their protocol is basically MQTT with a few small additions so if they /did/ shut down it wouldn't be quite as difficult to get up and running.

Unfortunately all of the neat IFTTT style stuff is all on their servers. They don't have nearly as many inputs and ouputs as IFTTT yet, but it is still enough to do some pretty neat stuff. They have also made it really easy to do reasonably secure stuff with your own electronics.

[1] Kind of difficult to find, because the just changed their name. http://losant.com
common sense? locking down unnecessary software features is bad but not gamebreaking. locking down hardware would just be crazy.