## Textadept:一款轻量级、可扩展的文本编辑器
Textadept 是一款为程序员设计的快速、跨平台文本编辑器,适用于 Windows、macOS、Linux 和 BSD。它具有极强的可扩展性,无需安装 – 简单解压并运行自包含的可执行文件即可。
主要功能包括支持超过 100 种语言、多光标/选区、无限分割视图以及高度可配置的按键绑定和代码片段。用户可以集成 shell 命令,并使用 Lua 脚本自定义编辑器的几乎所有方面。重要的是,Textadept 离线运行 – 它不连接互联网。
该编辑器提供图形界面和终端界面。虽然提供预编译的二进制文件,但 Textadept 也可以从源代码编译,并可以选择不同的 UI 工具包(Qt、GTK、ncurses)。全面的文档,包括用户手册和 Lua API 参考,可在应用程序内轻松访问。 可选模块可通过 Lua 脚本在偏好设置中加载,以扩展功能。
Textadept 是开源的(MIT 许可证)并得到积极支持。
## Cookie’s Bustle 与版权纠纷:摘要
Cookie’s Bustle 是一款古怪且备受追捧的1999年日本电脑游戏,最近成为版权纠纷的焦点。视频游戏历史基金会(VGHF)在获得该游戏的稀有实体版后记录了它,分享了游戏画面和档案资料。然而,一位名叫 Brandon White(或他的公司 Graceware, SL)的个人开始发布 DMCA 删除通知,声称拥有版权,目标是分享与该游戏相关内容的网站和创作者——甚至包括 VGHF 自身收藏的描述。
VGHF 进行了调查,没有发现任何支持 White 主张的证据。他的“版权登记”是通过一项可疑的服务(INTEROCO)进行的,其合法性存疑,他的商标申请也处于待定状态。用于发送删除通知的英国贸易组织 Ukie,在 VGHF 提交调查结果后,最终暂停了这些行动。
此案例凸显了自动删除系统的问题以及“孤儿作品”的问题——即版权所有者不明的受版权保护的材料。虽然 *Cookie’s Bustle* 的版权状态仍不清楚,但 VGHF 的努力已经阻止了破坏性的删除活动,保护了合理使用并保留了对这款独特游戏历史的访问。VGHF 正在分享他们的调查结果,以赋能创作者并打击版权法的滥用。
本文探讨了无冲突复制数据类型 (CRDT),这是一种为构建无中心服务器的协作应用程序而设计的數據結構。CRDT 允许多个用户独立更新数据,保证所有副本最终一致性。重点是*基于状态*的 CRDT,它们传输完整状态并进行合并。
作者详细介绍了从头开始构建 CRDT 的过程,从最简单的开始:最后写入胜出 (LWW) 寄存器,它通过接受基于时间戳的最新更新来解决冲突。然后扩展到 LWW 映射,允许使用多个键值对,每个键值对由一个 LWW 寄存器管理。 交换律、结合律和幂等性等关键概念被解释为 CRDT 合并函数的基本属性。
LWW 映射利用“墓碑”——保留已删除键的元数据——以防止同步过程中发生意外数据丢失。虽然功能强大,但 CRDT 被描述为单调递增的,这意味着数据只能添加,而不能真正删除。本文为实际应用奠定了基础:使用这些基础 CRDT 构建协作像素艺术编辑器。