Inside Microsoft’s Majorana quantum lab

Microsoft Researcher John Langford Exits. AI Frontiers Group Declared Finished

Researcher John Langford has left Microsoft and declared AI Frontiers over after the roughly 50-person group moved into Microsoft AI in…

Microsoft.UI.Reactor: a C#-first way to build WinUI apps

Microsoft.UI.Reactor là một framework C# để phát triển ứng dụng WinUI, ra mắt tại Microsoft Build 2026. Framework này giải quyết vấn đề hiệu năng khi render UI bằng cách implement virtual DOM pattern tương tự React. Thử nghiệm cho thấy UI.Render cải thiện 30% tốc độ so với WinUI truyền thống. Điều đáng học hỏi là cách tiếp cận hybrid này kết hợp ưu điểm của C# với pattern từ frontend JavaScript. Bạn nên đọc bài gốc nếu đang tìm cách tối ưu hóa hiệu năng cho ứng dụng WinUI của mình.

Microsoft.UI.Reactor mang đến cách tiếp cận đơn giản hóa và hiệu quả hơn để phát triển ứng dụng WinUI bằng C#.

Microsoft doubles down on Rust

Microsoft đã nâng Rust lên Tier-1 status trong hệ sinh thái nội bộ và bắt đầu tích hợp với Microsoft Visual C++ toolchain cho development Windows. Nguyên nhân kỹ thuật do Rust cung cấp khả năng memory safety mà không cần garbage collector, giải quyết vấn đề security vulnerabilities trong C/C++. Hệ quả là các team tại Microsoft đang dùng Rust để viết components quan trọng, giảm 40% vulnerabilities so với code C++ trong thử nghiệm internal. Điều đáng học là Rust đang trở thành công cụ quan trọng cho system programming, đặc biệt trong các dự án yêu cầu high performance và security, và lập trình viên nên cân nhắc học để tăng lợi thế cạnh tranh.

Lập trình viên nên đọc bài này vì Microsoft đã nâng Rust lên vị Tier-1 và tích hợp nó với Visual C++ cho phát triển Windows.

Announcing OpenBao v2.7!

OpenBao v2.7 ra mắt với tính năng quan trọng là khả năng mở rộng ngang cho PostgreSQL, giúp tăng hiệu quả xử lý. Phiên bản này tích hợp hỗ trợ External HSM và KMS-Backed Keys, tăng cường bảo mật khóa dữ liệu. Đặc biệt, OpenBao v2.7 triển khai Post-Quantum Cryptography để chuẩn bị cho các mối đe dọa từ máy lượng tử trong tương lai. Những cải tiến này giúp OpenBao trở thành giải pháp quản lý bí mật mạnh mẽ hơn, phù hợp với cơ sở hạ tầng phức tạp và nhu cầu bảo mật cao.

OpenBao v2.7 mang đến khả năng mở rộng ngang cơ sở dữ liệu PostgreSQL, hỗ trợ HSM và KMS ngoài, cùng mật mã học lượng tử hậu thập niên cho hệ thống bảo mật mạnh mẽ hơn.

Microsoft made $10bn from OpenAI last quarter, 11% of its revenue

OpenAI revenue hit $10bn for Microsoft. Nadella says relying on a few big buyers is ‘not a business as far as I’m concerned’.

No-go theorems for sublinear-depth group designs

Constructing ensembles of circuits which efficiently approximate the Haar measure over various groups is a fundamental problem in quantum information theory, with breakthrough recent results showing that for the unitary group this can be achieved with depths scaling logarithmically in the system size. Here we prove that, for groups G possessing an invariant state $${G}^{\otimes k}\left\vert \Psi \right\rangle=\left\vert \Psi \right\rangle$$ satisfying certain conditions on its entanglement structure, no subset of G consisting of sublinear-depth one-dimensional circuits with constant-locality gates can form an approximate k-design over G. More generally, on a D-dimensional lattice of side-length n, our results imply that such group designs require depths scaling at least as n1/D. Among other examples, we show that there is a constant separation between the maximum depth and gate counts for which no circuit can approximate even the second moment of random matchgate circuits, and those required to implement the matchgate Haar distribution exactly. Finally, we relax the assumption of working with local gates, and prove the impossibility of obtaining approximate designs over G using any circuit comprised of a sublinear number of gates generated by Pauli strings. Significant effort has been spent to find low-depth constructions of random unitaries that appear Haar-random to a restricted observer, and earlier works showed logarithmic-depth approximate designs over the full unitary group using local random circuits. In this paper, the authors provide a general criterion ruling out shallow designs on a wide variety of groups.

Microsoft releases .NET SDK for AG-UI agent-user interaction protocol

Microsoft vừa phát triển SDK cho AG-UI, một protocol chuẩn hóa giao tiếp giữa agents và ứng dụng người dùng. SDK này hỗ trợ các lập trình viên C# tích hợp AG-UI vào ứng dụng của họ một cách hiệu quả. Protocol này giúp giảm thiểu sự phức tạp trong việc thiết kế cơ chế giao tiếp giữa agent và user interface. Với sự hỗ trợ từ Microsoft, AG-UI sẽ được áp dụng rộng rãi hơn trong các hệ thống sử dụng C#. Đáng học hỏi là cách Microsoft chuẩn hóa giao tiếp agents - UI, giúp phát triển multi-agent system một cách nhất quán.

.NET SDK giúp lập trình viên C# dễ dàng triển khai giao tiếp giữa agent và ứng dụng người dùng một cách chuẩn hóa.

I uninstalled 6 apps after PowerToys finally did their jobs better

PowerToys cuối cùng đã cung cấp đủ tính năng hữu ích khiến tác giả gỡ bỏ 6 ứng dụng bên ngoài sau khi chúng được tích hợp trực tiếp vào hệ điều hành.

Lập trình viên nên đọc bài này để khám phá cách tích hợp các công cụ hệ thống như PowerToys vào ứng dụng của mình, giúp tối ưu hóa hiệu suất và trải nghiệm người dùng bằng cách tự động hóa các tác vụ phức tạp.