我们在举办了许多 Lean 4 研讨会和短期课程后开始构建这个，因为环境设置总是占用了太多时间，影响了实际学习。
返回首页
最新
我一直在进行一个名为“Space”的项目。<p>这是一个实验，旨在构建一种软件，它随着时间的推移缓慢演变并自我解释，而不是优化用户入门、仪表板或早期转化。<p>与其列出功能清单，不如将Space构建为一组可供探索的系统。有些是实用的，有些是实验性的，还有一些主要是为了被理解。新的系统和记录会按照固定的节奏（每月的1号和15号）添加。<p>该项目已经上线，欢迎自由探索。我主要想了解“缓慢、可观察的软件”是否能够随着时间的推移产生有意义的积累。
我怀念Clippy和Bonzi Buddy，所以我花了几天时间逆向工程并实现了微软旧的代理格式（ACS），并在此基础上编写了一个小型查看器（WASM + TypeScript）。<p>你可以在这里查看代码：<a href="https://github.com/Ell/bonzi" rel="nofollow">https://github.com/Ell/bonzi</a>
我下载并编译了它，还运行了一些简单的程序。不过，我对如何在实际项目中使用它毫无头绪，尽管我抽屉里有一堆积满灰尘的树莓派和ESP32。<p>有没有人愿意分享一下他们的灵感？
我最初在1994年为一位朋友开发了这个程序，当时他在南极的麦克默多基地等待一个“空投”，那个空投还要几个月才能到来，届时将会带来新鲜的食物和期待已久的邮件。这是一个大家都在期待的重大事件，等待的过程非常煎熬。虽然没有短缺，但“新鲜食品”最先用完，长时间以来大家只能吃罐头食品，这严重打击了士气。人们开始为备用电池进行交易。我通过电子邮件说：“抱歉我无法帮助你……但这里有些东西会让等待变得更加难以忍受！希望过一段时间后它会变得有趣。”于是我给他发送了一个倒计时钟，计算空投的时间。后来我用它来倒计时各种事情，并制作生活时钟。
这个程序早已停止工作。它是用16位的Visual BASIC制作的，古老到今天连Wine模拟器都无法运行。
这是2025年的重写版本。它可以在任何地方运行，76KB的自包含HTML，使用动态生成的JS/SVG元素。
将起始时间设置为现在，将结束时间设置为未来某个日期，它就会变成一个倒计时钟，当未来的时刻到来时，所有指针会同时指向上方。
将结束时间设置为出生的日期和时间，然后点击“生日”按钮。这会将起始日期设置为出生前的一年。由于结束事件早已过去，它会显示自出生以来的经过时间，中心的蓝色和灰色指针将跟踪年份，直到再次到达生日。“翻转”按钮可以水平翻转时钟，以切换顺时针和逆时针方向。或者反复点击翻转按钮，让指针跳舞。
你还可以将本地副本保存到一个文件夹中，以便加载当前设置的时钟。事件名称将成为窗口或浏览器标签的标题。