全部 AI技术 安全技术 IT技术
AI技术

Open Code Review — 阿里巴巴开源的 AI 代码审查 CLI 工具

Open Code Review 是阿里巴巴开源的 AI 驱动代码审查 CLI 工具,已在内部服务数万开发者,识别数百万代码缺陷。核心设计是确定性工程与 Agent 混合驱动。

2026/6/5 927
AI技术

Elixir v1.20 发布:现在是一门渐进类型语言

Elixir v1.20 完成第一个类型系统里程碑:无需类型注解即可对每个 Elixir 程序进行渐进类型检查,发现已验证错误与死代码,误报率极低。

2026/6/4 209
安全技术

Let's Encrypt的后量子未来

Let's Encrypt计划采用Merkle Tree Certificates(MTCs)作为后量子安全的Web PKI路径,在不牺牲TLS性能的前提下实现后量子认证。

2026/6/4 263
AI技术

Gaussian Point Splatting:随机点采样实现数亿高斯的实时渲染

Gaussian Point Splatting(SIGGRAPH 2026)提出随机点采样和64位原子操作,绕过了传统3DGS的排序瓶颈,在消费级GPU上实时渲染4.25亿个高斯函数。

2026/6/4 294
安全技术

Capstone:多架构反汇编框架全面解读

Capstone 是一个轻量级的多平台、多架构反汇编框架,目标是成为安全社区中二进制分析和逆向工程的终极反汇编引擎。采用开源 BSD 许可。

2026/6/3 240
AI技术

QBE 1.3 发布:轻量级编译器后端的新突破

QBE(Quick Backend Engine)是一个轻量级的编译器后端,定位介于 LLVM 的复杂和手写代码生成之间的中间地带。近日发布的 1.3 版本是其自 1.0 以来最重要的版本,新增约 7k 行代码,删除 1.5k 行。

2026/6/3 210
AI技术

在 Linux 上把 NVIDIA 显存当交换空间用

一个开源工具 nbd-vram,让你在 Linux 上把 NVIDIA GPU 的显存用作交换空间。

2026/6/3 229
AI技术

dav2d:VideoLAN 社区的 AV2 开源解码器

VideoLAN 社区宣布 dav2d——AV2 编解码器的快速开源解码器。由 dav1d 团队打造,从发布到官标仅数周,解码速度有望超越 dav1d 的表现。

2026/6/2 193
AI技术

RGB 归一化该除以 255 还是 256?

图像处理中最基础的 RGB 归一化操作,除以 255 和除以 256 到底有什么区别?从量化误差、均匀量化到像素值范围,深入分析两种方案的技术取舍。

2026/6/2 178
AI技术

10 年老 Xeon 搞定 Gemma-4:CPU 推理优化实战

在2016年的Xeon E5-2620 v4服务器上(无GPU、DDR3内存),通过 speculative decoding、CPU-MoE 路由优化、运行时重打包等黑科技,让 Gemma-4 26B 推理跑起来。全文解读每条优化 flag 的原理和效果。

2026/6/2 213