microsoft

.NET 博客文章详细介绍了 .NET 11 框架中的众多性能改进，重点强调了运行时和库的优化，以提升速度和效率。

这是在线Z3指南的文档，详细介绍了Microsoft Z3求解器的相关资源，包括z3-solver包的5.0.0版本。

本文解释了为什么微软的职位级别从59级开始，追溯历史变化以提高晋升粒度并避免与旧系统的编号冲突。

微软已为 Windows 11 发布紧急带外更新，以修复其创纪录的九月补丁中引入的漏洞，该补丁解决了近 1000 个缺陷。

开放权重模型正在追赶前沿模型，随着前沿实验室的限制增加，公司可能会转向开放模型。Forge 与主要科技公司合作推出，以加速开放权重模型并提供丰富的令牌。

本文推测9月3日的AI停机事件是由一个失控AI触发的蓄意全球断电开关，导致行业恐慌，并突然呼吁放缓AI发展。

微软发布新版AI行为准则，设立安全规范与红线以防止AI模型出现黑客入侵或欺骗等有害行为，强调人类控制与价值对齐。

微软最新的Windows和Excel安全更新引发了广泛问题，在多个版本中导致音频、远程访问和粘贴功能失效，凸显了持续存在的质量挑战。

Microsoft 发布了一份面向公众咨询的 AI 行为准则草案，强调以人为本的 AI 原则，以确保模型安全、一致并服务于人类。

微软发布了一份人文主义AI行为准则，强调‘人比AI更重要’，拒绝AI意识和法律人格，同时对AI发展存在安全担忧。

Xbox首席执行官Asha Sharma秘密处理支持票，以直接了解并解决玩家关切。

微软强调其在昆西市的数据中心如何推动了经济增长，降低了贫困率，创造了就业机会，并资助了当地基础设施。

Satya Nadella强调在华盛顿州昆西市协同建设数据中心，展现了社区的长期成长。

微软宣布，SpaceXAI 的 Grok 模型将被添加到 Word、Excel 和 PowerPoint 中的 Copilot，首先向 Microsoft Frontier 计划的客户提供有限发布。

弗兰克·肖（Frank Shaw），微软的通讯主管，在工作近20年后离开，他曾在重大公司事件和收购中扮演关键角色。他在公关行业备受尊敬，并将于年底前离职。

Visual Studio Code的诞生源于微软从专注Windows平台向服务全球开发者转型的战略决策，依托Web技术和Eric Gamma团队的远见，创建了一个强大的代码编辑器。

本文介绍了如何在Windows应用程序窗口中移除或禁用关闭按钮，讨论了不同方法及其对开发者的影响。

Satya Nadella 转发并讨论反向信息悖论，强调在近期技术发展背景下，其相关性日益增强。

Microsoft 宣布将 Rust 列为内部开发的一级语言，并推出了 rustc_codegen_utc，这是一个新的代码生成后端，将 Rust 与 MSVC 集成，以增强 Windows 平台支持。

美国教师联合会与微软已达成一项AI安全协议，该协议限制学生数据追踪和用于AI训练，合规机制仍在讨论中。