至顶网软件频道消息:微软于7月17日发布了首个接近最终版本的SQL Server 2017预览版。
SQL Server 2017是首个既能够运行在Linux上又能够运行在Windows Server上的微软 SQL Server数据库版本。微软的官员们表示希望SQL Server 2017能够在今年夏天全面上市。
到目前为止,微软已经发布了七个SQL Server 2017的Community Technology Previews(社区技术预览版)。微软使用微软研究院的“Drawbridge”技术将SQL Server带入Linux。Drawbridge是微软研究院在过去几年中一直在开发的Library OS概念的运用。这是专门用于应用程序沙箱的虚拟化形式。Drawbridge在让Bash Shell运行在Windows 10上的工作中也发挥了作用。
该公司的官员们曾表示,除了支持Linux之外,此版本的SQL Server还将提供图形数据处理、自适应查询处理以及高级分析的Python集成。
SQL Server 2017 Release Candidate 1在Linux上的SQL Server增加了Active Directory 集成;Transport Layer Security(传输层安全,TLS)进行数据加密;更多SQL Server Analysis Services功能;以及Linux和Windows Server上的SQL Server Integration Services(集成服务)。
SQL Server 2017可以安装在Red Hat Enterprise Linux、Ubuntu Linux、SUSE Linux Enterprise Server之上,以及Linux、Windows或MacOS上,和Windows Server之上的Linux Docker容器之中。
好文章,需要你的鼓励
Replit与RevenueCat达成合作,将订阅变现工具直接集成至Replit平台。用户只需通过自然语言提示(如"添加订阅"),即可完成应用内购和订阅配置,无需离开平台。RevenueCat管理超8万款应用的订阅业务,每月处理约10亿美元交易。此次合作旨在让"氛围编程"用户在构建应用的同时即可实现商业变现,月收入未达2500美元前免费使用,超出后收取1%费用。
LiVER是由北京大学、北京邮电大学等机构联合提出的视频生成框架,核心创新是将物理渲染技术与AI视频生成结合,通过Blender引擎计算漫反射、粗糙GGX和光泽GGX三种光照图像构成"场景代理",引导视频扩散模型生成光影物理准确的视频。框架包含渲染器智能体、轻量化编码器适配器和三阶段训练策略,支持对光照、场景布局和摄像机轨迹的独立精确控制。配套构建的LiVERSet数据集含约11000段标注视频,实验显示该方法在视频质量和控制精度上均优于现有方法。
所有人都说AI需要护栏,但真正在构建它的人寥寥无几。SkipLabs创始人Julien Verlaguet深耕这一问题已逾一年,他发现市面上多数"护栏"不过是提示词包装。为此,他打造了专为后端服务设计的AI编程智能体Skipper,基于健全的TypeScript类型系统与响应式运行时,实现增量式代码生成与测试,内部基准测试通过率超90%。他认为,编程语言的"人类可读性时代"正走向终结,面向智能体的精确工具链才是未来。
这项由蒙特利尔学习算法研究所(Mila)与麦吉尔大学联合发布的研究(arXiv:2604.07776,2026年4月)提出了AGENT-AS-ANNOTATORS框架,通过模仿人类数据标注的三种角色分工,系统化生成高质量网页智能体训练轨迹。以Gemini 3 Pro为教师模型,仅用2322条精选轨迹对90亿参数的Qwen3.5-9B模型进行监督微调,在WebArena基准上达到41.5%成功率,超越GPT-4o和Claude 3.5 Sonnet,并在从未见过的企业平台WorkArena L1上提升18.2个百分点,验证了"数据质量远比数量重要"这一核心结论。