skysight-inc/HackerNews huggingface dataset:
i just went through several paid email providers over the last few days and was astonished to see how few allow wildcard mailboxes on custom domains.

protonmail is one of the worst in that regard with only 5 aliases on a regular subscription.
And yet this is exactly what happens with automatic translation.
”Of course since OEIS is finite, there will always be numbers which don't make it”.

18159 appears in OEIS, but its search interface isn’t perfect.

For example it appears in http://oeis.org/A000027: ”The positive integers. Also called the natural numbers, the whole numbers or the counting numbers, but these terms are ambiguous.”
I wonder if the Objective part of it made it more lively in the mainstream eyes too instead of "stagnant/crude" sml.
Versus: The Amiga Demo Chart – Issue 7 has been released
relevant: https://moxie.org/blog/lavabit-critique/
Triboluminescence (2008)
Weird. I get a timeout for that domain (everything else is fine), but only on my LTE connection. No issue on my fibre line.
I use FastMail, they handle custom domains excellently.
Hopefully finally learn how to make a SAAS. I'm going to be using Django, but I'm a newb to backend since all my experience is in old school frontend (no fancy JS frameworks, SASS, grunt, etc)
Speaking of nurses (per quote), I worked with nurses before, the vast, vast majority of whom were female, and you'd probably be surprised at the never-ending stream of crude (dick) jokes and "sex-talk"...

Wonder if that's the reason there are so little men in nursing?!
> Boekarest

That would be "Bucharest" and the whole quote is actually a rumour published by Kommersant who cited a NATO delegation source. Not exactly reliable.

> I'm from Poland and I can tell you that having USA military bases in Poland is a big win for every political force in my country. Left, right, liberal, socialists agree - we want to keep Russians as far as possible.

Don't you realize that the US is looking for a conflict and a future proxy war may be waged in your country exactly because of those bases?
> Then if they do get an order that says they cannot discuss, they just don't post the canary.

There's no need for this (anymore). You're already allowed to disclose (coarsely) the number of NSL you've received[1].

[1]: https://www.justice.gov/iso/opa/resources/366201412716018407...

> You can't force someone to say something in the US can you?

Unclear. The EFF believes you can't be compelled to lie, however you should consult an attorney with details of the specifics.
Trump lives among the 1% where they don't have to interact with computers to get around in society. He has aides and servants to conduct much of the routine paperwork and other things that ordinary people need to do to function with government and business. That includes email for communications. It doesn't surprise me that in his world, he uses phone calls and personal meetings to conduct most of his face to face business. It is definitely isolating and he lives very differently than most other people. Interestingly, I see the same situation with homeless or poor people who aren't as plugged in with everyone else.
Have You Hit the Point of Diminishing Returns as a Developer?
In chaotic systems (like weather or stock market) there is a fair share of randomness, which cannot be predicted no matter what approach we use.
Ask HN: How do you recognize a great programmer to hire?
I'm planning on hiring a good programmer but I'm getting trouble choosing the best from my applicants. I'm a software developer myself but I can't recognize a great programmer from a bad one. Any ideas?
It's a proprietary service, though. Sending an encrypted e-mail to someone outside of Protonmail results in them getting a link to a https url to read the message.

I get that it's a legitimate POV that PGP has been proven to be unworkable (although I still don't see why a well-designed client integration wouldn't work). But e-mail is a wonderful, open ecosystem and it's already fighting against the onslaught of proprietary services like FB messenger, slack, iMessage etc. – all of which restrict access to it to approved clients if they allow them at all.
It's not even necessary to do that; I don't know what he's talking about. I just typed "blender" into Google now. 93,000,000 results, of which this is the first:

https://www.blender.org/

And this is the second:

https://www.blender.org/download

On google.com/ncr the results are:

First result, blender.org (with search box and six links from the site below it); second result, "Blender on Steam"; third result, Blender Wikipedia page; fourth result, Blender subreddit.

I'd be more annoyed/confused if I wanted the kitchen item.
I think the most important difference is alcohol and other drugs use. And pollutants. And bad diet.

Just think about brain damage that accumulates over 70 years.
PostgreSQL, SEND+MORE=MONEY
... and don't forget a shrinking population. Accommodation in Japan is surprisingly inexpensive.
Except it isn't. I love how some people seem to deliberately confuse an ineffectual technocrat with an evil dictatorial left-wing conspiracy leader pretending to be an ineffectual technocrat.
Very interesting points. Kind of a tangent, I had kind of felt nostalgic about the days of the personal/hobby websites you appear to allude to that seemed so prolific before Facebook/etc, and wondered why things had changed so much.

It makes sense to me that now someone who used to be motivated to build a site about their life or a topic of interest now may often just sign up for a service like FB and occasionally do a post with an article, picture, etc about themselves/their interests. It seems to require much less effort for folks, which is perhaps why they do this. I lament the change somewhat and wonder what the future holds for this type of thing.
Being allowed to say "I received between 0 and 999 NSLs affecting 0 to 999 customers" doesn't really convey the same information as a canary.
As a programmer, I hate daylight savings, but asa human being, I love daylight savings.

It's just so nice to get that extra bit of sunlight in the evening.
Before clicking I was secretly wishing it illuminated a pixel for each visitor on the new mac Touchbar. This is pretty cool too.
They do actually

https://protonmail.com/support/knowledge-base/two-factor-aut...
"diplomat" is another way of saying spy, very often. The USA and other countries have long traditions of sending spies under diplomatic cover
Great programmers have:
1.) Positive Attitude
2.) Great communication skills.
3.) Good time management skills.
4.) Quick learning ability
5.) Broad technical experience
6.) High end user forecast
7.) Team playing skills
What 2017 beholds?
The only added defense they have here is jurisdiction. It would be unconstitutional for a court in Switzerland to order them to hand over their private key, wouldn't it?
DNS probably didn't propagate yet.
Most Famous Actress of Hollywood – Angelina Jolie
Adobe killed Flash itself, not Apple, not Chrome,not anti-flash troll X or Z on the internet.
Good points (you're not the first trying to scroll up, we will fix that).

Maybe we made the mistake on focusing too much on the app itself and not enough on the website :)
Silicon Valley’s Favorite Magician
Companies need to control healthcare costs which are quite high in the US. Things like screening etc. theoretically should help by catching diseases earlier starting prevention earlier.
Apples and oranges, sets and subsets. Citrix looks pretty good given their product's ubiquity/surface.
There were cases when such private URLs got into search engines. You should protect such URLs with authorization or at least hide them behind a POST form. Or block them with robots.txt.

Also if a user follows a link from such page, the URL would be leaked via Referer header so it is not secure anyway.
That is different than making a joke at the expense of rape victims. Please think this through. The gender gap in another industry does not negate on in another.
Agree. FastMail does email very well.
If by 'regular' subscription you mean the cheapest yes it is limited to 5, but you have the possibility to increase it by 5 by paying additional +0,75EUR/month, up to 50.
Hiring great programmers is hard. I have been advised that great programmers have great ideas. You can also ask questions (open ended) about coding during the interview.
How to Keep the Road Ahead in 2017 a Happy One
Because they lack the break through "retardation". And yes, for a monkey, unnecessary sounds, attracting predators are a handicap.

Imagine if vocalization was a disease result - a multi host disease that trys to attract predators by creating constant loud vocalization of thought.
SADDEST STORY EVER TOLD
There's no such thing as "end to end" encryption for webmail, unless you have a browser extension that can validate the JavaScript you were served from the host (which is capable of performing the decryption and obviously has access to your private key).

Otherwise you're just trusting that you've not been served backdoored JS by order of an NSL.
> Those who don’t reach the targets in three categories have to pay an extra $1,000 a year toward their health insurance.

It sounds a lot less sinister if you rephrase it:

And those who reach targets in three categories get an extra $1,000 on their paycheck, that comes from the discount on their health insurance.

This kind of data should not be known/tracked by your employer ever, for reasons of privacy. That's totally different from your health plan knowing, however.

The deep question here, regarding all health insurance (including national schemes), is -- to what extent should you be expected to subsidize other people's intentionally unhealthy life choices? To what extent should people who make these unhealthy choices be forced to pay more for them? If I get diabetes because I drank 20 cokes a day...

But it gets even harder, because who defines healthy? The long-term effects of so many activities is so unclear, or under so much debate -- just like sugar, for example.
It is not a classical x86. It might have an x86 instruction set but that's where its resemblance ends. It's a truly absurdly alien device. The authors had to define a new architecture type in the Linux kernel to get everything to work. I'd advice watching his talk from 33c3 (linked in top comment). It is hilarious.
Even telling the programmer to create a prototype to solve a certain problem helps a lot. You get to understand the programmer's approach in solving problems
I had just this thought. I think your are correct. They'd have to be willing to hand over your data, or get served and taken down again.
https://darkmail.info/
Just watched all his 4 talks https://media.ccc.de/search?q=Joscha . Time well spend on this Sunday January first :) And if I interpret it correctly, he is talking about concepts that come not from our direct sensors, but from structures humans put on top of reality, because things mean something to us.
I use GitLab Pages [1] for hosting my blog. It offers many static site platforms. Jekyll, Hugo, and Pelican, for example.

The work flow is simple. First, I fork one of example projects provided by GitLab [2]. Then, I make changes (creating a new post or fixing the site title). I don't forget to enable shared runners as mentioned by GitLab itself. Shared runners build and run your changes on Docker. Finally, I make commits and push it to remote server using command line. Let the machine build your changes!

Note: you can set up your SSL and domain configurations.

[1]: https://pages.gitlab.io

[2]: https://gitlab.com/groups/pages
Will this be the debut of Dark Mail in a production service?

https://darkmail.info/
Ah, thanks. That makes sense.
Lack of career mobility has been cited nunerous times of why their is this problem exists to begin with.

It is very difficult if not impossible to move one company to other mid-career, especially past certain age (job listing in Japan may can list upper age limit), as Japanese hires are very focus on graduates on given year.

One reason is because it is not easy to fire people, one wouldn't find opportinities elsewhere, so they are often forced to put up with their situations without much controls.

People who get sent to those "do nothing" room (they call it many ways to sounds politically correct, things like "career development department") are those company wishes to fire. There are scandals on these time to time, but instead of letting them watch TV all day it usually consists of meaningless tasks or simply forbidding to do anything to force them quit voluntary, but these are certainly newsworthy extremes.

I will omit reasons for long hours as these are discussed elsewhere in other threads.
I don't think that word means what you think it does.
Seems to be an excerpt from Pit Bull: The Battle over an American Icon - https://www.amazon.ca/Pit-Bull-Battle-over-American/dp/03079...
Golang DeepCompare
This social media scheduling app is getting rave reviews from Guy Kawasaki
That's the point.

You're not supposed to trust it or take it seriously, at all.

It's just a host for fun, for people from *chan websites.

I'm really not sure what you're expecting.
I tried this on bing and duckduckgo and they only have in the description the body text.
I guess not based on activity on GitHub: https://github.com/lavabit/
How so? Enabling the canary only tells you that one or more was served/obeyed, and can't be used again. To me, 0-999 also tells me that one or more was served/obeyed.
Here's to the masters...
The original sin here is that healthcare insurance is managed by a company instead of the government. That gives an employer too much power over their employees.

In Europe healthcare costs are just another tax, which rate is set by goverment and your employer is just responsible for substracting that from your salary and transfering to government's bank account, but has no say about how much you should pay.The plus side is that your employer simply does not give a damn about your lifestyle choices.
>Rape jokes
>just..for fun

Come on, as a tech community we deserve and can do better.
I was about to disagree with the bicycle analogy, and realized that a tricycle is indeed different than a bicycle, at least by name & definition. Clever analogy.
My Goals for 2017
> The plus side is that your employer simply does not give a damn about your lifestyle choices.

Employers still want you to be healthy because they don't want you taking days off work sick. In-service death benefits from heart attacks or whatever could be hundreds of thousands of euros and they still pay them even if you have a national health service. It's probably cheaper to pay for a gym than sick days and in-death benefits.
I love my recumbent tricycle. Legally it’s a bicycle; the fact that it happens to have three wheels is irrelevant.
As someone who works at a company that is removing all vending machines at the first week of the year, I agree. It's none of their damn business what people eat or drink and taking vending machines out just reduces employee morale.
Enjoyed reading your comments. I can see applying some of this to my own life, what you said about cherry-picking is spot on .
Both are basically people not understanding Bayes' law. Or, equivalently, the difference between (posterior) probability and likelihood.
My company requires an annual health assessment be completed in order to avoid a higher insurance rate. There is no requirement that the data entered in the assessment be truthful. It seems like applying such a requirement would be difficult as all the data are self reported, therefore difficult to verify much of it. I have little objection to this approach.

On the other hand the "livewell" points scheme seems annoying. I wonder whether employers consider the added cost. Most employees will complete such extra work-imposed requirements while at work instead of actually working. Suppose this costs four hours per month, that could easily work out to 5k/yr in most tech jobs. That's probably an underestimate. How does that compare to the reduced cost of insurance coverage?
The ratio of embedded systems that care about the calendar to those that care about time has to be astronomical.
I'd add another point to the list: when considering asking a question, first ask yourself why the situation is such that you have a question.

That's vague, so let me give an example. Let's say you want to ask, say, why data being sent over a network is chunked at a certain size. Before asking that question, first ask, "why _would_ it be chunked?" You then might start down the road of considering that maybe there a maximum size of data that can be sent over the wire, and dig in from there and answer your own question.

Most of the time, things are the way they are because someone made them that way - you're not discovering new land that nobody has seen before - and that someone probably had a reason. If you try to think about what that reason might be - if you ask "why would this be made to be this way?" - you will often find a way to the answer to your original question on your own without having to ask anyone else.

Often, when learning a new library or abstraction, I ask myself, "how would I have designed this?" Most of the time, either the way I would have designed it is the way it is designed and it's then easy to understand, or it isn't and the difference between how I would have designed it and how it was designed points directly at something I hadn't considered or been aware of, giving me a place to start understanding.

Critical thinking and careful investigation are incredibly valuable skills that can push you ahead by leaps and bounds without needing anyone else to help you. Those skills do take time to develop, though.
I have a somewhat more practical objection - when you reduce their pay, how are these people supposed to get healthy again? Achieving healthy status seems more costly than maintaining it, but with this system, if you fall behind, your resources are further reduced on top of you being physically worse, making it even harder to get back to being healthy. It's like Mario Kart without blue shells.
How to Set Up an OpenVPN Server on Ubuntu 16.04
And my experience has shown that soft skills (= EQ, being good with people) among programmers are not worse on average than in any other occupacion. In my life I've just met too many jerks among sales-people, managers, lawyers, doctors - that is occupations typically associated with high EQ requirements. Being introvert and getting fun from interaction with machines does not automatically mean having lower EQ or being worse with people.
Slight nitpick, slack allows XMPP and IRC clients to connect if you get your admin to flip a switch. They can't obviously guarantee the security of arbitrary clients and so they have it turned off by default.

Email is a great and open system though. Horrible in many ways, but also wonderful.
It seems that there are some examples here: https://github.com/CakeML/cakeml/blob/master/explorer/exampl... Whould be cool to have these examples accessible from the web interface of the compiler explorer.
Going paperless, replacing my notebooks and journals with 1's and 0's
You can hear a bunch more about the full history of development of SML and interaction with OCaml here:
https://www.youtube.com/watch?v=NVEgyJCTee4

I would definitely agree with the opinion above that the SML language designers fall in the camp of deliberating extensively and fully formalizing all new language features before considering them for inclusion.

Today, there are two challenges right now in the Successor ML space:

- There's some broad agreement on a few things that should obviously be improved, but today many of the implementation owners don't have a huge amount of time, so getting them to also agree to the new features is complicated. Life is way easier when you only have one implementation.

- There's a bunch of fantastic ideas (largely driven by Bob Harper) to integrate stuff like parallelism, cost model, etc. that will be fantastic for a next version of the language and specification. It's just a lot of work, and not really publishable, so it's mainly tenured faculty and "alumni" (like myself and probably the people you work with) driving it forward in our free time.

That said, I still love working on SML and its implementations (I mainly contribute to SML/NJ and Manticore) and it's a wonderful escape from the grim reality of quarterly goals and "get it out the door" release deadlines :-)
> none of their damn business what people eat or drink

Well if they're buying the food and drink and providing it to their employees then it's literally part of their business operations.
> It's like Mario Kart without blue shells.

good analogy
These two are not equivalent. A few missing parentheses isn't what causes people to be unable to do simple maths.
I thought for a while about this comment and I must say, I don't understand why you're so snarky here. The advice is actually not that bad.

The assumption is: A mostly unmaintained business has the risk of becoming obsolete rather quickly.

Better to have cash in the bank now than a potential income over the span of several years. Furthermore, tax-wise, it is cheaper to sell than to keep the business.

The question for every business is probably: Did the business reach its peak (under the current owner) and is it more feasible to sell right now or can it provide your above-a-certain-threshold income for several years to come?

The reduced tax rate for capital gains is merely a side effect, but could favor the decision to sell or not to sell in one direction or another.

Would you care to elaborate why the advice is so bad?
Buffer Overflows Explained
No worries. :)
I think there's been a big impact on having commonly used tools too. Tensorflow and the like have allowed people to share and easily build on each others work, including on shared models. Not unique to 2016, but I remember the struggles of trying to get hacked together matlab code working that it turned out was actually slightly different than must have been run for the paper. Now I'd expect a lot of work to come with a setup that anyone can easily get and try themselves.
That's for the 6s, not the 6.
This is how punishments work in general. They don't help people - they just weed people out.
Is the rule actually 0-999? Because they'd have to get 1000 or more before you knew there was 1 or more.
Individuals should pay for their own bad choices. Im in Aus and a pack of smokes last year (yesterday) cost $28. Today $35. thats for 25 cigarettes. Taxes work. In america it's a little more tricky, and nailing down the cause of long term conditions is also tricky.

But if you're fat, smoke and don't do anything, and then you have a heart attack its kind of easy to link things together.
> Suppose that you lived in a world where aging didn't exist, and people typically lived for hundreds of years. (There would still be deaths due to accidents, violence, and occasional disease).

I'm sure Sci-Fi novels have explored this topic in detail, but when I read this I don't worry about older conservative generations - I worry that everyone will become paralysed by conservatism, including young people.

Taking drugs, partying all night, riding a motorcycle, leaving your home at all. Why would you risk centuries of your lifetime just for a little thrill? Wouldn't it be safer to stay at home browsing the web? You can still have fun next century, no need to rush it...

Still, I don't have a good answer to your question.
Looks like DIME hasn't been touched in a while. After the initial talk about this stuff a couple Defcons ago there doesn't seem to be much public progress.

We'll see what he puts up.
Agreed, but I also think companies should look into a more tiered healthcare policy

one blanket policy for everyone is silly lower wage earners should be on the cheaper plans.. the less they make the more replaceable they usually are anyway
Password Management with Vim and GnuPG (2013)
Yup, it's so odd it's even!
We have a positive surplus of intelligent ambitious people in Japan, Europe and America. What we don't have is savings or capital. This malaise is generational, not regional.