SparrowMap 是一个以隐私为核心、由志愿者驱动的项目，旨在追踪公共道路上的政府车辆。用户只需利用闲置的智能手机、笔记本电脑或摄像头，即可监控交通情况，从而记录政府的公开活动。
该系统通过本地处理确保安全性：所有视频分析均直接在用户的设备上完成。当车辆经过时，软件会即时区分政府车辆与私人车辆。政府车辆的车牌数据和照片会被上传至公开地图，而所有其他数据在信息传输前即在设备上被永久销毁。由于视频流不会离开本地硬件，因此不存在被拦截的风险，从而确保了参与者的匿名性。
该平台无需注册账号、安装应用程序或进行复杂设置。用户只需运行基于浏览器的检测器或简单的命令行脚本，即可为实时地图做出贡献。通过将数据处理保留在本地并在源头删除私人信息，SparrowMap 在保护普通公民隐私的同时，为追踪公共资产提供了一种透明且可问责的方式。
每日HackerNews RSS
Hacker News 新闻 | 过往 | 评论 | 提问 | 展示 | 招聘 | 投稿 登录
SparrowMap – 监控政府车辆的摄像头 (sparrowmap.com)
8 点，由 paulnpace 发布于 53 分钟前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助
chaps 14 分钟前 [–]
趣闻：在某些城市，你可以通过《信息自由法》（FOIA）请求获取警车的 GPS 记录。这是芝加哥警察局的记录。他们出于“隐私原因”删除了 0-15 英里/小时的数据……但情况还不算太糟。看一眼这里：https://www.dropbox.com/scl/fo/hj4jtcag2i9qvl4sj6mg2/AF6c9r7... 回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
Bluesky 推出了 **Bluesky Protocol Services**，这是一个供开发者访问 AT Protocol 文档和基础设施的新中心。该计划取代了旧的文档网站，为在 Bluesky 网络上进行构建提供了精简且结构化的资源。 一个主要亮点是 **Jetstream v2** 的发布，它引入了“网络重放”（Network Replay）功能。与仅提供实时流的旧版本不同，v2 允许开发者通过 HTTP 获取历史数据片段，从而实现无缝的数据回填和特定时间点的快照，无需复杂的本地存储。虽然实时数据流（firehose）仍然免费且无需身份验证，但访问归档数据现在需要 API 令牌以管理带宽成本。 为了简化开发，Bluesky 发布了新的 **TypeScript 和 Go SDK**，提供了对网络事件的类型化访问，不再依赖遗留代码路径。此外，HTTP API 参考手册也已全面更新，涵盖了 v2 的各项功能。这些工具以及新的文档网站现已上线。Bluesky 鼓励开发者探索这些资源，并在基于这一改进后的基础设施进行构建时分享他们的项目。
关于 Bluesky 协议服务（atproto.com）网站的一场 Hacker News 讨论转向了对其界面和性能的批评。一位用户称赞该文档门户网站界面简洁、加载迅速。但另一位参与者表示反对，指出移动端体验因缓慢的侧边栏滑动动画而受阻。他们表达了希望完全禁用界面动画以提高效率的意愿。原始发帖人则澄清说，相比之下，桌面版的体验感觉非常即时。
指定解析器发现（DDR）是一种允许网络设备自动从非加密的普通 DNS 升级到加密协议（如 DoH、DoT 或 DoQ）的机制。 标准的 DNS 配置依赖于简单的 IP 地址，缺少加密所需的域名和端口信息。通过 DDR，设备会查询一个预留域名（`_dns.resolver.arpa`），询问当前的解析器是否提供加密端点。解析器随后返回必要的连接详情（包括协议、端口和 IP 地址），从而使设备能够发起加密连接。高级解析器甚至可以利用此过程立即应用特定的用户配置文件或过滤规则。 DDR 对于无法手动配置的设备（如智能家电或游戏主机）尤为有利，使其能够自动转换为安全 DNS。然而，由于初始发现请求是通过非加密 DNS 进行的，因此这被视为一种“机会性”升级；如果网络干扰了该请求，设备会直接回退到普通 DNS。虽然手动直接配置依然是最安全的方法，但 DDR 为缺乏高级 DNS 设置的设备提供了一种重要的流量安全自动化方案。
Hacker News 新闻 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
设备如何自行发现加密 DNS (dundns.eu)
8 分，由 majorchord 在 1 小时前发布 | 隐藏 | 过往 | 收藏 | 1 条评论
帮助
WarOnPrivacy 6 分钟前 | 下一条 [–]
查询 _dns.resolver.arpa（这是一个预留名称），用于询问是否存在加密版本以及可以在何处访问它。
太棒了！我们来试试：nslookup _dns.resolver.arpa
[我的设备] unblound.lan 找不到 _dns.resolver.arpa：不存在的域名
[1.1.1.1] 找不到 _dns.resolver.arpa：不存在的域名
[8.8.8.8] 对于 _dns.resolver.arpa，没有可用的 IPv4 和 IPv6 地址 (A+AAAA) 记录
[9.9.9.9] 名称: _dns.resolver.arpa
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系
搜索：
“Declaude” 解释了现代人工智能模型（如 Gemini 和 Claude）是如何在生成的文本中嵌入隐形水印的。与图像中的数字水印不同，这些标记并不依赖元数据或隐藏像素；相反，它们存在于人工智能选择词汇时的统计选择中。 模型的工作原理是从一系列同样有效的词汇中进行选择。水印方案使用一个密钥来微妙地“引导”这些选择——例如，通过一种对观察者而言显得随机，但对持有密钥者而言可进行统计检测的方式，偏向于选择某些特定词汇。 由于这种标记具有概率性，因此需要足够长的文本才能确保检测的可靠性。这些标记出人意料地稳健，能够经受住简单的复制粘贴和微小的编辑。然而，它们在面对“深度重写”时非常脆弱，因为当原文措辞被完全替换时，水印所依赖的统计序列就会被破坏。 至关重要的是，这些并非基于风格猜测的“AI 检测器”。它们是私有的、受密钥保护的数学测试。水印只能确认特定模型处理过该文本，并不能证明其人类作者身份或意图。缺少标记也不能证明是人类创作，因为短文本、经过编辑的文本或未加水印的文本可能会逃过检测。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
AI 文本水印是如何运作的 (declaude.org)
6 点，由 padolsey 发布于 45 分钟前 | 隐藏 | 过往 | 收藏 | 1 条评论
帮助
oidar 7 分钟前 | 下一条 [–]
我想知道需要多少输出文本才能推算出水印所使用的密钥？
回复
指导原则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
家用太阳能系统的免费监控工具。只需连接一次，SunRanker 就会每天为您检查发电情况，以通俗易懂的语言为您展示，并在设备出现故障时立即发送邮件通知。适配多种品牌，连接仅需约一分钟。对太阳能用户完全免费。 连接后，您的完整发电历史将立即显示，并包含系统健康检查。监控程序从今晚开始工作，此后每天持续运行。立即添加您的系统。由太阳能用户开发，而非太阳能公司。
Shawn 是一位开发者，他在毫无察觉的情况下损失了六个月的太阳能发电量。为了解决行业内缺乏可靠监控的问题，他开发了 **SunRanker**。该免费工具目前支持 Enphase 和 SolarEdge，用于监控太阳能系统的输出，仅在连接中断、数据停止更新或发电量明显低于基准线时发送警报。
在随后的 Hacker News 讨论中，用户对该工具的必要性展开了辩论。一些人认为太阳能用户自然会注意到电费的激增，而另一些人则指出，许多系统属于“安装后即遗忘”的状态，如果用户不主动查看监控应用程序，故障可能会在几个月内都无法被发现。该开发者打算将支持范围扩大到其他品牌，但他指出，像特斯拉这样的供应商为第三方集成带来了技术挑战。该项目基于 Laravel 和 Livewire 技术栈构建。
美国政府近期发行的30年期国债收益率创下2001年以来的最高水平，在Hacker News上引发了关于其根本原因的热烈讨论。
讨论的焦点在于，这一趋势究竟反映了人们对美国信誉的信心危机，还是仅仅对整体利率环境的机械反应。怀疑论者认为，收益率飙升是由供需动态和货币政策驱动的，并指出信贷保险成本依然保持稳定。
相反，其他人则指出，该国不断膨胀的财政赤字（预计2026年净发行额将达2万亿美元）以及大规模债务展期的必要性是主要驱动因素。批评人士认为，财政部过去对短期债务的依赖，使政府在当前的加息环境下处于脆弱地位。
这场对话还延伸到了更广泛的政治和经济评论中，参与者争论了各届政府在国家债务积累中的历史责任、长期财政不稳定的可能性，以及美国金融地位削弱的全球影响。最终，各方并未就这是否预示着“帝国崩溃”还是全球金融体系中一次标准但痛苦的调整达成共识。
这份由 J.V. Noble 撰写的笔记介绍了一些在 Forth 中实现确定性和非确定性有限状态自动机（FSM）的高效方法。 Noble 认为，过程式代码（尤其是依赖嵌套的 `IF-THEN-ELSE` 分支）难以阅读，由于流水线分支预测导致执行缓慢，且容易产生维护错误。他主张采用 FSM 方法，用专门的状态表来取代“历史信号量”（过程标志）。 本文概述了构建这些表的一系列进阶技术： 1. **暴力 FSM**：使用基本的 CASE 语句处理转换。 2. **基于矩阵的 FSM**：实现定义字（defining words），将输入和状态映射到特定的执行令牌（execution tokens），从而消除分支逻辑。 3. **高级 FSM**：优化实现以嵌套状态、提高可读性，并通过允许多种潜在状态转换来支持非确定性行为。 通过使用定义字直接构建状态表，Forth 开发人员可以编写出反映 FSM 本身底层逻辑的代码。这种方法能产生更简洁、更快速且更模块化的程序，在无需外部 CASE 工具开销的情况下，有效地提供了一种轻量级的“思维机”架构。
Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Forth 语言中的有限状态机 (1994) (forth.org)
54 点 由 ofalkaed 6 小时前发布 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助
madhadron 1 小时前 [-]
我很多年没想过这个问题了！朱利安·诺布尔 (Julian Noble) 是我本科时的老师之一。
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
请启用 JavaScript 和 Cookie 以继续。
Nine PBS（一家地方分支机构，非全国性网络）目前正陷入一场法律纠纷，试图找回其 70 年的历史存档数据，原因是其云存储中间商 OSS 已经倒闭。
尽管最初的报道称这些数据可能已经丢失，但实际上数据目前由数据中心提供商 Iron Mountain 持有。虽然 Iron Mountain 最初同意发布这些文件，但随后反悔，声称破产的中间商拥有这些数据的所有权。这迫使 Nine PBS 提起诉讼，以防止这 50TB 的存档被删除或永久丢失。
这种情况在 Hacker News 上引发了关于数据冗余的热烈讨论。批评者认为，该电视台未能遵循“3-2-1 备份原则”，即建议将数据以不同格式存放在不同位置的多份副本。评论者强调，依赖单一且不透明的第三方供应商对于长期保存而言是一种冒险策略，并指出即使是简单的本地 NAS 备份也本可以缓解这场危机。此次事件为那些依赖“黑箱”云供应商来存储关键历史资产的机构敲响了警钟。
本文探讨了机器人、3D 打印机和数控机床平滑运动控制背后的数学原理。为防止机械振动与磨损，必须精心规划运动轨迹，因为速度（加速度）或加速度（加加速度/Jerk）的突变会损坏设备或导致输出精度下降。
作者提倡使用 **SmoothStep** 多项式函数（特别是“SmootherStep”）来创建运动段之间的无缝过渡。通过求解线性方程组，可以定义出满足运动起点和终点位置、速度及加速度特定约束的轨迹。
由于物理硬件存在极限（如电机扭矩和机械振动），本文解释了这些多项式必须进行时间缩放。通过调整运动持续时间 ($t$)，工程师可以确保最大速度、加速度和加加速度保持在机器的安全运行参数范围内。该方法利用 Python 和 `numpy` 来求解系数，从而实现复杂的、即使在圆周运动等过渡期间也能保持平滑的多轴路径。作者总结认为，通过精细管理这些导数，机器既能实现高速运行，又能保持机械稳定性。
Hacker News
最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
流畅的移动：用多项式驯服轨迹 (zoic.org)
22 分，由 lioeters 于 4 小时前发布 | 隐藏 | 往期 | 收藏 | 讨论 | 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
高估的 NP NP-overrated
9 小时前
学术界普遍认为 NP-hard 问题是“难以处理”且在实践中无法解决的，这其实是一个广泛存在的误区。尽管这些问题在最坏情况下确实很棘手，但在现实世界的应用中，它们经常能被高效地解决。 作者指出，“NP-hard”并不意味着“不可能”。对于许多实际任务（如依赖解析或类型检查），最坏情况很少发生。而对于优化问题或布尔可满足性（SAT）等其他任务，算法效率的提升极为显著，其进步幅度远超硬件性能的增长，使得我们现在能够大规模、最优地解决海量复杂的实例。例如，亚马逊每天就能成功处理数十亿个基于 SAT 的问题。 归根结底，理论上可能存在的计算缓慢不应成为实际实现的阻碍。正如工程师会设计系统来处理网络超时或错误一样，开发者也可以通过超时设置或启发式方法来应对最坏的计算场景。理论复杂度并不等同于实践失败；通过“深入思考”并不断改进算法，许多看似不可能解决的问题已经成为了标准的高性能工具。
这篇 Hacker News 讨论挑战了一个常见的误区，即认为 NP 难问题在任何情况下都无法解决。评论者指出，NP 难仅意味着在整个输入空间内求解存在困难，而在现实场景中，很少会出现导致计算成本激增的“组合爆炸”。
主要观点包括：
* **效率与理论：** 在实践中，简单的 O(N) 方法（如使用连续内存或向量运算）往往优于理论上“巧妙”的对数算法。
* **启发式算法：** 实际的求解器（如 SAT 求解器）在处理典型任务时表现优异，因为现实数据中很少出现导致指数级减速的病态边缘情况。相反，密码学则是为了确保安全性，专门被设计成强制触发这些最坏情况。
* **实用设计：** 软件工程师通常通过有意简化 NP 难问题来设计系统。例如，NPM 或 Go 的依赖解析器通过放宽约束（如版本唯一性）或使用启发式方法修剪搜索空间，从而避免了 NP 难问题。
总之，共识在于：理解 NP 难问题是一种设计工具；它引导开发者去简化问题或实施有针对性的启发式算法，而不是去寻找不可能存在的、放之四海而皆准的完美算法。