关注Win11更新日志的用户，或许时常会有这样的疑问：微软的.NET，在Win11上是不是就没有修好过？”
今天，微软如期发布了Win11的KB5015814更新，在修复一个Bug的同时，又双叒叕导致了.NET的崩溃。
在此次更新中，微软解决了此前重定向PowerShell命令会导致脚本日志不包含任何命令的输出这一问题。
此外，此次更新对服务堆栈进行了质量改进，确保其更为可靠，以便设备更为流畅的接受与安装更新内容。
但同时，在更新后，某些.NET Framework 3.5可能会出现问题，或无法打开。
和此前几次.NET 3.5的问题相同，用户可以通过在Windows功能中重启.NET Framework 3.5和Windows Communication Foundation来缓解此问题。
但就像文章开头所说的，作为微软自己自家的开源组件，.NET Framework 3.5已经不止一次在Win11中出现问题，导致软件崩溃，无法使用了。
虽然每次出现问题后，微软都会进行修复，但直到现在，微软都没有明确告知用户.NET 3.5为什么会存在如此之多的问题。
（举报）
11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，性能稳定，让您的云端之旅更加畅享。快来腾讯云选购吧！
腾讯云
12-20
Windows10将于今年10月14日正式结束技术支持，之后要想获得更新补丁，就得掏钱了，无论企业用户还是个人用户，付费价格也正在陆续公开。对于商业客户言，Windows10扩展安全更新的价格是每台PC、每位用户61美元，如果使用微软Intune、AutoPatch服务的话最高45美元。无论是企业还是个人用户，付费也只能获得Windows10的安全补丁，不会有任何新功能。
微软将于5月20日推出全新的Windows11设备，其中包括SurfacePro10和SurfaceLaptop6。这两款设备将搭载高通骁龙XElite处理器，据微软内部文件透露，微软对高通芯片非常有信心，认为它的性能比M3MacBookAir更快。凭借强悍的性能支持，微软Surface系列新品值得期待。
Windows蓝屏死机背后的原因千千万，很多时候来自驱动程序，比如Intel早就确认，他们的无线网卡和蓝牙驱动会导致Windows10/11出现蓝屏死机，官方也多次尝试修复，但一直不是很理想。Intel又放出了新版驱动，其中Wi-Fi驱动版本号23.40.0.4，蓝牙驱动版本号23.40.0.2，正是为解决蓝屏问题来。至于新版蓝牙驱动，也有一些质量更新，包括使用BR/EDR、LE耳机时的性能更好。
最新开源大语言模型DBRX以其惊人的1320亿参数量成为业界新宠。该模型不仅在语言理解、编程和数学等方面超越了业内领先的开源模型在效率上有所突破。随着其在各项基准测试中的优异表现，DBRX有望成为未来开源大模型发展的重要里程碑，为人工智能领域的进步贡献力量。
根据湖北省地质科学研究院的最新研究，最近在湖北省十堰市郧西县西北部发现了丰富典型的泥盆纪珊瑚化石，证实秦岭山脉所在地曾经是一片汪洋大海。本次发现的珊瑚化石主要赋存在泥盆纪中晚期的粉晶、细晶灰岩海相地层中，涉及10余种珊瑚类型，以复体珊瑚为主，赋存区面积广大，超过了300平方千米，显示出大面积古海洋生物礁建造特点。郧西县位于郧西大梁，又名湖北大梁，是秦岭的重要组成部分，东西横亘湖北、陕西两省之间，全长60公里，是两省地理、气候的分界线。
让大模型直接操纵格斗游戏《街霸》里的角色，捉对PK，谁更能打?GitHub上一种你没有见过的船新Benchmark火了。与llmsys大模型竞技场中，两个大模型分别输出答案，再由人类评分不同——街霸Bench引入了两个AI之间的交互，且由游戏引擎中确定的规则评判胜负。正如开发者所说，想要赢，要在速度和精度之间做好权衡。
Llama3发布刚几天，微软就出手截胡了?刚刚发布的Phi-3系列小模型技术报告，引起AI圈热议。其中仅3.8B参数的Phi-3-mini在多项基准测试中超过了Llama38B。对于开源小模型超过ChatGPT这回事，不少网友都认为压力现在给到OpenAI这边，需要赶快推出GPT-3.5的继任者了。
大家都已经习惯了免费的地图和导航服务，但近日有消息称，高德地图即将开始收费，虽然只要3.5元，但也引发了极大争议，不少用户纷纷表示不会再用了。对于此传闻，高德的官方客服回应称，关于高德地图收费”的网传内容均为不实信息。很多人可能都忘了，导航服务曾经是收费的，凯立德最贵要108元，高德40元，百度30元，但是在2013年8月，百度地图率先开始免费，高德当天立刻跟进凯立德基本就被淘汰了。
Microsoft最新发布的Windows11Moment5更新带来了一系列令人期待的AI功能。在这次更新中，用户可以体验到VoiceAccess功能的新增，该功能使得跨窗口操作变得更加容易，同时还可以在VoiceAccessCommands窗口中设置语音快捷方式，例如复制粘贴文本、打开特定文件或应用程序等。Windows11Moment5更新为用户带来了更多AI功能，使得操作系统的使用更加智能和便捷。
认知科学和哲学的巨人、塔夫茨大学名誉教授丹尼尔·丹尼特逝世了，享年82岁。丹尼特在哲学领域做出了重大的贡献，被称为“进化论四骑士”之一，是近二十年来西方新无神论运动的领军人物。丹尼特的逝世绝对是非常遗憾的事情，但他的思想和作品，如同播撒于世界各地的种子，将继续在人类文化的田野中发芽、开花、结果。
Align Your Steps 是一种用于优化扩散模型（Diffusion Models, DMs）采样时间表的方法。这种方法利用随机微积分的方法，为不同的求解器、训练有素的DMs和数据集找到特定的最优采样时间表。它通过最小化KLUB项来优化时间离散化，即采样调度，从而在相同的计算预算下提高输出质量。该方法在图像、视频以及2D玩具数据合成基准测试中表现出色，优化的采样时间表在几乎所有实验中都优于之前手工制定的时间表。
AI 内容检测器拥有惊人的 98% 准确率，可区分人类与来自 ChatGPT、GPT4、Bard、Claude 和 Gemini 等 AI 生成的内容。它在搜索引擎排名、学术评分和读者感知方面具有重要影响。
网易易盾文本识别体验是基于智能识别及海量样本库的专业文本识别服务，针对文本垃圾提供个性化匹配模型及定制检测方案。产品背景包括多年行业经验积累，定位于帮助用户高效识别评论、弹幕、昵称中的变种文本垃圾。
讯飞智检是一款基于海量标注数据和深度学习算法实现文本纠错、涉黄、涉政及违禁词等识别的产品。通过节省人工成本，极大地提升了数据的正确性、规范性。定位于提高数据安全性、降低审核成本的 AI 文本审核平台。
翰林妙笔是一款专注于公文写作的智能 AI 创作平台，提供全面的写作、校对、润色及模板服务。无论是公职人员、事业单位、国企人员、还是医院、学校等机构，笔墨公文都能帮助您高效完成述职报告、调研报告、工作总结、年终总结等各类公文材料的创作。
艺映 AI 是一款专注人工智能视频领域的免费 AI 视频创作工具。它能够将文本、图片或视频转换为高质量 AI 视频，适用于多种场景，如抖音短视频、小说推文、AI 短片、AI 电影等制作。其主要优点在于提供多种视频生成方式，从文本到图片再到视频，满足用户多样化的创作需求。
HIX 总结器是一个 AI 文本摘要器，能够将冗长复杂的内容转变为简短摘要，节省时间，提高效率。其主要优点在于快速、精准地总结文章、文档和 YouTube 视频，适用于快速获取信息的生产力工具。
笔墨公文是一款专注于公文写作的智能 AI 创作平台，提供全面的写作、校对、润色、资料库及模板服务。无论是公职人员、事业单位、国企人员、还是医院、学校等机构，笔墨公文都能帮助您高效完成述职报告、工作总结、心得体会、调研报告、年终总结等各类公文材料的创作。
公文写作｜智能笔杆子是基于 ERNIE 3.5 模型的公文撰写助手，专为编写公文文章设计。该应用能够提供优质的公文风格文章，适用于国企公司内部新闻等场景。
万象公文是一站式公文知识赋能和智能写作平台，基于人工智能和大模型技术。主要优点包括提升公文写作效率和质量，提供智能生成、改写、校对、排版等功能。
讯飞星火公文助手是一款利用星火大模型技术的 AI 公文写作助手，提供素材筹备、拟稿写作和审稿核稿等功能。其主要优点包括高效节省写作时间、提供全面素材筹备和一键生成公文内容等。产品定位于提升公文材料撰写效率。
SpleeterGUI 是一个音乐源分离的桌面应用程序，用户无需安装 Python 或 Spleeter，该应用程序内含预装 Python 版本和 Spleeter。通过分离音轨，用户可以从音乐中提取出不同的声音源，提供了更灵活的音频处理能力。
ChatGPT 检测器是一个用于检查论文是否由 AI 生成的工具。它通过分析文本中每个词的可预测性来判断文本的真实性，帮助用户识别人工写作与机器生成的文本。该工具的主要优点在于免费、准确、适合学生使用，提供详细的文本分析。
PlagScan 是一款一流的查重软件，被机构广泛使用，可自动确保文档的原创性。它通过检测文档中的相似内容，帮助用户避免抄袭问题。
Crossplag 是专注于查重的综合工具，提供超过 100 种语言的单语言和翻译查重功能。用户可以全面控制数据，确保原创性并保护数据隐私。
音子 AI 是一款在线音轨分离解决方案，用户可上传音频或视频文件，立即获取独立的人声和伴奏文件。该产品基于人工智能技术，提供高效的音轨提取功能。
Lyrebird Health通过AI技术监听、学习并生成医疗文档，帮助医生在几秒钟内轻松生成记录和文档。它可以学习医生的风格和用词，并根据需要生成各种文档。Lyrebird Health还提供数据加密和隐私保护，以及定制化的记录风格和语言。
风平 IP 智造平台是基于 AIGC 的智能化 IP 打造平台，致力于提供虚拟数字人定制、AI 短视频内容生产和数字人直播的一站式解决方案。通过结合领先的 AI 技术，平台实现了数字人的高质量生产和互动能力，为用户打造全新的数字人 IP 体验。
赛灵力虚拟数字人工厂致力于 2D 虚拟人、3D 虚拟人、声音克隆等 AI 技术探索和产业应用，为企业、政府、个人提供虚拟数字人 AI 视频创作、个人形象定制、声音定制、智能语音合成等服务。
硅基智能是一款数字化虚拟人与 AI 技术相结合的产品，主要应用于智能交互领域。其主要优点包括领先的 AI 技术、智能交互体验、商业化场景应用等。
