skysight-inc/HackerNews huggingface dataset:
Everyone with formal method background interested in this work should consider taking on one of their posted projects that would improve it. Especially Ocaml to CakeML translator.

https://cakeml.org/projects

Just email them first in case someone has done the work already. Academics sometimes are slow to update web sites due to digging deep into their research. ;) The best uses I can think of for CakeML are:

A reference implementation to do equivalence checks against with main language, a ML or not, being something optimized.

Someone to build other tools in that need high assurance of correctness. Prototype it to get the algorithm right using any amount of brains and tooling that already exist with an equivalent CakeML program coming out. Then, that turns into vetted object code.

A nice language for writing low-level interpreters, assemblers, or compilers that bootstrap others in a high-confidence way. Idea being in verifiable or reproducible builds where you want a starting point that can be verified by eye. They can look at the CakeML & assembly output with some extra assurance on top of hand-doing it. One might even use the incremental compilation paper on building up a Scheme to end up with a powerful, starting language plus assurance binary matches code.
Nothing would surprise me anymore. And I quite literally mean nothing. The utter disdain shown for rule of law, principles, heck, basic human decency in the last few months has me fantasizing about DC floating off into the ocean and sinking.
> This reminds me of a quote (paraphrasing). "The market is the worst form of economic distribution, except for all others."

Yeah, let's ignore all that has been done in Europe in terms of health, which did not involve markets but did work in practice.

Us being rich, it's much more pleasant to financially harass the poor, rather than doing stuff like public health care, a preventive medical policy, or a real education system which would cost money to us, but would have a real impact.
Apple Watch, New Year’s resolutions, and losing 50 pounds
It is unified, they have some of the simplest naming. GCP is Google Cloud Platform which is the entire ecosystem. GCE is Google Compute Engine which is the VM/IaaS offering within.

You can look at the official products page for all the names and descriptions: https://cloud.google.com/products/
I throw a pinch of salt into my post-workout protein shakes exactly for that reason - replenishing lost electrolytes is really important for recovery.
> I now know which brands of chicken stock, bacon, smoked salmon, mustard and hot sauce contain added sugar and which do not.

Sriracha: why do so many people like it?

It's 20% sugar. No wonder.

Here's the label: http://joshuaspodek.com/why-sriracha-hot-sauce-tast
See the parent comment I'm replying too. Parent is ridiculing Python "magic methods". If he thinks they are bad, just wait till he sees Ruby.
This mirrors my complaint exactly - I belatedly upgraded to CC after holding off for as long as possible simply because I receive a lot of files from clients, which were increasingly opening 'badly' (poor PDF conversions, etc).

So I've paid for CC for three years now.. and for what? The feature set I require beyond file compatability was served by my old CS2 peograms - it's nearly a decade since Adobe added anything relevant to me.

It's a business expense so not the end of the world, but I'm in the UK so pay as much for two apps as Americans pay for the entire suite,and I'm embittered toward Adobe, feeling like I'm just being bilked every month.

Sod their subscription model.

I've invested in Affinity's windows offering, even though they're not terrifically useful to me (I use illustrator like its CAD) simply to help the competition Adobe so very much needs.
IANAL, but seems doubtful that they can enforce that contract; some servers (that the OSM project links to) don't even mention it when you download the files, let alone require an explicit mark of your agreement.

Copyright is different, in the sense that in the absence of a license, the default terms in the law actually prohibit one from copying stuff, hence one can't claim ignorance.
Ask HN: Any pre 2006 password dump available online?
I am looking for any password dump that is pre 2006. Any helpful material would be awesome.
And UDT which was winning awards for performance on supercomputers since around 2007:

http://udt.sourceforge.net/
Guys, this has nothing to do with interpolation. I like both Python and Ruby's string interpolation. I'm replying to the incredulous parent of my post who's griping about magic methods (which admittedly Ruby likely takes the crown).
If you add cost of bulbs, it gets a little closer. However, energy costs are laughable in the difference. From a sixty to hundred watt bulb to a nine to fourteen is a huge difference.
There isn't any magic going on, but remember that Haskell's lists are lazy: to write a truly equivalent version in Python would be a little tricky because you'd have to deal with generators. But the conversion from do+guard to list comprehensions is really simple (see the definition in source at https://hackage.haskell.org/package/base-4.9.0.0/docs/src/GH... and use the way the do-notation desugars into applications of (>>=) and (>>)), the definition of guard itself is similarly trivial: https://hackage.haskell.org/package/base-4.9.0.0/docs/src/Co...).

It's so much easier to see all this by just working out a small example for yourself with pen and paper.

So these two are equivalent, and the list comprehension version is very close to what nested loops (read it from left to right) would give you, except for the laziness.

do x <- [1, 2, 3]; guard (f x); y <- [1, 2, 3]; guard (g x y); z <- [1, 2, 3]; guard (h x y z); return (x, y, z)
[(x, y, z) | x <- [1, 2, 3], f x, y <- [1, 2, 3], g x y, z <- [1, 2, 3], h x y z]
for x in [1, 2, 3] { if (f(x)) { for y in [1, 2, 3] { if (g(x,y)) { for z in [1, 2, 3] { if (h(x,y,z)) { yield((x, y, z)) }}}}}} -- "pseudocode"

The guard uses the following idea:

guard True = [()]
guard False = []

So _ <- guard True is a noop, while _ <- guard False short-circuits the list comprehension the way "continue" would (just like "for x in [] { ... }"), so guard (f x) becomes the test f x in the list comprehension.
One thing that might help is to look at it differently: Specific goals that make your eating healthier. Less sugar is vague and hard to do. When I looked at my diet, I realized I drank lots of sugar. First I quit sodas, and they wound up tasting bad when I tried them again. Next, I cut sugar out of my coffee gradually. This bonus meant that coffee was easier to order as well.

The difference, for me, is that instead of prohibiting food - and thus, obsessing over what I can't have - I simply did specific goals and kept them up.

You can do the same thing with vegetables: To eat enough, you generally have to cut out other things, so the end result is a bonus. Sometimes it is hard at first, since you don't "like" certain things. This can be overcome with exposure and familiarity for many things, and expanded upon later on, even on things that failed previously.
Ironically, we're reverting to hieroglyphs (icons and emoji).
That's a TODO list, and DCCP is unchecked... ;)
When I first read dirk Gently shortly after it was published, and got to the Sofa bit, I really wanted a wireframe simulation of it as described in the book, but as screen-saver[1].

These days most if not all people no longer have screen savers, so that wish is likely to forever remain unfulfilled.

--

[1] I also wanted the rotating Starbug wireframe from Red Dwarf, but to my knowledge no-one has done that either.
I think one of the most frustrating things about indexing from Google is the complete lack of transparency. I understand that it helps Google slow down the arms race of search engines, but it also means that devs doing 100% banal work need to sift through mountains of rumors and spin up sites to test assumptions.

I have literally heard every combination of practices with regards to SEO and have no idea what is truly correct. Every source contradicts each other, Google employee statements contradict those, etc.
tl;dr: Earlier this month, a study published in Nature by Shoukhrat Mitalipov, head of the Center for Embryonic Cell and Gene Therapy at the Oregon Health and Science University in Portland, suggested that in roughly 15 percent of cases, the mitochondrial replacement could fail and allow fatal defects to return, or even increase a child's vulnerability to new ailments.

It's not a risk of editing the genes so much as a risk of the treatment failing.
Gouranga!
Sugar is really not needed in the human diet and is in fact harmful. Its also highly addictive and is the reason for metabolic syndrome, which is a range of illnesses like diabetes, certain cancers, dementia, stroke, heart disease, hypertension some have even made a link to Alzheimer's. If you were to do one good thing for yourself or your family cut way back on sugars and High Glycemic Carbohydrates. This is not my opinion this is well known scientific fact
Oh, that reminds me: I rewrote that bash script (and a bit more) as a Rust lib (+ CLI) for fun last year. If anyone wants to build on it: https://github.com/killercup/english-lint
If you read the article, there was no deal-making. But I agree, totally on topic, Trump baddy bad!
Yeah, that's worse than Watergate.
It's true that there's no shortage of food. In fact we're throwing away more than enough food to feed everyone in the country, around half the food that we produce. That's not very efficient.

Meanwhile we stigmatize people who need food assistance, make them jump through bureaucratic hoops designed to demoralize and suppress them, demand that they present proof that their children deserve to not starve, even while incentivizing them to remain in need of food assistance. That's not very effective.

So food production isn't doing 'rather well' yet, more like 'almost acceptable but needs work'. (Still much better than it was a century or two ago.)
Ketogenic diet + Intermittent fasting (23:1)

- Energy levels are stable

- Never hungry

- Need to sleep 1h less

- Feel better (less inflammation)

- Fewer migraines

- Weight loss
A friend suggested something similar about Trump & his relationship with Russia. Whatever happens there, he's positioning himself as the strongest candidate in 2020 to deal with the aftermath.
Better than "without sugar", I recommend avoiding foods with fiber removed, which includes sugar, also white flour, corn syrup, fruit juices, and most aisles of the supermarket. At least I found it better.

It forces you to a lot more fresh fruits, vegetables, and whole grains. Plus it doesn't feel like an arbitrary division. Looking back, it seems weird to take fiber out of food. It makes things taste sweeter and extends their shelf lives, but at the cost of complexity of flavor, texture, and nutritional value.

Since avoiding foods with fiber removed, my diet has become more varied, fresh, cheaper, more delicious, and I eat more food. The biggest surprise was that stopping using olive oil, which I had allowed at first, felt natural and I don't miss it. As a result, I eat to stuffed almost every meal.

At 45, my ab definition started coming in after the change for the first time, despite my eating more food.
New 3 in 1 Dell XPS
If you're interesting in this topic read everything Patrick McKenzie writes: http://www.kalzumeus.com/.

This is guide is not "a bit basic", it just barely scratches the surface.
And I'm 59 and and still occasionally writing bad code.
"WTH is a "neural network company" anyway?"

A company specializing in anything having to do with neural networks. Before the deep learning craze, that was many companies making tools for designing/debugging them, developing ASIC's to accelerate them, further developing the tech if a R&D outlet, or applying them to industrial problems. The number of things such groups might be doing has only expanded with the recent leaps in the technology.
They are not buying food and drink - a third party installs vending machines on site and actually pays the business to do so.
Isn't Vipassna basically the 10 day meditation retreat? Do they have their own meditation techniques that you can follow post those 10 days?

Also, did you complete the full 10 days? I've been thinking of doing this for some time, read a lot about it but there's a mental block stopping me.
That doesn't give me an idea of what the finished product looks like in hand. Card stock, etc.
The 24/7 Lifestyle: Time Management in the Home Office (2003)
So you're saying pale skin is a "hacked together" solution but modern vitamin supplements are not?
The green-topped bottle in the linked piece is 20g sugar per 100g, but I've seen some in the UK that are 25g or even 30g. I don't eat the stuff myself, but know a lot of people who do and they often put on quite a lot -- definitely more than 1/96th of a bottle serving.
I think I'm getting at removing the "or else" part of the scenario.
I'm curious why you can't deduct the mortgage payments. Just so far down the amortization curve that it's mostly principle now? Or you're talking about an investment property?
online grammar checkers: http://nybookeditors.com/2016/02/instantly-improve-your-writ...

offline grammar checkers: https://www.serenity-software.com & http://www.editorsoftware.com/StyleWriter.html
I'm curious why you phrased your comment so dissimulatively when everyone knows exactly what you're suggesting.
I'm taken with how different the suggestions are, like "consider paying your bills online." Who today would imagine that even needs to be discussed?
I keep seeing people speculating about Trump and his supposed relationship with Russia, and yet Hillary's proven relationship with Saudi Arabia was barely discussed during the election.
Top Small Business Marketing Strategies to Prioritize in 2017
Show HN: Innovative video content of historical events,
I thought we were pushing the optimality curve toward ever greater volumes of ever buggier code.
Interestingly all drivers are covered, but not all drivers will be voting members.

> only to drivers who have been with a company for the past 90 days and who have made at least 52 trips to or from Seattle during any three-month period in the past 12 months.

Lyft and Uber fought against this, under the logic that more part-time drivers are less likely to support unionization.

Meanwhile:

> Teamsters Local 117 and other drivers have pushed for stricter criteria

[1] http://www.seattletimes.com/seattle-news/politics/city-unvei...
Love your idea! Going to give it a shot later on when I get home
I've had the same experience. I am Type 2 diabetic, officially diagnosed a few years ago (I'll be 40 in a few months), and six months ago I cut out any added sugar. Now the slightest bit of added sugar gives me a stomach ache and a feeling of nausea.

I don't crave it at all any more, and my doc said I probably added ten years to my life just doing that. I also lost over 20 pounds the first month and with exercise I could probably convert another 10-20 to muscle and bone weight.

I also don't get "sick" as often, as in I've had only one chest cold since I started this diet, whereas in the past I'd have had two or three at least by now. Anecdotal, I know, but it's been a huge boost to my quality of life.
To you and your GP, reducing stress is a good goal, whether it specifically causes grey hair or not. Unless you're writing code to stop an imminent killer asteroid, most jobs and tasks are not important enough or urgent enough to make you feel bad. If you feel stressed, long term, de-stress your job or change it.
For linux, the scrot utility will do that.

https://en.wikipedia.org/wiki/Scrot
If you like this, a student at SFPC in New York built a kinetic sculpture about this problem.
Brian Eno: Reflection
Years ago when I was 320lbs the first step toward living healthier was cutting out sugar drinks. I lost 20lbs within 3-6 months without making any other changes. On the rare occasion I drink a sugary drink now I never finish it because I find the sugar to be overwhelming and too sweet.

Abstaining from sugar really does help reset your preferences; give it a try.

(I made other subsequent changes and got down to 250; moving to SF meant walking more and I got down to 220, though I switched jobs to a South Bay tech company and have started creeping back up since it is far less walkable down there.)
This isn't about editing genes, it is about replacing mitochondria. Not the same thing at all. Mitochondria are like bacteria in the way they replicate. There are hundreds of them in a cell. They can pass components around between one another, can split and fuse. They are integrated with quality control mechanisms that cull the herd. It is a complicated picture.

As the article notes the procedure isn't effectively clearing out all of the old mitochondria, and dynamics can favor them in the future.

It is known that variations in mitochondrial DNA produce radical differences in competition between mitochondrial strains in the cell. That is how deletions affecting OXPHOS machinery cause one mutant to take over the whole population very quickly - some differences produce mitochondria that either replicate better or resist quality control more effectively. That one is one of the causes of aging, but the same principle exists for other differences between mitochondrial genomes. If you put two or more in a cell and let them fight it out, hard to say in advance what the outcome will be given present knowledge.

So, basically, the people working on mitochondrial replacement need to make their tools for cleaning out the old mitochondria more efficient. If 100% success is achieved, that genome isn't coming back.

Alternatively, actual gene therapy might be a better approach - though challenging if you want to edit mitochondrial genomes, as you have the same problem of coverage and competition. There is allotopic expression, moving mitochondrial genes to the cell nucleus, which is feasible via today's gene therapy. Given the amount of work needed to copy mitochondrial genes into the nucleus, however, the challenge being how to alter them so as to get the proteins produced back to the mitochondria, something that has been achieved for three genes so far, it might be more cost-effective to work on better clearance and replacement technologies for the near term of assisted reproduction needs.
Conservation of energy, not just as an abstract concept, but in that every time you fly in a plane, drive in a car, turn on the air conditioner, etc, you are using energy, which pollutes, and, while we use fossil fuels, contributes to the greenhouse effect.

Most people seem to think their contribution doesn't count or is somehow less than everyone else's.

Also, curiosity and appreciating the beauty of nature. These were two of my main motivations to get my PhD in physics. To me they are fundamental to science.
Unexpected Risks Found in Editing Binary Code to Fix Bugs in Legacy Codebase.

Genetic engineering has exactly the same problems that modifying binary-only code. After some very complex observation of the system you may spot the point that is responsible for a certain problem, but you will never be sure (as in provably sure) that the "fix" you put in place:

1. is going to stop all the occurrences of the behavior you want to fix;

2. will only affect the behavior you want to fix;

3. will have no effect on other systems that you did not modify.

(The article is mostly about 1 and a bit about 2 and 3.)

Modifying legacy code is hard enough when the uncommented source code is around. Changing directly the binary is both a great engineering feat and something to be scared of.
Here is some background on the thing: https://en.wikipedia.org/wiki/Anna_Chennault#Paris_Peace_Acc...

The implicit deal was that South Vietnam would leave the peace talks, and then Nixon would give them a better deal.

I'll bet they regretted that decision later.
The Zen of High Performance Messaging with NATS [video]
Yeah, I understand the server-side rendering vs. client-side updating, and the design benefits of API-driven development. And unfortunately, a lot of popular JS frameworks haven't done a great job about helping with these.

Closure Library/Templates was meant to render server-side and bind JS functions after render, or create client-side dynamically. (Interestingly, the historic reasons were performance, not SEO.)

React and Meteor have good server-side stories. Angular 2 is getting one.

I would say there is a lot of low hanging fruit in just avoiding most client-side JS. Take http://wiki.c2.com/ -- the "original" wiki. That should all be static. Same with blogs, documentation, and lots of other public, indexable content.
I don't agree. Since I was forced to give up sucrose (due to dermatitis that I found out (accidentally) was caused/triggered by sucrose) I've noticed so many health benefits it's insane.

I no longer miss sugary 'treats', and happily much on apples instead of chocolate bars as I used to.

I sleep better, feel better, concentrate better, control weight better, I'm more productive... the list goes on.
I actually tried, and my generator version ended up less readable than yours. I was not expecting this, but for such an algo the way you write it gives this impression the data flow from one end to the other, which reads better than splitting it in several functions including nested blocks.

The only drawbacks I can see:

- if you want to debug that with PDB, you are out of luck.

- anybody not wanting to spend the time understanding what it does will freak out.

Unrelated, but you can do:

def get_ranges(i):
return product(*(range(1, 27) for _ in range(i)))

To replaced stuff like:

for th in range(1, 27)
for o in range(1, 27)
for r in range(1, 27)

With:

for th, o, r in get_ranges(3)

But again, no sure it makes things better. Shorter yes, but the benefit of your version is that each step is very clear.

I still have no idea what's this code is for though :)
Vipassina is a style of meditation and does not refer to retreats specifically—though Vipassina retreats are common (from my understanding it's partly because Vipassina roughly means 'insight meditation,' and a deep state of relaxation/tranquility is required for the insights to emerge [and meditating for many full days in a row can get you there]).
view code on github profile
And do. Doing is much more effective than thinking. ;)
>with heads of state with interests opposed to the American people's

Do you consider the interests of the Saudi heads of state to be in line with the American people's interests?

Or is what you were trying to say American geostrategic interests?
Show HN: Birds Alphabet Flash Cards and Word Card Game (130 Tarot Size Bird Photos
N.Y. has power to stop revenge porn
I don't drink coffee, so this is not a defense of coffee, just a reply to your comments about "acquired taste".

Your taste buds and your palate gets used to certain food, so the food you think is delicious is largely impacted by your acquired taste.

You're really missing out a lot with food given your attitude to acquired taste. You don't get to not have acquired taste, everyone has it, it's just a function of the food you keep eating, usually to do with where you're from.

There's a definite plus in acquiring certain tastes, because it'll open up whole new worlds of food & drink for you that you can't believe you previously did without. Examples include: Spicy food, fermented food, dried beef/fish/whatever, heavily fried foods, sweet, savory, stinky cheeses etc. etc.

Some things you really can't just try once. One good example is spicy food (containing capsaicin). Where I grew up there was none of that at all, but as an adult I made a concerted effort to try to wean myself on it because there had to be something to it if so many people were eating it. Today spiciness is one of my favorite food attributes.
Hacker for Hire in San Antonio Texas (remote or Relocation-Paid)
That's not circular. They're saying the DNC and Vermont hacks had the same signature and are independently saying that signature is tied to Russia.
Container Hive: Visualize network requests between Docker containers