本文探讨了在 Linux 和 Wayland 上实现“多座”(multi-seat)计算的可行性。通过将多个鼠标和键盘连接到同一台电脑,可以创建一个支持多个光标的协作桌面环境。
尽管这一概念较为冷门,但作者认为,它为结对编程或运行本地多人游戏提供了一种自然的实现方式,且无需复杂的同步算法。技术调研显示,虽然 Wayland 的核心协议在多座输入方面设计完善,但实现层面在不同环节上仍存在碎片化:
* **合成器(Compositors):** Weston、Sway 和 River 提供了强大的支持,允许实现按座位划分的窗口聚焦和配置。
* **工具包(Toolkits):** GTK 和 SDL 内置了多座功能,但通常需要进行微小的补丁或特定配置才能正常运行。
* **远程访问:** 使用带有 `--transient-seat` 参数的 `wayvnc`,可以让远程用户通过独立的个人光标加入。
作者发布了若干工具和补丁以改善使用体验,并为有意拓展这一利基领域的开发者指出了多种“开放项目”方向。该项目为在现代 Linux 桌面构建真正支持多指针的协作应用奠定了基础。
近期针对“真值探针”(truth probes)——即旨在识别大语言模型嵌入空间中“真值方向”的工具——的研究表明,这些工具能够有效分类事实性陈述。然而,本文认为从理论上讲,通用的真值探针是不可能实现的。
作者借鉴哥德尔不完备定理、塔斯基真理不可定义性以及停机问题,论证了任何具备足够表达能力以描述自身真值评估器的系统,都容易受到“对角线攻击”的影响。具体而言,诸如“此句的真值探针得分评估为假”这类自指语句会产生逻辑悖论,任何一致的探针都无法解决。
尽管研究人员试图通过使用“分级真值”(即分配 0 到 1 之间的数值)来缓解这一问题,但此类方法最终被迫陷入权衡:要么系统缺乏评估复杂陈述的表达能力,要么系统依然容易受到改进版谎言者悖论的影响。
作者总结道,虽然真值探针是用于人工智能安全的重要诊断工具,但它们无法充当客观的真理预言机。正如哥德尔证明了数学真理无法被形式系统完全涵盖一样,人工智能嵌入的几何结构也无法完全概括其自身语言的真理。
软件工程师 Andrea 最近用 Rust 编写了一个自定义的 Markdown 转 HTML 编译器,以此作为学习该语言的一种方式。由于厌倦了 Hugo 等框架的复杂性,Andrea 花了大约 12 到 13 个小时,从零开始打造了一个极简的个人博客工具。
该编译器通过扫描本地文件中的 Markdown 语法,将其转换为中间表示(AST),并通过模板输出带有样式的 HTML。该工具支持标准的 CommonMark 功能,包括标题、列表、代码块以及各种行内样式。它还能解析 YAML 元数据(如标题、日期和草稿状态),以便管理站点结构。
除了基本的编译功能外,生成的网站还具有简单的搜索栏、标签过滤以及实验性的类似 Vim 的导航功能。虽然 Andrea 设计该项目主要是为了个人使用,但这一努力也成为了对编译器设计概念的一次实践探索。源代码现已公开,供有兴趣了解其实现的人参考。
对于在 VPS 上运行少量 Spring Boot 应用的开发者来说,Prometheus 和 Grafana 等企业级可观测性工具往往显得有些大材小用。**StatLite** 提供了一种轻量且专注的替代方案,它能将标准的 Spring Boot Actuator 数据转化为简洁、实用的仪表盘。
StatLite 是一个单一的 Go 二进制文件,它将历史数据存储在 SQLite 中,无需复杂的架构或自定义探针。它通过轮询你已暴露的 Actuator 端点,提供核心的运维洞察,例如健康状态、请求延迟、错误率、内存使用情况和运行时间。
**为何选择 StatLite?**
* **简洁性:** 无依赖安装,配置简单。
* **高效性:** 非常适合小规模部署,无需承担庞大监控栈的开销。
* **灵活性:** 若未来项目需求增长,它也不会妨碍你迁移到更大的监控平台。
入门非常简单:只需暴露你的 Actuator 端点,下载二进制文件,并将其指向你的应用程序即可。对于那些既需要监控服务性能,又不希望承担完整监控生态系统运维负担的开发者来说,StatLite 是一个理想的解决方案。
reFrame 是一款开源数码相机,它采用六色电子纸(ePaper)显示屏,能呈现出类似于报纸或复古电子游戏的独特抖动图像。由于屏幕依靠物理墨滴粒子成像,每张照片需要 15 秒才能“显影”,提供了类似拍立得的触感体验。图像显示后,即使在断电状态下也能永久保留,使设备在拍摄下一张照片前可以作为桌面的相框使用。
reFrame 由 Kaloyan Kolev 开发,使用市售现成组件组装而成,包括树莓派 Zero(Raspberry Pi Zero)、树莓派摄像头 3 代(Pi Camera 3)以及 4 英寸的 eInk Spectra 6 显示屏。目前该相机作为一个 DIY 项目运作,其完整的构建说明和开源代码已在 GitHub 上发布;开发者计划在未来提供成品销售。尽管屏幕具有艺术美感,reFrame 仍会保存原始和抖动处理后的数字文件,用户可通过网页仪表板进行访问。
“按钮操作”(Button Actions)提案旨在通过为 `<button>` 元素添加 `action` 和 `method` 属性来增强 HTML。目前,由于浏览器缺乏一种简单的原生方式让按钮在不借助复杂表单的情况下触发请求,开发人员经常滥用链接(通过 CSS 和 JavaScript)来实现导航或删除数据等操作。
问题的核心在于链接和按钮之间的语义区别。链接代表可以被重新定义上下文(例如在新标签页中打开、加入书签或分享)的**目标地址**;而按钮代表绑定到特定浏览上下文的**操作**。
当开发人员强迫链接充当按钮时,会破坏预期的用户行为(例如上下文菜单选项),因为浏览器无法区分导航链接和功能性操作。这种滥用链接的行为是一种存在于各大主流设计系统中的无障碍和用户体验反模式。
通过使按钮能够触发导航和非 GET 请求(如 `DELETE`),该提案允许开发人员使用标准 HTML 来模拟完整的 CRUD 生命周期。这种方法简化了开发,提高了无障碍性,并确保网络在不依赖 JavaScript 变通方案的情况下,为所有用户提供可预测的交互体验。