最新

我们在举办了许多 Lean 4 研讨会和短期课程后开始构建这个，因为环境设置总是占用了太多时间，影响了实际学习。

我一直在进行一个名为“Space”的项目。<p>这是一个实验，旨在构建一种软件，它随着时间的推移缓慢演变并自我解释，而不是优化用户入门、仪表板或早期转化。<p>与其列出功能清单，不如将Space构建为一组可供探索的系统。有些是实用的，有些是实验性的，还有一些主要是为了被理解。新的系统和记录会按照固定的节奏（每月的1号和15号）添加。<p>该项目已经上线，欢迎自由探索。我主要想了解“缓慢、可观察的软件”是否能够随着时间的推移产生有意义的积累。

我怀念Clippy和Bonzi Buddy，所以我花了几天时间逆向工程并实现了微软旧的代理格式（ACS），并在此基础上编写了一个小型查看器（WASM + TypeScript）。<p>你可以在这里查看代码：<a href="https:&#x2F;&#x2F;github.com&#x2F;Ell&#x2F;bonzi" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;Ell&#x2F;bonzi</a>

我下载并编译了它，还运行了一些简单的程序。不过，我对如何在实际项目中使用它毫无头绪，尽管我抽屉里有一堆积满灰尘的树莓派和ESP32。<p>有没有人愿意分享一下他们的灵感？