Microsoft on GitHub

microsoft.github.io

The index of Microsoft GitHub repositories that are open source has been relocated to https://opensource.microsoft.com .

Popular posts: 3
Total points: 856
HN comments: 363
Rank: #1,544 company

Visit microsoft.github.io → On Hacker News Oct 2017 – May 2025

Software Engineering 2 Tools & Productivity 1 Programming Languages 1 Hardware & Electronics 1 AI & Machine Learning 1

Most points Most discussed Most cited Newest

TypeChat

2023556 points169 comments AI & Machine Learning details

July 20, 2023 by Anders Hejlsberg, Steve Lucco, Daniel Rosenwasser, Pierce Boggan, Umesh Madan, Mike Hopcroft, and Gayathri Chandrasekaran

Project Verona: Fearless Concurrency for Python

2025166 points145 comments Software Engineering details

Research programming language for concurrent ownership

Active cooling your Raspberry Pi 3

2017134 points49 comments Hardware & Electronics details

Raspberry Pi 3 devices tend to overheat when they run prolonged heavy loads. When the processor’s internal temperature approaches 85 degrees Celsius, it protects itself by downclocking or shutting down completely. This can adversely affect performance of AI models.