Explore the next evolution of Microsoft’s design system, enabling more seamless collaboration and creativity than ever. Move fluidly from design to development, between apps, and across platforms.

Title
Flux: Liquid Types for Rust

Abstract
Low-level, pointer-manipulating programs are tricky to write and devilishly hard to verify, requiring complex spatial program logics to reason about heap updates. Recent systems like Prusti and Creusot take advantage…

The All-In-One Search experience was first introduced in 17.2 Previews, and we’ve been refining its quality since. The new search merges code and feature search capabilities into one UI, so you can go to one place to find the things you need.

6 comments

Summary We propose -fbounds-safety, a C extension to enforce bounds safety to prevent out-of-bounds (OOB) memory accesses, which remain a major source of security vulnerabilities in C. -fbounds-safety aims to eliminate this class of bugs by turning OOB accesses…

Tools and documentation for Win32 app isolation. Contribute to microsoft/win32-app-isolation development by creating an account on GitHub.

We asked Jon Hicks, creator of the original Firefox and Thunderbird logos, to re-imagine his iconic design in light of our exciting future. 

Highlights: CloudGuard Spectral detected malicious extensions on the VSCode marketplace Users installing these extensions were enabling attackers to steal

Bw-Tree is a variant of B+-Tree that aims to provide better performance for "modern multi-core machines." I was surprised how simple it is conceptually. But of course implementing a Bw-Tree sounds tricky indeed. 1/

Intel quietly released a new whitepaper and specification for their proposal on 'X86-S' as a 64-bit only x86 architecture

Intel investigated architectural enhancements and modifications for a 64-bit mode-only architecture.