skysight-inc/HackerNews huggingface dataset:
You nailed it.

Our HQ is outside DC and most new hires (at least one my product) are local. But, we have great flexibility - we can work from home on demand from day 1. And we regularly let employees go permanently remote when their personal situations change.

Prospective employees are always glad to hear that's one of the perks working here. Especially those that come from government contracts, where being on-site with a client is generally preferred, if not required.
I wonder how much of this doesn't actually have to do with the home, but rather office conditions:

- open seating and/or highly sound-reflective surfaces

- unfixable A/C and/or drafts and/or allergens

- all methods of transportation to the place where the office is are unsupported (e.g. Cambridge, MA)

- jerks cruising the office

- unwanted attention not or only pretentiously connected to work
It would be nice to see conferences adopt some kind of "bring your own bowl, spoon, and/or cup policy, so that each day does not result in a couple of plastic plates and cups being manufactured, used once, and trashed.
Bilingual people often mix 2 languages while speaking. This is called Code Swit
Yes, they should have said "roughly zero chance", which is true. They were just rounding down.
The "anti-LGBTQ" groups that Chick-fil-a donated to:

* Fellowship of Christian Athletes

* Salvation Army

* Paul Anderson Youth Home

Could you explain how these groups are "anti LGBTQ"?
I think the solution should be to have better excel reverse engineering tools. I have seen plenty of crazy complex spreadsheets that had hit a wall and were hard to refactor but the solution would never have happened if they hadn’t had excel enabling regular users to create it.
> Are you seriously suggesting that it will be a trivial thing for farms that currently rely on manual labor to switch to large-scale mechanized practices?

Of course not. I'm suggesting the opposite: That they have no chance of competing with manual farm labor, so there's no point in trying.

> So I don't see how they can avoid a process similar to what occurred for western farmers starting ~1900.

I don't see how a development process that may have happened in the West over a hundred years ago, under completely different circumstances, can be repeated in Africa in 2019. That's literally the question I am posing: How could this kind of development possibly work through farming?

> They don't need to be competitive on a global scale, they need to find a profitable niche in their own countries.

You can't ignore the global market. The whole reason why many farmers can't make a living in Africa is because foreign produce is cheaper, due to automation. So you would have to restrict foreign produce, raising its prices and therefore making everyone poorer (except the farmers).

> Additionally, increasing employment seems far preferable; likely developing local economies is the best way to increase standards of living rather than relying on foreign aid.

Developing local economies is fine, doing it through farming is completely misguided. In farming, a massive amount of labor can be automated away and will be automated away if economic development actually takes place, so any employment here would be temporary at best.

Instead of farming, let's take the manufacturing of clothes. Some of it can be automated away, but not necessarily to the point to make 99% of workers redundant. As a result, you can see many emerging economies producing clothes for international markets.

> Also note that there are many crops even in the US that heavily rely on hand labor (typically fruit/vegetables). While it may not be feasible to compete with imported grains, I can certainly see how local farmers could effectively compete for these crops- which would likely also increase the diversity of foods avaliable in local markets.

I did note as much, specialized farming may well be a profitable niche for exporting. Except those misguided western do-gooders aren't helping them build supply chains to western markets for valuable produce, they're telling them that raising rats and snails for the domestic market is totally the right thing to do for economic development. Utter nonsense!

> How is it anything but a net positive for them to develop local industries; the increased economic output is likely to improve the entire local economies and doesn't rely on foreign aid (which can suppress long-term economic development).

Because of comparative advantage. Making domestic farming sustainable would require protectionism. We figured out hundreds of years ago that protectionism doesn't work and effectively makes everyone poorer, yet somehow it's still popular among politicians (like Mr. Trump).
GitHub uses Haskell for code analysis
As I remember the PADI training the CESA is the absolute last resort when your buddy is not available. I imagine all authorities would agree that it's less bad than remaining at depth without gas.
I wouldn't want to work 100% remotely, mostly because of the loneliness they talk about. But I would probably take it over my current situation of working in an open office 100% of the time, because open offices are a special level of hell for anyone with attention issues or sensory sensitivities.

Also, do people actually think "infinite vacation" is a perk? I like having a fixed number of vacation days that I can take without question or explanation.
It could be something like "Most people want to work remotely but cannot, and once some do, they find out about the downsides first-hand."
Of course it's possible. You will probably find countries with way more relaxed immigration processes, e.g Germany, Netherlands, Canada, Australia etc. Is it advisable? I really can't tell without knowing you and your situation. I moved to the Netherlands 2 years ago, am 35. Don't think age makes such a big difference in this thing. Did you explore all possibilities in the U.S? I would even consult a lawyer. You are already there, so it makes sense for you to explore all your options before you decide to leave.
Your remarks bring me close to the border of my limited knowledge of model theory so I must be careful with my response.

I believe the answer to your question:

> Do other considered set theories offer any improvements over ZFC in these specific respects?

is "no", and that you essentially answer this yourself with the following paraphrasing of Löwenheim–Skolem:

> As long as you stay within first-order predicate logic, a theory of sets will run into such issues.

So if we opt Lawvere set theory I think we just do the same thing as if we had opted for ZCF, i.e., just assume we have a model (perhaps provided by some higher order logical system).

However in my opinion, we do have a theory with a much more intuitive set of axioms.
i always pick the same 2x or 3x. this lets my young daughter win a lot.
So, those of us at 26 need to cut back a bit.
There are many Christian people and denominations who don't promote homophobia. I have no problem with them.
There is always a government.

It might be two guys with guns, or it might be a huge bureaucracy that runs on the rule of law or anywhere in between.

But it's always there.
Seems like Peter thiel was tired of not getting libertarians elected in the USA so he went and made his own country.

> Obsolete political systems conceived in previous centuries are ill-equipped to unleash the enormous opportunities in twenty-first century innovation.

I wonder if woman's suffrage is included in his thoughts on obsolete political systems?

> The 1920s were the last decade in American history during which one could be genuinely optimistic about politics. Since 1920, the vast increase in welfare beneficiaries and the extension of the franchise to women — two constituencies that are notoriously tough for libertarians — have rendered the notion of "capitalist democracy" into an oxymoron
Because leftists can't sit with the fact that Chick-Fil-A is the fastest growing fast food chain in the US. Rather than simply boycotting, they need to actively harm their business, since the market clearly doesn't agree.
Have you been to a sporting event recently? People browse social media and play Candy Crush while the game is being played.

Once I even saw someone watching a basketball highlights video on YouTube during a live basketball game.
> As a hiring manager, what I’ve found is that there aren’t so many people who truly want to work from home all the time.

I think you might be surprised how many people truly want to give up 40 of their best hours a week at all. Reality is that most people need to work for an income, which, as you’ve laid out for remote work, allows them to do things that they want to do with their lives. I know many people who would quit working today if their rent was paid, food guaranteed to be on the table, and they could travel a little or pursue some other hobbies.
Ask HN: What do you wish you had known before you took a new job?
I have a friend looking at a job offer and we were talking about the question of hindsight. She is thinking about taking a new position and is wondering what you wish you had known/discovered about your employer before you took the job?

What do you wish you had known about the company you were working for prior to working there?

What do you wish you had discovered about your current employer before you were hired?

Any questions you wish you had asked or processes you wish you had known about?

Thanks!
Would you advocate stealing from a Muslim-run restaurant chain? Because last I checked their views towards LGBT issues aren't any different, if not worse.
Cost of Devastating Hurricanes and Other Extreme Weather Worse Than We Thought
Party like it's 99.
Excel doesn't have a compeling, standard way of doing version control that I know of, and most Excel files mix freely data and code in the same sheet, which makes debugging pretty hard. Excel files go from assets to liabilities when they start boxing over their own weight, which happens pretty fast...
> Rather, what most people want is flexibility and compromise.

Yup that's all I want.

I want to be in the office for many things, and I wouldn't want to do them remotely. Important meetings, and discussions, just getting to know people, I want to be there.

et other times home to get some life tasks done easier (kids), or just hunker down and pound out some work for a while.

My love for remote work isn't "remote only" but a lot of news stories about "remote" really mix the ideas and "remote often" and "remote only" are very very different ideas for me.
No, that's not the moral question I have. I personally have a choice between a few (about a hundred normally) euros and a little emissions. The society as a whole has a choice between a lot of euros and a lot of emissions. And also reducing people's mobility, where rich people are affected the least.
>For every person doing an ecologically responsible thing (taking trains instead of planes, taking public transit instead of driving, etc), there is just such a huge magnitude of people doing the "wrong" thing to cancel it out, largely because that (from a short-term-pragmatic-standpoint, the "wrong" thing is better) or at least cheaper. If you value your time at all, flying across the country is cheaper, meat is readily available and inexpensive (and typically taste good), and driving to work is substantially easier than biking.

It only takes a small percentage of the population to make a systematic change[0], I hope for humanity we are reaching a tipping point on this. People living their life in the correct way is spreading awareness and they are putting their money where their mouth is. These people and the youth climate strike may be our last chance. Also, the environment is the number one issue for the democratic party in the 2020 election.
But, I do agree eventually these people making these changes will have to drive government agendas and the real mass changes will have to happen that way.

[0]http://www.bbc.com/future/story/20190513-it-only-takes-35-of...
You might've looked at this already, but you can use a program called f.lux to globally change the color temperature of your screen. It's intended to eliminate blue light to make it easier to sleep, but it's highly configurable and in your case it might help with readability.
Monarch Butterflies Found at Last – The Monarch's Winter Home (1976) [pdf]
>What's new is that it's coming out of a tiny phone rather than a 12 D-cell powered boom box.

And that makes all the difference. You cannot possibly compare the number of times you would be bothered by a boom box in the 90s in public transport, for example, and how frequent it is now to be bothered by other people's phones on the exact same circumstances. Let's get real.
The UK paid Mauritius £3m for the islands. Mauritius was happy with the deal.

How is there anything illegal about it?
I used to think I was good at working remotely, but lately have had a similar revelation. It's magnified by the fact that my entire team is remote, so even when I go into the office, it's not the team's office - it's a remote office. I can focus pretty well at home, as my kids are adults and my wife works, but this aspect of it is becoming a problem that I am looking for other ways to solve in another way than "go to the office and talk to people".
I've been working remotely for over a decade. I love it because I get to spend more time with my family and have more time to work on my side business. This is mostly because there is no commute. I also have an office (I rent it myself) that I can go to if I want to get away from my house.

I really don't want a job that's partially remote. I enjoy working 100% remote. Work/life balance really depends on discipline. I turn everything off at around 5pm, unless there is an emergency.

Managers also need to know how to manage remote employees. I've run into issues where a manager doesn't know how to effectively communicate over email/skype, etc, and it results in miscommunications.
internet surveillance is one of their favorite things. After the critical success of article 13, they now plan to give foreign government agencies access to domestic corporate data.

At this rate, we will arrive at a point were Brexiteers were correct on most important developments.
Is it that people love remote working, or that they hate commuting?

I would prefer a 20 min commute on a clean train, to a nice office than remote working (and I did have that on an Amsterdam based contract).

But an hour plus drive to an industrial estate in the middle of nowhere - I'd maybe push for a remote option.
Today I learned my late grandparents could have applied for British Subjection!
Anything is possible
Are you willing to make it happen?
But move to a country with good health-care system.
Let's ignore the contentious legal aspects and focus on the general idea: Create a floating structure that offers space for living, working or agriculture. Has this been done with areas that are much larger than a typical house boat?

What kind of waves/storms can these structures deal with?
I'm a strong supporter of the Scottish Government line on immigration:

Migration is crucial to the development of Scotland as an inclusive, fair, prosperous, innovative country ready and willing to embrace the future. It is essential to our economic prospects and our demographic sustainability that Scotland continues to attract the level and nature of migration it needs. Migration is not just about economic prosperity. It has helped to shape Scotland – just as people born in Scotland have helped to shape nations across the world so people migrating to Scotland have shaped and changed our own country. People from overseas who come to Scotland to live, to study or work, or to raise their families are our friends and neighbours. They strengthen our society and we welcome them.

I can, of course, also recommend Edinburgh - surely one of the worlds great wee cities: "But Edinburgh is a mad god's dream"

https://www.buzzfeed.com/hilarywardle/edinburgh-is-the-best

The rest of Scotland is mostly pretty nice as well ;-)
If you are comparing solar and wind to coal you are missing the point by 10.000 miles. Coal is base load energy, wind and solar is for peak. You cannot control when the wind blows and over night there is no solar energy. You cannot store a large amount of energy (at least without massive destruction of land). Combining these, you need base load power plants, options: coal, nuclear. In some countries water could be a small fraction of the base load (I think Austria does that). If you have enough wind and solar you can use them to help out with peak but the same amount of fossil peak load has to be in your system as much as wind you got because something has to counter balance the fluctuation wind means. Options for peak load: wind, solar, oil or gas turbines.

https://en.wikipedia.org/wiki/Base_load

https://en.wikipedia.org/wiki/Peak_demand
> I only wonder though, how long this economy is going to last, i.e. how long until AI is so commoditized that the value of data goes towards 0 as well

Well, first - AI in general is not very commoditized at all. It's just machine learning that is becoming commoditized. And the distinction is meaningful.

Going from that - data is the stuff you use to build ML models, and it's absolutely essential to doing better ML. ML becoming commoditized increases the value of (good) data, because it's an essential ingredient for any ML company trying to gain an edge in an increasingly competitive market. It's not entirely unlike how oil being a commodity does not mean that oil drilling equipment is cheap.

We see this play out in the companies that are big users of machine learning. Facebook, Microsoft, Google, etc. are all quite happy to publish the software they use to build their models. But the data is kept under lock and key and buried under the bottom of the sea. And a huge, huge, huge amount of their competition is centered around attracting the people who produce that data, because it's the ability to generate more data that gives them a competitive edge.
Then don't patronize their business? Why do private opinions give you the right to steal public earnings?
How many companies had a policy like EEE that we know of? How many has presented an existential threat to open source and free software as a whole?

I have dislike for MS because of these actions. I recognize that this may have changed. But, how do I know that extinguish isn't coming?
You can indeed get a webhook for these: https://stripe.com/docs/api/events/types#event_types-radar.e...

(disclaimer: I work on Radar at Stripe)
Not yet, I'm afraid. Passwords are the best of the bad solutions people came up with. For public key cryptography, the problem remains, as always, key exchange. How can one be sure you are who you say you are?
That's just false.
You seem to be acting as if Chick-fil-A is a person and not a company. Maybe you own your own business or something along those lines? I think that for people who see them as a person in this sense will definitely think it's wrong to use this. However in today's capitalistic society those that see them as just a company have no moral issues exploiting this. They just see it as something to get for free or something they just have to put a few mins work into to get for themselves. Which in my opinion isn't bad or morally wrong if you exploit something and disclose how you did it so that it can be patched. Because unlike a government a company can push a change through in a few weeks/months to patch the exploit.
> So Germany's secretive, isolationist approach actually hampered their nuclear program, because the two groups weren't sharing information or resources.

I don't think that this is a problem thar is already solved in researches. Just my humble experience, but seems that very few projects involve coordination of groups. It's more likely to share small fragments of each group findings, only when the group is ahead of what is being published/revealed.

Even when you are inside the same organization, you are competing for resources, promotions, glory, money, hand-shakes. And even when you aren't, the other group might be.

Personal achievements are above any other interest. To overcome that only great organization, with great people, spending time in non-technical matter.
Ah, that guy! I learnt about Vince Cate from this old Japanese documentary, “Crypto Wars” from 1997:

https://www.youtube.com/watch?v=EcC0RNsallc&t=48m00s

(In Japanese, enable subtitles with the [cc] button.)

“At the end of February, hoping to escape the chaos of America’s cryptography regulations, developers from corporations representing the cryptography business have gathered in Anguilla, in the Caribbean Sea. The Financial Cryptography Conference.

This island, which does not levy taxes on corporations is willing to lend a hand to the Cypherpunks and those companies in the cryptography business.

The Cypherpunks that have already arrived greet Sameer and his friends. They’ve all been asked to come by Cypherpunks member Vince Cate, a resident of the island.

Three years ago Vince left America’s west coast to move here, a place without any internet service. At that time he had a plan in mind.

Anguilla is a small island with a population of only 9000.
A tourism industry which depends on resort customers from America and the sale of commemorative stamps are Anguilla’s primary sources of income. However revenue from tourism is sluggish compared to other islands in the area.

After arriving here the first thing Vince did was to preach to the Anguillan government about how wonderful the internet was. And in the end, even though the island was poor it was wired for the Internet.”
AWS is already powered over 50% by renewable energy.
Looks like I’ve been cutting myself off at 400mg caffeine daily for no reason. Good to hear, I’ll start drinking more.
Then there shouldn't be claims of a web browser written in lisp when that isn't the case.
Recommended Reading: Short Stories by Various
"A bunch of garbage" is actually kind of a fun answer in itself. "Who was your childhood best friend?" "A bunch of garbage."
> inclusive way..

How is a spreadsheet “inclusive?” What does that mean?
Developing the EigenTrust Algorithm and Determining Authenticity Online
I'm not sure what you're saying a hard "no" to; that's a strange response to my point. Your response is a little naive in terms of the way sensors work. You won't necessarily know which are reporting "truth" because in reality there will be a range of values reported because each sensor has a bound of uncertainty. It comes down to understanding what level of uncertainty and reliability are necessary for the application.

In designing airframes, there's actually guidance along these lines to remove the ambiguity of how many sensors are necessary. You can use calculations to define what level of reliability is sufficient. As an example to this point, there are standards like IEC 61508 that outline the procedure for doing such calculations. Many organizations also create their own standards (e.g., five redundant sensors for mission critical systems, self-diagnostic sensors for safety critical systems etc.) It shouldn't be guesswork. It's a risk-based decision, not a subjective guess as to whether two or "a hundred" sensors are necessary.
Definitely doable, where you are originally from plays a significant role, but many countries will give you a generous visa on entry just for having an American stamp in your passport.

I currently live in Malaysia, they give a 90 day visa on entry and are pretty lenient on reentry as long as you respect the terms of your visa. It's an English speaking country that is developing very quickly but still has a low cost of living. It is at least worth a visit.

The more important question is how you plan on supporting yourself in your new home.
I agree, it's VERY hard to get the U.S. I couldn't do it. Didn't try that hard but there are so many obstacles I just "settled" for Europe.
Depends, as NVidia nowadays designs their GPGPUs for C++ as source language.

"CppCon 2017: Olivier Giroux Designing (New) C++ Hardware"

https://www.youtube.com/watch?v=86seb-iZCnI