skysight-inc/HackerNews huggingface dataset:
In the end, MS is a profit-seeking entity, as is Google, Apple, etc. It's best to take anything that any tech company does with healthy dose of skepticism, but at the same time it's OK to give them a nod when they do something beneficial. I agree that it can be hard to do this with MS when you are used to Ballmer's more predatory vision for the company.

For the record, I'm very happy with what MS is doing in the development space. I'm less happy with the "cloudification" of Windows and the infiltration of ads there, and I'm not at all happy with how MS continues to fund entities that aggressively pursue patent lawsuits in a sort of protection racket [0]. I'm on the fence (and somewhat nervous) about their embrace of Linux and their growing influence there.

Most people seem to treat technology companies as sports teams. This is foolish to say the least. Every company does bad things, and you shouldn't look past those things, even if you are generally happy with the company's behavior. Ignoring the negatives just ensures that there will be no pushback, and the companies will increase their bad behavior if there is an incentive to do so. At the same time, it's OK to like a good thing that a "bad" company does, and encouraging more of these things may help to shape incentives and behavior over the long term.

[0] http://techrights.org/2018/10/26/texas-intellectual-ventures...
New "sports leagues" have growing pains (as do most new businesses). The AAF shuttered pretty quickly. Vince McMahon is planning on losing money for at least 5 years with the new XFL. Is "bubble" really the right word for this situation?
I remember when Microsoft bought Github, they flooded open source-related sub-reddits with astroturfers who kept posting slight variants of the the same talkpoints, the funniest and most persistent of which was, "You have to admit that Microsoft has changed in the last four years", as if that was common knowledge that people were not willing to accept, as opposed to a slogan that they came up with in some meeting in Redmond.
People playing their music loudly in public spaces isn't new.

What's new is that it's coming out of a tiny phone rather than a 12 D-cell powered boom box.
How so? As far as I can tell there’s no evidence of that? I mean, I get MSFT’s past, but for quite some time they’ve shown they support OSS and developers in general. I haven’t seen any change in GitHub and MSFT, in general, has become much more supportive of OSS efforts.
Another thing to take into account is that if you're not using Stripe Checkout now, you will have to migrate to it, and since Dynamic 3DS will be used to filter and "secure" potential fraud, you will probably see a decrease in conversion rate.
The reality is that there is no one single industry where reductions will be sufficient. We need lots of reductions across the board. Including in transportation.
AMD and Samsung Announce Strategic Partnership
Running Spark Applications Securely on Kubernetes
>> MS has always been a really developer-friendly company

Try developing anything for their gaming devices.
No need to return makes it even easier.
Hopefully we won't see any tariffs on them in US/Europe. Or am I too late with this hope?
I've always found the .io domain somewhat laughable for tech companies. Maybe its popularity was fueld by Google's I/O conference.

But except of legal affairs the climate crisis is the next reason not to rely on this domain. If the humanity continues its course the ".io island" will soon be under water.
Everybody trains you to not hold your breath while ascending, because this is the easiest way to die doing scuba.
PS: If you wander around a Chinese city you will see plenty of products sold which seem more silly than a Juicero.
Different things work for different people, but I'm also a fan of coworking spaces. I like having the social interaction, but also the knowledge that I have a guaranteed workspace, fast WiFi, power points, etc. However, I do think a lot of big coworking chains like WeWork are in danger of morphing into the corporate offices remote working is supposed to offer an alternative to. In London, I'm seeing a lot of places spring up that are more of a hybrid between a coworking space and social space e.g. private members clubs or some restaurants and bars offering a hotdesking membership. There are also a lot of new apps where you can book a space at venues with low footfall in the day. I think it's a really exciting movement to be part of!
Is it? Because I’m fairly nearsighted and have astigmatism, which can make text on screens very blurry when there is a low contrast, and it’s a lot worse with dark mode.

Still, I agree that having both a light and a dark mode is better than having just one of them.
Have you tried a co-working space? For me it helped me a lot
For these reasons, I limit myself to North American conferences. I derive a great deal from conferences; the face to face interactions and asking questions during question period are crucial to understanding the limits of the presented work (and not particularly apparent at all in the final paper). But, travel, esp. overseas, is time-consuming and expensive. The acceptable trade-off personally seems to be self-imposed geographical restriction.
Right, I guess we agree then. It's just that it doesn't work without writing that piece of software which gives it its value.

But hasn't it been like that anyway all the time? Just in a slower way with more primitive distribution channels and less data flowing around?
> prevent our users from burning too much founder attention doing chargeback management

Yikes. Yes. Thank you.
I wish i had this 2 months ago.
Microsoft hasn't gotten better. But other companies are now even worse. People used to be scared Microsoft would lock our devices down so we could only run approved software.

Guess what Apple and to a lesser extent Google did that.

Microsoft tried to move in that direction with the windows store, but they didn't go as far.

Microsoft has worsened on privacy but less so than others.

Microsoft has moved more things to the cloud where we can't see the binaries we run but less so than others.
I disagree. I use a 1Password, and I used to do the "totally random string of letters, symbols and digits", but I've dropped it for the "four or five random english words" alternative for all new passwords.

There are a couple of situations where having these symbol strings is really inconvenient. For instance, reading a password out loud to another person, or when logging in on a device where you can't (or don't want to) install your password manager on (e.g. a PS4 or an Apple TV). In those cases, "puncture-foible-irish-ducat-rejoice" is a lot easier to handle than "jh&6dQ#F]9.Z>u^t]6u+".

The "symbol" password has more entropy for sure, but the actual security benefit is essentially non-existent. No one's going to guess either password, and I'm never using the same password in two different places anyway. The extra convenience is totally worth it.

EDIT: as other people have pointed out in the thread, another example would be badly behaving sites that prevent "paste" or use other techniques to block password managers. Much easier to type in those words then.
"Cold" = Unsolicited.
"Sales" = Commercial

Isn't Unsolicited Commercial Email (UCE) a definition for spam?

The author is quite obtuse.
Give networks crowds and markets a glance. It's a fun book. https://www.cs.cornell.edu/home/kleinber/networks-book/netwo...

But thats from Kleinberg - the person who I was referring to :-)

After that there is personalised page rank / Salsa which are probably the more widely known approaches to identifying trust worthy nodes in a graph.
I have had it happen as shallow as 10m (33ft).

It really depends on your physical readiness before the dive.

Lack of sleep, being hungover, hunger, dehydration can all contribute to narcosis.

Fortunately it is pretty hard to miss once you have experienced it a few times.

If you ever experience just go up a couple meters and the symptoms should dissipate.
Am I the only one who would prefer to just use f.lux's "Darkroom" mode (red on black, basically) for coding at night / in the dark? Doesn't kill my night vision. Of course you have to switch all of your apps out of "Dark Mode" or you'll just be starting at giant blobs of red.
> first sign of misstep will give me the little push I need to migrate of off it.

To the company that will own GitLab? The one that blocks ad-blocks in their browser? The one that primary revenue comes from advertisement and user tracking?
Any religion can be used as an excuse for right-wing extremism and hate, but I think Norse-related religions are particularly attractive to neonazis because of the specific attention the Nazis and the SS paid to their symbology, and to their (bullshit) notion of superior Aryan and Norse "races". The Nazis were obsessed with this. That their mythology was also mostly bullshit is less relevant; it doesn't matter whether it was "authentic" Norse religion, what matters is that the Nazis and later day neonazis thought it was.
If it’s a SaaS business, that may very well be a viable approach. The cost of dealing with a dispute on the 60% of claims could be significantly more than the profit on the 40% that won’t be disputed. Additionally, the customers only get back the money for the disputed transactions, not perpetual future access to the software (as they would if it were a physical good, or a shrink-wrapped disc).
Thank you for the links!

As stated in Tom Leinster's paper that you link to, both ZFC and Lawvere set theory are first-order theories:

"In logical terminology, both axiomatizations [i.e., ZFC and Lawvere set theory] are simply first-order theories."

This means that with both theories, we cannot categorically define important concepts such as the natural numbers, due to the compactness theorem and its consequence, the upward Löwenheim-Skolem theorem that hold in first-order logic:

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

https://en.wikipedia.org/wiki/L%C3%B6wenheim%E2%80%93Skolem_...

Also, the downward Löwenheim-Skolem theorem leads to Skolem's paradox, because ZFC proves (as we expect from a set theory) Cantor's theorem, and at the same time we know that if ZFC is consistent, then it has a countable model:

https://en.wikipedia.org/wiki/Skolem%27s_paradox

So, even the rather basic notion of countability is relative.

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

From what I see, such issues are often "resolved" when working with ZFC by stating explicitly that a very specific (i.e., the "intended") model is meant, with the caveat that, from a logical perspective, we do not even know whether the theory is consistent and hence whether such a model in fact exists.

Thus, even though ostensibly working "in" ZFC, a meta-logical statement about the intended models seems often necessary that cannot be formulated in first-order logic because with first-order predicate logic, we cannot control the cardinality of infinite models.

Do other considered set theories offer any improvements over ZFC in these specific respects?
A messenger is someone who tells something that has already happened. Peter Schiff makes a hundred predictions like this a year, always with the time frame a few months out. He is just trying to promote his all reserve bank and his hold selling business.

If there was more to it maybe it would be worth taking seriously, but he is being serious, just marketing and hoping to catch the ear of people who want it to be true.
This. Rent for an efficiency apartment within walking distance of my work is 4k a month. I rent a 3 bedroom house 40 minutes away for 1400. The ability to work remotely helps keep costs down significantly.
SaaS vs. Open Core Part 3: Which Business Model Is Best?
The key for my team was a "remote-first" mindset. First, check on chat or e-mail. Then, if that doesn't work, head over to their desk to see if they're there.

(+1 to me for getting "their", "they're", "there" right on the first try!)
Taiwan and Japan held the standard for the place to manufacture cheap junk 30 years ago. They dominated that market, but nobody expected good engineering. However as their country got richer they developed a reputation for better by doing.

It takes time to develop engineering expertise, but China has some great engineers who are able to teach the younger generation thus building up a system of being great. I don't know if China is leveraging this internally, but that is lack of personal knowledge. I believe they are going to transform to be another place to get quality products in 20 years.

My guess is India will mostly skip the cheap junk phase of manufacturing: we have been developing their engineering expertise more then their manufacturing.
Running Effective Syncs in Distributed Teams
I'm sure that their whole "windows subsystem for linux" revival is actually a long game that started with secure boot.

Give it a couple of years and we'll be unable to boot an unsigned kernel on x86 (as well as arm) at which point the response is going to be "Why do you care? You can boot a linux kernel in windows!"
Both Remote work and office work can be really great for certain people at certain times.

When I was younger I was full-time remote for more than five years, and at the time I enjoyed it. There was some difficulty separating work from life when it all happened in one apartment, but overall it was a good fit.

Then I had kids, and that distinction became much harder. Little children have a really hard time understanding that mom or dad is right there in the other room but can’t play now. At that point moving to an office job became a really nice change.

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. Rather, what most people want is flexibility and compromise. For example:

- “I want to work from home on Tuesdays and Thursdays so I can easily pick my kids up from pre-school over my lunch break.”

- “I want to live in (insert almost any city here) where I grew up and have roots, but there aren’t many good jobs.” Or the similar variation, “I want to live in (place that is very cheap or pretty or both)...”

- “My wife and I want to be able to visit both sides of our family that live far away, and the logistics would be a lot easier if I could work remotely for a week here and there to make that work, rather than need 3 extra weeks of vacation.”

The best thing about remote is that all that flexibility and freedom is just built into the job, and in my experience it’s easier to find a full-remote job than an office job with comparable flexibility. The downside is you don’t get the fun and energizing environment of working with neat, smart people in person, nor the work/life separation that many people find very helpful.

I think most people’s stated preference just reflects which one of those is more important to them in their present circumstances.
I'm 100% sure Atom would die even w/o MS acquiring GitHub. VS Code is just better, like it or not.
Scientists create robot-like biomaterial with key traits of life
Maybe they'll just have to go around and collect donations from residents to pay the security. And just require them to pay if they don't raise enough

...
Doesn't even have to be locking, just closing. The general convention at our house is that closed door means "send me a text message or ask the other parent", open door means, "sure, come say hi".

It's been a day or two since I've had a closing door at a co-located office, so I'm not used to being able to implement such a policy in that kind of work environment.

(I'd also add that there's no quicker way to recharge your batteries than to pop out of the office to spend 10 minutes building a block tower or whatever with your kids. 14/10 much more effective than bitching about work with your colleagues in the office kitchenette.)
I have a hard time picturing white supremacists feeling at home in the group described in the article.

> “It’s about being honest, upright and tolerant,” Hilmarsson said. “Respect for nature is also important. You have to make sure you live in harmony with nature.”

> The association rarely wades into politics, but it has made exceptions, most notably by campaigning for same-sex marriage
> A publicly traded company is an entity which is legally required to maximize value for its shareholders.

Stop spreading this, it's not true. 'Strong motivation' != 'legal requirement'.

The rest of your comment is spot on.
The optimal situation for me is having the freedom to decide whether it makes sense to be at the office for meetings, technical discussions, ideas; or whether I need full uninterrupted focus which is easier to achieve at home (without building closing times, commuting, and with the choice to work late into the night). I think purely remote work would make me feel very self-centered and disconnected (even though I'm leaning towards the introvert spectrum).
I've heard this at times but maybe I'm visiting the wrong (right?) kind of events, I've seen mostly people excited to talk about the subject of the conference, or related subjects or meet new people. But I have to say I'm more used to community-run events, smaller events or barcamps - not stuff like excessively large conference frequented mostly by enterprise people who seem a tad less excited .. Java One comes to mind from what I heard...

So yeah, networking plays such a big part that I really prefer to meet people from all over the world (or at least all over Europe) once per year and not from the same pool of ~1000-5000 in my area.
On the one hand - awesome, free chicken sandwiches!

On the other, well, every little thing has to be thought through and secured these days doesn't it? Can't have a nice little rewards program without some asshole taking advantage of any perceived flaw in your armour...
I still think they're playing a really long Embrace-Extend-Extinguish game. But long enough that we can benefit from it for the time being.
Not your call, Bloomberg. Go write about the next company whose stock you want to sink.
I usually have my students come up with a couple secret handshakes that we practice on the surface beforehand.

I like the combination lock too, but I've found that a lot of people struggle with the locks regardless of depth and it can throw some false positives.
How low cost do you want low cost to be, and how annoying are you prepared for it to be? I just picked (fairly arbitrarily) Monday 19th August, and although Expedia does offer a GBP18 Ryanair flight SXF - BRU you have to accept an 0620 departure time to get that, and of course no checked baggage and you need to include costs of getting to/from the airport. Given the need to arrive at least 1h before departure I would personally not even consider 0620 dep, and all the other flights Expedia suggests cost 90 quid or more. For the train loco2.com has one-way tickets Berlin Hbf -> Bruxelles-Midi from GBP63.50 at reasonable times.
This is certainly true. My wife works in HR. Non-tech employees are quick to make complaints about their bosses and coworkers. One of funny complaint she told me about was from her teammate who gave two weeks notice. Her manager didn't organize a proper going-away lunch. She felt disrespected, so she filed complaint against her manager as she was leaving her current company.

Some people might say that this is typical entitlement mentality. But it still boggles our mind.
Climatists still fly to climate change conferences. Some in private airplanes. See, it's not that bad!
The ruling class would never allow it.
Yup, and I can confirm with another data point.

When the whole organization buys in to the remoting experience, it can work. Where I'm at, the default assumption is remote; be it home or another office since we're so distributed. So our way of working takes that into consideration.
Would Jesus want you to do this?
(PM for Chargeback Protection.) Yep, Chargeback Protection only works with the new Checkout so we’ll only protect any transactions that are processed through the new Checkout. You can keep your existing integration for iOS and Android, but those charges will not be protected.
I'm not impressed. Seems a convoluted way to explain the history and a lot of troubles just to say that garden peas react to an undetermined stimulus and somehow remember it (as a first step to assign it the idea of some kind of conscience).
I work remote for a company and about 50% of the workforce is remote. It works fine as there are enough remote workers that everyone is used to accommodating. If you're a one off remote worker, and most folks are used to accommodating, it definitely can be tough.
> This week, the UN's general assembly voted overwhelmingly 116-6 to condemn the UK's occupation of the Chagos Islands. The non-binding resolution endorsed a decision by the International Court of Justice (ICJ) in February that said the UK continued claim was illegal and the islands should be returned to the former British territory of Mauritius

The UK is a permanent member of the UN Security Council and has veto power on all substantive matters taken up by the Council.

Doesn't that mean that they can pretty much ignore anything the General Assembly or most other international bodies tell them to do, just like the United States, Russia, and China do, because actually enforcing anything usually involves something that ends up requiring some kind of action that will require Security Council approval?
How Netflix Reinvented HR
It's a simple and frequent mistake to believe that sovereign autonomy is wholly self-determined, and seasteading is the prime example for this.

Sovereign autonomy is not determined by oneself. It is determined by others, specifically by recognizing the sovereignty. Without recognition, it's basically impossible to conduct any type of transaction with the outer world, for lack of jurisdiction.
Remembering the early days on the 20th birthday of Index.hu
Our filtered water dispenser at work will not give you water if it loses internet. There is no way to bypass this. Wifi goes offline, no water.
Technically true. But the minimum wage is still clearly an anchor. The amount above minimum is a signal of your worth as a worker. Consider this[1] income distribution chart (with its precipitous falloff left of the minimum wage mark). It's clear that "at or just above minimum" is the largest demographic, even if it represents a small fraction of the whole. If the minimum wage were raised, it wouldn't simply bunch the left of the graph together - the entire curve would move.

[1] https://upload.wikimedia.org/wikipedia/commons/thumb/0/0d/Di...
Smartphones with cameras hidden in the display could be coming soon
I've actually seen someone plug in a DB 25 upside down! Every pin in the male connector was bent and the metal hood which mated with the socket was flared out.
Isn't that the idea behind (academic) conferences? Bringing together everyone in a field to meet new people/network, and also learn from talks and poster sessions is the motivation. There is something I've found fundamentally different in being able to spend time with professors or graduate students "trapped" at a conference poster session than reaching out across time zones via an email->potential phone call. The ability to see tons of different research, ask stupid questions, and bounce ideas off of people in real time without any other distractions means that, to me, they usually are much more productive than I expected them to be.
I used to travel NYC to Boston fairly often for work and I absolutely loved the experience of taking the Acela. The problem is that it’s so expensive! This was fine when my employer was willing to pay, but I wouldn’t pay it myself (it’s usually far more expensive than flying in my experience)
Stores don't run marketplaces. They buy outright from their suppliers.
IMHO, Christianity is a schizophrenic religion with its split deity (vengeful/jealous/unforgiving/domineering vs. loving/peaceful/tolerant/submissive). I see these split personality traits daily in the behaviors of people who follow that religion.