云应用方便易用，但数据完全受制于服务提供商。本文探讨“本地优先”软件，它将数据存储在本地设备，并通过CRDT等技术实现实时协作，兼顾便利性和数据所有权。作者展示了三个原型应用，证明了本地优先软件的可行性，并指出了未来研究方向，包括改进CRDT性能、完善用户界面和探索去中心化网络等。
阅读更多
本文探讨了“可塑性软件”的概念，即用户可以轻松调整软件以满足自身需求的软件生态系统。作者指出，现今软件的僵化性阻碍了用户创造力，并以医疗行业为例说明了其负面影响。文章对比了物理世界环境的灵活性和数字环境的僵化性，并提出了三种设计模式来实现可塑性软件：平缓的定制曲线、可组合的工具以及社区协作。作者还介绍了他们团队开发的几个原型系统，展示了可塑性软件的潜力，同时也指出了未来需要解决的挑战，例如隐私、安全和商业模式等。最终，文章呼吁构建一个更以用户为中心的计算生态系统。
阅读更多
本文探讨了一种新型日历——草图日历，它试图结合纸质日历的灵活性与数字日历的便捷性。传统数字日历功能强大，但缺乏个性化和对非正式计划的支持；而纸质日历虽然灵活，但缺乏数字日历的同步和分享功能。草图日历以数字笔记为基础，通过添加少量结构，力求在保留纸质日历的个性化表达的同时，实现数字日历的便捷功能，例如创建互联的日、周、月视图，以及整合手绘注释和正式日历事件。该项目正在探索如何在半结构化系统中实现共享日历和日历邀请等功能，并允许用户添加自定义动态行为，如习惯追踪器或时间追踪器。
阅读更多
本文详细介绍了Keyhive项目中用于数据同步的新协议Beelay。Beelay是一个基于RPC的协议，旨在解决Automerge现有同步协议在处理大量文档和加密数据方面的不足。它通过Ed25519密钥进行身份验证，并使用RIBLT算法高效地同步Keyhive成员关系图和文档集合。为了防止中间人攻击和重放攻击，Beelay在消息中加入了接收者公钥和时间戳。此外，Beelay还引入了Sedimentree协议，用于高效地同步Automerge文档内容。
阅读更多
在第二阶段的开发中，团队成功克服了约束系统中“漂浮感”、“爆炸”和性能差等难题。通过传播已知量、利用线性关系减少求解变量维度以及将约束聚类为独立求解的集群等技术，显著提升了约束系统的稳定性和性能。此外，团队尝试了多种求解器，并通过改变值表示方式（例如使用极坐标系），进一步优化了系统。这些改进使得构建物理上准确的机械结构，以及实现真正双向计算成为可能，为动态媒介的构建奠定了坚实基础。
阅读更多
想象一下，如果电子表格中的一个单元格可以同时容纳多个值，会发生什么？Ambsheets项目正是基于这样的设想，它扩展了传统电子表格的功能，允许单元格包含“amb值”，代表多个可能的值。这使得用户可以轻松地探索多种可能性，例如在预算规划中同时考虑不同价位的汽车和公寓，而无需繁琐地修改表格结构。与Excel的“What-If Analysis”相比，Ambsheets具有更简洁的界面和更强大的自动组合功能，能够高效处理多维度可能性空间。目前，研究人员正在探索Ambsheets在过滤、可视化和连续分布等方面的应用，以期将其发展成为更强大的情景探索工具。
阅读更多
Inkbase是一款为Apple iPad和Pencil设计的原生Swift应用程序，它实现了一个可编程的素描本，用户可以使用手绘标记和动态功能来增强他们的草图。文章探讨了Inkbase背后的设计理念、功能和用例，包括支持渐进式增强、反应式属性和空间查询。文章还讨论了使用该工具的体验，例如工作材料的感觉、动态注释的意义以及对分组/复合对象的需求。作者还反思了Inkbase的编程模型，并提出了未来研究的方向。
阅读更多