CapROS:基于能力的可靠操作系统 -- CapROS: Capability-Based Reliable Operating System
CapROS是一个基于能力的安全实时操作系统,继承了EROS项目理念,兼具高性能和资源管理功能。该系统小巧安全,支持正交持久化,由Charles Landau主导开发,作为开源项目托管在GitHub上。
数千美国农民患帕金森病 归咎于致命杀虫剂 -- Thousands of U.S. farmers have Parkinson's. They blame a deadly pesticide
2025年密歇根州和阿拉巴马州的调查发现,被多国禁用的除草剂百草枯仍在美国等地销售。83岁农民保罗·弗莱迪患帕金森病后,认为这与他在果园长期使用百草枯有关。尽管研究显示该农药与帕金森病存在关联,生产商却以"未经同行评审"为由反驳。目前美国已出现数千起相关诉讼,农民们正用法律手段对抗这种可能致命的农药。
《壮志凌云》NES版航母着陆 -- Carrier Landing in Top Gun for the NES
这篇文章揭示了NES游戏《壮志凌云》中航母降落的精确条件:高度需在100-299之间,速度需在238-337之间,且必须对准航母方向。游戏界面会提示"Alt. 200 / Speed 288"作为理想参考值,并通过"Right !"提示玩家是否偏离范围。
我是肯尼亚人。我不像ChatGPT那样写作。是ChatGPT像我一样写作。 -- I'm Kenyan. I Don't Write Like ChatGPT. ChatGPT Writes Like Me
一位肯尼亚作者愤怒反驳了对其写作"像ChatGPT生成"的指责,指出自己作为非英语母语者是通过刻苦学习掌握英语的,这种刻板印象忽视了非母语写作者的付出,实则是ChatGPT在模仿人类的表达方式。
整个应用就是一个大杂烩 -- The Whole App is a Blob
文章通过作者在法国咖啡馆点咖啡的尴尬经历,揭示了语言学习应用与实际交流的差距:问题不在于是否掌握词汇,而在于能否在真实对话中快速反应。这种即时应用能力是当前语言学习工具未能有效培养的关键技能。
约翰·瓦利去世 -- John Varley has died
这篇文章悼念了美国科幻作家约翰·瓦利(John Varley),他于1947年出生,2025年去世。文章发布在博客"Flogging Babel"上,简要提及了瓦利的生卒年份,表达了对这位著名科幻作家的纪念之情。
避免使用UUIDv4作为主键 -- Avoid UUIDv4 Primary Keys
文章建议避免使用UUID版本4作为主键,因其随机性会导致数据库索引碎片化、插入延迟和存储空间浪费,并指出UUID并不安全,推荐使用整数等更高效方案。
罗伯·莱纳去世 -- Rob Reiner has died
好莱坞著名导演罗伯·莱纳与妻子米歇尔在布伦特伍德家中去世,享年78岁。警方发现二人身上有刀伤,疑似他杀。其32岁儿子尼克因长期吸毒、无家可归,曾多次戒毒,被怀疑涉案。莱纳曾执导《当哈利遇上莎莉》《危情十日》等经典影片。案件仍在调查中。
Arborium:支持Native与WASM目标的Tree-sitter代码高亮 -- Arborium: Tree-sitter code highlighting with Native and WASM targets
Arborium是一个提供语法高亮功能的工具,它精选并更新了tree-sitter语法解析器,支持WASM和原生编译。通过自定义HTML标签和ANSI格式输出,简化了标记并支持终端应用。兼容多平台,特别解决了Rust在WebAssembly中的编译难题,提供开箱即用的集成方案。
安西体 -- Unscii
Unscii是一套基于经典系统字体的位图Unicode字体,支持字符画艺术,适合终端和编程使用。主要版本包括8×8像素的unscii-8和8×16像素的unscii-16,部分变体采用公共领域许可。2020年发布的2.0版本新增了对Unicode 13.0中214个"传统计算"图形字符的支持,并修复了部分字符错误,提高了可读性。该字体由Viznut创建。