ZD至顶网软件频道消息:近日,微软在红帽峰会上展出与红帽合作的一些新成果。
微软将于周四展示在红帽企业Linux运行的Linux版SQL服务器的。微软今年前一阵曾宣布,即将面市的Linux版SQL服务器将于2017年年中推出。目前的私有Linux版SQL服务器预览版只能在Ubuntu里运行。但微软高管今年曾表示,Linux版SQL服务器(Windows版SQL Server 2016的子集)可在多个Linux发行版里运行,包括红帽企业Linux。
微软还指出,红帽现在支持在红帽企业Linux里运行的.NET Core 1.0版。而6月27日恰好是微软许诺过的.NET NET Core 1.0和ASP.NET Core 1.0公开发布的日期。
我们来回顾一下,.NET Core 1.0技术以前叫.NET 5,而ASP.NET Core 1.0就是以前被称之为ASP.NET 5的东西。今年初,微软曾将这两个产品更名,并分开两个产品程序库/运行代码和工具的发布。(Visual Studio 2015更新3今天出来了,也需要.NET Core 1.0 RTM。)
据微软6月27日的博文介绍,微软将在红帽峰会上宣布在GitHub上推出一个新的Azure资源管理模板,并称“它将令在Azure里部署红帽企业Linux的红帽OpenShift更为简单,开发人员因此能够在Azure里用红帽的自助、基于容器的平台快速开发、托管和对应用程序进行规模化”。
直到2015年11月为止,红帽都未曾出现在微软Azure支持的Linux发行版表单里,颇为惹人注意。而其他诸如Ubuntu、CentOS、Oracle Linux、SUSE Linux企业版和OpenSUSE等都已经出现在该表单里。
好文章,需要你的鼓励
在“PEC 2025 AI创新者大会暨第二届提示工程峰会”上,一场以“AIGC创作新范式——双脑智能时代:心智驱动的生产力变革”为主题的分论坛,成为现场最具张力的对话空间。
人民大学团队开发了Search-o1框架,让AI在推理时能像侦探一样边查资料边思考。系统通过检测不确定性词汇自动触发搜索,并用知识精炼模块从海量资料中提取关键信息无缝融入推理过程。在博士级科学问题测试中,该系统整体准确率达63.6%,在物理和生物领域甚至超越人类专家水平,为AI推理能力带来突破性提升。
Linux Mint团队计划加快发布周期,在未来几个月推出两个新版本。LMDE 7代号"Gigi"基于Debian 13开发,将包含libAdapta库以支持Gtk4应用的主题功能。新版本将停止提供32位版本支持。同时Cinnamon桌面的Wayland支持持续改进,在菜单、状态小程序和键盘输入处理方面表现更佳,有望成为完整支持Wayland的重要桌面环境之一。
Anthropic研究团队开发的REINFORCE++算法通过采用全局优势标准化解决了AI训练中的"过度拟合"问题。该算法摒弃了传统PPO方法中昂贵的价值网络组件,用统一评价标准替代针对单个问题的局部基准,有效避免了"奖励破解"现象。实验显示,REINFORCE++在处理新问题时表现更稳定,特别是在长文本推理和工具集成场景中展现出优异的泛化能力,为开发更实用可靠的AI系统提供了新思路。