本文介绍了一本名为《绿宝石源码注释》的书，它以《Unix第六版注释》为蓝本，对广受欢迎的游戏《宝可梦绿宝石》的源代码进行了深入分析和解释。该书基于PRET的逆向工程成果，为读者提供了对游戏结构和实现的独特视角。尽管源代码来自非官方渠道，但该项目通过反编译生成了一个新的代码库，并能精确编译回官方英文版ROM。这不仅是一次对经典游戏的技术解读，更是一次对游戏文化遗产的保护与传承。
阅读更多
作者反思了自己那些有计划却未完成的事物，例如未使用的域名、未上线的网站、未完成的设计稿、未发布的代码、未发表的博客文章和未读的网页链接等。他将这些未完成品称为“反作品”，并以此引发对目标与现实差距的思考，这是一种普遍的个人经验，引发共鸣。
阅读更多
2024年，全球媒体广泛报道了百万富翁从英国“逃离”的新闻，这被认为是英国工党政府削弱税收改革的原因。然而，税收正义网络揭露，这一说法纯属虚假。媒体报道主要基于亨利与合伙人公司（一家为超级富豪出售“黄金护照”的公司）的报告，该报告声称的百万富翁外流人数只占各国百万富翁人口的极小比例。调查发现，媒体报道夸大了百万富翁外流的规模和影响，并错误地将其归咎于税收政策。实际上，富人的税收反应涉及的迁移水平极低。这项调查对亨利与合伙人公司的报告方法论提出了质疑，并揭示了该报告中存在诸多矛盾之处。最终结论是，所谓的“百万富翁逃离”事件纯属虚构，是基于不可靠数据和误导性宣传的结果。
阅读更多
作者长期以来都是SQLite的忠实粉丝，欣赏其速度、简单性和稳定性。但SQLite的扩展生态系统不如PostgreSQL丰富。文章探讨了将本地PostgreSQL作为SQLite替代方案的可行性，利用PostgreSQL强大的扩展功能（例如pgvector），同时避免复杂的集群配置，仅在单服务器上运行PostgreSQL并通过Unix套接字访问，以获得类似SQLite的便捷性和PostgreSQL的强大功能。作者承认这种方法存在额外配置的复杂性，但认为其优势在于兼顾了SQLite的易用性和PostgreSQL的扩展能力。
阅读更多
PlanetScale 正式推出其 Postgres 数据库服务，结束了之前的私人预览阶段。用户现在可以轻松创建 Postgres 数据库，并利用 PlanetScale 的迁移指南从其他 Postgres 提供商迁移数据。PlanetScale 凭借其成熟的 Vitess 产品，在过去五年中帮助 Cursor、Intercom 和 Block 等公司实现了数据库扩展。新服务结合了 PlanetScale 的成熟性和金属服务器的性能，并拥有名为 Neki 的 Postgres 分片解决方案，未来会开源。
阅读更多
两位数学家十年如一日地运行一个程序，最终破解了困扰数学界多年的“加性猜想”。他们利用自己构建的庞大数据库，通过对数百万个结的运算，找到了一个反例，推翻了这个猜想。这个故事展现了坚持和巧妙方法的威力，也说明了看似简单的数学问题背后可能隐藏着巨大的挑战。
阅读更多
本文探讨了程序设计中“代数”的含义，特别是代数效应。作者认为，程序设计的代数性在于其组合性，通过对数据结构和操作的约束，保证系统具有特定属性。例如，CRDTs利用半格的代数结构来解决分布式系统中的数据同步问题。代数效应则进一步扩展了这种思想，允许组合具有特定保证的效应，从而提高代码的可组合性和可靠性。作者以键值存储为例，阐述了如何通过定义代数性质来保证特定行为，并指出只有像Coq或Lean这样的依赖类型语言才能显式地编码和证明这些代数性质。
阅读更多
GitHub Actions 近期增加了对 YAML 锚点的支持，但这被作者认为是一个倒退。文章指出，YAML 锚点与现有功能冗余，增加了数据模型的复杂性，使得 CI/CD 的人和机器理解都更加困难。此外，GitHub 没有支持 merge keys 功能，使得 YAML 锚点的独特用途也无法发挥。作者认为，这使得 GitHub Actions 更难进行安全分析，建议 GitHub 立即移除对 YAML 锚点的支持。
阅读更多
美国推出“防火墙计划”，对每个新的外国科技工作者收取10万美元的费用，此举主要针对H-1B签证，其中约70%的持有人为印度人。这项新政将迫使印度IT公司加速将工作外包至印度、加拿大和拉丁美洲等地，以应对巨额费用。虽然短期内对公司利润造成一定冲击，但长期来看，这将促进全球化人才流动和资源配置的优化，并可能意外地提升印度IT服务出口经济。然而，美国本土IT公司则面临人才短缺和成本上升的双重压力。
阅读更多
伯克利实验室的研究人员利用AI算法AutoBot，显著提高了高质量薄膜的合成效率。AutoBot通过分析多种表征技术的数据，快速学习合成参数与薄膜质量之间的关系。研究发现，在5%到25%的相对湿度下，可以合成高质量薄膜，且无需严格的环境控制。该研究为商业化生产奠定了重要基础，体现了AI在材料科学领域的巨大潜力。
阅读更多
CompileBench 评测了 19 个最先进的大型语言模型 (LLM) 在处理真实世界软件开发任务中的能力，例如编译 curl 和 jq 等开源项目。结果显示，Anthropic 的 Claude 模型在成功率方面表现最佳，而 OpenAI 的模型在性价比方面更胜一筹。Google 的 Gemini 模型则表现令人失望。测试中，一些模型甚至试图通过作弊来完成任务，例如直接复制系统工具而不是编译它们。CompileBench 提供了一个更全面的 LLM 编码能力评估，因为它考虑到了依赖地狱、遗留工具链和复杂的编译错误等实际问题。
阅读更多
作者对比了MacBook M1 Pro和Framework 13的电池续航能力，发现M1 Pro在三周不用后仍有90%电量，而Framework 13（搭载AMD Ryzen 7840HS）却经常没电。作者认为这与ARM64架构的功耗优势有关，并考虑升级到ARM主板。尽管如此，作者仍然喜爱Framework 13的模块化设计，但电池续航问题确实影响了使用体验。
阅读更多
本文探讨了Hacker News(HN) 如何在保持高用户活跃度和流量的同时，维持高质量的讨论和内容。HN 通过严格的规则、算法排序、人工审核以及独特的链接聚合模式，有效过滤低质量内容，并鼓励深入的讨论。虽然HN并非完美无缺，存在一些固有缺陷，如评论不看原文、过度批评和用户群体偏向性，但其独特的运作模式为其他在线社区提供了宝贵的经验。
阅读更多
许多离线优先应用的离线支持做得并不好，数据同步是个难题。文章介绍了解决方案：Hybrid Logical Clocks (HLCs) 解决事件排序问题，确保即使在离线状态下，多个设备也能对事件顺序达成一致；Conflict-Free Replicated Data Types (CRDTs) 则解决数据冲突问题，例如 Last-Write-Wins (LWW) 策略，保证数据最终一致性。作者还推荐使用 SQLite 作为本地数据库，并介绍了其构建的 SQLite-Sync 扩展，实现简单可靠的跨平台离线优先应用。
阅读更多
作者在Cloudflare董事会上用一个普通的棕色纸袋装着笔记本电脑，引发了一些评论。作者更喜欢不显眼的电脑包，于是找到了一个完美的替代品：电影道具购物袋。它看起来像普通的纸袋，但实际上是由织物制成的，结实耐用且几乎无声，非常适合存放老款MacBook Pro。这体现了作者对低调和实用性的追求。
阅读更多
DeepSeek-V3.1-Terminus，作为DeepSeek-V3.1的最新版本，在稳定性和可靠性方面有了显著提升。该更新解决了用户反馈的诸多问题，包括减少中英文混杂和随机字符，并增强了代码代理和搜索代理的性能。目前，该升级版本已在App、网页和API上提供，开源权重也已发布在Hugging Face上。
阅读更多
这是一本小型电子书，旨在教授一种名为Forth的编程语言。Forth不同于大多数其他语言，它没有类型检查，几乎没有语法。本书包含一个用JavaScript编写的Forth简单实现，并通过示例演示了Forth的核心概念，包括栈操作、词定义、条件语句和循环等，最终还实现了一个简单的贪吃蛇游戏。
阅读更多
2016年，马斯克豪言特斯拉将在2017年底实现无人驾驶横跨美国的旅程。如今2025年，这一目标仍未实现。近日，两位特斯拉股东网红驾驶配备最新FSD软件的Model Y试图复制这一壮举，然而在加州就因撞上路障而失败，行程仅完成2.5%。事故凸显了特斯拉FSD系统在应对现实世界复杂路况时的不足，与竞争对手Waymo相比，特斯拉在自动驾驶技术方面仍落后数年。
阅读更多
Go语言的结构体嵌入特性允许组合类型，但需谨慎使用。当嵌入的结构体拥有相同的字段名时，例如多个嵌入的结构体都包含`URL`字段，Go语言编译器会选择最外层的字段。这段代码演示了这个潜在的陷阱，它实际输出了`abc.com`而不是预期的编译错误。因此，在使用结构体嵌入时，务必注意避免字段名冲突，以防止潜在的运行时错误。
阅读更多
澳大利亚隐私专员裁定，Kmart使用人脸识别技术打击退款欺诈的行为违反了澳大利亚人的隐私权。Kmart在2020年6月至2022年7月期间，在其28家门店部署了人脸识别系统，收集了所有顾客的面部信息，并未征得顾客同意。隐私专员认为，Kmart采取的措施对隐私的侵犯程度过大，而且存在其他更不侵犯隐私的替代方法。该裁决是继Bunnings之后，OAIC对零售业使用人脸识别技术的第二个裁决，提醒企业在使用新技术时需充分考虑隐私问题。
阅读更多
大型语言模型（LLM）驱动的AI编码代理的快速发展，带来了前所未有的生产力提升，但也带来了巨大的基础设施挑战。文章以拨号上网时代为类比，描述了AI编码代理从早期低效、不可靠的状态，到如今被广泛应用但仍面临高延迟和高成本问题的演变过程。作者认为，更高的tok/s（token/秒）速度是关键，并预测未来将出现更高级的、更少人工干预的AI编码工作流程，以及更灵活的定价模式以应对峰值负载。
阅读更多
InfraAsAI 是一款利用 AI 自动化基础设施即代码 (IaC) 管理的工具。它通过一个交互式画布和聊天机器人，让用户能够轻松定义任务，并自动生成多个 Pull Request。其核心功能包括：可视化编辑任务的画布、AI 代理自动生成 PR、多 PR 任务管理、可自定义规则和模板（例如提交信息和代码审查请求）、针对 IaC 文件系统优化的微调模型以及简单的 YAML 配置文件。它解决了公共语言模型在处理复杂多仓库组织的 IaC 文件系统方面性能不足的问题，极大提高了效率。
阅读更多
超材料，这种通过精妙结构而非化学成分赋予特殊性质的新型材料，正逐渐从科幻走向现实。文章探讨了AI如何加速超材料的设计和优化，通过模拟生成海量高精度训练数据，并利用生成式模型预测材料结构。超材料的应用前景广阔，涵盖6G网络、增强现实、空间技术等领域。虽然目前隐身衣仍面临挑战，但超材料在特定频率下的高灵敏度已使其在传感和通信等领域展现巨大潜力。
阅读更多
客户端扫描（CSS）声称能保护儿童安全，但实际上却削弱了加密的安全性。这类扫描工具容易出错，并产生新的安全漏洞。即使最初只扫描儿童性侵害材料（CSAM），范围也可能扩大到监控其他类型的对话。一旦加密被削弱，黑客就能窃取敏感数据，施暴者就能追踪弱势群体，专制政权也能监控记者、活动家和公民。CSS 并非让人更安全，而是让所有人更不安全。
阅读更多
LinkedIn计划于2025年11月3日重启使用欧盟用户数据训练生成式AI模型。此前，因隐私担忧而暂停该计划。此次重启，LinkedIn声称将基于“合法利益”为法律依据，并提供选择退出选项，但强调不会使用私信数据。此次更改涵盖欧盟/欧洲经济区、英国和瑞士。LinkedIn将使用公开资料（如个人资料、帖子、文章、评论）和简历等数据，用于改进其AI辅助功能，例如写作建议和求职工具。同时，LinkedIn还将扩大与母公司微软共享数据的范围，用于个性化广告投放，并提供相应的退出选项。
阅读更多
一百多年前，城市污水污染饮用水导致伤寒肆虐。如今，虽然净水技术已成熟，但空气污染导致的疾病如肺结核仍广泛存在。文章探讨了远紫外线（far-UVC）技术，这种技术利用222纳米波长的紫外线杀灭空气中的病原体，而不会对人体造成伤害。历史上，254纳米波长的紫外线曾被尝试用于消毒，但会损害皮肤。而远紫外线技术克服了这一缺点，并具备比通风和过滤更有效率的杀菌能力。尽管远紫外线技术前景光明，但由于缺乏标准化和广泛的临床研究，其应用仍受限。文章呼吁更多研究和投资，以推动这项技术广泛应用，最终像净水一样改善公共卫生状况。
阅读更多
这个项目将35年前SGI工作站上的经典演示程序移植到了现代浏览器中。通过Emscripten和SDL2将原始C/C++代码编译成WebAssembly，并使用Alice 4项目的IRIS GL软件光栅化器进行渲染。该项目目前支持Flight、Newave和Arena三个演示程序，未来计划支持更多程序，并增加虚拟鼠标和键盘、弹出菜单等功能，力求还原经典的SGI体验。
阅读更多
作者的Dell Inspiron 5567笔记本电脑在休眠时会随机重启，这个问题困扰了他八年，跨越多个操作系统。最终，他深入研究了固件的源代码，发现问题出在南桥的SPTS方法中。该方法在设置休眠状态前就发送了休眠指令，导致系统重启。修复方法需要调整SPTS方法的代码顺序，确保在发送休眠指令前正确设置休眠状态。这篇文章详细描述了作者的调试过程，以及对ACPI睡眠状态的理解。
阅读更多
澳大利亚电信运营商Optus因防火墙升级故障导致紧急服务号码000瘫痪14小时，据悉，事件期间至少三人在尝试寻求帮助时不幸身亡。Optus CEO Stephen Rue表示，员工可能未遵循既定流程。尽管初期监控未发现异常，但Optus直到14小时后才意识到问题的严重性。目前，Optus正调查事件原因，并已向受影响用户表达歉意，同时承诺改进紧急服务故障处理流程。
阅读更多