skysight-inc/HackerNews huggingface dataset:
its was confirmed to cia insiders in the media, but whatsapp never confirmed it themselves afaik.

think this is probably a government vs government issue. (a lot like the backdoored routers). one government agency needs encryption to keep them safe from another government agency while they fight over who has control of the heroin trade in afghanistan.

Also, while I haven't myself, I guess it would be fairly easy to disassemble the whatsapp apk.
Wow this is awesome! Thank you for sharing. Retainers post Invisalign cost between $400-900 for 1 set - total ripoff. This looks like a far cheaper alternative.
Jeopardy has many purposes. It provides employment, entertainment, and a cultural touchstone, as well as a benchmark of our quest to replicate our nature. Relatively few things have more purpose.
I've always been curious where the federal government gets the power to define what time it is? If we simply ignored it would there be fines, or does it not have teeth?
A (somewhat) secret: lots of employees don't/can't exercise, returning options to the pool.

Hell, just last week someone was on HN discussing walking away from $0.5m because he couldn't afford to exercise when he left an employer that was later sold.
It's already been mentioned but giving them the discount (provided you don't immediately need the revenue) in exchange for a 24 mo contract seems ideal. I believe the longest you can contract would be 24 mos (12 mo w/ 12 mo auto renew but it might be worth asking an attorney/search a bit online. I would also ensure you can use their name to leverage into additional customers. Congrats by the way, this seems like a nice problem to have :)
The ruining you financially is mostly on tax basis, and an RSU forces you to pay tax immediately on vesting as income, whereas an option lets you wait and choose when/how to pay taxes, and has some tax benefits depending.
Never heard of Livefyre (so can't say anything of it) and never had any problems with Disqus. And what I know for sure is that Disqus is definitely better than Cackle and other similar systems that _require_ you to have a social or google account.

What's wrong with ya people? Since when isn't plain login/password pair enough? I don't want to get involved into online slavery sect with those "social" popular apps.

Thankfully, Disqus still allows to do things right, so I see no reason to bash it now.

And yes:

> Because the “customer is always right”

This very approach is the one that prevents IT from really rapid progress.
Asus Zenbook UX32LN (with a GNU/Linux system based on NixPkgs), RAM upgraded to 12GiB from 8 GiB just in case

Pros:
· works nicely with Linux whatever kernel build is used,
· UEFI is optional and it can be manually configured without hassle
· acceptable battery life under light load (~5 hours) but dual-core i7 can perform reasonably well if the power draw is not a concern,
· a nice FullHD screen with fine brightness adjustment (I prefer my screen to have the same brightness as a sheet of paper next to it — this is darker than many screens' minimal settings)

Cons:
· after third time warranty-replacing HDD I gave up and bought a similar one from a different manufacturer
· slightly too small at 13.3 inch — a larger screen plus larger battery plus larger keyboard would be nice…

I recently put it on the edge of a bed in a wrong way and it fell onto a plugged USB extension cable — the cable apparently suffered more than the notebook, which is nice.
Ethereum Surpasses $1B Market Cap
It would screw up high-noon for a lot of people. However, getting the US down to two time zones would be much less problematic, and achieve most of the benefits you'd see from one time zone...

http://www.theatlantic.com/business/archive/2013/11/daylight...
There are already secure solutions today. When i make an online payment with my visa card with a new vendor based in my country, i get directed to the card issuer's website where i need to enter a one time code generated by putting the card in a keypad (which my bank issued), entering a starter code and my pincode and then reading the generated number off the keypad's display. Without the physical card and pincode no purchase from a new vendor is possible. In the physical store i need to input card and pin to use the secure chip on the card to sign the transaction.

Of course, then i go to the US and any random hobo on the street can charge me with just the card number and a scribble. The problem isn't that credit card companies don't know how to get rid of card fraud, it's that their customers like the convenience too much and won't let them do it.

The same thing for identity theft. In my country opening a bank account or getting a loan requires an id card, which is government issued and contains a digital certificate protected by a personal pin. Unless someone steals that card and knows your pin, they can't steal your identity.

These are easily solved problems. The reason they're not solved in the US is because the people won't allow them to be, or at least banks and government perceive it as such.
ssh-agent with IdentitiesOnly. Fairly regular key rotation schedule, with separate keys for groups of servers based on a loose taxonomy.
Hans Rosling and the magic washing machine
It's the switch that everyone hates. Instead of ending DST, can we agree to stop using Standard Time?
The paper is actually linked, so I went ahead and skimmed this one.

From the abstract:

> Both models reveal a short-run increase in fatal crashes following the spring transition and no aggregate impact in the fall. Employing three tests, I decompose the aggregate effect into ambient light and sleep mechanisms. I find that shifting ambient light reallocates fatalities within a day, while sleep deprivation caused by the spring transition increases risk. The increased risk persists for the first six days of DST, causing a total of 302 deaths at a social cost of $2.75 billion over the 10-year sample period, underscoring the huge costs of even minor disruptions to sleep schedules.

I still have no idea where the 17% came from or what it's relative to. If anyone else finds it, please fill us in. Am I missing something, or did they borrow a made up statistic out of a clickbait image macro and link to a vaguely related paper as cover or something?
This Part of My Life Is Called … WordPress
This is a story about how I fell in love with WordPress (and web) even after being misguided towards the career-path of Electrical Engineering and that of a jack of all trades, but WordPress community was where I found my true self.
Not sure about the 17% in 1986-1995 thing, but here's a study of Colorado when it changed DST policy (I assume the date was changed) that found some effect: http://www.colorado.edu/economics/papers/WPs-14/wp14-05/wp14...
Typically your employer would withhold a fraction of the just-vested RSUs to cover tax.
What's something someone with a strong entrepreneurial, technical and managerial background can do for maybe 20 hours a week?

Exactly what you're doing now. But only 20 hours a week of it.

You can spend today having the talks you need to have to make this happen, then start your first sane work week tomorrow.
So your 1 bp grant was basically a year's salary for a junior engineer in the Bay Area. What is the advantage of joining such a large post Series B startup (which could still face a down round or layoffs before the exit) instead of AppAmaGooFaceSoft?
There are startups doing this?
It sounds to me like you need to read patio11's article about names :) http://www.kalzumeus.com/2010/06/17/falsehoods-programmers-b...
This is completely speculation. We should rather leave the conservation of Biosphere to Science and Technology. I refuse to believe that Humans are going to continue making such a waste of resources in near and far sighted future. These theories always reek of nihilism to me.
Today in History mobile app
To understand Wingdings you first need to understand Letraset dry transfers and to fully understand Letraset you first need to understand 'Decals'.

Letraset was the only way to get professional typography in the 1970s (and most of the 1980s) without resorting to a professional typesetter. The whole technical design and architectural design world was consumed by Letraset and any home or office that, say, owned a set of Rotring pens and a few french curves would also have sheets of Letraset and a Letraset catalogue (or three).

As well as sheets of all moder typefaces, Letraset had sheets of icons and useful decals including all the things in the Dingbats font (plus much more). You could buy sheets of pointing hands, trees, traffic, washing label icons, stars, ornaments, hatching, ... Google images has a lot of examples of these kinds of Letraset.

As a child of the 1970s I was obsessed with Letraset. My friends and I would pour over the catalogues like we would a Lego catalogue or a Littlewoods (postal shopping catalogue). Letraset was expensive.

As a young adult I was simultaneously wowed by the freedom (and cheap price) of Dingbat fonts and clipart disks while being appalled at the low quality of the artwork. I wondered why Letraset hadn't immediately jumped into the computerised world, like, say Pantone managed to. Did Letraset enforce copyrights to keep clip art so poor?

I suspect there is a much more interesting story here somewhere.
Article is correct, only the HN title has the s
Not the GP, but I took a bunch of time off work, traveled with my wife for a while and then hacked on fun things until I found one I could make into a product. I'm now living off a bootstrapped product, and I couldn't be happier.
Driver Toolkit 8.5 Crack and License Number Download
It could have nothing to do with what one thinks about mankind. When people adopt a system (or a system is forced upon them), people will act rationally within that system.
I don't. I stopped after I realised that with my skills and experience I can get a job any time.
If you look at stack overflow you'll see that many answers have a bit of back and forth before the answers are found to elucidate the problem or scope. I think the chat format would be great (and sets you apart) as long as you had some kind of soft rule that to accept an answer someone has to write a summary too.

The parent is right, your value is in the questions already answered, and this would also avoid mentors getting bored of the same question.

Another potential thing to set you apart is to somehow find a better moderation system than SO.
"The default is to continue on the 3-year cycle (aim for C++20 then C++23), but we’re also thinking about whether to try out going to a 2-year cycle (aim for C++19, and if that works then C++21 and C++23)."

Fist time I see C++23 mentioned ;-)
They (we, I am one of those) should do that anyway. In the end we all benefit if there is less/no hunger and stress for money. I notice that in NL where this is basically already the case; people are not stressed about money as they know they will get that anyway if all goes to hell for them. It doesn't result in less people working, it does result in more people doing what they otherwise would not dare to do.
Often when later stage companies start offering RSU there is a double trigger vesting. One is the normal vesting schedule where you earn the stock and the second is when the stock becomes liquid (acquisition, IPO).

This way you wont get the tax hit until the stock is actually liquid. The downside is that you cannot get longterm capital gains tax treatment, instead it's taxed as ordinary income with your income tax bracket.

Personally, I think all the tax optimizing on stock options doesn't seem worth it when most startup stock never see any returns. I wish IRS could find a way to fix this. It seems silly to pay taxes just because you own stock that is not liquid on any market and which you often can't even legally sell without company's permission.
Formal verification of legacy code after 10 years of production use
wanted to check out the videos..... But i told myself i wont use livecodeing.tv after the incident last year with all the harassment.

kid if you read this, hop into twitch #programming, ill see you there! :D
I'm saying that thing is created for Google and it's shareholders and will ultimately be used to read your mind and sell you advertisements.
I guess you don't live far up north. All wake hours in total darkness is quite depressing.
I like these type of things but I don't believe they are practical because of the massive potential variation within a single syntax which is typically hidden by language specific culture, convention and idiom. When you transliterate from one language to another, the gulf is made visible and the resulting code is alien and unacceptable despite executing correctly.

The unavoidable problem is finding a language in which every one's solution to the same problem is the same but I think that goal is more likely provably false than possible. If it is possible then finding solutions in such a language might be like threading a tiny needle and too hard to use.
I know us Brits always harp on about the National Health Service, but if you can find a dentist with NHS spaces available locally then you're in good hands.

But they're not without their commercial incentives either. And the waiting times can go into weeks for non-urgent work. Still, the costs are negligible in comparison. We perhaps pay in other ways...
Educated guess: Article 1, Section 8 of the U.S. Constitution regarding standards for 'weights and measures'.
the real problem is that options are meant to be given with a strike price so low they are basically given to you like RSUs, like 1 cent. Instead companies make the price much higher for no good reason other than to force you to be unable to execute it until the company goes public. If you have to sink a large amount of money to buy the shares and then are unable to sell them to pay the taxes most people wont exercise the option and will wait it out until the company goes public. People refer to this as the golden handcuff that prevents you from leaving the company because you lose your options 90 days after you leave the company. They then take your shares that should be rightfully yours as you worked there for years and give them to the next new hire. It is purely for the company to save money. Any company that has a strike price greater than 1 dollar is being greedy and it should be a red flag that they dont really want you to have those shares
I got kind of excited at the prospects of a study seeing how EM radiation affects our REM sleep patterns, eapecially with the degree the IoT and 5G will envelop us in the very near future. Unfortunately that debate will be another day...
As a European that's living further up north than most Americans: Sorry, but no!

I don't want to get up totally in the night in the winter. And in summer I want to be able to use the long evenings with the sun still up instead of getting up too early.

Except one, the cited effects are all about the switch from winter time to summer time.
Use GPG/OpenPGP and encrypt it before sending it to your colleagues? https://gnupg.org/

Or use a zerobin instance somewhere (encrypts things clientside with AES 256) and pass them a link. https://zb.a.im/
Agreed! I'd rather have sun in the evening when I can enjoy it than when I'm sleeping or working. DST year round would be fantastic.
Lee Sedol beats AlphaGo in game 4 (result is now 1-3)
Lee Sedol Beats AlphaGo in Game 4
Lee Sedol wins Match 4 against AlphaGo
Lee Sedol Wins 4th Match Against AlphaGo (1-3)
AlphaGo just resigned against Lee Sedol. Lee Sedol wins 3:1
The curse of the people who can’t stop making puns
`feross-standard` is much less popular than `eslint-airbnb`, and it faces a struggle being adopted because it enforces some very unpopular choices.

Notably, it uses a "no semicolon" style which is used by around 11% of JS devs[1] and is always capable of igniting a heated argument, but it also has some other questionable choices: For example, it enforces spaces after function names (eg, "function valid (size, name) {/.../}" versus "function invalid(size, name) {/.../}"), which no other style guide or linting rules agrees with.

The point of posts like OP's is, I think, to advocate people standardize on the best tools, or when multiple tools are equally good, the most popular ones. `eslint-airbnb` is at least as good, and much more popular by basically any metric (eg, the `airbnb/javascript` repo has 31k stars, the `feross\standard` repo has 4k stars, etc.). To the extent that there is (or should be) a standard for linter rules, I think it's airbnb's.

[1]: https://ponyfoo.com/articles/javascript-developer-survey-res...
All these articles seem to keep gloss over the actual issue: the switch between standard time and DST twice a year.

People are fine with the time system, especially since timezones themselves are somewhat arbitrary in their regions. DST is actually more comfortable to live with by allowing for more daylight after work hours. It would be better to just switch to DST permanently and avoid the constant frustrating changes.
Some pretty questionable moves from AlphaGo in that game, but I'm glad LSD managed to close it out.
Was it AlphaGo losing the game, or Lee Sedol winning it?
There were a few jokes made during the round about how AlphaGo resigns. Turns out it's just a popup window! http://i.imgur.com/WKWMHLv.png
Given the number of errors by the AlphaGo in the last 10 minutes, probably the former.
> As colejohnson said, the difficulty. The network, as a whole, expects to generate 1 block approximately every 10 minutes. Someone with less than 50% of the network power will never be able to sustainably mint a longer chain of 'fake' blocks before someone else mints a legit one.

If you look at the blocks mined you can see that there are plenty of mining groups that manage to mine consecutive blocks: https://blockchain.info/blocks
According to the commentary of both streams I was watching, after losing an important exchange in the middle (apparently move 79 https://twitter.com/demishassabis/status/708928006400581632) it seems AlphaGo sort of bugged out and started making wrong moves on an already dead group on the right side of the board. After that it kept repeating similar mistakes until it resigned a lot of moves after. But the game was already won for Lee Sedol after that middle exchange. It was really interesting seeing everyone's reactions to AlphaGo's bad moves though.
LSD maybe the only human to ever win against AlphaGo.
I was not expecting Lee Sedol to come back and win a game after his first three losses. AlphaGo seemed to be struggling at the end of the match.
http://i.stack.imgur.com/BkQTT.png

http://apple.stackexchange.com/questions/153379/disable-try-...
Those moves look like AlphaGo had calculated a loss way ahead of time.
> I don't want to get up totally in the night in the winter.

Since DST is not in effect during the winter, it's hard to see how this proposal will help or hurt you here.
You could just adapt the time you do things to suit the time of year...
Errors when already lost don't mean much.
Relevant tweets from Demis;

Lee Sedol is playing brilliantly! #AlphaGo thought it
was doing well, but got confused on move 87. We
are in trouble now...

Mistake was on move 79, but #AlphaGo only came to
that realisation on around move 87

When I say 'thought' and 'realisation' I just mean the
output of #AlphaGo value net. It was around 70% at
move 79 and then dived on move 87

Lee Sedol wins game 4!!! Congratulations! He was
too good for us today and pressured #AlphaGo into
a mistake that it couldn’t recover from

From: https://twitter.com/demishassabis
According to the head of DeepMind, AlphaGo made a mistake in evaluating move 79:
https://twitter.com/demishassabis/status/708928006400581632
I think Lee Sedol won the game earlier by destroying AlphaGo's territory in the center. The commentator (Michael Redmond) was quite impressed with what he did there.
Given the genius of LSD, probably the latter.
Lee Sedol definitely did not look like he was in top form there. I would say (as an amateur) his play in Game 2 was far better. It was the funky clamp position that perhaps forced AlphaGo to start falling apart this game. [0]

I wonder if Lee Sedol can find a way to replicate that in Game 5.

[0]: https://twitter.com/demishassabis/status/708928006400581632
I hope it won't turn out they let him win.
> Mistake was on move 79, but #AlphaGo only came to that realisation on around move 87

That's cool to think of AlphaGo having "realizations"
Ke Jie won 8 out of 10 when went against Lee though. Lee is probably not the strongest in the world right now.
The best solution I've found is git-crypt [0]. It uses a .gitattributes file and git-hooks to dynamically encrypt files whenever you push to any other user (i.e. Github). The result is that the files are plain text on your (or any other user with the password) computer but are encrypted when they leave your system.

I even leave the files encrypted during the build and deployment process and only decrypt them when they reach their final resting place. Using a combination of BASH and AWS's KMS (Kem Management Service) it wasn't too difficult and I feel much better about putting secret information in my source code. :)

[0] https://github.com/AGWA/git-crypt
I may be mistaken, but I think that applies only if you're using agent forwarding.
Another angle - https://i.imgur.com/Pl7xPfk.jpg
Discussion happening here: https://news.ycombinator.com/item?id=11276798
The game seemed to be going in AlphaGo's favour when it was half way through. Black (AG) had secured a large area on the top that seemed nearly impossible to invade.

It was amazing to see how Lee Sedol found the right moves to make the invasion work.

This makes me think that if the time for match was three hours instead of two, maybe a professional player will have enough time to read the board deeply enough to find the right moves.
I wonder what the chances are of a cosmic ray or some stray radiation causing AlphaGo to have problems. It's quite a rare event, but when you have 1920 CPUs and 280 GPUs, it might up the probability enough to be something you have to worry about.
Get everyone to sign on with Keybase.io and make GPG encryption easy (and fun!) for all. I really, really like Keybase for things like this and am trying to encourage all of my teammates to sign up, or at least use GPG encryption.

NOTE: If anyone needs an invite to Keybase.io, email me; I still have a couple left. :)
> DST is actually more comfortable to live with by allowing for more daylight after work hours. It would be better to just switch to DST permanently and avoid the constant frustrating changes.

Is adding a permanent 1-hour offset to all of our clocks really a more sensible solution than convincing employers to shift their schedules one hour earlier?

It just sounds kind of Kafkaesque... your boss has set your schedule too late in the day, so your solution is to trick him by winding all his clocks forward by one hour.
Does this mean Lee found AlphaGo's weakness, and AlphaGo wasn't player at a out-of-reach level?
I was hoping to see how AlphaGo would play in overtime. Now I'm curious, does it know how to play in overtime? Can the system handle evaluating how much time it can give itself to 'think' about each move, or does it fall into the halting problem territory and it was programmed to evaluate its probability of winning given the 'fixed' time it had left.
That was really cool! It seemed after the brilliant play in the middle the most probable moves for winning required Lee Sedol to make impossibly bad mistakes for a professional, which would be a prior that AlphaGo doesn't incorporate. I've heard the training data was mostly amateur games so perhaps the value/policy networks were overfit? Or maybe greedily picking the highest probability, common with tree search approaches, is just suboptimal?
Yeah, I was worried that if the score ends up 5-0, we could never see how AlphaGo resigns. Good to see Lee Sedol's victory.
Hopefully they're not that disrespectful
Show HN: WordPress SEO Tips