ai-assisted

作者解释了他们为何从写 markdown 文件转向使用 Claude Code 来生成 HTML，并认为 HTML 是新的 markdown。

KimiFlare 是一款由 Kimi K2.6 驱动的 CLI 代码编辑器，托管在 Cloudflare Workers AI 上。

Signal Shot 是一项重大的形式化验证项目，旨在使用 Lean 验证 Signal 协议及其 Rust 实现。该项目结合了 Rust 到 Lean 的转换（Aeneas）、数学基础（Mathlib/CSLib）、自动化策略（grind/SymM）以及 AI 辅助形式化等方面的最新进展。这是对 Lean 能否从纯数学扩展到已部署的现实世界软件系统的一次重大考验。

一位没有任何实验室经验的用户借助Claude的指导，在家中搭建了湿实验室并完成了自己的全基因组测序，充分体现了AI辅助推动DIY生物学走向大众化的趋势。

ArcKit 是一个开源企业架构治理工具包，提供由 AI 辅助的工作流程，涵盖架构原则、风险管理、商业论证、技术研究和设计评审，具有原生 Claude Code 集成和对 Azure、AWS 以及 Google Cloud 的支持。