skysight-inc/HackerNews huggingface dataset:
Which could be, as the GP said, a static site generator, blogging engine, ePubs, etc.

If your one-line intro for anything includes the word "system", stop and rewrite. For example:

Pollen helps authors create beautiful and functional web-based books that are written as programs that generate HTML.

Never-have-I-ever seen anything that confuses "feature" and "benefit" so much as this project. Why do I want my next book to be a program? A 20-minute video explaining it is almost condescending.
Why not? You could accept your point 3. as a theory, yet to be proven. Your point 2. is simply a necessity to show that the theory makes some kind of logical sense.
I might be a minority here but I get really bad headaches from diet soda.
It's not that inconvenient, though annoying. Well over 90% of the paywalled articles are from the same handful of major sites with known, standard workarounds. Considering the quantity of articles we look at I'd be surprised if we weren't going through it more than anyone else here.

I haven't gotten around to adding this to the FAQ yet, but will.

Flagging an article that's otherwise good for HN, purely because it's behind one of these semi-paywalls, is not an ok use of flagging. We revoke flagging rights from accounts that do that.
Experiments in automated lobbying and artificial politics
As someone that uses Microsoft's STL, I just wanted to let you know I appreciate your work. Stepping through the STL (whether on purpose or via accidental F11 instead of F10) has made me a better programmer. I mean it sincerely!
Try the contests over at http://www.namestation.com/contests
> desalination (at great cost)

Desalination for human consumption isn't a huge cost. It's only huge compared to the current incredibly low cost of agricultural water.
While you will be able to interconnect GPUs with NVLink in ~2016, the first CPUs supporting it won't be until 2018/2019.

We will be releasing benchmark data when we have first silicon back next year. As of right now, our numbers are based on FPGA prototype implementations.
CS for All
There is no variability in fiber absorption. You cannot digest fiber.

Your burn rate doesn't drop below your BMR.

Basically there's lots of variability when you are eating more than your BMR- you could gain weight, or you could not.

But when you eat less than your BMR, you have a calorie deficit. Period. It doesn't matter if your digestion is working well or poorly, or if you exercised or if you didn't. You have a deficit.

As for nutrition labels, I'm not aware of any hidden calories that aren't counted in the label but will be digested. Like I said, humans cannot digest fiber, at all.
At least in California there are new state laws prohibiting HOAs and municipal governments from fining or otherwise preventing homeowners from conserving water. Sounds like Nevada needs to do the same.
Did you register the domain name before their trademark ? There are several ways under the Uniform Domain Resolution Policy whereby they can come after the domain name. https://en.wikipedia.org/wiki/Uniform_Domain-Name_Dispute-Re...

To answer the other question posted to your question. Registering a trademark in an attempt to take a domain name from someone else is know as Reverse Domain Name Hijacking
https://en.wikipedia.org/wiki/Reverse_domain_hijacking
Out-Lazying Your Roommate
Not FUD at all. Pointing at a system doesn't provide any evidence that proofs are prevalent in industry. Check out:

https://chess.eecs.berkeley.edu/hcssas/papers/Cleaveland-pos...

> Although formal proofs of correctness are (rightly) touted as providing superior guarantees to those of testing, DO-178B makes no mention of formal methods, except in an Annex given over to techniques deemed not yet mature enough for certification purposes.

Or http://ti.arc.nasa.gov/m/pub-archive/1023h/1023%20(Denney).p...:

> In principle, formal methods offer many advantages for aerospace software development: they can help to achieve ultra-high reliability, and they can be used to provide evidence of the reliability claims which can then be subjected to external scrutiny. However, despite years of research and many advances in the underlying formalisms of specification, semantics, and logic, formal methods are not much used in practice. In our opinion this is related to three major shortcomings. First, the application of formal methods is still expensive because they are labor- and knowledge-intensive. Second, they are difficult to scale up to complex systems because they are based on deep mathematical insights about the behavior of the systems (i.e., they rely on the “heroic proof”). Third, the proofs can be difficult to interpret, and typically stand in isolation from the original code.

The situation will just get worse as we increasingly move away from hand written logic to machine learned logic. Now, there is probably a place for formal methods in this newer order, but it will take awhile for researchers to find it, and it is definitely not going to be at the level of verifying hand-encoded logic that doesn't exist.
> at least they answer to the end user.

Yes they do. Just don't forget that the end user is the advertiser. We poor schmucks who type text in the search box are the product.
There's no such thing as post-PC
Ah, thank you for that. I didn't realize site-specific shorteners like youtu.be were banned.
Cities as Platforms
It seems US-culture centric. I'm French, I find there's much less of a push against girly things in my youth, at least compared to the US depicted in movies. I've heard people in US sometimes say "Either he's gay either he's European", is that true ;) ?

However I felt similar things. My first long term gf dumped me 50% because I wasn't manly enough. I also praise equality and hate dominance. I also turn to my friends for advice and sharing, which isn't manly either. I'm sensitive, which bosses don't like. I'm absolutely not effeminate, by the way, but relationships work much better since I date men.

But deep inside I have a secret. I'm straight. And I can say if you show feelings, society won't accept you as a hetero.
It's far, far easier to end up obese on a diet high in cheap carbs than it is one high in proteins, or even fats.
I don't work for MaxMind and I'd recommend it too.

A couple years ago I worked on a project that involved processing the "Internet Census of 2012" data.

The MaxMind DB format was a fast, efficient way to store simple data keyed on IPs and subnets.
That's a very good thing to keep in mind when reading any complaints on the Internet and using them to gauge sentiment about a thing. Folks who are happy with a thing are far less likely to take the time to write up their experience than those who are unhappy.
In fact there is substantial evidence that a sugar calorie is not the same as any other calorie -- that fructose is metabolically toxic in large doses. I recommend watching the well-known Robert Lustig video "Sugar: The Bitter Truth" [0]; if you prefer reading, here's an article [1].

To give you a TL;DR I'll quote from [1]:

In animals, or at least in laboratory rats and mice, it’s clear that if the fructose hits the liver in sufficient quantity and with sufficient speed, the liver will convert much of it to fat. This apparently induces a condition known as insulin resistance

[0] https://www.youtube.com/watch?v=dBnniua6-oM

[1] http://www.nytimes.com/2011/04/17/magazine/mag-17Sugar-t.htm...
He claims they are looking for people who spend their money efficiently. Signs to me like this ad is getting more band for its buck than other ads. Signs efficient to me.
It's best not to go to health sites to discuss IT practices and startup culture, and it's best not to go to HN to discuss health- and medicine-related stories.

Both communities are full of people who may have substantial expertise in their own fields, but who also enjoy pronouncing sweeping and groundless religious edicts in other fields that they don't actually know anything about.
No just no.

They've come up with a hypothesis by making observations and guessing. If the hypothesis is also falsifiable, then it is definitely how the scientific method works, since we can now run experiments to determine if the hypothesis is false. The scientific method doesn't say much about how hypotheses are formed, just in how they are evaluated.

Now we can argue about whether this can be falsified or not, and that is legitimate. Bad science would be not taking that step or doing that step badly.
I love a good free service where the data quality is improved. I have played around with maxmind's service a bit but the data for India is far from accurate. I have been hunting for a local database (no service) since
I run a IP lookup service http://ipof.in where I want the service subsumed in. This is a free service for anybody who uses it. It supports XML/JSON and plain text.
I Need a Bot to Increase Downloads in Google Play Store – Possible JV
I'm looking for someone with the ability to create a bot that will increase my downloads and comment/ratings for game apps in the Google Play app store. I need the ability to generate enough bot downloads that it takes the apps higher in the ranking, which will then begin to generate organic traffic once it's a higher ranked app.

This could be a very lucrative partnership for the right person.
At the end of the article, the author mentions how we could possibly find other designs of mathematics. Well, some people already have!

Some mathematicians did not like the law of excluded middle, which states that for any proposition A, either A is true or A is false. So they invented intuitionistic logic, which is normal logic without the excluded middle, and started rewriting mathematical proofs in this new system. Turns out there's a lot of stuff you can prove in intuitionistic logic.

Some mathematicians did not like the axiom of choice. One of the consequences of this axiom is that every subset of the real numbers has a least element according to some ordering. Think about it, what is the least element of {1/n : n >= 1} ? Who knows! So what did they do? Some people found it so weird they either replaced it with a weaker axiom or a contradictory one.

There's even syntax arguments in mathematics! What's the derivative of a function f? is it f'(x) or df/dx ? Is multiplication represented by a dot (.) or a cross (x) or by a juxtaposition of expressions?

Sometimes we use big existing proofs in the middle of a proof to save time. And sometimes we use the big proof to prove something far simpler than the big proof. This creates a big dependency and some people dislike hate these dependencies because the reader of the new proof will have trouble understanding the proof completely. It's like dropping in some magic in the middle of the proof and saying: "if you want to understand this proof completely, go read this other 50 page article" Sound familiar? Some mathematicians hate this so much they insist on proving things from the ground up whenever possible so that the proof is as comprehensible as possible. This is the mathematical equivalent of dependency management.
I'm pretty sure it all feeds into the same system... as do things advertised as healthy lifestyle choices. Fruit smoothies are probably about as bad as soda (except you get a bit of fiber, and some micro-nutrients) in terms of the affect on your blood sugar. HFCS is only part of the problem...

The bigger thing is the human (and all, really) body is complex and varied. A lot of things play into the nutritional needs of a person. We've also had a lot of migration and mixed heritage the past couple hundred years, much broader and deeper than any point in history before it. It usually takes some time for a society to optimize for certain food sources.

Even then, we have some vary diverse cultures coming together (and I do love great fusion foods)... Combined with mixed family allergies, and a lot of mono-crops and ever limited diets by huge swaths of society. The body does adapt, as it stands though, most people are too sedentary (myself included)...

Once metabolic syndrom sets in, it gets very complicated... I'm at a point where a bit of heavy starch (bread, pasta) throws me off for a couple days... many grains will mess me up too... if I have more than around 100g of net carbs a day, I have issues. Most people have way more than 100g of just sugar any given day.

The "food pyramid" is mostly lopsided.. and subsidies mostly push some of the worst things for us. In general, we get too much grains, more meat than needed, not enough vegetables and fruits (I mean the likes of peppers, tomatoes, squash and cucumber here)... far too many heavily refined foods (from vegetable oils that are really unnatural, to fruit juices). Many people don't gain weight or really show it, but are just as unhealthy from their diets.

I'm really bad at sticking with what works best for me... because I like pasta, and bread, and rice, and potatoes. I just know I shouldn't have them anymore, and when I do (a couple times a week) I really feel it. Not to mention that even if I go weeks with really minimal carbs/sugars, my body is really efficient with gluconeogenesis and starts creating a lot of keytones, which has its' own issues.

It all sucks. I'm over 350#, and excercise is all but impossible with my bad knees... it's all I can do to not gain more weight. Since starting Invokana, my weight and blood sugar levels are at least stable (but elevated), but getting farther is difficult to say the least. I wish I know a lot of what I know today a few decades ago... I would have never started drinking "diet" soda, which is way worse in a lot of ways, and also would have cut most of the carbs back when it would have made more of a difference.
Hey, there's an idea: seize water rights through eminent domain in the drought-afflicted parts of California and auction them off to the highest bidder!
Mytrafficnet
Actually not. The fructose is indeed the problem, but HFCS contains only slightly more fructose than sucrose (table sugar) does: sucrose is 50% fructose, HFCS is about 55% fructose.

In sucrose, the fructose and glucose are chemically bonded together in pairs, while in HFCS, they're just mixed together. But this also doesn't help much; although the body must split the sucrose molecule into its parts in order to metabolize it, this doesn't take very long.
Maybe that was 2 years ago. Most people google the product/service nowadays, so if you have a better product/service, your company might be on top of some .com domain doing the same thing. I think that the .com fever is over.
That is a bit disingenuous. I literally just finished a 15.2KM run and burnt off 1190 calories so I guess now I can eat what ever I want.

Except a Big Mac Combo with a Large Coke is 1580 calories so even that is a bit much of dinner. And it took an hour and forty minutes to actually run that distance, almost two hours in total with getting my running gear on, warm up and cool down.
Please show evidence that replacing high fructose corn syrup with sugar syrup calorie-for-calorie leads to any good health outcome.
The only problem with HFCS is that it's cheaper than dirt.
If this compound truly does "mimic exercise" it would change the world. The average lifespan would skyrocket and we could be so much more efficient due to overall health and almost no time wasted for exercise.
Ask HN: What are the startup in th HPC space?
The only one i can find is Bitfusion.io and it's hard to see from thier website what exactly is their value proposition.
Any successful startup in the High Performance computing space? Why inst there more startup in that space ?
"by actually exercising or practicing calorie restriction"

Ever study I've read about has shown that while calorie restriction works in mice, it has no effect in humans.
If y'awl exercised, you'd know that meat heads have been fiddling with things which do this for ... decades. Almost a century if you count DNP.

http://forum.bodybuilding.com/showthread.php?t=146743673&pag...
> Isn't that what the future C++ is trying to achieve? Simplified syntax?

I think your question was rhetorical, in any case the answer is yes. In fact the proposed C++ pythy syntax tries go even further http://pfultz2.github.io/Pythy/ . IIRC its Clang only. Its author hangs out on HN sometimes and would be able to provide more information
Raigan Harris Raw and Real Boy Friend advice
Another related article: http://www.dailykos.com/story/2015/05/29/1388819/-Judge-disq...

Al Jazeera is investigating and they've gotten their hands on tape recordings: http://america.aljazeera.com/watch/shows/america-tonight/art...
Is there really a lack of IT talent?
I meant to point out formal verification is used in the industry quite a bit (not in aviation alone).

1. Replacing testing with formal verification at Intel (2009)

http://link.springer.com/chapter/10.1007/978-3-642-02658-4_3...

2. Fifteen years of formal property verification at Intel (2008)

http://link.springer.com/chapter/10.1007/978-3-540-69850-0_8

3. seL4: formal verification of an OS kernel

http://dl.acm.org/citation.cfm?id=1629596

There is such a big need that DARPA has even come up with a contest.

http://www.darpa.mil/program/crowd-sourced-formal-verificati...

I could go on, but I would rather not spend my time combating FUD and the general incivility here.
I think it's also slower to trigger the satiety reflex, so people consume more of it before feeling full.

Cheaper and people will consume more? Win! (Well, for someone, anyway...)
> If I could I would redesign internet routing in a way that the webpage doesn't know where a request comes from.

The internet already has that - it's called spoofing a packet.

But in all seriousness - this is an extremely bad idea. Having a unknown source would make it extremely easy for horrible people to do bad things to good people.
http://www.foodpolitics.com/wp-content/uploads/HFCS_Rats_10....

But there's this cool site where you can do all this research on our own, it's called google.com (or scholar.google.com).
Please see section 4.5 of this paper http://www.foodpolitics.com/wp-content/uploads/HFCS_Rats_10....
So having the .com of your name is the equivalent to, in earlier times, banks, churches and police basing themselves in large, impressive stone buildings.

Of course, signalling architecture has become less important over time, and probably the same will become true of the domain name equivalent.
Messaging with RabbitMQ and Python
Also live in Vegas and haven't heard of water bills that high! How frequent were you watering your yard? My total bill with in-ground pool never exceeds $30 / mo.

The HOA thing doesn't surprise me, but would be curious what area / specific HOA.
Location to Timezone would be of value to me. No IP involved, want to map a Google Places / Location City value ~ to a timezone. Would pay monthly fee.
Thank you a million, i reposted my question hopefully i will get some responses this time.
It's less about replacing HFCS with sugar leading to good outcomes than it is replacing sugar with HFCS leading to worse outcomes. Neither is good, but table sugar is (marginally) less bad.
I agree with some other commentators here - I am surprised at this article and it doesn't appear to be up to PG's usual standards. There are trends I believe PG is missing.

Today, we consider the .COM to be the true, authentic, creme dela creme. However, available .COM domains are becoming harder and harder to find, while there has been an explosion in new TLDs such as .ly, .io, .pro, .guru, .camp, .rentals, .pub, .management etc.

More and more, we will be seeing startups and large companies with alternative domain names which they will promote online, in magazines, on TV, etc. It will be common to see alternative TLDs. I wouldn't be surprised if the next Super Bowl had a couple ads which included an alternative TLD. Marketing is about rising above the noise and right now a .PRO is much more noticeable than a .COM.

Many commenters and PG acknowledge that while .COM names are less valuable today than they were just a few years ago, they are still perceived to be very valuable. However, that is less and less true for the younger generation (which is the trend I believe PG is missing). As they grow up seeing ly, .io, .pro, .guru, etc., a .COM will have no more inherent authenticity than any other TLD. Would they really be more attracted to a magazine/tv/online ad with sportsshoe.com than to sportsshoe.pro? More willing to eat lunch at goodfood.com over goodfood.pub? More likely to attend bestsummercamp.com over bestsummer.camp? More likely to download a fun app from puzzle.com over puzzle.app?

As a potential investor, does spending time and money securing a .COM really signal someone's dedication and company strength? Should a startup founder really spend a lot of money to secure a .COM so the company appears stronger? Seems like a false metric.
One 20oz (vending machine size) bottle of Coke per day is 52 lbs of sugar (well, actually high fructose corn syrup) per year. Next time you go shopping, count 10 5-lb bags of sugar. Each and every year.

Ironically, the land for Centers for Disease Control and Prevention (CDC) which is located in Atlanta, Georgia was donated by none other than The Coca Cola Company.
It's a sliding scale.

If the .com is kuicksuperkodderdudes.com, then quickcoder.io is superior. Yes to length of url - if your only option is a .com that is 25 letters long, or a .io domain that is six letters, then the .io wins.

For most of the cases in which a .com ends up being inferior to a .io, it's due to a naming exploration failure. You can still easily find good two word .com addresses today. Unless you've got coder.io or similar.
Thank you a lot, i will sure do :D
Not surprising at all. If someone is not familiar with the notation it can certainly get in the way. Furthermore math notation is very context sensitive, so possibility of confusion abounds.
How to (Scientifically) Pick the Best Company Name
>WHO recommend getting it below 50g, ideally 25g per day.

Really? Because that is how you get into ketosis. That is not just low carb, that is ultra low carb.

I think you may be mistaken. I have been in that range and it is extremely difficult.
Formal verification is used a lot, but it is not a rule and definitely not a requirement by the FAA for aircraft certification. The idea that formal verification would be obviously necessary for the logic of a self-driving car is what was being challenged here. You could call that FUD, but you obviously have an agenda to push, I guess.
This is obviously going to be a hot topic as we understand more and more of the mechanisms behind our biology.

Another to look into is BAIBA, which we recently covered on our blog. https://blog.priceplow.com/baiba

The social implications of this get very scary when you look at it down the road. If we crack the code and really don't need to work out to stay fit some day, it would change a LOT in terms of mate selection, to say the least. Not sure how soon it will actually happen though.
Yes, with the fact that we don't live in a nuclear wasteland of WWIII.
This would be (barring outright fraud) nearly harmless if we had preregistration as a prerequisite for studies 'counting' (in meta-analyses, in discussions here, in academic rankings, etc) http://theness.com/neurologicablog/index.php/registering-stu...

I suppose they could still add ridiculous interpretations (as is often the case when people's livelihood depends on their work being seen to promote a given side), but at least you could trust the data.
What's even more concerning to me is the water rights / treaties for the Colorado (Lake Mead) still date back to the 1920's and 1930's.
Thank you Corn Refiners Association.