As a professor of pure mathematics, my job involves teaching, research, and outreach. Two years ago I got interested in formal methods, and I learned how to use the Lean theorem prover developed at MSR. Since then I have become absolutely convinced that tools…

The company's communities are in chaos and US senators are taking notice, following the suspension of a pro 'Hearthstone' player who declared support for Hong Kong's protest movement.

Contractor looked up relatives; data was used to vet agents, sources in US.

They see facial recognition, smart diapers, and surveillance devices as inevitable evolutions. They’re not.

Apple’s decision to greenlight an app called HKmaps, which is being used by pro-democracy protestors in Hong Kong to crowdsource information about street closures and police presence, is attracting the ire of the Chinese government. An article in Chinese…

At GitHub, we believe in empowering developers around the world. We also believe in basic human rights and treating people with respect and dignity. Today, I wanted to share a message I sent to all employees yesterday that is related to this, as it is important…

Salesforce explains why Google's Go programming language is a better fit than Python and C for Einstein Analytics.

Design clear interactions instead clever ones, and users will follow

Why thinkers of every political persuasion keep finding inspiration in the philosopher. 

@CherrishChoerry @calibrono (and 3 others) Yes, absolutely. That will never happen on my watch as the founder, CEO, and controlling shareholder.

A security audit funded by Mozilla has discovered a critical security vulnerability in the widely used macOS terminal emulator iTerm2.

Good news! We’re getting more while using less.

A day before a scheduled tipoff of a Brooklyn Nets and Los Angeles Lakers game in Shanghai, a crisis for the National Basketball Association appeared no closer to resolution.

Posted in r/HongKong by u/N1cknamed • 1,491 points and 120 comments

In March of this year, we announced a preview of Windows Container support on Amazon Elastic Kubernetes Service and invited customers to experiment and provide us with feedback. Today, after months of refining the product based on that feedback, I am delighted…

Reflections on the launch of Octopus Cloud, the SaaS version of Octopus, and how it shaped our plans for Octopus Cloud 2.0.

The anti-solar panel has been developed that can generate electricity from the night's sky. It could be the solution to bridge the gap left by solar energy.

Vy, the largest transport provider in Norway, has been using Elm for the last couple of years. These are their experiences so far.