每日HackerNews RSS

## Fuzix 0.4:摘要 Fuzix 0.4 是一款为 8 位及更早处理器设计的轻量级操作系统,注重可移植性和小巧的体积。此版本包含错误修复、界面改进,以及对网络层的大幅重构,以实现未来的模块化。 8080、8085 和 Z80 处理器的可执行文件格式已统一,并且现在使用稳定的 a.out 格式用于 32 位二进制文件。使用新的“make diskimage”目标简化了系统构建过程。 已添加对 NS32K 处理器的支持,并完善了对 6303/6803、6502/65C02/65C816、6809、68HC11、68000、8080、8085、ARM (M0/M4)、ESP8266 和 Z80 系列的支持。支持的系统包括 RC2014、Amstrad NC 系列、Tandy COCO 以及各种 Z80 复古机器。 由于缺乏测试人员,一些系统(Pentagon、Scorpion)已被移除。开发工作仍在继续进行,包括 6800、8086/8088、ESP32 和 RiscV 等处理器。 有关详细信息、源代码和安装说明,请访问 Github 仓库(标签 '0.4')。

## Fuzix OS 概要 Fuzix 是一个微型类 Unix 操作系统,专为较旧和资源受限的系统设计,包括树莓派 Pico 等微控制器和 8 位微型计算机。它由前 Linux 内核开发者 Alan Cox 作为退休项目创建,旨在在 Z80 等 CPU 上运行。 虽然文档稀少且更新不频繁,但开发仍在继续,重点是扩展功能。它采用类 Unix 进程模型和扁平内存空间,并适应硬件功能,如银行切换。一个关键挑战是工具链——获得一个可用的交叉编译器,Cox 正在通过一个可移植的 C 编译器来解决这个问题。 尽管最初看起来如此,该项目仍然活跃,最近已迁移到 Codeberg.org。 尽管着陆页缺乏清晰的解释,Fuzix 提供了在微控制器上运行任意二进制文件而无需不断刷新文件的潜力,这是复古计算和嵌入式系统长期追求的目标。

## FPGA 386 核心:深入内存流水线 该项目已成功启动 DOS,运行 Norton Commander 等应用程序,甚至在 75 MHz 的 DE10-Nano FPGA 上运行 Doom。现在,重点转移到 80386 关键的内存流水线——其高效虚拟内存管理背后的引擎。 386 的 32 位保护模式依赖于复杂的段缓存系统、硬件页表遍历和 TLB 查找。令人惊讶的是,尽管存在明显的开销,地址转换通常只需 1.5 个时钟周期即可完成。这种速度是通过巧妙的重叠、流水线和并行性实现的,而不是严格的串行过程。 关键优化包括缓存段状态以避免重复描述符查找,在地址计算期间并行进行重定位和限值检查,以及“提前启动”——在上一条指令写回期间开始地址工作。专用的总线接口以及可选的外部缓存(如 82385)进一步降低了延迟。 FPGA 实现镜像了这种架构,利用 SDRAM 和内部缓存来减少访问时间。虽然在同步 FPGA 环境中复制 386 的锁存设计和两相时钟存在挑战,但目标是忠实地映射微架构以实现高性能。未来的文章将深入探讨指令预取、任务切换以及该令人印象深刻的 FPGA 核心的具体实现细节。

对不起。

Please provide the content you want me to translate. I need the text to be able to translate it to Chinese.

对不起。

## 二进制 JSON 及更高:加速数据查询 本文探讨了使用二进制编码进行 JSON 数据处理的好处,尤其是在需要重复查询的场景中。即使使用像 `simdjson` 这样快速的解析器,JSON 的解析成本仍然很高,对于复杂查询来说也需要花费大量时间。转换为二进制格式可以显著提高检索速度,在基准测试中实现了高达 2,346 倍的性能提升。 可以使用类型标签和节点结构构建简单的二进制编码,从而实现无需完全解码即可对数据进行随机访问。然而,现有的格式(如 BSON)存在权衡(存储开销、缺乏随机访问)并且并非总是最优的。 现代数据库通过定制的解决方案来解决这个问题:Postgres 的 `JSONB`、YDB 的方法以及 Parquet 的 `VARIANT` 格式。`VARIANT` 为半结构化数据提供了一个灵活、通用的容器,并具有短字符串处理和可变偏移量大小等优化。 最终,最佳编码取决于工作负载的需求——优先考虑存储、随机访问或键排序。 趋势很明确:二进制表示正成为处理半结构化数据的标准,甚至扩展到 LLM API 响应,例如 TOON 格式,旨在提高 token 效率。

对不起。

## 从 DigitalOcean 到 Hetzner 的零停机迁移 一家软件公司成功地将一个复杂的生产环境——包括 30 个数据库中的 248GB MySQL 数据、34 个 Nginx 站点、GitLab EE 和 Neo4J——从 DigitalOcean 迁移到 Hetzner 专用服务器,且实现了零停机。由于土耳其里拉贬值导致成本上升,此次迁移为该公司节省了每月 1199 美元(每年 14388 美元),同时获得了性能更强大的服务器。 迁移策略以细致的准备和自动化为中心。关键步骤包括在新服务器上安装完整堆栈,使用 `mydumper` 和 `myloader` 建立 MySQL 主从复制以提高速度,降低 DNS TTL,并在旧服务器上实施反向代理作为传播期间的备用方案。脚本自动执行 DNS 更改、Nginx 配置更新和 GitLab webhook 调整。 挑战包括解决 MySQL 权限问题(SUPER 权限绕过只读模式)以及确保 MySQL 5.7 和 8.0 之间的数据兼容性。整个过程历时约 24 小时,突显了脚本编写、利用复制以及考虑使用专用服务器来优化稳态工作负载的成本和性能优势。所有脚本均可在 GitHub 上公开获取。

## 日本铁路的成功:世界典范 日本在发达国家中铁路使用率最高,远超美国、法国和德国。这并非源于文化认同,而是深思熟虑、有效的公共政策。与北美铁路衰落和欧洲高度补贴的系统不同,日本的铁路网络通过独特的私有制和战略监管相结合而蓬勃发展。 该系统由众多竞争的私有铁路组成——包括JR东日本和近铁等大型企业——以及曾经国有化网络的残余部分。重要的是,这些公司不仅仅是铁路公司;它们积极塑造城市发展,拥有从住房、零售到医院和娱乐等业务,从而获取因可达性提高而产生的价值。 这种“铁路作为城市建设者”的模式得益于自由的土地使用法规以及铁路公司能够将开发带来的收益内部化的体系。此外,日本避免过度汽车补贴,私有化停车位,并利用票价上限以及有针对性的资本投资补贴。 日本的成功表明,繁荣的铁路系统并非不可避免,而是可以通过明智的政策来实现——这对于全球适用,为振兴日本以外的铁路网络提供了一条途径。

Flock Safety正面临越来越多的公众和法律压力,多座城市已取消合同,并有多起诉讼,源于对其数据访问 practices 的担忧。最近的争议涉及Flock员工访问摄像头画面——包括犹太社区中心内部画面,这与该公司“没有员工监控客户录像”的说法相矛盾。 调查显示,访问犹太社区中心画面没有恶意意图,但此事件引发了愤怒,一些人指责员工存在掠夺行为——IPVM认为这些指控是虚假和有害的。然而,Flock过去激进攻击隐私倡导者,甚至将其称为“恐怖分子”并指责他们纵容罪犯,使得情况更加复杂。 Flock有权谴责对其员工的个人攻击,但批评人士指出,鉴于该公司自身煽动性的言论,这种做法缺乏一致性。这种不断升级的负面情绪正在影响Flock的员工队伍,使其社区参与和招聘变得困难。专家建议改变语气,因为坚持目前这种对抗性的做法可能会使情况恶化。

对不起。

## Z3 求解器探索:从简单方程到数独 本文详细记录了初学者使用 Z3(一个强大的定理证明器或“求解器”)解决约束满足问题的过程。作者对该领域是新手,发现 Z3 比之前尝试过的类似工具更易于上手。求解器擅长规则频繁变化的问题——例如调度(学校课表、资源分配),为定制算法提供了灵活的替代方案。 Z3 使用一种名为 SMT-LIB2 的语言来定义问题。关键概念包括“类型”(本质上是数据类型)和“常量”(求解器操作的变量/值)。作者利用 Z3 的 Rust 绑定,展示了解决日益复杂问题的方案:一个简单的方程(x+4=7)、一个方程组,甚至一个数独谜题。 这个过程包括定义约束,然后使用 Z3 找到满足解。`push` 和 `pop` 等功能允许使用不同的参数进行高效测试。还探讨了更高级的功能,例如优化(找零钱问题)和布局问题。 虽然功能强大,但求解器也有局限性——它们难以处理某些数学函数和外部函数调用。最大的挑战在于将问题正确地*建模*为一组约束。作者承认 Z3 内部还有大量未探索的功能,强调需要更多易于访问的学习资源,以供实际编码人员使用。

对不起。

一对来自佐治亚州的夫妇,马莱里·雪莉和克里斯托弗·普利森茨,因为他们的6岁儿子杰克短暂地独自步行去附近的公园而面临儿童忽视调查——这种做法在他们的童年时期很常见。一位陌生人向儿童保护服务机构举报了他,引发了一系列事件,凸显了一种日益增长的趋势:政府对日常育儿行为的干预增加。 此案显示,模糊的儿童忽视法律,加上对儿童安全的担忧加剧,正在扩大对忽视的定义。这可能导致对曾经被认为是正常活动(如独立玩耍或步行上学)的调查。最近的事件,包括一位母亲因让她的10岁孩子独自步行而被捕,促使11个州通过了“合理的童年独立”(RCI)法,旨在明确什么才是*真正*的忽视——要求对儿童安全存在“公然漠视”。 尽管佐治亚州有新的法律,但最初对马莱里的调查结果被“证实”了,直到二月份才被推翻。这对夫妇担心过度监管的文化正在阻碍儿童韧性和独立性的发展,并且善意的担忧正日益导致不必要的州政府干预。专家认为,儿童福利机构需要建立一个分诊系统,将资源集中在真正的虐待和忽视案件上,而不是促进合理童年自由的情况。

## Kdenlive 年度回顾 (2025) 2025年对于Kdenlive来说是稳步发展的一年,在新增功能的同时,优先考虑稳定性和改进。 三次主要发布(25.04、25.08和25.12)专注于全面改进——从4月发布的强大新自动蒙版工具和OpenTimelineIO集成,到8月份的大规模稳定工作(包含300多个提交),再到12月份经过完善的用户体验,包括新的欢迎界面和灵活的停靠系统。 主要亮点包括音频波形的性能提升300%,以及对音频混音器、标记/引导线和字幕编辑器的重大改进。 团队还重新设计了网站,并加强了与MLT开发者的合作。 Kdenlive由8名核心团队成员和令人印象深刻的38名代码贡献者(其中一半是首次贡献者!)组成,下载量超过1150万次。 未来的开发重点是MLT集成(包括10/12位色彩支持和OpenFX),字幕系统重构,以及用于关键帧管理的新时间线。 通过捐赠(筹集9,344.80欧元)持续支持社区对于维持开发并可能扩大团队至关重要。

## Kdenlive:不断发展的开源视频编辑器 一篇Hacker News讨论强调了Kdenlive日益增强的功能和稳定性,它是一款免费且开源的视频编辑器。用户称赞它处于一个“最佳平衡点”——比iMovie等基础编辑器更强大,但比DaVinci Resolve等专业选项更简单且资源占用更少。 许多人推荐将Kdenlive与OBS(用于屏幕录制)以及Audacity/Tenacity(用于音频编辑)结合使用,从而创建一个完整的FOSS媒体创作流程。虽然一些用户报告了过去存在稳定性问题,但许多人指出近年来有了显著改进,甚至有人更喜欢它胜过Premiere Pro。 然而,对于崩溃和项目损坏仍然存在担忧,尤其是在大型项目方面。一位开发者正在积极进行性能改进,社区也强调定期保存的重要性。讨论还涉及KDE与Qt的关系,以及最适合KDE Plasma的发行版推荐。总而言之,Kdenlive被认为是一个充满希望且日益可行的商业视频编辑软件替代方案。

更多

联系我们 contact @ memedata.com