比特衰退是无声的、累积的、不可避免的。B树内部节点中的单个比特翻转可能导致整个子树的行损坏。标准的SQLite完全依赖于外部工具(ZFS校验和、定期备份、手动PRAGMA integrity_check)来检测和修复这种损坏。FrankenSQLite将恢复直接构建到存储引擎中。RaptorQ喷泉码在写入时为每个数据页生成修复符号。当读取时检测到损坏,无论是由于比特衰退、磁盘错误还是宇宙射线,失活解码会从幸存的符号中重建原始字节。无需恢复备份。无需人工干预。自动恢复,保证在配置的开销预算内。点击下面的健康页面来模拟损坏,并观看引擎实时重建它们。
## 模拟286处理器:深入虚拟现实
受“什么是真实?”的哲学问题启发,本项目通过尝试模拟1980年代的286计算机处理器来探索现实的边界。目标是使处理器启动并运行简单的汇编代码,并质疑如果建立在模拟信号之上,*它*的现实是否更不真实。
该项目的核心是将物理80C286处理器与树莓派Pico连接。由于处理器的57个引脚超过了Pi的能力,使用了MCP23S17 I/O扩展器来管理通信。这需要仔细的接线、引脚映射以及使用MicroPython进行软件开发,以控制扩展器并模拟必要的信号——时钟、复位、地址和数据。
在克服了扩展器内部硬件寻址的挑战后,系统成功执行了一个加载到模拟内存中的简单加法程序。该过程涉及仔细发送指令和数据、处理字节顺序(小端序)以及解释处理器标志。
最终,该项目表明处理器无论其电信号的来源如何都能正常工作,模糊了物理现实和虚拟现实之间的界限。虽然这只是一个小小的步骤,但它为探索外围设备实现和进一步深化模拟打开了可能性。
## VMPrint:现代网络的确定性排版
VMPrint是一个纯JavaScript、零依赖的排版引擎,旨在生成像素级精确的PDF,为无头浏览器或复杂的PDF库提供稳定且高性能的替代方案。它通过使用版本化的JSON指令流来构建文档,解决了现有方案的权衡——繁重的依赖、不可预测的布局和内存问题。
该引擎运行在两个阶段:**布局**(确定字形位置、分页和格式化)和**渲染**(将布局转换为PDF或其他格式)。这种分离允许实现可重现的布局、通过JSON快照轻松调试,以及未来扩展到SVG或Canvas等格式。
VMPrint具有体积小(约2MiB)、渲染速度快,并支持多语言文本(拉丁文、CJK、从右向左),具有准确的文本塑形和断字功能。它设计可在任何地方运行——从Cloudflare Workers到浏览器——在不同环境中提供相同的输出。
VMPrint的构建重点是恢复TeX和PostScript等传统排版系统的精度,旨在为开发者提供可靠的工具,以生成出版质量的PDF。目前处于预发布阶段(v0.1.0),并积极寻求贡献。
## Logira:自动化运行时审计
Logira 是一款仅用于观察的 Linux 命令行工具,旨在审计自动化的运行时行为,特别是 AI 代理。它利用 eBPF 记录系统事件——进程执行、文件活动和网络连接——提供详细、可信的执行轨迹,*无需*干扰自动化流程。
主要功能包括:为方便审查、搜索和检测分类,提供每次运行的本地存储(JSONL 和 SQLite)。Logira 提供内置检测规则,用于识别有风险的模式,例如凭据访问、破坏性命令和可疑网络活动,并允许添加自定义规则。
它非常适合了解 AI 代理*实际*执行的操作,超越其报告的操作,并且可以轻松集成到本地自动化或 CI 任务中。安装通过脚本或 tarball 简单直接,需要较新的 Linux 内核(5.8+)和 systemd。Logira 不会阻止操作,仅记录和检测,使其成为有价值的安全和调试工具。
更多信息和示例请访问:[https://github.com/melonattacker/logira](https://github.com/melonattacker/logira)。
人工智能聊天机器人正在占据美国应用商店的主导地位,Anthropic的Claude目前排名第一——仅在两个月前还位居第42名,这是一个显著的飞跃。OpenAI的ChatGPT和Google的Gemini紧随其后,分别位列第二和第三。
Claude人气飙升并非由于新功能,而是源于最近与美国政府的公开争端。在特朗普总统的批评以及战争部将其列为国家安全风险(原因是担心自主武器和国内监控)之后,Anthropic公开捍卫了自己的原则。
该公司表示,反对使用当前人工智能模型开发自主武器,担心对军方人员和平民都构成危险,并认为大规模监控侵犯了基本权利。尽管存在争议,或者说正是因为争议,Anthropic在iPhone用户中的应用下载量正在增加,并获得了大量的公众关注。