最新

我在以规范驱动的方法上遇到了很多问题，代理过于容易产生无用的信息，大型项目有太多的规范，代理在维护这些规范时开始出错。这导致了持续的协调成本。 最终，每个规范只是一堆事实，因此我决定放弃这些，抛弃其他所有内容，同时使其更适合代理使用。 现在介绍事实——供代理使用的技能和命令行接口，以便进行基于事实的开发。 [https://github.com/av/facts](https://github.com/av/facts)

我是一名来自珀斯的iOS开发者和跑步爱好者。我开发Workout Writer是因为为手表创建结构化的锻炼计划仍然比应该的要繁琐得多。其实，我最初制作这个应用是因为我认为这是一个有趣的问题，如果能成功的话也会看起来很酷——如果我知道会花这么长时间，我可能会选择做其他事情…… 当我提到在手表上创建锻炼计划时的“繁琐”，我认为这只是这些界面试图解决的问题固有的特性，这也是为什么苹果和佳明（以及我见过的几乎所有其他锻炼创建应用或服务）如此相似的原因。 如果我需要5分钟在我的手表上编程一个锻炼计划，那么我就不会经常这样做。如果一个技术水平较低的人需要10分钟（而且很紧张）来编程一个锻炼计划，而他们又搞错了，那么他们就再也不会尝试了。 这个应用通过将像这样的纯文本快速简便地转换为结构化的锻炼计划，能够发送到Apple Watch或佳明手表： 热身 10分钟 轻松 6 x 800米 阈值 200米 漂浮 冷却 2公里 ……解析过程是即时且确定的——使用了大量的正则表达式。应用在你输入时会实时更新锻炼结构的预览，而不需要等待一个大型语言模型（LLM）来解释你的意思（每次都可能不同）。 对我来说，用户能够立即看到文本中“理解”的内容是非常重要的，如果会误解，那么应该立即且一致地表现出来。 有一个可选的AI功能可以帮助生成锻炼文本，但这与解析器是分开的——它是外围的，更多是为了让无聊的轻松跑变得有趣一些，或者想出一个新颖的金字塔间歇训练。AI生成的文本随后使用相同的解析器进行解析——原始的锻炼文本始终是事实的依据。 这个想法源于我注意到跑者（或者至少是我跑步俱乐部的成员）通常在他们的Strava描述中以这种方式描述锻炼。我在事后输入了一次艰难的跑步俱乐部训练，意识到同样的文本风格可能可以用来在跑步之前创建结构化的锻炼计划。 该应用允许通过URL（或二维码）轻松与他人分享锻炼计划。URL包含整个锻炼计划、标签、元数据，以便接收设备可以立即访问。 一些实现细节： - 使用SwiftUI、SwiftData和CloudKit同步。 - Apple Watch支持使用WorkoutKit。 - 佳明支持使用佳明的训练API。 - 努力标签如轻松/节奏/阈值映射到用户自己的配速、心率、步频或功率范围——随着你的健身水平变化，只需更新标签并重复使用相同的锻炼计划。 - 包含努力标签的共享锻炼计划会自动适应接收者的健身水平，因为锻炼计划只是文本，并在接收者的手机上进行解析。 - 目前仅支持iPhone——如果有需求，我会考虑添加Android版本。 - 已翻译成16种语言——当实际解析涉及到时，这尤其具有挑战性！ - 没有用户账户。 - 没有广告SDK。 - 没有IDFA请求。 - 采用增值模式——软付费墙，你几乎可以在不付费的情况下使用应用中的所有功能，尽管保存/编辑的锻炼计划数量有限。 我非常希望能收到关于各个方面的反馈——即使只是“看起来像是由软件开发者设计的”。 <a href="https://workoutwriter.com" rel="nofollow">https://workoutwriter.com</a> <a href="https://apps.apple.com/us/app/id6608967303">https://apps.apple.com/us/app/id6608967303</a>