skysight-inc/HackerNews huggingface dataset:
"Universally understood" shouldn't be true for this. I've known a number of people who were on diets to gain weight for medical or self image reasons, and it's known still known as a diet.
> Thomas Sowell is a hack, essentially bought by conservative/libertarian interests to give them a less racist appearance.

You can disagree with the guy's arguments and ideas but calling him a hack, an Uncle Tom, and bought out is just blatant defamatory lies. It certainly doesn't further productive discussion in any way about any of the claims he ever makes.

Also Pinker is not endorsing Thomas Sowell, he was asked what author is the most underrated. For instance, if you asked me who I thought the most influential thinker of the 19th century is, I would say either Nietzsche or Marx, that doesn't mean I endorse everything they ever wrote or stood for.
I did that too - I made sure to get my protein (via protein shakes), but after that just ate what I wanted. I developed the same habit too - I ended up restricting things like rice or pasta because I'd rather "spend" those calories on an ice cream cone.
I won't tell you that you're wrong. I can't prove what I'm about to suggest. But I want to suggest it as a possibility as to why you shouldn't say what you just said so confidently.

Imagine if certain foods caused the body or brain, through a very complicated process, in the long term, to hold on to calories and store fat. This would end up making people feel very low energy and have strong cravings to eat more.

And the counter to this would be that if you ate the correct foods, your body or brain's long term energy balance will function properly and not hold on to calories, feel energetic, burn excess fat, and not feel very hungry.

From the outside point of view, you could just look at the calories in and out and say that it's obviously the most important factor of weight loss. You could just blame the person for eating too much and moving too little. But if what I described is actually happening, then that wouldn't be good advice because that's not the root cause of the problem.

What I suggested is very possible and has not been ruled out by science.
Being able to set it up as 10TB with 3x the life would be even better, because it makes other write-intensive applications feasible with an SSD, with the firmware handling the wear accounting in the background.

ETA: Specifically, having the option to do so, and having it happen transparently in firmware.
Wow, I played around with this more. An active 6' 195 lb man gets the exact same recommendation as 5' 50,000 lb (Yes, fifty thousand pound) woman.

You're not actually doing any analysis or customization are you?
Occasional annoying ads, but 25 of his photos, many of which I recognise:

http://www.nydailynews.com/life-style/remembering-iconic-pho...
Humans aren't robots. If humans had infinite willpower and could simply do whatever they decided to do then the world would be a much different place. It's easy to get rich if you have infinite willpower. Easy to get in shape. Easy to climb mountains, run ultra marathons, cure cancer, swim the English channel, sail around the world, and so on. With enough willpower.

But that's not how humans work. If you have to choose between two diets with equal caloric intake but one of them is easier to stick to, then that one will be in practice a much more effective form of weight loss. You see a lot of people go on diets in January, you see a lot of people in the gyms in January, all those new years resolutions. And a lot of those folks seem to be very serious about it, they spend a lot of time in the gym, they put in a lot of effort. But this is one of those tortoise/hare situations. A modest diet/exercise regime that you can stick to for the rest of your life is far more valuable than one which is more effective on paper but won't be adhered to in practice.

Additionally, the thermodynamic argument (calories in vs calories out) is only mostly true in broad strokes, as a trend. Sure, if you eat few enough calories and do enough exercise you'll lose weight, and if you eat too many calories and do too little exercise then you'll gain weight. But within the boundaries there is a lot of complexity. There are regions where what you eat, the composition of your diet, and the kind of exercise you do will tip the balance one way or the other in a region of maybe a few hundred calories or so a day, and that too can make a big difference in how easy it is to maintain a diet or exercise regime and how effective it is.
Microsoft's Active Directory Team Taps Blockchain for Identity Security
For real, good grief. Telescopic lenses and office windows also exist.
So maybe not "fuck IntraExon," so much as fuck everybody who isn't so vigilant?
At http://www.mathematica25.com/ you can see that the notebook front-end was in Mathematica in its first release in 1988.

One of the images from 1987 says "The Mathematica front end begins to take shape…" and "(Theo Gray invents cells and groups … and other things still seen today…)".
It's an easy thing to fear. It's another thing to actually demonstrate this is happening in a measurable, widespread fashion.

FWIW most of the people I've met on disability probably deserved to be on there, including people I've met with severe mental illnesses. I'd posit there's more of an empathy gap here than anything.

You need more, less-biased samples!
Yes! Absolutely and other factors from oxygen radicals to light exposure.

To address the difference between our formulation with liposomal vitamins, the difference is in the formulation of the vitamins working with each other not in the encapsulation. For example, most of packages includes Vitamin D3, calcium, and Vitamin K because calcium and vitamin K helps increase the uptake of Vitamin D3 through interactions with vitamin d receptor.

Ideally, we want to find manufacturers that produces liposomal vitamins, but haven't found any that doesn't use other fillers such as starch and sugar as well. Also not all supplements require an encapsulation process. The rate of vitamin C degradation is the fastest, hence why most vitamin c on the market is sold with liposomal encapsulation.
> Seems like maybe this is all just a clash between formalism and how languages work in practice,

I think you missed the word “broken”, before “languages”. Sums in Standard ML are really sums.

> similar to how it's nice to just pretend that computers work on real numbers instead of floats.

Computers can totally work on real numbers. (Okay, not all of them. But way many more than floats allow.) For example, you can implement an abstract type whose internal representation is Cauchy streams of rationals, and only provide operations that send equivalent streams to equivalent ones. Of course, this would be horribly slow, and few people actually need exact real arithmetic anyway.

> In this case, maybe you'd need to pretend that JS works on values rather than having object identity.

JavaScript does work on values. The values are the object identities.

> See the link at the bottom for what I think foo and bar would be in TypeScript. I'm curious if you see specific weaknesses in it.

You anticipated it yourself:

https://www.typescriptlang.org/play/index.html#src=type%20A%...

> Do you view (say) SML datatypes as being valid sum types?

Yes. On the other hand, Haskell's aren't, albeit for different reasons than the ones given in this thread.

> I'm having a hard time understanding when SML types would be strictly more powerful/expressive than TypeScript here.

In Standard ML, type abstraction actually works. You can hide the implementation of an abstract type, making it impossible for others to destroy the invariants that you worked so hard to establish. Or at least should have.

See here for why union and intersection types make type abstraction difficult: https://news.ycombinator.com/item?id=16399722
New category for IOCCC: 'Tweetable'?
The primary place I heard it was Hackernews broscience. Till now I even belueved it.
All you need for setting up a Clojure web project is a copy of the JDK and Leiningen. With that in place you just do:

lein new luminus myapp

and you're good to go. This will create a new instance of the Luminus (http://www.luminusweb.net/) tempalte that sets up all the boilerplate with reasonable defaults.
Show HN: A better git blame
On the left sidebar at the start you can modify the number of URLs crawled per second if that helps!
I love the term "reproducible computational narratives" from their post. This is a great step toward making software accessible for everyone. In addition, imagine how transparent governments and open source communities can be by helping explain the algorithms in use with a clear provided sense of understanding for everyone. On the project level, it can be useful for keeping it simple. It's all good stuff!
Just saw that. I'm so used to no transcript, I didn't look.
My first hard drive was a 20 MB monster in an 8088 "laptop"; my computer prior to that had 180K 5.25 floppies, so I thought I'd never run out of room...
Did they ever release any substantial information in that regard? The video just shows a few cars slowly driving around empty streets with barely any snow.
TFS 2018 Update 1 RC is available
Our vitamins cannot be injected at the moment since most isoforms of vitamins are usually in an inactive form that requires absorption through the gut.
New Crypto Exchange Starts First March 2018 for Trading
This has been a long-standing theme in this forum (HN). I've participated myself.

Of course the arguments to physics are true. But they are largely irrelevant. Its not the truth that's going to help people.

People eat too much, not because they don't know better (and physics! will teach them), but because they have some behavioral issue that prevents them from doing the good actions repeatedly.

It always ends up here: "Just don't put the calories in your mouth. That's all you need to do." Which would be true, if food and eating were entirely volitional. But its an emotional need, a very fundamental one.

Imagine saying "Just put the gun to your head and pull the trigger. That's all you need to do." While its undeniably easy, most of us, because of emotional needs to survive and avoid pain, would find it very, very hard to accomplish. (Not saying a gun-to-the-head loses weight; just comparing an easy instruction with the accompanying difficulty in performing it).
I wonder how many of us have onion shells of data on their harddrives.

Being lazy means to just copy the full old drive onto the new one, including images of nested older drives.
> Now, If you are teaching programming in it self, I think the terminal + text editor is important since that is a step towards how things are done irl.

Jupyter (and similar) Notebooks are a way things are done "in real life"; they aren't just for entertainment purposes; and JupyterLab blends that into an IDE and the IDE with notebooks approach is also a way things have been done "in real life"; both with third-party tools incorporating Jupyter (and earlier IPython) notebooks, and with other IDE's incorporating notebook-style interaction.

Which isn't to say that there aren't arguments for teaching program outside of the notebook environment rather than within it (though the notebook is kind of a super REPL, and REPLs seem to me to be great tools for teaching), but that not using notebooks is better because it is how things are done "in real life" is just taking a highly selective view of real life.
Chrome extensions are used here as the method for injecting CSS, but there are other possible ways to inject such CSS.

e.g. ads.
We've updated the title, thanks for getting in touch!
Your suggestion would be wrong because your analysis is faulty. The land is useless without skilled people to operate it. What the skilled people have done is divide the labour which has created machines that farmers can use. The trouble is they can produce enough for themselves and their machine makers by the end of Tuesday. The challenge for the rest of us is to provide something of value to the farmer so they will work the rest of the week and create an exchange surplus.

Rentiers are just the current solution that forces farmers to work til Friday. The problem is that trickle down doesn't work.

Land value tax just makes everybody rentiers and racks off the farmers because they get nothing of exchange value in return for their week of labour.
Your comment reminded me one of the essays of PG. http://paulgraham.com/power.html
Although I agree with you in general, I think it actually can make us smarter if some piece of code requires us to think on it to internalize.
Use 'git bisect' or some similar tool to walk back and find the point where the lock file change triggered the bug?
Almost everyone in the Netherlands is driving without. Should give a good comparative analysis.
Clearly not enough.
Your website claims that the "elixirs" are made in San-Francisco but you fail to mention the origin of the vitamins. Anyone can go on Alibaba and buy this stuff in bulk ship it to California and claim that it was, made "unique to you in our SF lab".

Everything about this product sets off red flags; no mention of sourcing, zero certificates of analysis and no peer reviewed research.

The "science" section only covers 'freshness' and 'personalization'.

This seems like a stat padding exercise for YC.
I was not insinuating anything in particular, merely pointing out the vast differences in the cultures and, to an important extent, their inability to reason about each other in a constructive way.

As I said, the clash would have been hard to prevent. The biological consequences of foreign diseases are an important way things wouldn't have been other than tragic.
Not at all--unless you consider building an entirely new product from the ground up a re-brand.
Installing Google Play Services in Genymotion Emulator
We did in 2014 a rewrite of an API that was in SQL Server for MongoDB along with asp.net. It was very good, very fast and very satisfying. This was my first professional contact with mongodb.
I had the good luck to be able to ask Terry Pratchett once which writer he most admired. He said "Elmore Leonard" immediately.

Every rule can be bent and broken, if you're good enough. And sometimes you do have to mention the green antennae protruding from your character's head. But you can find some of the best science fiction authors sticking to the general shape of these rules. Kurt Vonnegut springs first to mind. John Scalzi is another master of this style of writing. And while he's not a science fiction author per se, Terry Pratchett shows a lot of Leonard's influence.
Yeah, this.

You want reproducible builds? Vendor your crap. Check it into your repository. Live free.
Auto log-off
What is the deal with sites the automatically log you off after a certain period of idle time?

It is ostensibly a security feature, but I find it annoying as hell. I log onto secure sites using a computer that I control. How does auto logging me off make me more secure in that case? If someone is too stupid to log off their online banking account when accessing from a library computer then maybe they deserve to have their security compromised.

Does anyone have any insight as to the motivation behind this dubious feature?
I’m keeping a journal as I go thru the class that I plan to publish at some point. I’ve just gotten to some meaty parts and I can say I’m impressed, but you’re right, I’m not a success story (yet). We will see!
The NAND channel count within SSDs is usually limited by a combination of the host interface bottleneck (no point in using 64 channels if 12 is sufficient to saturate the uplink) and by the cost of increasing pin count on the controller (a current 32-channel controller is a 1517 ball BGA). Increasing the channel count also adds to the power draw, and most products try to stay within 25W maximum.
The market doesn't want products advertised this way. Setting up a 30TB SSD as a 10TB with 3X the endurance is an easily solvable issue in host software. But selling a 30TB as a 10TB, while demanding 3X the price of a 10TB despite the high endurance is a gargantuan challenge
Isn't it multiple billion dollar exits?
This is a very good question. The github project README does not say anything about the issue with the extensions. Does it also work in a regular page? Weird.
> Businesses and investors love SaaS because the economics
> of SaaS are impossibly attractive relative to selling
> software licenses.

I would be careful and not over-generalize. The statement above is opposite of what many late stage investors think of SaaS companies. Their gross margins tend to be horrible. Some are basically in the business of being an intermediary mailbox for transferring money from their customers to AWS.

Sure, if you can charge, say $1 for processing one Kb of data, you'll love being in the business of selling SaaS subscriptions. But it's not always the case: for many SaaS companies selling more and more subscriptions means constantly re-writing (AKA "scaling") their codebase, maintaining a large and expensive ops team and dealing with ever-growing AWS bill. Some SaaS companies only have ~10% of their R&D allocated to evolving the product, the rest are struggling keeping it running and it's not cheap.

Compare that to selling a recurring subscription to a downloadable license file. Stripe is a great fit for SaaS, but TWLO will have to face a much tougher reality than MSFT had.

SaaS can be awesome, or can be hell, take it from a co-founder of Mailgun.com

Stock market seems to agree: the 1st wave of software explosion produced lots of highly valued tech giants: MSFT, ORCL, etc. The current crop of public SaaS companies pale in comparison, the new giants don't sell SaaS, they sell ads.

P.S. The billing model is very loosely related to how a software is delivered. Look at Adobe who're happily selling monthly billing plans for good old photoshop.
What happens when an app company runs a bus
As many have pointed out: The most injured party in any illegal antitrust behavior generally is a competitor. It's never been a secret that both Microsoft and Oracle have been involved in funding these efforts, and that doesn't change the fact that the cases have significant merit, and that the EU is right to pursue them.
I know, which is why I asked for some clarification. I actually think haskell is able to directly implement CT, there is HASK category after all. If it's that this is too pretentious to even mention in HN, then I'm completely lost.
61,6682.38

Source: http://www.justintools.com/unit-conversion/area.php?k1=squar...

After you posted that, I just had to Google it. Crazy that someone has thought of it.
If there is neither GOPATH nor vendor directories, where will the downloaded packages be?

I digged vgo a bit and found the downloaded packages currently reside in `$GOPATH/src/v/cache`, and seems like vgo won't work without GOPATH for now (https://github.com/golang/vgo/blob/b6ca6ae975e2b066c002388a8...).
Can I give you my genome? Or will I be able to reproduce your methods from this site?
They never did an straight adoption like Tarantino did, but almost every Coen bros movie uses the same tropes as many Leonard novels:

- Incompetent criminals (organized crime and / or desperate ordinary people) drive story
- Kidnapping or ransom
- Things go south, bad guys ruin themselves when things get too complicated
- Attention to natural dialog and story progression over grand metaphor or symbolism

In terms of the Coen bros / Cormac McCarthy comparison also mentioned, I'd say they were drawn to that one McCarthy novel because it fits all the same tropes.

McCarthy can be super metaphorical and poetic, but there's an extreme simplicity to his work at the same time, especially in No Country for Old Men.
> I'm not sure regulation is to blame for megacorp monopolies. When you have so much money that you can bury any competition, and buy up all the regulators, regulation is effectively useless.

It's not just useless, it's actively harmful. The regulations are created at the behest of the megacorp to harm prospective competitors.

The problem is we can sit here and agree that we need better regulations, and call Congress and tell them to pass better regulations, and then a 5000 page bill comes up for a vote. Normal people don't have time to understand what's in it, but megacorp's lawyers do. So if it's something they like it sails right through and if it's something they hate they pay for a truckload of sand to be poured into the gears so it never goes anywhere.

So the alternatives are A) "have megacorp's preferred regulations" or B) "stop federally regulating that thing" and there is no third option on the table. Which do you choose?

"Get a third option" would be great, if anybody knew how to actually do that. But every time anybody has claimed they're going to do it in the last century or so we just end up with option A instead.

It'd be great if we still had Teddy Roosevelt in there, but we don't, and he's not even on the ballot.

> It seems having too much money/power is the real problem. Regulation can only stop bad behavior if regulators have more power than the regulated. That can lead to a stagnation of innovation though.

Fixing this tends to have counterintuitive solutions.

People are always talking about "the 1%" as if the problem is people, but the main problem is really corporations. There is no natural person with more money than Apple Inc.

And the biggest reason for that is that we have a tax system that rewards huge multinational corporations hoarding cash. The only reason the shareholders don't demand their take of the profits is that they know that actually taking them causes a large amount of taxes to be due to both the company and the shareholder. So they take their gains as share price appreciation, which has preferential tax treatment but leaves the huge pile of money inside the corporation.

There are two main things needed to fix that. The first is to replace corporate income tax with VAT, so there is no more incentive for corporations to hold money offshore. And the second is to defer taxes when dividends or capital gains are immediately reinvested, so that an investor who takes profits from a megacorp and invests them in a small or medium business doesn't immediately owe a bunch of taxes, when leaving the cash in the megacorp wouldn't.

The problem is both of these policies will inevitably get characterized as helping the rich, even though their effect is to eliminate the relative costs of moving profits from megacorps to smaller businesses.
There are a lot of sites where you wouldn't need to inject the JS code for react though.
Take all the millions (and more) from them leaving them only the amount of money necessary for humble survival (a cheap room rental and mediocre meals) and give the money back to the victims.
> it depends on some js code updating the dom for each key press

Like React with JSX?
You can derive all other math branches with CT, so yes, it is more abstract. It is "higher level" (in the same sense of programming languages) than other maths.
Yes, but it does demonstrate show that armoring up bike riders isn’t the only sane option (we could improve our bike infrastructure and give them more priority).
Python for Financial Analysis and Algorithmic Trading
They're trying to say it's not while also saying it's an "upgrade".

I guess it is a new major release of HipChat (with re-architecting) and re-branding. Same lead (Steve Goldsmith).

Unless an insider tells, we won't know I guess :)
It seems it stagnated. There wasn’t a real competitor to it until Slack turned up and developed a fantastic integration ecosystem (I don’t think there would be such a focus on conversational UI were it not for Slack, whether or not they intended that). By that time it was already too late, HipChat is old school, Slack is the new hotness.

Anecdotally, anyone working in a startup with an opinion on design will know how shallow a judgment has to be to switch to a competitor. App is functional but has 2008 design? The less functional equivalent with 2017 design is better because it looks up to date