张可

最近使用 Codex 给 Fread 进行了一次大规模的重构工作，累计改动了一万多行代码，如果人工重构可能要持续一个多月的工作现在几天就完成了，现在回顾一下 Codex 工作的整体感受和一些使用技巧。

函数式最早可以追溯到一百多年前，数学家希尔伯特提出了著名的希尔伯特计划：希望建立一种严格的数学基础，保证所有数学问题都能通过形式化方法解决。

Jetpack Compose Animation 前段时间终于支持了共享元素动画，这很大程度上提高了 Android 应用的用户体验，也降低了开发门槛，以前通过布局计算实现的方案既不优雅也很麻烦。

本文主要介绍一下 KMP/CMP 项目的组织结构和集成方式，从而概览整个技术架构，对其有个总体上的认知。

大早上就看到了一条令人激动的消息，JetBrains 在几个小时前发布了 Compose Multiplatform 1.8.0 版本，CMP for iOS 已经稳定并可以投入生产。

大家好，Fread 项目开发到今天已经有两年半了，上线也已经八个月了，目前项目趋于稳定，现在决定使用 Apache 2.0 协议将其开源。

KRouter 在前几天发布的新版 1.2.1 已经支持了 Kotlin Multiplatform SPI 机制，基于 KSP 和注解。

大概两年前决定自己做个独立的项目作为未来几年的空余时间消磨利器，并且在其中尝试使用各种最新技术，然后业务也比较复杂（不然也不能做这么久），现在项目迭代了这么久，也上架一段时间了，打算写点文章大概介绍下

KRouter1.0版本发布，支持参数注入与 KMP 跨平台。并且发布到了 Maven 仓库，总的来说比以前好用了很多。