exe.dev 由于其固定费用订阅模式,可用 IPv4 地址数量有限,因此在为虚拟机提供 SSH 访问方面面临挑战。与使用“Host”标头在共享 IP 时将请求路由到正确服务器的 HTTPS 不同,SSH 缺乏等效机制。
为此,exe.dev 实施了一个系统,虚拟机共享一个公共 IPv4 地址池,但通过连接用户公钥*和*连接源 IP 地址的组合来唯一标识。这允许 SSH 代理将连接路由到正确的虚拟机。
这需要自定义管理软件来根据用户所有权分配 IP,并在使用 NAT 的云环境中准确确定原始 IP 地址。虽然这不是一个广泛适用的解决方案,但它使 exe.dev 能够为用户维护一致的、基于域名的 SSH 体验。
## 解密Countryle:一次地理推理之旅
受地理游戏(如GeoGuessr)和每日谜题(如Globle)的启发,作者尝试了Countryle——一个通过方向和统计线索(大陆、半球、人口、温度)来识别国家的游戏。他们并非简单地通过代码寻找答案,而是像玩家一样*解决*它,利用游戏的反馈。
解决方案的核心在于构建模块,根据每个线索过滤潜在的国家,然后使用香农熵对剩余候选国进行评分——优先选择能够最均匀地分割剩余可能性的猜测。有趣的是,当方向线索源自希腊时,由于地图投影(特别是墨卡托投影及其对感知距离的影响),它被证明具有特别的信息量。
模拟超过38,000场游戏显示,该求解器平均仅用2.85次猜测就能找到目标国家,这比仅仅依赖单个线索(如大陆)要好得多。虽然利比亚最初被认为是最佳起始国家,但进一步分析表明其他国家表现更稳定,突出了等权重熵方法的局限性。未来的改进包括完善线索权重和更细致地处理人口/温度范围。作者总结说,Countryle是一个探索信息论、搜索算法和地理表示概念的令人惊讶的丰富环境。
## Engram 键盘布局:摘要
Engram是由Arno Klein设计的开源键盘布局系列,旨在提高多种语言的触觉打字舒适度和效率。与QWERTY等传统布局不同,Engram采用数据驱动、多目标优化方法,分析特定语言的n-gram频率以及从众包数据中收集的打字偏好。
这些布局优先考虑人体工程学因素——最小化手指横向移动并优化高频字母对的位置。标点符号被逻辑分组,数字与相关符号配对。目前,已有适用于英语的布局,并有可能使用Keyman等免费软件扩展到其他语言。
受到创作者本人因重复性劳损以及对现有替代方案不满意的经历的推动,Engram旨在解决标准键盘的局限性。尽管优化键盘排列的计算复杂度很高(超过400万亿种可能性!),Engram仍提供了一种科学的途径,承认即使对于经验丰富的打字员和新一代用户,仍有改进的空间。“Engram”这个名字是双关语,既指n-gram,也指神经学中记忆痕迹的概念。
## Superluminal 在 Linux 上的调试:深入内核调试
团队在测试 Superluminal(一款 CPU 分析器)的 Linux 版本时,遇到了持续的系统冻结问题。该问题可在运行 Fedora 42(内核 6.17.4-200)的物理机上重现,表现为在性能分析期间的周期性停顿,与较长的 NMI(不可屏蔽中断)处理时间有关。
调试具有挑战性,最初受到无法在虚拟机中重现问题的影响。对 Superluminal 捕获的分析显示,在冻结期间存在可疑的 CPU 活动。根本原因被追溯到内核的弹性队列自旋锁 (rqspinlock) 中的竞争条件,该条件由采样中断和访问环形缓冲区的上下文切换之间的交互触发。
需要进行多次修复,包括调整死锁检测时机以及处理持有锁期间的 NMI。问题源于内核(6.15+)中的一个相对较新的更改,并且不存在于先前开发中使用的旧内核中。这些修复已回移植到内核 6.17 和 6.18 中,并包含在 6.19 中。 此外,还针对旧内核实施了一个临时解决方法。 此次经历凸显了内核级调试的复杂性以及及时更新内核的重要性。