AI 赋能底层重构：Ladybird 浏览器利用 AI 将 JS 编译器从 C++ 迁移至 Rust
Ladybird 浏览器创始人 Andreas Kling 近日透露，他借助 AI 工具成功将 JavaScript 编译器代码从 C++ 重写为 Rust。这一过程不仅验证了 AI 在处理复杂逻辑和系统级代码迁移方面的强大能力，也显著降低...
标签索引 / 第 8 页
前沿技术
这个标签下有 113 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
《Agentic Software Engineering》：AI智能体如何重塑软件开发的未来
本书深入探讨了当前AI领域最前沿的趋势：自主AI智能体。它详细阐述了这些智能体如何彻底改变我们构建、测试和部署软件的传统流程，标志着软件工程正进入一个全新的自主化时代。作为这一技术变革的权威指南，书中不仅涵盖了技术原理，更展望了未来工程师与...
硬核且荒诞！开发者打造“Docker Lisp”，每次函数调用都启动一个容器
一位名为 a11ce 的开发者在 GitHub 上发布了一个极具“赛博朋克”风格的实验性编程语言——Docker Lisp。该项目将容器化技术推向了极致（或说是荒谬的边缘）：语言中的每一个函数调用，实际上都会在后端启动一个新的 Docker...
Lean 4 学习指南（一）：解锁编程与数学证明的融合之道
这篇由 Lean 核心贡献者撰写的系列教程，深入介绍了 Lean 4 这一现代交互式定理证明器和函数式编程语言。文章不仅涵盖了 Lean 的语法基础和类型系统，更重点剖析了其强大的元编程能力。Lean 4 能够让开发者在编写代码的同时构建数...
首款“数学原生”OS发布：Axiom融合大模型与形式化验证，从内核根治AI幻觉
Axiom 被称为全球首个从内核层面融合人工智能与形式化数学的操作系统。作为一个“数学原生”系统，它允许直接使用 $x^2$ 等数学语法作为有效代码。其核心创新在于“神经符号”架构：利用高速大语言模型（如 Qwen）提供创造性推理，同时通过...
Gemini 3.1 Pro 被发现已开启灰度测试，一招教你验证是否在列
据社区反馈，Google 似乎已对 Gemini 3.1 Pro 开启了灰度测试。用户无需切换模型，只需使用特定的“Needle”（大海捞针）测试提示词即可验证。数据显示，旧版 Gemini 3.0 Pro Preview 在该测试中的得分...
只需透明胶带？揭秘颠覆常识的无透镜成像黑科技
本文展示了一项极具创意的物理实验：仅利用普通的透明胶带即可实现“无透镜成像”。实验通过胶带表面的随机微观结构散射光线，代替传统透镜收集光路，再利用算法对混乱的光波进行逆向重建，从而还原出清晰的物体图像。这一技术不仅是物理光学的有趣演示，更深...
前谷歌工程师推首款可嵌入网页AI智能体Rover：直接操作DOM，重构用户交互
Rover是一款革命性的“可嵌入Web智能体”。作为一个聊天组件，它不仅能对话，更能直接接管用户操作，如点击按钮、填写表单、引导流程和结账。这仅需一行脚本代码，无需暴露后端API或维护额外代码。其核心技术在于纯DOM架构，使其能像真实用户一...
技术深挖：如何利用“代数效应”技术优化芯片硬件仿真？
本文深入探讨了Jane Street如何利用OCaml语言中的“代数效应”这一高级编程概念，将其从理论玩具示例逐步推向实际的工程应用。文章重点展示了代数效应在Hardcaml（一种用OCaml编写硬件电路的工具）仿真环境中的强大作用，通过优...
Zig 语言引入 io_uring 与 GCD 支持，实现高效统一 I/O 抽象
Zig 编程语言近日发布更新，宣布在标准库 std.Io 中成功落地了 Linux 的 io_uring 和 macOS 的 Grand Central Dispatch (GCD) 实现。这两项技术均基于用户态栈切换（即“纤程”或“协程”...