Kotlin 2.3.0版本现已正式发布，这一语言更新提供了多项新功能，包括未使用返回值检查器和对Java 25的支持。此次发布包含多个实验阶段功能，如值检查器、Swift互操作性，以及显式支持字段的新语法。

12 月 26 日，字节跳动旗下 AI 编程工具 TRAE 发布 2025 年度产品报告。 2025 年，AI Coding 从技术创新走向实际应用，深刻变革开发者的生产场景。行业需求已从单点高效的代码补全，升级为全流程、自驱动的 Agent ...

JetBrains发布Kotlin ...

A：SWE-RM是由香港科技大学和阿里巴巴联合开发的AI代码评分系统，就像一位专业的编程老师能够准确评估代码质量。与传统只能判断代码对错的简单系统不同，SWE-RM具备三大核心能力：准确选择最优代码、全面区分不同代码的质量差异、给出可信的评分。它采用 ...

近日，字节跳动旗下AI原生编程工具Trae发布《2025年度产品报告》，全面披露了过去一年的增长与用户洞察。作为国内领先的AI Coding平台，Trae以惊人速度迭代，已成为全球开发者日常不可或缺的“智能拍档”。报告数据显示，该工具正深刻重塑编程范式，推动AI从辅助补全向全流程自主开发转型。

2022 年 11 月，美国国家安全局（NSA）发布了关于保护软件开发者和运营商免受内存安全问题影响的指南，鼓励多个组织将编程语言从 C/C++ 转为使用内存安全的语言，如 C#、Rust、Go、Java、Ruby 和 ...

受邀参加了MiniMax M2.1的内测活动，在内测群里也看到很多其他开发者的反馈，当然褒贬都有，就我个人的感受，说这模型吊打Claude 4.5那就太夸张了一点，但是M2.1的确能解决作为程序员的很多痛点，在一些方面让我感觉很惊艳。 我已经全面转向CLI的编程工具，比较喜欢的编程工具是Claude ...

上周，MiniMax开发者社区负责人、大模型后训练工程师蔡佳人、MiniMax大模型后训练工程师鲁浩男在 Datawhale 社区带来了 MiniMax M2.1发布之后的首场官方技术分享。 这是MiniMax技术团队关于“大模型如何从单纯的代码生成 ...

英飞凌开创性的 SECORA™ Pay M 平台提供了集支付与认证于一身的“一站式”服务，支持维萨卡 (Visa)和万事达卡 (Mastercard)。平台支持包括 EMV 支付、交通出行与票务服务、 FIDO 认证在内的多场景应用，用户能在一个 芯片 平台上获得各种服务。此外，SECORA™ Pay M 支持最新 Tap to X ...

在人工智能编程领域，如何让AI系统像经验丰富的程序员一样精准评估代码质量，一直是困扰科研人员的关键难题。香港科技大学计算机科学与工程系与阿里巴巴通义千问团队联合研发的SWE-RM系统，通过构建三维评估体系，为解决这一难题提供了突破性方案。该系统在预印本平台arXiv公布的实验数据显示，其帮助主流AI编程模型的成功率提升最高达7.6个百分点，标志着AI编程评估技术进入全新阶段。

值得关注的是，这已是东莞极目成立以来的第二次大规模增资。2024年初，该公司注册资本曾从8.7亿元跃升至38.9亿元，增幅高达347%。连续的资本注入显示出华为对该领域的坚定信心，也预示着人形机器人产业即将迎来新的发展阶段。随着技术迭代与生态完善，这家年轻企业正逐步成为智能制造领域的重要参与者。

这项由香港科技大学计算机科学与工程系的沈嘉俊、何俊贤教授与阿里巴巴通义千问团队的惠斌远、陈嘉威、张磊等研究人员共同完成的研究，于2025年12月29日发表在预印本平台arXiv上，论文编号为arXiv:2512.21919v1。这项研究解决了一个看似简单却极其重要的问题：如何让AI更好地判断代码质量，就像一位经验丰富的老师能够准确评估学生作业的好坏一样。 在软件开发的世界里，AI编程助手正变得越来 ...