双语

Microsoft's Big AI Hire Can't Match OpenAI
a year ago
- 微软的消费者AI工具Copilot周活跃用户数停滞在2000万左右，而ChatGPT已增长至4亿用户量级
- 被聘来领导微软AI业务的穆斯塔法·苏莱曼面临质疑与内部挑战，包括MAI-1模型表现未达预期
- 微软斥资6.5亿美元招揽苏莱曼及Inflection团队人才，被视为降低对OpenAI依赖的战略举措
- 因AI模型训练中合成数据使用问题引发内部冲突，导致团队重组及人员离职
- 苏莱曼主导的Copilot改版发布被外部事件掩盖锋芒，未能显著改变微软在AI竞赛中的态势
- 包括CEO萨提亚·纳德拉在内的微软管理层仍支持苏莱曼，但推出成功消费级AI产品的压力与日俱增
Microsoft kills Windows Maps app
a year ago
- 微软已弃用Windows地图应用，并将在2025年7月前从微软商店下架。
- 该应用不再包含在纯净版Windows 11 24H2系统的预装中，但仍可通过微软商店下载。
- 最终更新将使该应用失效，且2025年7月后将无法重新安装。
- 用户可转用网页版必应地图以继续使用地图服务。
- 其他被弃用的功能包括：Windows UWP地图控件、Windows地图平台API，以及Windows 11 23H2及更早版本的VBS安全飞地功能。
Windows Subsystem for Linux: Official Arch Linux Image Available
a year ago
- Arch Linux 现已正式支持 Windows 子系统 Linux (WSL)
- 用户可通过命令 `wsl.exe --install archlinux` 在 WSL 中安装 Arch Linux
- WSL 允许直接在 Windows 上运行 Linux 工具和程序，无需额外硬件或虚拟机
- 官方 Arch Linux WSL 镜像由社区讨论并与微软合作开发完成
- 微软每月会通过专用 Gitlab 仓库更新 Arch Linux 镜像
Microsoft CEO says up to 30% of the company's code was written by AI
a year ago
- 微软CEO萨提亚·纳德拉表示，微软20%-30%的代码由AI生成
- AI生成代码的成功率因语言而异，Python比C++更易实现
- 微软CTO凯文·斯科特预测到2030年95%的代码将由AI生成
- Meta CEO马克·扎克伯格未透露公司AI生成代码的具体比例
- 谷歌CEO桑达尔·皮查伊称谷歌超30%代码为AI生成
- 这些AI生成代码数据的准确性尚不明确
Microsoft Telnet Server MS-TNAP Authentication Bypass
a year ago
- Microsoft Telnet服务器中存在严重的0点击远程认证绕过漏洞
- 攻击者无需有效凭证即可获得任意用户（包括管理员）的访问权限
- 利用Telnet MS-TNAP扩展中NTLM认证流程的错误配置
- 影响范围从Windows 2000至Windows Server 2008 R2系统
- 目前暂无补丁，建议管理员立即禁用Telnet服务
- 漏洞源于Telnet服务器中SSPI配置的缺陷
- 通过操纵双向认证过程来绕过服务端身份验证
- 为避免大规模影响，漏洞验证程序以独立可执行文件形式提供
- 目标系统需运行Telnet Server服务并开放对应网络端口
- 建议措施包括禁用Telnet、改用SSH协议及实施网络流量过滤
Windows RDP lets you log-in using revoked passwords. Microsoft is ok with that
a year ago
- 微软的远程桌面协议(RDP)允许已撤销密码仍可访问Windows设备
- 密码修改通常作为安全措施，但无法保证通过RDP撤销访问权限
- 独立研究员Daniel Wade报告此现象，称其为'信任链断裂'
- 微软声明这是为防止用户被锁定的设计选择，而非安全漏洞
- 该问题影响数百万不同场景的用户，且目前没有明确的检测或解决方法
Phi-4 Reasoning Models
a year ago
- 微软推出Phi-4推理版、Phi-4推理增强版和Phi-4迷你推理版，标志着小语言模型（SLM）新时代的到来。
- 推理模型利用推理时扩展技术处理复杂任务，在数学推理和智能体应用中表现卓越。
- Phi-4迷你推理版专为数学推理优化，非常适合教育应用及在边缘或移动系统上的轻量级部署。
- Phi-4推理版是140亿参数模型，通过高质量合成数据集训练，性能可匹敌更大规模模型。
- Phi-4推理增强版通过强化学习改进基础模型，提供更高准确性。
- 两款Phi-4推理模型在基准测试中均超越OpenAI o1-mini和DeepSeek-R1-Distill-Llama-70B等更大模型。
- Phi系列是Copilot+ PC的核心组件，专为NPU优化，并应用于Outlook等场景实现离线Copilot摘要功能。
- 微软强调负责任AI原则，Phi模型的开发遵循可问责、透明、公平和安全四大准则。
RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code
a year ago
- 微软官网提供各类产品与服务的访问入口
- 核心分类包括Microsoft 365、Teams、Copilot、Windows、Surface、Xbox及优惠活动
- 为小型企业、开发者和IT专业人员提供支持与资源
- 其他板块涵盖娱乐、教育及微软奖励计划
- 用户还可获取免费下载、安全选项和线下门店信息
Microsoft's new "passwordless by default" is great but comes at a cost
a year ago
- 微软正将无密码登录设为新账户的默认选项
- 由FIDO联盟主要科技公司开发的通行密钥正被推广为密码的新替代方案
- 现有用户将在下次登录时被提示注册通行密钥
- 密码成本高昂且问题频发，导致用户选择弱密码并引发数据泄露
- 密码喷洒攻击已能更有效地突破网络防线
- 用户必须安装微软验证器才能实现完全无密码，其他验证器应用均不兼容
- 若未安装微软验证器，用户将无法移除登录密码，这将削弱通行密钥的安全优势
Microsoft Makes New Accounts Passwordless by Default
a year ago
- 微软的主导航栏包含Microsoft 365、Teams、Copilot、Windows、Surface和Xbox等产品。
- 支持与优惠专区重点面向小型企业及普通用户。
- 软件产品矩阵涵盖Windows应用、OneDrive、Outlook、Skype、OneNote、Microsoft Teams和Microsoft Edge。
- PC及设备板块包含电脑设备、Xbox配件、VR混合现实设备和手机产品。
- 娱乐版块提供Xbox Game Pass Ultimate会员、Xbox Live Gold服务、Xbox游戏、PC游戏及Windows数字游戏。
- 企业解决方案包含Microsoft Azure云服务、Dynamics 365、Microsoft 365商业版、微软行业方案、数据平台和微软广告服务。
- 开发者与IT资源专区提供.NET框架、Visual Studio开发工具、Windows Server系统、Windows开发中心和技术文档。
- 其他板块包括微软奖励计划、免费下载与安全中心、教育产品、线下门店查询和礼品卡服务。
Moving from Skype to Microsoft Teams
a year ago
- 微软的主要导航栏包含Microsoft 365、Teams、Copilot、Windows、Surface和Xbox等产品。
- 为小型企业和消费者提供支持与优惠活动。
- 其他板块涵盖软件、PC及设备、娱乐、商业解决方案、开发工具，以及Microsoft Rewards和教育等服务。
- 页面还提供免费下载、安全防护、门店定位和礼品卡等链接服务。
The History and Legacy of Visual Basic
a year ago
- 艾伦·库珀开发了Tripod，这是一款用于Windows的外壳构建工具，后来演变成了Visual Basic。
- Tripod引入了拖放控件和事件驱动模型等创新功能，在当时具有开创性意义。
- 1988年比尔·盖茨在演示中看到Tripod后印象深刻，微软随后收购并将其改造成Visual Basic。
- Visual Basic大获成功，为从大型机转向Windows的程序员提供了易用的编程环境。
- 尽管取得成功，但微软转向.NET和VB.NET的策略疏远了大量开发者，导致Visual Basic逐渐衰落。
- Visual Basic的遗产包括影响了现代开发工具，并始终强调编程效率与易用性。" 注： 1. 专业术语如"shell construction set"译为"外壳构建工具"，"event-driven model"保留专业表述"事件驱动模型" 2. 长句如"offering an accessible...Windows"拆分为符合中文习惯的短句 3. "groundbreaking"译为"开创性"而非字面直译，更符合技术史语境 4. 被动语态"was impressed by"转化为主动式"看到...后印象深刻"，符合中文表达习惯 5. 保留".NET/VB.NET"等技术品牌名称的原始写法 6. "legacy"译为"遗产
- 并补充说明其持续影响，避免文化差异造成的理解偏差
OpenAI negotiates with Microsoft to unlock new funding and future IPO
a year ago
- OpenAI正与微软就新融资及未来首次公开募股进行谈判。
- 《金融时报》数字版订阅每月75美元起，可随时取消。
- 基础数字订阅包含多设备优质新闻内容，年度支付可享8折优惠。
- 完整数字订阅提供专家分析与行业洞察，年度订阅同样享受8折优惠。
- 部分订阅方案包含周末印刷版报纸。
- 机构数字订阅包含独家功能与专属内容。
- 《金融时报》拥有超过百万订阅用户。
Microsoft laying off 6k employees
a year ago
- 微软宣布裁员超过6000名员工，约占其员工总数的3%。
- 这是自2023年裁员1万人以来规模最大的一次裁员。
- 裁员涉及所有层级，包括领英和国际办事处。
- 微软首席财务官艾米·胡德此前曾暗示为提升敏捷性将减少管理层级。
- 今年早些时候，微软已启动基于绩效的裁员，波及数百人。
- 此前的裁员包括2023年动视暴雪和Xbox部门的1900名员工。
- 2024年5月，微软关闭了多家游戏工作室，包括Tango Gameworks和Arkane Austin。
- Tango Gameworks随后通过与Krafton的合作协议得以重启。
- 其他裁员还包括9月的650名Xbox员工，以及6月HoloLens和Azure团队的1000名员工。
Microsoft is reportedly about to lay off 3% of its workforce
a year ago
- 微软将全球裁员3%，影响超过6500名员工。
- 这是自2023年裁员1万人以来规模最大的裁员之一。
- 微软发言人表示，此举是为在动态市场中保持成功而进行的组织调整。
- 尽管第二季度营收强劲（701亿美元，增长13%）且净利达258亿美元（增长18%），裁员仍持续推进。
- 与1月份绩效裁员不同，本轮裁员将涉及所有层级、地区和团队。
- 包括亚马逊和Meta在内的科技巨头过去一年已实施多轮大规模裁员。
Microsoft to lay off 6k workers despite streak of profitable quarters
a year ago
- 微软将裁员近3%，约6000名员工。
- 此次裁员将涉及所有层级和地区，重点是减少管理层级。
- 截至去年6月，该公司拥有22.8万名全职员工，其中55%在美国。
- 这是微软自2023年初裁员1万人以来规模最大的一次裁员。
- 此次裁员是在销售和利润强劲增长、超出华尔街预期之后进行的。
- 微软旨在通过减少管理层级和打造高绩效团队来提高敏捷性。
Microsoft Lays Off TypeScript Compiler Veteran Ron Buckton
a year ago
- 罗恩·巴克顿（Ron Buckton）作为微软前高级软件开发工程师，在为公司效力18年后遭到裁员。
- 巴克顿对TypeScript作出重大贡献，曾实现构建速度与编辑器响应性能提升10倍的突破。
- 微软此次裁员约6000人，称这是为适应市场动态进行的组织架构调整。
- 人工智能部门总监兼初创企业顾问加布里埃拉·德奎罗斯（Gabriela de Queiroz）同样在裁员名单之列。
- 这是微软2024年第二轮裁员，此前已进行过与绩效评估相关的裁员。
- 微软声明称裁员是使公司在动态市场中保持竞争力的必要举措。
- 截至2024年6月，微软拥有22.8万名全职员工，其在2023年已裁撤1万个岗位。
Microsoft fires Faster CPython developers
a year ago
- 微软裁员波及Faster CPython团队的3名Python核心开发者。
- 受影响的开发者包括Eric Snow、Irit Katriel和Mark Shannon。
- 鼓励为受影响的开发者提供工作机会。
Bing Search APIs will be retired on August 11, 2025
a year ago
- Azure提供产品与功能更新以满足云投资需求
- 开发阶段：限定向选定客户提供非生产用途的测试版本
- 预览阶段：面向所有Azure客户开放非生产环境的测试使用
- 正式发布阶段：完成全面发布，所有客户可部署生产级产品
- 额外资源包括微软Azure博客、社区支持及反馈渠道
- Azure覆盖的云服务区域数量居行业首位
Programmers bore brunt of Microsoft layoffs as AI writes up to 30% of its code
a year ago
- 微软在华盛顿裁员2000人，其中超过40%是软件工程师。
- 销售和市场营销岗位在此次裁员中受影响最小。
- 此次裁员是微软更大规模减员的一部分，共涉及约6000名员工。
- 首席执行官萨提亚·纳德拉近期表示，微软目前30%的代码由AI生成。
- 微软拒绝就AI辅助编程是否影响裁员置评，称管理层精简是裁员原因。

Hasty Briefsbeta

#microsoft

Microsoft's Big AI Hire Can't Match OpenAI

Microsoft kills Windows Maps app

Windows Subsystem for Linux: Official Arch Linux Image Available

Microsoft CEO says up to 30% of the company's code was written by AI

Microsoft Telnet Server MS-TNAP Authentication Bypass

Windows RDP lets you log-in using revoked passwords. Microsoft is ok with that

Phi-4 Reasoning Models

RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code

Microsoft's new "passwordless by default" is great but comes at a cost

Microsoft Makes New Accounts Passwordless by Default

Moving from Skype to Microsoft Teams

The History and Legacy of Visual Basic

OpenAI negotiates with Microsoft to unlock new funding and future IPO

Microsoft laying off 6k employees

Microsoft is reportedly about to lay off 3% of its workforce

Microsoft to lay off 6k workers despite streak of profitable quarters

Microsoft Lays Off TypeScript Compiler Veteran Ron Buckton

Microsoft fires Faster CPython developers

Bing Search APIs will be retired on August 11, 2025

Programmers bore brunt of Microsoft layoffs as AI writes up to 30% of its code