skysight-inc/HackerNews huggingface dataset:
I heard that sirtuins are beneficial for a healthy organism, and could be detrimental to someone with cancer. The same goes for something like glutathione (since they make cells more robust, and you don't want robust cancers cells!).

I've read anti-agingfirewalls.com with great interest. Here's one of the articles:

"PART 3: Slaying Two Dragons with the Sound of Silence: – How to Keep Your Repetitive DNA Turned Off with “3 Songs”: Sirtuins, Polycomb Proteins, and DNMT3. And a Master List of Drugs and Natural Compounds for Cancer Chemoprevention"[0]

Anti-ageingfirewalls.com is a tour de force. And it's at least worth reading the earlier articles (some of the recent articles on NAD require significant knowledge).

As far as I can tell, Peat contradicts the consensus. I've tried his methods, and had terrible results. He also goes against the information I'm exposed to. He may be correct, but I assign a tiny probability to that. I wouldn't recommend anyone start with Ray Peat.

[0] http://www.anti-agingfirewalls.com/2013/05/20/part-3-slaying...
Found it. Here are pictures of the magazine pages:

http://imgur.com/a/uEzCF
Yeah, I found tone of these articles distasteful as well. It looks like only criminals are worried about their privacy. I'm pro-privacy, but not so much worried that police gets a warrant and wires my chat as I'm concerned about Google and all kind of 3rd party companies circulating and selling my personal data around for who-knows what purposes and that stays around indefinitely.
> Also, you know as well as I do that you don't need to test every input, only a representative subset if you use unit tests and use a fuzzing testing library.

The thing is that you can never be sure that you chose a "representative subset". Unless you test every conceivable input you've verified that your program works for the subset you chose to test, nothing more. For example, how sure are you that your unit tests cover every conceivable edge case?

> How do I go about defining a test using a formal method?

You don't, it's a proof. You don't need tests.

Some links from another comment [0].

I'd also point you to Idris [1] for a friendly dependently typed language if you are interested in learning more.

[0] https://news.ycombinator.com/item?id=12544477

[1] http://www.idris-lang.org
>This insanity won't stop until those unions are dismantled.

This "insanity" continues just as well in countries without police unions, or where unions are not allowed at all.

It's the police, the organization, and/or the government in charge, that does that to save face, not the policemen's union.
Show HN: Designing your workplace
Groups of people unified together are rarely intelligent things.
what about gmail?
Elon Musk's Mars colonization plans: what we know so far
> This isn't a pro-union or anti-union issue.

Only if we ignore the fact that the police unions either condone or vigorously defend the "police brutality and police corruption" every single time. Not once[1] have they censured a member for violating rights.

1. To my knowledge. I'd be happy (well, more like moderately surprised) to be informed otherwise.
Seeking partners for a US based next round new gTLD project
And orthogonal to "alcometer locks". You can be lethal as a driver well under the maximum speed limit if drunk.
Please share this as much as you can on facebook, twitter, et al. While many of us on HN are not surprised that this kind of thing happens, it's generally hard to convince the public at large i.e. the crowd that gets all their news from mainstream media.

This is the kind of thing that could 'wake up' another small slice of the population that i.e. has 'nothing to hide' wrt NSA data collection etc.
Top 12 Time Tracking Tools for Freelancers
Normally I'm pro union and workers rights, but police unions are central to the corruption issue.

Police become and stay corrupt because they know they are protected. "Thin Blue Line" and "Blue Wall of Silence" type stuff. Police unions really perpetuate this type of behavior by discouraging actual scrutiny of charges brought against officers. Police unions take a "we'll get you out of this, here's what you say and do" attitude taken towards charges all charges. And if they can't get all the charges outright dropped, the punishment is usually a slap on the wrist.

And don't get me started about "administrative paid leave".
A fair percentage of people (myself included) are far more concerned about protecting our data from marketers, advertisers, and data brokers, than we are about going 100% 'tinfoil hat' mode and worrying whether the NSA is monitoring my messages for thought crimes. These are two very distinct issues and not everyone is concerned about both equally.
Great, another App we'll get bundled in our Android devices. (>_<) I don't think so Google!

https://telegram.org/
Hats off to the new Microsoft for a worthy endeavour.

I just hope that the eventual solution is cheap for those that need it and that the tools and techniques are readily available to the hacker community (i.e. open sourced).. otherwise I'll put my hat back on.
Then why not just check PH to prove acidity?
A $200 windows laptop is enough to start learning, but it's definitely going to slow you down compared to a better tool. You can make up for it with hard work, but I think investing the extra $800 in an MBA is well worth the money if it's even remotely feasible.
No. But they can find other means of proving that the defendant has done what you know they have done.
If it wasn't for Homebrew, I would not develop on a Mac.
“Let’s give him something,” one trooper declared. Another suggested, “we can hit him with creating a public disturbance.” “Gotta cover our ass,” remarked a third.

That doesn't sound like it's the first time they've had that type of discussion. I wonder how many innocent citizens are in jail right now because of those cops.
My lord, why isn't Allo just Hangouts 3? They had an established userbase, a name, a brand, and useful cross-platform tools already.

I get the desire to start fresh, but that's a lot of established traction in a very crowded market to just throw away.
And I believe them because they have definitely succeeded on getting rid of computer viruses!
Exactly. I chose both photos carefully; the first one does look okay indeed, but note the location of the bus stop. Unfortunately pedestrians (especially tourists; we're talking about central London here) often don't realise there are fast moving vehicles on that blue strip.
Astonishing Disappointment with AWS’s API Gateway
Another good argument for mandatory recordings of cops during arrests. I think even just audio would be a really good start and is a lot easier to capture and store in the field than video. Sure, it's a lot easier to edit and fake too but I'm sure a reasonably tamper proof device exists. Every company I've worked for records phone calls, this shouldn't be any different.
Most nails are made of steel. Aluminum, copper, brass, bronze, stainless steel, nickel silver, monel, zinc, and iron are also used. Galvanized nails are coated with zinc to give them added corrosion resistance. Blued steel nails are subjected to a flame to give them a bluish oxide finish that provides a certain amount of corrosion resistance. So-called cement-coated nails are actually coated with a plastic resin to improve their grip. Some brads are given a colored enamel coating to blend in with the color of the material they are fastening.

Source: http://www.madehow.com/Volume-2/Nail.html
Nothing fancy, just multiple copies of large files at the filesystem level, making sure that the cache wasn't giving false results. The transfer rates and the I/O counters matched pretty well. This was on a vanilla Windows 10 workstation.

We run a bunch of these things, and regularly bump up against the PCIe bus limits. There's something going on with your setup.
Honest question: what is the alternative? Apple is not. Dell has finicky hardware. HP has crappy laptops. Asus is hit and miss.

When my x1 dies, I think I'll just continue and get the then current generation x1...
GMail was definitely best in class for web mail when it rolled out, and if something has taken its lead, I don't know what it is.
I've also never heard this. And IMHO this is very wrong way to think about it. Bootstrap is a comprehensive set of well designed and coordinated UI widgets and paradigms. And it's all customizable, so you don't have to get stuck with that "bootstrap look".
> Does sleep perform the same function as melatonin? A hormone that allows greater sleep "efficiency" than normal sleep.

Melatonin is the hormone that regulates sleep normally. You're taking additional sleep hormone by taking it orally. So sleep is melatonin.

It's the hormone that is theorized to be involved in the "blue light" sleep effect. When the high-wavelength cones are stimulated, melatonin release is reduced, according to current theory. [0]

[0] https://www.ncbi.nlm.nih.gov/pubmed/11487664
I can't be the only one thinking in (12 + x) months, where x is between 0 and 24, there will be a post on the same blog: "Say goodbye to Google Allo".
I think this idea is super cool and I have no qualms with my tax money going to stuff like this- it's incredibly welcoming and needed in one of the most uncertain and harshest times in an adult life.

What's interesting to me is that half the book is Swedish and the other half Finnish, I had no idea that Finnish people learned Swedish so early- yet their English proficiency is so much higher.
Here's the article referenced - http://www.techtimes.com/articles/178295/20160920/nokia-reac...
Running works wonders for me: helps mood, sleep and energy right away.
I run 3-5 miles almost every day and the following morning I wake up refreshed and in a good mood. The effect wears out after a day or two so you have to do it often.

Distance is not that important - what matters is time and intensity: run at least 20m with 10 of them near your upper limit. Make sure you pick a sustainable pace that makes it hard but not impossible to breath.
Don't compare to others - your body needs to be challenged relative to itself. Run comfortably for 10 minutes then a little more than slightly uncomfortably for another 10.

You will feel better as soon as you stop. You will feel calmer, focused, confident and strong for hours after. You will feel better next day. When I had a bad funk it helped me get out of it.

I tried a lot of other forms of exercise from weights and swimming and HIIT and martial arts and yoga. They all help (in other ways) but not as well as running. If you can, complement it with weights 1-2 a week, and yoga 1-2 times as well.
Sweden spends big on social programs and seems to be producing long-lasting social benefits, what's the difference? Oh yeah, corruption.
Thanks for the data point. I feel that this is rare, but you make a good point, worth a try I guess.
This seemed strangely political for a polling company.

edit: following some links, they have a real consistent focus on small businesses as being the answer to economic problems. That's actually something I believe as well, but it still seems strange to see it being pushed so heavily by a polling company.

This seems to be his key manifesto:

http://www.gallup.com/opinion/chairman/186638/killing-small-...
Sounds like a good reason to grab it then! Anyhow, looks like someone got it.
Without the ability to actually prosecute police for crimes committed, and to give scrutiny to the stories told by officers, none of this will stop.
To me, the entire idea of performance-enhancing chemicals is the essence of Moloch

Moloch specifically refers to zero-sum games. Intelligence enhancement is not that; if everyone in the world gained 10 IQ points we would almost certainly be far better off.

To what ends?

Curing cancer and Alzheimer's, getting self-driving cars on the road by 2025 instead of 2030, colonizing Mars, figuring out how to fix our diets without requiring infinite willpower, etc, etc.
They can also change the laws.
Because Macbook Pros are known for hassle-free Linux support?
I believe it's a bit different.

It could be different for shared computers, but, I think, for porn browsing on one's own hardware, incognito mode is more about having a separate (ephemeral) browser profile, so you aren't accidentally sharing your kinks on Facebook and Google won't (visibly, at least) associate it with your main browsing profile and won't show you relevant ads there.

A comparable feature for the IM world would be "alter ego"/pseudonymous mode, where your contacts aren't provided with your identity information (google account/phone numbers/etc - not even your "normal" name or nickname), but a throw-away identities, yet you still have a convenience of using a single app. Not really private in a sense your favorite TLA won't know you, but good enough in a sense your peers won't know you. I don't think any IM system does that, without setting up separate accounts.

I mean, "self-destructing" messages weren't there in a lot of systems, and users perfectly know how to delete SMS or emails they don't want to keep - and saving the ones they do. Not to say "message expiration" is a myth (haven't they learned it with Snapchat already?)

Maybe that's just my view of things, though.
Sure more variability means stronger selection, but bigger mutations are less likely to be positive mutations so more selection events need to be spend to get them out of the gene pool again.
Tomorrow’s Laser-Armed Helicopter Drones
"Clusterfuck" is a perfect description.

No one is saying that the clusterfuck isn't valuable, profitable, or useful. They're just saying it's a clusterfuck.

The LA freeway system is a clusterfuck, but without it the city wouldn't work. We can still criticize LA's lack of a good transportation system, and recognize that something more organized would be, well, better.
The UI is misleading. By seeing the GitHub-like design, I thought I was on GitHub and was surprised not to see any content. Took me a while to understand that I had to input my username as I wasn't on GitHub.

Besides that, I like this tool. I was also surprised to see that a file I had uploaded in a GitHub comment, then edited/removed, was still available; your website gives me access to this upload of mine.
no plans for that yet but now that you raised the point...
Swedish is an official language in Finland and the native language of about 5% or so of all Finnish people (think like French in Canada). Especially Åland Islands is heavily Swedish speaking.
Also, it seems only "Signature Edition" laptops are affected, i.e. those from the MS store. I think that makes a big difference.
Statvoo – Website Discovery
It's a great programme.

You might be interested in some of the comments here, from 3 years ago. https://news.ycombinator.com/item?id=5817728
Until someone releases a revolutionary new way of interacting with a mobile device, larger devices—with dedicated, larger, more comfortable input and output methods—will always be more efficient. Software isn't the issue.
It's more like writing preconditions and postconditions, and proving that the implementation of the function will always satisfying the postconditions. And then also proving that no other part of your program can call the function in a way that violates its preconditions. The proofs are checked automatically.

I can't point you to a simple example. But you could check out the book "Software Foundations" (available for free at https://www.cis.upenn.edu/~bcpierce/sf/current/index.html). If you have time to read the first few chapters it may clarify things.
I see the problem here. My main point isn't the problem that they solved, it's the impact they had on the industry. I say none of these new projects are having the impact that jQuery did. It's not a proper comparison that's beneficial to either side.
Mars is a stepping stone, both figuratively and literally.
Well they happen to be in the marketing business so...
If you bring back a tonne it would make the value plummet. And $33 million is still more than your average space mission, and this wouldn't be an average space mission.
Dr. King was monitored by the NSA for "thought crimes". Is that "100% tinfoil hat mode"?

https://en.wikipedia.org/wiki/Martin_Luther_King_Jr.#NSA_mon...
If anyone else wondered why the Finnish baby box includes condoms: http://help.finnishbabybox.com/article/9-why-do-your-baby-bo...
that might be overkill. Here is a better solution: https://github.com/urish/firebase-server
Well CME was cool in a few teams (heya match engine team).
I disagree. As a friend of mine said, "if you don't trust a software package, don't use it."

I have paid exactly $0 for Homebrew. Reporting usage statistics makes it better, and I'm happy to be chip in to help out.
Slack has VoIP?
Except for that even in cases where there are police chiefs/mayors/city councils that want to do something about the issue they are typically hamstrung from removing problem police officers due to union contracts and associated civil service laws
World’s Largest Video Commercial P2P Deployment
I don't disagree with you, but nor do I particularly care about losing Lenovo as a supplier.

If Lenovo lose customers over this, it may be the case that they won't care, but in that case a competitor will surely swoop in to catch those customers by supplying PCs that run Linux.

In any case, the market should continue to supply machines that run Linux, as long as there is a demand for them. So if you demand a machine that runs Linux, just vote with your wallet!
Source? It has been reported again and again, along with the relevant stats. Examples:

Apple sells 5% of the world’s PCs and takes home 45% of the profit. (1)

During the recent third quarter, Apple commanded a 7.5 percent share of the computer market, up from 6.9 percent a year ago, IDC said. That was enough to move Apple up to No. 4 in market share for the computer market, pushing past Acer, which is now No. 5. (...) Each of the top five personal computer makers suffered a decline in total shipments, but four — Lenovo, HP, Dell and Apple — all captured a larger share of a shrinking market. (2)

* Apple's total share of the global PC market grew to 7.4 percent in the first quarter of calendar 2016, good for fourth place globally, according to IDC. That's up from 6.7 percent in the same period a year ago. (3)*

In fact Apple has such high per-PC revenues that it’s actually now the third-biggest PC maker by revenue – excluding Dell, because we don’t know what Dell’s revenues are, because it is privately owned. (4)

(1) http://fortune.com/2013/04/16/pie-chart-of-the-day-apples-ov...

(2) http://www.siliconbeat.com/2015/10/09/report-apple-widens-sh...

(3) http://forums.appleinsider.com/discussion/192668/apple-grows...

(4) https://theoverspill.wordpress.com/2015/07/13/the-deaths-of-...
Or get to learn something about key management.

A centralized key is not secure. A secure key is not centralized. If you want any security, the computer owner must be the only person allowed to install keys on the boot sequence - what is the exact opposite of what MS mandates.
There is only one number - look for perfect numbers.

or: https://web.archive.org/web/20091027122658/http://geocities.... (Armstrong) Numbers
Concurrent ml versus go
I think danohu's point was that with branding, it's hard to stand out in the crowded Google messaging space.
Carbon credit climate scam: the fraud prosecutions begin
Breaking facebook messenger out into its own app was the best decision facebook ever made!

I chat via messenger a lot more than I check my newsfeed, and when I check my newsfeed I don't care about messages. Perfect split for me at least :)
They shouldn't operate the servers, and they shouldn't have moderator power over them. It's fine to have reps answer questions on unaffiliated third-party sites, as long as it doesn't turn into sponsorship or some other COI.
Yes, good point -- forgot to mention that. That is a 3rd widely-available option across all three silos (Android/iOS/Desktop).
> i've found that "microdosing" works even better than taking the "normal dose" of 2-3mg. I found a supplier in the Netherlands who sells 300ug pills and they have worked wonders for me ! works just as well as the stronger dose but it seems that the lower dose makes you sleep better.

You're not alone in this; in fact, I think it's pretty widely accepted among melatonin users that "<1mg doses work better" is just fact. The 2-3 mg dosage contained by most available supplements seems to be motivated by a misguided belief that more melatonin is more effective, in opposition to all the evidence that I've seen.
Honest question - would you rather see our species capable of transforming Mars and building a colony there, or be able to create a realistic simulation environment, one that was capable of arbitrarily slowing down time.
There is a huge, huge placebo effect when it comes to cognitive enhancement, and while I understand that this is intended as a series of anecdotes, it still seems that the author doesn't fully understand this. Most notably, for his attempts at blinding himself, he doesn't seem to have measured any actual cognitive improvement, just whether or not he could successfully distinguish drug and placebo. This is a large misunderstanding of experimental design and the placebo effect; most of these drugs definitely do cause physiological effects that can be detected, and the great worry with respect to Adderall etc. effectiveness is that people confuse rapid heartrate and quickly focusing vision with increased mental ability, without actually improving much.
Surprisingly, homomorphic encryption is now practical enough to run a Kaggle-like data science competition, but without disclosing data. At least one such competition is known to run with real money prize.

https://medium.com/@Numerai/encrypted-data-for-efficient-mar...
The Current State of Hacking–And What to Expect in 2017
Probably stored under the same security infrastructure as Gmail and hangouts messages.

Which, IIRC, means no human is given direct access without the account holder's permission. Algorithms are allowed access, but only if they emit data that is similarly secured, or emits data in aggregate (where, I think, aggregate was defined as 100k+ users per aggregate data point)

It's extremely hard for a Googler or product team to do something directly nefarious, but you do have to trust Google's privacy infrastructure.
don't think anyone mentioned ice baths yet, but that seems to come highly recommended from people like Tim Ferris and Kevin Rose. Think TF writes it up in 4hr body. Also Rhonda Patrick is a proponent of it and you can see her thoughts on https://www.foundmyfitness.com/ (videos and podcast).

Apparently it can be quite calming.

Another thing I have not see you mention is diet. Lots of factors there. All anecdotal but i've tried raw paleo diet in the past and eating raw meat has usually given me a happy buzz during sleep while eating fruits in the evening has usually caused me issues. Everyone is different so I can't say what will work for you but it should be something you experiment with a lot.
> just keep it accessible only to me

One could also argue that the service is free and the service provider needs a (or yet another) way to monetize it.

If the privacy settings are insecure by default, one shouldn't have high expectations anyways.
For SMSs too? On my Android, the new(ish?) message app ("Messenger") now wanted control of SMSs back from hangouts. Another silly reversal, and another silly messaging app from Google.
Fourth time lucky?

On that topic, when is the inbox app replacing the gmail app?

Maybe never and that's good, given that sometimes I cannot download attachments with the inbox app that I can happily download from the old gmail app right away.
What are your favorite works of written fantasy that you find better than LotR?
> The interruptions often feel pleasant, of course, because they are usually the work of your friends. Distractions arrive in your brain connected to people you know (or think you know), which is the genius of social, peer-to-peer media.

Silly as it will sound I'd never thought of it that way. Cunning , brilliant and cunning again.