AI原生语言MoonBit遇上静态分析,迸发高性能、资源受限场景下的独特潜力
本文作者:东灯原标题:用 MoonBit 做静态分析:从分析简单语言到 MCIL一、前言你是否曾在编写代码时,对那些能未卜先知的工具感到好奇?当C/C++编译器警告你“变量可能未初始化”,或TypeS
阅读全文本文作者:东灯原标题:用 MoonBit 做静态分析:从分析简单语言到 MCIL一、前言你是否曾在编写代码时,对那些能未卜先知的工具感到好奇?当C/C++编译器警告你“变量可能未初始化”,或TypeS
阅读全文Anthropic 宣布推出 Cowork —— 让 Claude 能像协作伙伴一样在用户设备上执行实际任务的新功能,目前作为“研究预览版”向 Claude Max 订阅用户开放,仅支持 macOS
阅读全文转载自:【精校无错版】上周六,唐杰、杨强、林俊旸、姚顺雨真正说了什么?2026 年开年的中国 AI 圈,简直不能再热闹了。“热闹”的点在于,大模型“开源四杰”中的三家核心人物——唐杰教授、杨植麟、林俊
阅读全文谷歌发布了关于 Android 开源代码的最新调整:仅将在每年的第二季度和第四季度向 AOSP 发布 Android 源代码。AOSP 官网写道:自 2026 年起,为了与我们稳定的主干开发模式保持一
阅读全文数据访问层(DAL)技术已经非常成熟,从最早的 JDBC 到 Hibernate、MyBatis,再到 Spring Data JPA。我们习惯了用这些框架处理数据。然而,当我们把目光投向“数据”本身
阅读全文知名开源多媒体框架 FFmpeg 在社交媒体公开感谢了腾讯公司向项目提交的手写 ARM 汇编补丁,称比 C 快 5 倍:据介绍,这些补丁可以让 FFmpeg 在 ARM 处理器上执行速度比普通 C 代
阅读全文微软近期发布的一则宣传 Windows 11 的广告以“PC 竞技游戏之家(The Home of Gaming)”为主题,在展示多款热门游戏时,画面中的 Windows 11 任务栏上意外出现了谷歌
阅读全文随着国家安全领域的加速发展,相关软件研发正面临双重挑战:一方面需满足「GJB5000B」研发能力成熟度模型、等保 2.0 三级等合规要求,另一方面还要应对智能化装备带来的软件复杂度激增。传统研发模式在
阅读全文Anthropic 官方发布了 Claude Code 桌面版,目前处于预览阶段。Claude Code 桌面版是在原本基于终端命令行的 Claude Code 之外推出的一个原生桌面应用界面。它允许
阅读全文🔗项目地址 https://github.com/kavishdevar/librepods #开源 #安卓 #苹果 #AirPods #耳机 #技术 #降噪 #工具 #实用
阅读全文TIOBE 是专注于跟踪编程语言流行趋势的网站,近日其宣布 C# 成为 2025 年度编程语言。TIOBE CEO Paul Jansen 写道:这是近三年来第二次,C# 被 TIOBE 指数评为“年
阅读全文随着生成式 AI 在软件开发中的深入应用,一篇最新技术文章《AI Is Forcing Us To Write Good Code》指出,AI 不再只是代码生成的辅助者,它正在迫使开发团队提高代码质量
阅读全文【1分钟看懂一个技术趋势】微软为什么要在2030年前清空C/C++? 微软组建团队清理“屎山代码”:利用AI将C/C++转换为Rust #ai #微软 #招聘 #代码 #rust #行业 #语言
阅读全文YouTube 博主 Jeff Geerling 近日发布了一篇博文和一段视频,详细介绍了他使用 Mac Studio 打造 AI 集群的体验,主要展示了 Thunderbolt 5 接口在集群计算中
阅读全文GPL只管代码,不管硬件。 📒Linus看不惯GPLv2被滥用,罕见地在论坛发表长文进行声明 #Linux #linus #开源 #硬件 #代码 #互联网 #厂商 #违规 #总结 #GPL #开
阅读全文12月29日,美国著名科技媒体《连线》(WIRED)发表头条文章《再见,GPT-5。你好,千问》,文章指出,GPT-5未能激起市场热情,而开源开放的阿里千问,性能优异,适于灵活部署应用,2026年将属
阅读全文12月20日,在首届MUSA开发者大会现场,摩尔线程正式发布其战略级终端产品——AI算力本 MTT AIBOOK。这不是一台面向大众的普通笔记本,也不是AIPC,而是专为AI学习与开发者打造的Linu
阅读全文2025 年 12 月 27 日,第十五届深度开发者与用户大会( DDUC 2025 )在湖北武汉成功举办。本届大会以“Created by deepin, Built by You”为主题,汇聚了来
阅读全文IntelliJ IDEA 现已升级为一款统一的产品!正如我们 7 月公告所述,自本版本 (2025.3) 起,IntelliJ IDEA 将合二为一,取代此前分开提供的 IntelliJ IDEA
阅读全文省流总结:Vizio 与 SFC 的纠纷源于电视制造商 Vizio 没有遵守 GPLv2 ,未能向用户提供其智能电视中使用的开源软件(主要基于 Linux)的源代码和修改权,SFC 因此起诉。最近法院
阅读全文造浪 2025 AI Agent 创新赛由开源中国携手独家冠名厂商-商汤大装置联合主办,聚焦智慧金融、教育科技、出海辅助、本地生活等重点行业领域,面向全国企业开发者、高校科研团队及个人创客征集具备商业
阅读全文著名开源开发者 Fabrice Bellard(因 QEMU、TinyCC、FFmpeg 和 QuickJS 等项目而知名)开源了一个全新 JavaScript 引擎:MicroQuickJS,特点是
阅读全文引言:软件供应链安全的战略意义与治理目标软件工厂软件供应链安全是科技工业高质量发展的核心保障,其战略必要性根植于第三方组件安全风险的普遍性与软件工厂场景特殊性的叠加效应。根据相关报告显示,75%的企业
阅读全文微软正推进一项长期工程:计划在 2030 年前,将公司内部现存的 C 和 C++ 代码逐步迁移至 Rust。该消息源于微软内部工程负责人在公开平台的披露,随后引发开发者社区广泛讨论。https://w
阅读全文Redis之父Antirez最新博客文章:《Reflections on AI at the end of 2025》,谈论了他对人工智能的思考,称未来20年AI面临的根本挑战是避免人类灭绝。 📒完
阅读全文Redis 之父 Antirez 最新博客文章:《Reflections on AI at the end of 2025》,谈论了他对人工智能的思考。从“随机鹦鹉”到现实:多年以来,尽管功能证据和科
阅读全文2025 第三届数据库编程大赛正式开启!本次大赛由 NineData 和云数据库技术社区主办,并联合佰晟智算、达梦数据、 ITPUB、CSDN、IFclub、开源中国、DataFun、墨天轮等技术社区
阅读全文国产游戏引擎开发商 COCOS 上个月发布官宣,SUD 以 5.1 亿人民币全资收购 COCOS,COCOS 业务和团队将深度整合进 SUD。忽然科技(SUD)是全球头部应用内游戏分发平台,正在服务全
阅读全文近日,在江苏昆山举办的光合组织2025人工智能创新大会(HAIC2025)上,中科曙光scaleX万卡超集群以真机形式首次公开亮相。这一基于scaleX640超节点系统构建的大规模智能计算基础设施,不
阅读全文