skysight-inc/HackerNews huggingface dataset:
I was introduced to Duo by a family friend who is 70. He uses it to talk to his grandchlidren. He's an Android user (refuses to use iPhone since he used to sell to Apple back in the 80's and has never been a fan of their business practices); other family members use iOS. His extended family lives in the South. He lives in California. Duo brought their family closer as they talk to each other during the first days of their grandchildren's school days.

I expect similar use cases to exist around the country.

The phone number as ID is huge for the non superuser crowd. This is part of the reason why LINE took off in Japan.
offtopic: Does anyone see a web add on top of the article?

I'm trying to understand if Chrome is infected. Chrome and Safari both display the add while FF doesn't display the add.
Nice.
I've found openpgp to be fit for purpose, there's even a js version for apps now:
https://openpgpjs.org/

But still run into US import/export control problems with decent encryption. IMHO we can never have a standard as long as the US is involved in creating the standard, with obviously something never standing a chance of becoming a standard without the US being involved.
Like you, I once was on a roller-coaster of cognition enhancing drugs. I did find that I was more productive, but only if I planned out what exactly I wanted to do beforehand and removed all distractions from my workspace. (Phone on airplane mode in another room, email/chat closed, websites blocked, etc.) However, the side effects made it rarely worth it.

However, I started going to see a new doctor. He recommended to Selegiline. I had some reservations, as it is officially classified as a MAOI, but he had some impressive credentials (PhD in neurobiology and MD, Postdoc in psychopharmacology and neuronal regeneration, APA President, wrote APA Textbook of Psychopharmacology) and seemed personally familiar with it.

It has been a revelation for me. It provides similar benefits without the tunnel-vision or distractibility. Most importantly, it doesn't have a noticeable narcotic/stimulant effect, nor does it have the dietary restrictions of MAOI. It does partly metabolize into Levoamphetamine and levomethamphetamine, but it's a minimal amount and you don't feel it. I'm still young, so I cannot attest to its supposed anti-aging/neuroprotective qualities.
Online grocer RedMart 'seeking buyer'
I agree, but it's very difficult for me to fall asleep naturally. I have tried all the well-known advice and even tried long workouts late in the day so that it would help me to get tired and fall asleep. The only thing that works for me is melatonin and making sure I am away from all kinds of blue lights 2-3 hours before bed. I have been sleeping great for the last 6 months or so. I have tried to get off of melatonin pills, I would sleep normally for a couple of days then I would have trouble falling sleep again. To the best of my knowledge, I haven't seen any side effect from melatonin.

I also have random sudden panic attacks. I stopped drinking coffee (which helped a lot) and I would only drink 1 cup of green tea once a day in the morning. Instead, I take modafinil during the day to try to stay awake. The daytime tiredness has nothing to do with sleep or my food intake (I have done extensive research on nutrition), I am fairly physically active, currently training for my first 10k. If I drink coffee I will be fine in terms of alertness but it will make my anxiety crazy (not always but a lot more than not drinking any coffee). So I started taking modafinil which works great without making my anxiety/panic attack any worse.

Even with no coffee and good nights of sleep and being fairly physically active, and trying out all the self-help methods I could get my hands on in the last couple of years, I still couldn't fix my anxiety/panic attack issues. The only thing that works is benzo (clonazepam 0.5mg once a day). It works amazing - not only I am happiest when I am on it I am also the most productive (because of less anxiety and panic attack). I have been taking it for the last 3 months regularly (prescribed) and I am already addicted to it. If I try not to take a benzo for one day my anxiety is off the roof - the feeling is horrible and I can't get anything done the whole day.

At the moment I am trying to find the best way I can get off my dependencies on benzo but still keep my sanity.

The point of my post is that sometimes life is not as simple as "getting a good night's sleep" because even something as simple as "getting a good nights sleep" can be quite a bit struggle for some of us.
Zoloft

I am afraid of sounding like a shill, but the fact is I'm 30 engineer, who has been trying to feel better my whole life through experiments with: ketamine, CBD, various nutrients, various dietary changes, exercise, being more social, meditation. None of them made lasting improvement like sertraline has, I wish I had been open-minded enough to try it years ago.

In retrospect, maybe it was ridiculous to try to find happiness with all methods other than the ones there are best medical evidence for... I guess I was afraid that somehow I'd be conceding there was something "wrong" with me (which is wonk). I was wondering why nobody had ever mentioned this before, and I realized people who use prescription medications are probably afraid to admit it. So I'm just putting out my sincere recommendation out there, as I wish somehow had done for me.
End-to-end encryption from your phone to Google's server, where neural networks now analyze all your data, Super cute! Lovely Labrador!
Innovation doesn't mean breakthrough.

Also, innovation isn't just having the idea. Innovation is actually doing it.
Its complicated, and depends very much on which country you are from, which permit class you are applying too etc... Which means the usual applies, if you are from a generally rich country then it's easy otherwise its hard and can be a lot of paperwork and worries.

See http://www.swissinfo.ch/eng/work-permits/29191706 for an introduction.
Barcelona V Atletico: Messi, Suarez Dhidi Ya Griezmann
https://www.supermemo.com/en/articles/sleep#Factors_that_aff...

Then ctr+f melatonin and shortly lower there is some good information about how melatonin is not that great. Highly recommend the general article - incredible amount of information.
Boo.

All the shiny bells-and-whistles in the world aren't going to cover the fact that this should be end-to-end by default.

I suspect at least some of the folks working on it feel this way too, so I imagine it's really shitty for some of them to have it work this way. If WhatsApp is already end-to-end by default there's no reason at all that a new app trying to enter that already saturated space shouldn't be.

Sincerely, I hope this fails quickly.

My grumpy old ass will stay on Signal thanks very much.
This post reminded of a similar effort from 25 years ago: https://en.wikipedia.org/wiki/PiHKAL

This guy produced and personally tested over 150 different psychedelic compounds, and published his notes on synthesis, dosage and effects.
When you open a new tab, the original tab continues to run in the background, but you can't do that for your history.

Imagine a page which shows a number that increments every second the page is loaded. When you open a new tab, it continues to increment. When you go back, should it continue from where you left it, or behave as if it was loaded the whole time? The answer will be different for different sites, and the browser's default behaviour will sometimes be wrong.
IIRC, Telegram allows you to set a username and give that out instead.
I don't know about you guys, but I am quite sick of these messaging apps that don't really provide any added-value over their competitors. Moreover, these message apps are not decentralize nor are these companies altruistic, so it quite easy to conclude that these companies wants your data.
Researchers remotely hack Tesla Model S while it is being driven
> It is actually very important skill to avoid wasting time in disconnected from reality obscure academic bullshit, be it philosophy, physics or math. Do not follow other people's hallucinations. Have your own.

This. So much this. I've lived in a few hacker houses and worked at hacker spaces in the last year. The most impressive programmers I met had picked up just one set of skills (mostly web dev or mobile dev) and while being good at just one thing is less glamorous, these people were actually finishing projects. It was really incredible to watch them create and transform a project into real life in a very short amount of time. The most frustrating people I met were ones trying to learn everything--Machine Learning, IoT, VR/AR, mobile, web full stack--and getting nothing done on a daily basis.

The math you need to learn is completely dependent on what programming you want to do. What will be most impressive is your ability to focus on one or two areas and not get distracted into trying to learn all of it, and not feel envy towards those who are experts in domains that you don't know.
The company I work for offers remote access to Mac/Win/Linux - We've been offering Mac Sierra (beta) for a while with Safari 10 installed: https://testingbot.com/support/getting-started/browsers.html which you can control straight from your browser.
UASP should help with that - but both the host and device need to support it.
It isn't. I think your an asshole if you use your phone on public transport.
Where we fly-flychecker-Bangkok op Wherewefly voor 431
Seconded. Semantic-UI is for practical work: if you need a reasonably good-looking app/site right now, go with it. You will be laughed at by purists (so many divs! large! suboptimal!), but you'll get the job done quickly, and they won't.

Also, Semantic UI is the most complete library that I've found. If you build an app, that is really important, you don't want to find out one day that there is a gaping hole because a certain widget hasn't been implemented.
That's not "exile." That's just prison, only even more sadistic and poorly run.
This is Googles big play into chat bots.
Well Couchbase Lite is largely compatible as far as I can attest. Not sure how it is with Couchbase proper, but I was under the assumption that it is API compatible to CBL.
I think Firefox will continue to support non-prefixed equivalents as well. Also, it seems like there are some useful -webkit- prefixed CSS properties that haven't yet been standardized with an unprefixed name. I think this is a good thing, they're adding new features that will (hopefully) get standardized someday.

Let's heap some scorn on those websites and internal corporate teams that do all their work on Chrome and Safari and never test on other browsers. It's always laziness (not testing their crap at all) or lame excuses (Chrome is faster, why would I bother?) that's to blame.

I don't mind being the "Firefox guy" on teams I'm part of and making sure my baby always gets some love.
...if caffeine were a new drug, I wonder what
Schedule it would be in and if people might
be even more leery of it than modafinil.

...

So I eventually got around to ordering another
thing of nicotine gum...

A second dose was similar, and the third dose
was at 10 PM before playing Ninja Gaiden II
seemed to stop the usual exhaustion I feel after
playing through a level or so.

Okay, I'm no longer part of the gwern fanclub. I could pick apart other aspects of this article, but I'll refrain, since it's not without a modicum of practical utility.

Yes, he writes very lengthy, detailed articles. Lovely. But they are anecdotes. And artisanal anecdotes at best.

To summarize gwern: A layman tries some stuff that is innately accessible to any layman, and writes haughtily aloof essays.
From their FAQ:

"Your chats are end-to-end encrypted and can only be seen by you and the person you're chatting with. Google can't read any of your messages, so you won't see any Smart Reply or Google Assistant features."

https://support.google.com/allo/answer/6383724?ref_topic=637...
> just hide them, delete them, or ignore them

At least in El capitan, I can no longer even touch any of system files even with root privilege. And then I could put shortcuts of the only apps I use in a separate folder but they add arrow badge at the bottom corner for each icons which is visually annoying, and I try to find out how to remove it, searching reveals I could rename the image file for that arrow but turns out I can't touch system files. No, I don't want to turn off that security feature just for this.

Next iOS feature that needs merged into macOS is, hide first party apps.
But that's end to middle encryption!
Oh, it's traditional in many European countries, and so it has been imported into the US. I still have a kind of clip-on holder inherited from my grandparents, like this: http://cdn.notonthehighstreet.com/system/product_images/imag...

I only use LEDs, of course.
Pumpernickel. A very woody word. [1]

[1] https://www.youtube.com/watch?v=-gwXJsWHupg
https://github.com/search?q=stars:%3E1&s=stars&type=Reposito...
Don't worry, I think I understood what you meant. I was just offering a possible explanation of why some startups might be better positioned to contribute later rather than right now.

For example, I don't think I saw any code contributions from WhatsApp to FreeBSD, and I know Tarsnap donated more to the FreeBSD Foundation than WhatsApp did pre-acquisition -- but when they were acquired and Jan Koum suddenly had money available, he made the largest donation the Foundation ever received.

So, if you can contribute now, great; if not, well, keep doing what you're doing, and if you're lucky enough to have a big exit hopefully you'll remember us at that point.
Flag: free photo prints – forever
Weird, even on an old PCIe 2.0 Opteron machine, I easily gets 1.4 GB/s from an HGST NVMe card. I've got 800 MB/s from a single SAS 12Gb SSD. Something's probably wrong in your setup.
Google is definitely level 3. Their presentation at SXSW this year shows it,

https://youtu.be/Uj-rK8V-rik?t=17m54s
Formal verification is a bit like using a super high level strict/static/safe programming language (often in conjunction with a classic programming language providing the actual run-time description which is being formally checked). Think C# attributes or python decorators but where they take up 80% of the code and are a language onto themselves. It basically does all of the things you described in your list through automatic formal mathematical proofs, rather than relying on chance or on the programmer directly (obviously if you write a backdoor into a formal requirement it'll make it past the proving step).

- No need to unit test specific cases when all the cases have been formally proven.
- Formal proving methods typically work best (or at least most easily) on pure functions for the reasons you described.
- No need to fuzz random values when the entire range has been formally proven.

If you ever took a theoretical computer science where the teacher had you write the formal induction proof for a loop, it's like that, where every possible case must be covered mathematically. We've simply gotten the computer to deduce the proofs for us automatically.

For example if there is a global integer that can be between 0 and 700, or the value 1000, then the formal verification system will make sure nothing in the program can write any other value to that memory. It will never increment or decrement when a 1000 is in there, it will never subtract 20 when a value less than 20 is in there, etc. Including by buffer overflows, or by pointer arithmetic in some random function, or by a runaway parsing algorithm. And then we do that for ever piece of memory, every subroutine call, and every possible input. And then we prove we covered every case and never violated our spec.

And we can add implications to our spec. For example the only way a command to launch a missile can happen is if the launch missile function is called, no other function no matter the state of the program can cause it to happen. This can prove that there aren't exploits to a complex program that might cause unwanted behavior. Can you prove that sort of thing to me about your software? Like can you prove to me your software is unbreakable? This solution can (with a much smaller error rate than "well I tried 17 things and none of them worked." because it can say "I tried literally every possible thing.").

It's a proactive solution. We are proving that it's mathematically impossible to break (engineering still being the weak point). That's an order of magnitude, if not more, better than what we have now.
The Nordics are awkward examples if you follow their trajectory back to the 70s, with periods of socialization and liberalization in the mix:

http://www.cityam.com/article/1394655511/forget-nordic-socia...

We pretend there are clean examples, but everything is pretty messy, and we rarely get any pure test cases for any economic philosophy.

Macro is black arts. "Avoid price controls" and "don't print boatloads of money" seem like reasonable guidelines. Beyond that, who knows? Corruption's bad but hard to stop. Moving risk around is (sometimes)* bad but hard to stop. Shrug and try not to do anything too extreme.

* Insurance is a beneficial example.
Seven rules for perfect Japanese typography
This maybe? http://m.cacm.acm.org/magazines/2016/7/204032-why-google-sto...

The key here is CITC. All the source code lives "in the cloud" and pulls to your machine as it's needed (using a FUSE file system).
Is it possible to harvest one from an old iPhone? I'd certainly buy an old iPhone that's mildly damaged if it meant I could use imessage on android.
Moovit's accuracy seems to have dropped like a rock, at least in Stockholm, somewhere in the last half year or so.
I was really hoping to see some love for Voice on iOS 10 after they added the new messaging and voip features, but I doubt there is much hope of that actually happening. They have yet to release a version suitable for iPad, let alone integrating with new features.
Push the bttn and on-demand happens
How do you measure the write speed?
Maybe this is off topic (but in the spirit of the question), but: High (graduate) level formal logic in a philosophy department.

Understanding (that there is) a relationship between computability theory and just basic thought is one of the (if not the) most important takeaway from my (disastrous) college career.

Benson Mates [1] is the canonical (succinct) textbook.

[1] https://www.amazon.com/Elementary-Logic-Benson-Mates/dp/0195...
Did you not read my comments?

I said that exchanging dollars for bolivars was easy. Exchanging bolivars for dollars, that's different.

You realize you just said that you said the exact reversal of my statement.
I think there's a big leap between saying Snowden should get a pass and saying he should get a medal. WTH kind of message does this send to other "would be Snowdens" who turn out to leak data that is important to national security and cause people, both civilians and US soldiers, to get killed.

One person may not have the whole picture or understand everything they need to know to weigh the costs. IMO, Snowden didn't know everything he needed to prove what he was doing was the right course at the time. He just got help from the fact that the government is too secret for its own good and that we are in a relatively peaceful time and don't have many existential threats.
I guess overloading a term with similarly-themed features ~= branding.
Most Optical Media degrades almost immediately, depending on storage environment, lasting as little as two two years before they start to degrade/aren't readable (depending on the dye and substrate). The MDISC is archival format - designed to last a minimum of 100 years when stored under reasonable conditions, and up to 1000 years if stored in archival (cool, dark) environments.

They are essential carving physical holes into a stone like substrate.

The verification tests are really quite impressive: http://www.esystor.com/images/China_Lake_Full_Report.pdf
In the end, I see all these apps dying. Even hangouts is crappy. They don't have a native mac client. Hangouts was a decent chat app they had. I wish they promoted hangouts as cross platform and as a competitor to both whatsapp and skype.
The encryption for incognito actually is Moxie’s protocol, as used in Signal and WhatsApp. The one single good thing about allo.
>Many people, including myself, find exercise to be mind numbingly boring, and intellectually insulting.

The supreme irony of this thread is that the exact mindset you're describing here would probably be alleviated by the stimulants being debated as an alternative(?) to exercise.

I suspect this plays no small part in the historical use of just about every stimulant under the sun including cocaine, amphetamine and modafinil by athletes looking to get ahead. Said athletes were probably still literal leaps and bounds healthier than the average member of the population.

Of course, no drug is an alternative to exercise and good sleep, and nothing about those two things would preclude you from taking any drug I can think of. It's a false dichotomy that breeds silly arguments.

That said, the use of such things is probably not strictly healthy. However, rather than worrying about winding up on a 'faces of meth' poster[0] I would consider how much one is really benefiting from use. The stimulant drug classes are infamous for their ability to persuade people that they're receiving much greater enhancements in ability than is really the case.

"Cocaine produces, for those who sniff its powdery white crystals, an illusion of supreme well being, and a soaring overconfidence in both physical and mental ability. You think you could whip the heavyweight champion, and that you are smarter than anybody. There was also that feeling of timelessness. And there were intervals of ability to recall and review things that had happened years back with an astonishing clarity." - The Autobiography Of Malcolm X, pages 137-138

"Like their British counterparts, the American scientists evaluating amphetamine for the military consistently found that, by all but a few measures, amphetamine did not objectively improve or restore performance lost to physical exhaustion, lack of sleep, or low oxygen any better than caffeine. Users certainly felt that the drug boosted their performance, but subjective impressions seldom reflected objective performance. Even where measurable gains were occasionally produced these were largely or entirely due to increased optimism and persistence in the contrived test conditions." - On Speed: The Many Lives Of Amphetamines, Nicolas Rasmussen, pages 81-82.

You are after all paying quite a cost on multiple levels for whatever gains are alleged, so you had best be sure they're real.

[0]: It's important to keep in mind the order of magnitude(s) difference between therapeutic doses and the mega-doses used by tweakers. In the latter case you should definitely be worried about winding up on a 'faces of meth' poster.
How is this compilation of anecdotal evidence even a thing on HN?

I performed well on the Cambridge mental rotations test. An anecdote, of course, and it may be due to the vitamin D I simultaneously started. Or another day, I was slumped under apathy after a promising start to the day; a dose of fish & coconut oil, and 1 last vitamin D, and I was back to feeling chipper and optimist.
I sucked at programming, rejected by google twice. I could finish problems and even finished whiteboard puzzles, but I never enjoyed large infrastructure projects and that showed in the interviews. I had a "kill me now" face as one HR person put it :) OTOH I love loved mathematics and working on complex scientific problems. So I switched to machine learning and scientific computing, and fforward a few years, I won the best employee of the year award in a fortune500 company with over 20K employees and have a couple of algorithms patent pending. Just one more line for you to think about.
What did you learn from editing that journal?