每日HackerNews RSS

C89 标准对隐式函数声明的规则存在歧义——该特性在 C99 中已被移除,而在 C89 中,调用未声明的函数会将其隐式定义为 `extern int ()`。 GCC 和 Clang 对标准中“最内层块”要求的解读不同,导致在处理涉及函数原型的复杂边界情况时产生冲突。其核心分歧在于隐式声明是应存在于函数原型作用域内,还是更广的文件或块作用域内。如果进入原型作用域,该声明在技术上往往无效,从而导致编译错误;如果进入文件作用域,代码则可能编译通过。 这些不一致性凸显了依赖传统 C89 行为的风险。由于该特性在几十年前就已被正式废弃,目前不存在绝对“正确”的解读,编译器厂商只能自行抉择。作者最后强烈建议开发者放弃 C89,并指出像 C11 这样的现代标准早已解决了此类歧义。

对不起。

Rust 当前的 C FFI 迫使开发者在内存安全的 Rust 和内存不安全的 C 之间做出危险的权衡,且不得不依赖难以强制执行的契约。为了解决这一问题,作者提出了一种用于 Rust 的新型“Fil-C”ABI。 Fil-C 通过功能(capabilities)和运行时检查重新编译 C/C++ 代码,将内存违规转换为 panic。通过将其集成到 Rust 中,开发者可以获得对遗留 C 库的“安全”访问。虽然这会引入性能开销(即“安全税”),但它也激励开发者将性能关键型代码迁移到 Rust,从而使检查转为静态,并消除这些开销。关键在于,这座桥梁必须维持 Fil-C 的“全系统”安全保证,且不能留下任何“Yolo-C”式的后门。 构建此方案需要跨生态系统的协作。相关基础设施正在涌现:`filnix` 提供了可重复的构建环境,Zig 也正在探索类似的内存安全 ABI 概念。作者展望了一个未来:C 将成为一条安全的兼容路径,而非天生危险的存在。为了实现这一愿景,作者呼吁 Rust、Fil-C、Zig 和 Nix 社区的开发者参加明年的 OceanSprint,共同设计这座桥梁。

抱歉。

SparrowMap 是一个以隐私为核心、由志愿者驱动的项目,旨在追踪公共道路上的政府车辆。用户只需利用闲置的智能手机、笔记本电脑或摄像头,即可监控交通情况,从而记录政府的公开活动。 该系统通过本地处理确保安全性:所有视频分析均直接在用户的设备上完成。当车辆经过时,软件会即时区分政府车辆与私人车辆。政府车辆的车牌数据和照片会被上传至公开地图,而所有其他数据在信息传输前即在设备上被永久销毁。由于视频流不会离开本地硬件,因此不存在被拦截的风险,从而确保了参与者的匿名性。 该平台无需注册账号、安装应用程序或进行复杂设置。用户只需运行基于浏览器的检测器或简单的命令行脚本,即可为实时地图做出贡献。通过将数据处理保留在本地并在源头删除私人信息,SparrowMap 在保护普通公民隐私的同时,为追踪公共资产提供了一种透明且可问责的方式。

对不起。

Bluesky 推出了 **Bluesky Protocol Services**,这是一个供开发者访问 AT Protocol 文档和基础设施的新中心。该计划取代了旧的文档网站,为在 Bluesky 网络上进行构建提供了精简且结构化的资源。 一个主要亮点是 **Jetstream v2** 的发布,它引入了“网络重放”(Network Replay)功能。与仅提供实时流的旧版本不同,v2 允许开发者通过 HTTP 获取历史数据片段,从而实现无缝的数据回填和特定时间点的快照,无需复杂的本地存储。虽然实时数据流(firehose)仍然免费且无需身份验证,但访问归档数据现在需要 API 令牌以管理带宽成本。 为了简化开发,Bluesky 发布了新的 **TypeScript 和 Go SDK**,提供了对网络事件的类型化访问,不再依赖遗留代码路径。此外,HTTP API 参考手册也已全面更新,涵盖了 v2 的各项功能。这些工具以及新的文档网站现已上线。Bluesky 鼓励开发者探索这些资源,并在基于这一改进后的基础设施进行构建时分享他们的项目。

这次 Hacker News 的讨论围绕着 **Jetstream** 的更新展开,该服务旨在处理 Bluesky 的全量数据流(firehose)。开发人员称赞其易用性、浏览器兼容性以及对历史数据访问的支持,这为应用程序(如地图工具)实现公开且持久的数据追踪等新应用场景提供了可能。 讨论帖中很大一部分内容围绕着“在 AT 协议之上重构 DNS”的提议展开。支持者认为,将数据流作为 DNS 记录的事实来源,可以实现更快、经过加密签名且去中心化的更新。然而,批评者指出了引导和发现机制方面的重大挑战,并质疑将社交协议用于基础设施级别的命名是否有必要。 其他讨论涉及该平台的用户体验,一些开发者表示 AT 协议库相比传统社交媒体 API 过于复杂。此外,用户还就该平台的“氛围”和社区毒性展开了激烈辩论;一些人认为 Bluesky 的技术优点被其用户文化所掩盖,而另一些人则将其与现代 Twitter 的现状进行了对比,并给出了正面评价。

指定解析器发现(DDR)是一种允许网络设备自动从非加密的普通 DNS 升级到加密协议(如 DoH、DoT 或 DoQ)的机制。 标准的 DNS 配置依赖于简单的 IP 地址,缺少加密所需的域名和端口信息。通过 DDR,设备会查询一个预留域名(`_dns.resolver.arpa`),询问当前的解析器是否提供加密端点。解析器随后返回必要的连接详情(包括协议、端口和 IP 地址),从而使设备能够发起加密连接。高级解析器甚至可以利用此过程立即应用特定的用户配置文件或过滤规则。 DDR 对于无法手动配置的设备(如智能家电或游戏主机)尤为有利,使其能够自动转换为安全 DNS。然而,由于初始发现请求是通过非加密 DNS 进行的,因此这被视为一种“机会性”升级;如果网络干扰了该请求,设备会直接回退到普通 DNS。虽然手动直接配置依然是最安全的方法,但 DDR 为缺乏高级 DNS 设置的设备提供了一种重要的流量安全自动化方案。

抱歉。

“Declaude” 解释了现代人工智能模型(如 Gemini 和 Claude)是如何在生成的文本中嵌入隐形水印的。与图像中的数字水印不同,这些标记并不依赖元数据或隐藏像素;相反,它们存在于人工智能选择词汇时的统计选择中。 模型的工作原理是从一系列同样有效的词汇中进行选择。水印方案使用一个密钥来微妙地“引导”这些选择——例如,通过一种对观察者而言显得随机,但对持有密钥者而言可进行统计检测的方式,偏向于选择某些特定词汇。 由于这种标记具有概率性,因此需要足够长的文本才能确保检测的可靠性。这些标记出人意料地稳健,能够经受住简单的复制粘贴和微小的编辑。然而,它们在面对“深度重写”时非常脆弱,因为当原文措辞被完全替换时,水印所依赖的统计序列就会被破坏。 至关重要的是,这些并非基于风格猜测的“AI 检测器”。它们是私有的、受密钥保护的数学测试。水印只能确认特定模型处理过该文本,并不能证明其人类作者身份或意图。缺少标记也不能证明是人类创作,因为短文本、经过编辑的文本或未加水印的文本可能会逃过检测。

家用太阳能系统的免费监控工具。只需连接一次,SunRanker 就会每天为您检查发电情况,以通俗易懂的语言为您展示,并在设备出现故障时立即发送邮件通知。适配多种品牌,连接仅需约一分钟。对太阳能用户完全免费。 连接后,您的完整发电历史将立即显示,并包含系统健康检查。监控程序从今晚开始工作,此后每天持续运行。立即添加您的系统。由太阳能用户开发,而非太阳能公司。

抱歉。

英国金融时报 安全验证 如需帮助,请访问 help.ft.com。对于给您带来的不便,我们深表歉意。 请启用 JavaScript 和 Cookie 以继续。 以下信息可帮助我们的支持团队解决此问题。 原因:质询 (Challenge) 请求 ID:a2ab5c8bd8eb831b 状态码:403 条款与条件 | 隐私政策 | Cookie 政策 | 管理 Cookie | 版权声明 | 奴隶制声明与政策 © 英国金融时报有限公司 2026。FT 和“Financial Times”是英国金融时报有限公司的商标。 英国金融时报及其新闻报道受《金融时报编辑行为准则》下的自律机制约束。

美国政府近日发行了30年期国债,借贷成本创下2001年以来的最高水平,这在Hacker News上引发了关于其根本原因的热烈讨论。 一些评论者认为,这主要是当前利率环境和货币供应变化带来的技术性结果,而非美国信用状况的反映。他们指出,稳定的保险成本(CDS)和通胀预期证明,市场并未将违约风险计入定价。 相反,许多参与者将高收益率归因于“风险溢价”,他们列举了不断膨胀的联邦赤字、大规模的债券发行,以及美联储作为长期债券主要买家的退出。批评者认为,持续的财政不负责任,加上日益沉重的债务利息支出,预示着美国经济主导地位的长期衰退。 讨论还延伸到了更广泛的地缘政治议题,参与者将美国的财政轨迹与过去帝国的衰落进行了比较,并指出类似的债务挑战正在影响整个西方世界。归根结底,尽管参与者对具体的机制(信用风险与利率环境)存在分歧,但大家一致认为,美国正面临一项重大且不可持续的财政挑战。

这份由 J.V. Noble 撰写的笔记介绍了一些在 Forth 中实现确定性和非确定性有限状态自动机(FSM)的高效方法。 Noble 认为,过程式代码(尤其是依赖嵌套的 `IF-THEN-ELSE` 分支)难以阅读,由于流水线分支预测导致执行缓慢,且容易产生维护错误。他主张采用 FSM 方法,用专门的状态表来取代“历史信号量”(过程标志)。 本文概述了构建这些表的一系列进阶技术: 1. **暴力 FSM**:使用基本的 CASE 语句处理转换。 2. **基于矩阵的 FSM**:实现定义字(defining words),将输入和状态映射到特定的执行令牌(execution tokens),从而消除分支逻辑。 3. **高级 FSM**:优化实现以嵌套状态、提高可读性,并通过允许多种潜在状态转换来支持非确定性行为。 通过使用定义字直接构建状态表,Forth 开发人员可以编写出反映 FSM 本身底层逻辑的代码。这种方法能产生更简洁、更快速且更模块化的程序,在无需外部 CASE 工具开销的情况下,有效地提供了一种轻量级的“思维机”架构。

抱歉。

请启用 JavaScript 和 Cookie 以继续。

Nine PBS(密苏里州圣路易斯市的附属公共电视台)已对数据中心运营商 Iron Mountain 提起诉讼,旨在重新获得约 50TB 存档视频的访问权限。这些数据是通过第三方中介机构 OSS 存储的,而该公司现已倒闭。 尽管 Nine PBS 声称拥有这些资料的所有权,但 Iron Mountain 以数据所有权存疑,以及担心释放数据可能导致其他客户的文件混淆或损坏为由,拒绝在没有法院命令的情况下交出数据。 此事件在科技界引发了关于存档最佳实践和“3-2-1”备份规则(将数据保存三份,使用两种不同媒介,其中一份异地存储)的激烈讨论。许多评论者批评了该电视台将 70 年的广播历史过度依赖单一第三方提供商的做法,并指出对于现代本地冗余存储方案而言,50TB 的数据量相对容易管理。虽然一些人对公共广播机构的预算限制表示同情,但其他人认为,这一情况凸显了将关键长期存档外包给中介,却不保留独立且可验证备份所带来的固有风险。

更多

联系我们 contact @ memedata.com