OpenAI与知名加密投资及研究机构Paradigm近日联合推出了名为“EVMbench”的全新基准测试。该基准旨在系统性地评估人工智能(AI)代理在检测、修补以及利用高严重性智能合约漏洞方面的综合能力。智能合约作为区块链生态...
Read More近日,新兴开源浏览器项目Ladybird在GitHub上正式关闭了关于Swift 6.0支持的核心议题(Issue #933),标志着该项目彻底放弃了采用Swift语言作为主要开发语言的战略方向。该议题原本旨在追踪阻碍Swift 6.0支持从实验...
Read More据科技资讯网站GamingOnLinux报道,广受欢迎的沙盒游戏《我的世界》Java版即将迎来一项重大的底层图形技术变革。官方计划在未来的“活力视觉效果”更新中,将游戏长期依赖的OpenGL图形API切换为更现代的Vulkan API。这...
Read More近日,GitHub上开源项目pg-typesafe引发了数据库与前端开发社区的广泛关注。该项目旨在解决PostgreSQL与TypeScript结合开发中的核心痛点——类型安全。通过自动生成TypeScript类型定义,pg-typesafe能够为SQL查询的参...
Read More近日,埃隆·马斯克预测,到2026年,人工智能将能够直接生成可执行的二进制文件,从而使编程语言和编译器变得过时。然而,技术专家指出,这一论断存在根本性的“范畴错误”。当前,确定性编译器能够在毫秒级别内,以严...
Read MoreOpenAI旗下的代码智能体Codex近日披露了其核心架构与运作模式,揭示了人工智能在软件开发领域应用的重大进展。Codex采用基于Rust语言构建的架构,并配备了开源命令行界面(CLI)。其核心运作机制是一个被称为“智能体...
Read MoreCohere的研究部门Cohere Labs近日正式发布了Tiny Aya系列开源模型,这是目前在其参数量级上性能最强的多语言开源模型。该系列包括基础模型TinyAya-Base(35亿参数)以及经过指令微调的TinyAya-Global和多个区域变体...
Read More经过近八年的持续开发与测试,开源智能手表操作系统AsteroidOS正式发布了其2.0稳定版本。该项目由一群热衷于嵌入式Linux开发的爱好者发起,核心目标是为被厂商放弃的旧款智能手表提供持续的生命力,对抗电子垃圾问题...
Read More