September 5, 2019 | Nikhil Swamy

Project Everest is a multiyear collaborative effort focused on building a verified, secure communications stack designed to improve the security of HTTPS, a key internet safeguard. This post—about the proving methodology and verification tools of Project Everest—is the third in…

September 4, 2019

 Episode 88, September 4, 2019 Dr. Ed Cutrell is a Principal Researcher in the Ability group at Microsoft Research and he’s convinced that great technology should be available to everyone. Working in the fields of Accessibility and Information and…

September 4, 2019

Dr. Ed Cutrell is a Principal Researcher in the Ability group at Microsoft Research and he’s convinced that great technology should be available to everyone. Working in the fields of Accessibility and Information and Communication Technologies for Development (aka ICT4D),…

September 3, 2019 | Michal Moskal

When we began developing Microsoft MakeCode, a computing education platform, it was all about making programming easier, more engaging, and just plain friendlier. After all, if we were going to inspire the next generation of coders, easier entry into the…

August 29, 2019 | Vighnesh Leonardo Shiv

How we act, including how we speak, is more often than not determined by the situation we find ourselves in. We wouldn’t necessarily use the same tone and language with friends during a night out bowling as we would with…

August 29, 2019

要说中国最流行、群众基础最深厚的运动是什么，那一定是历史悠久、老少咸宜的“国粹”——麻将。 麻将的起源众说纷纭，今天我们熟知的麻将玩法大体成型于晚清，在当时称作“麻雀”。随着商贸与外交活动的开展，麻将渐渐风行亚洲，乃至流传到世界各地，成为蕴含着古老的东方哲学与博弈智慧的“一股神秘的东方力量”。在今天，无论是逢年过节的热闹团圆，还是日常小聚的茶余饭后，随时随地，凑齐四个人一桌牌就能打个热火朝天。 国...