每日HackerNews RSS

## mTOTP:人工驱动的双因素认证 mTOTP 是一种实验性的、手动计算的时间型一次性密码 (TOTP),专为*没有*电子 2FA 设备的场景设计。与标准的 TOTP 不同,它优先考虑人工计算、可审计性和确定性——这意味着相同的输入*始终*产生相同的输出。它有意允许为特定未来的登录时间进行预计算,使时间成为身份验证过程中的明确且约定的元素。 该过程使用一个 10 位数的密钥和一个计划的登录时间,通过一系列确定性步骤生成一个 6 位数的 OTP:构建时间向量、从密钥创建数字替换“S-box”、组合时间和密钥数字、应用 S-box、通过模运算扩散数字,最后,折叠并计算最终数字。 至关重要的是,mTOTP 避免了随机性。软件可以*验证*手动生成的代码,但核心计算设计为可以精神执行(通过练习)。正在开发 PAM 模块和 Keycloak 集成等工具来支持其使用。

格莱迪斯·梅·韦斯特(1930-2026)是一位开创性的美国数学家,她的工作对全球定位系统(GPS)的开发至关重要。她出生于弗吉尼亚州农村的一个农场家庭,学习成绩优异,获得了弗吉尼亚州立学院的奖学金,后来又获得了数学和公共管理硕士学位。 1956年,韦斯特在海军试验场开始了长达42年的职业生涯,担任计算机程序员和项目经理,成为少数几位黑人雇员之一。她分析了卫星数据,创建了越来越精确的地球形状模型——大地水准面,这对于准确的GPS计算至关重要。她1986年撰写的关于改进卫星大地测量学的技术报告尤其具有影响力。 尽管在职业生涯中一直面临种族歧视,韦斯特的贡献在几十年里一直未得到充分认可。她后来被追授空军名人堂(2018年)并获得Webby终身成就奖和菲利普亲王奖章等荣誉。格莱迪斯·韦斯特的故事体现了那些默默地彻底改变技术的“隐形人物”,她的遗产继续激励着人们。

黑客新闻讨论提到,先驱数学家格拉迪斯·韦斯特最近去世,她的工作对GPS技术的发展至关重要。韦斯特完成了基本计算,以绘制地球的地球体——地球真实的、不规则形状——从而确保了现代GPS系统的准确性。 尽管她的贡献多年来鲜为人知,但她最近获得了认可,包括被空军太空部队授予“太空先锋”称号。评论员们很高兴她“得到了应有的赞誉”,并希望她在弗吉尼亚理工大学攻读远程博士学位期间,她的成就能够更加突出。 讨论还提到韦斯特坚定的信仰,她认为信仰指引了她的人生和事业。她的故事提醒我们,许多重要的技术进步背后都有默默无闻的英雄。

## bitchat:去中心化、离线消息 bitchat 是一款点对点消息应用程序,旨在提供抗审查且可靠的通信,**无需互联网或电话号码**。它利用蓝牙网状网络,在附近设备之间直接创建临时网络。 每个设备既是客户端又是服务器,自动发现对等设备并转发消息——扩展了超出直接连接的范围。这种去中心化方法消除了对集中式服务器的依赖,提高了对监控、审查和基础设施故障(如中断或灾难)的抵抗力。 bitchat 适用于 **iOS/macOS (App Store)** 和 **Android (Play Store)**,源代码在 GitHub 上公开可用。它与 iOS 16.0+、macOS 13.0+ 和 Android 8.0+ 兼容。该软件由 permissionlesstech 授权发布到公有领域。

在花费超过10,000小时使用Claude Code进行结对编程——作者发现这种工作流程引人入胜且赋能——之后,他们探索了Steve Yegge新的“Gas Town”系统,用于代理工作流程。虽然承认Gas Town有潜力成为未来的一个展望,但作者认为它不符合他们的偏好。 他们核心的问题在于缺乏可见性和控制力。Gas Town严重依赖自主代理,对任务完成的*方式*提供的洞察有限,感觉速度慢,并消除了作者的主动性。他们欣赏底层的“珠子”系统,用于管理任务依赖关系(将工作表示为图形),但不喜欢它与Git的集成,这会使拉取请求变得混乱。 最终,作者更喜欢一种更亲自动手的做法,积极审查代码并保持对流程的清晰理解——Gas Town的“低接触”性质无法提供这一点。虽然对工程技术印象深刻,但他们仍然是“关注代码”的开发者,还没有准备好完全拥抱一个他们看不到代码本身的系统。

一个黑客新闻的讨论围绕着一篇名为“与Claude Code相处1万小时”的博文展开。 几位评论者迅速指出,考虑到该工具推出不到一年,达到这个时长在数学上是不可能的。 作者确认1万小时是一个夸大其词,用于一个引人注目的标题。 评论者的估计范围从1千到3千小时,作为一个更现实的数字,承认点击诱饵通常会夸大数字。 讨论气氛轻松,作者承认他的妻子也觉得他的使用量很大。 最终,这场讨论强调了有影响力的经验和夸张的标题之间的区别。

## 意图层:为AI代理提供“心理地图” Crafter Station 发布了“意图层”,一项旨在提高 Claude 和 Copilot 等 AI 代码助手可靠性的新技能。核心问题是:这些代理在处理大型代码库时经常遇到困难,由于缺乏对项目结构的理解,会浪费 token 并遗漏关键上下文——这是经验丰富的工程师随着时间推移而发展起来的能力。 意图层通过启用“上下文工程”,从系统提示基础设施开始来解决这个问题。它帮助开发者在文件夹边界处创建 `AGENTS.md` 文件,为代理提供关于代码的重要信息——其目的、关键文件和潜在陷阱——这些信息并非直接存在于代码中。 运行 `npx skills add crafter-station/skills --skill intent-layer` 会分析你的代码库,建议上下文节点位置,并指导文档编写。早期结果显示出显著的改进:token 使用量减少(例如,从 40k 减少到 16k),以及更快速、更准确的错误识别。 意图层是 Crafter Station 一系列上下文工程技能中的第一个,它建立在 Tyler Brandt 的“意图层”和 DAIR.AI/LangChain 的框架之上。

## AI 智能体意图层:摘要 最近的 Hacker News 讨论强调了 AI 智能体开发中的一个关键问题:**意图漂移**。由于缺乏持续的意图强化,智能体常常会超出其最初的目标。 提出的解决方案,名为“意图层”,侧重于在智能体流程的**每个步骤**使意图**明确化**。 不再仅仅依赖提示语中的上下文,每个步骤都定义了其允许的操作、可访问的工具和有效输出。 完成后,这种权限会被撤销,从而创建一个更可预测,但看似灵活性较低的系统。 这种方法类似于 GTWY 的工作流程,旨在使智能体保持一致,而无需复杂的提示或后期验证。 讨论还承认了 [intent-systems.com](https://www.intent-systems.com/) 的先期工作影响,作者承诺给予适当的署名。 它被比作“渐进式披露”,并且可以通过定期意图重申来进一步强化。

Please provide the content you want me to translate. I need the text to be able to translate it to Chinese.

## Pdfwithlove:本地PDF工具受到欢迎 一个新的网络应用程序**pdfwithlove**提供了一套PDF工具——合并、分割、编辑、压缩、水印、签名以及从图像/HTML/Office格式的转换——所有处理都在**100%本地**进行,无需上传数据。这解决了许多在线PDF服务普遍存在的隐私问题。 该发布引发了Hacker News上的讨论,显示出类似的客户端PDF工具(如PDF Quick、FileZen等)激增,这源于需求和PDF处理的复杂性。虽然一些用户更喜欢成熟的命令行工具,如Ghostscript和ImageMagick,但许多人欣赏基于Web、注重隐私的解决方案,用于日常任务。 开发者pratik227将该应用构建为iLovePDF等服务的替代品,并正在扩展功能以包括图像处理。他们正在考虑推出付费Chrome扩展程序和桌面应用程序,但因担心基于LLM的代码利用而面临开源方面的批评。用户反馈强调需要改进编辑功能和工作流程自动化。

## aws-doctor:您的开源 AWS 健康检查工具 aws-doctor 是一个基于 Go 的终端工具,旨在主动管理 AWS 成本并优化云基础设施。作为 AWS Trusted Advisor 的免费开源替代品,它提供支出模式的洞察,并识别潜在的浪费。 该工具提供关键功能,包括**周期之间的成本比较**、**浪费检测**(识别空闲或低效资源,即“僵尸”资源)以及**趋势分析**(可视化过去六个月的成本历史)。 aws-doctor 由一位云架构师创建,旨在解决对快速、情境化的成本分析的需求,超越 AWS 控制台提供的原始数据。它自动化常规检查,并帮助用户了解资金的*去向*以及*如何*提高效率。 可以通过 `go install github.com/elC0mpa/aws-doctor@latest` 轻松安装,未来的开发包括报告导出和更广泛的操作系统发行版。

## AWS-doctor:一个基于终端的成本优化工具 一个名为`aws-doctor`的新开源工具,使用Go语言构建,旨在简化AWS健康检查和成本优化。该工具由一位对手动检查和AWS内置工具的限制感到沮丧的云架构师创建,它提供了一个终端用户界面 (TUI),以主动识别潜在的浪费和支出问题。 该工具会扫描未使用的资源,例如已停止的实例、未附加的EBS卷和即将到期的预留实例。它还将当月迄今为止的成本与上个月进行比较,以突出显示支出增加,并可视化六个月的成本趋势。 `aws-doctor`使用Bubbletea和Lipgloss框架构建,使用现有的AWS凭证在本地运行。开发者正在寻求关于代码结构以及其他“浪费模式”检测建议的反馈。 Hacker News评论区的讨论涉及了Terraform等替代方法以及使用不同托管提供商的潜在成本节约,但也强调了云经验对职业发展的重要性。

## Kafka 与 Beanstalkd:一个任务队列实验 本次实验比较了 Kafka 和 Beanstalkd 作为任务队列解决方案,重点关注头部阻塞的影响。Kafka 是一种分布式消息系统,它将主题的分区分配给消费者组内的消费者——没有两个消费者处理相同分区。如果一个消费者速度较慢,可能会导致延迟,从而阻塞其分配分区中的消息处理。相反,Beanstalkd 将任务提供给任何可用的消费者,避免了此阻塞问题。 实验模拟了 100 个任务,大部分没有延迟,但有四个任务延迟 10 秒。两个系统都使用了五个消费者。Kafka 的主题有 10 个分区,每个消费者分配 2 个。结果显示,Kafka 完成所有任务耗时 20 秒,而 Beanstalkd 耗时 10 秒。 进一步的分析表明,Beanstalkd 在一秒内处理了 96 个任务,而 Kafka 由于单个消费者处理长延迟任务而经历了不活动期。这表明 Kafka 中的头部阻塞会显著增加整体延迟,而 Beanstalkd 的方法更加灵活。完整的实验可在 [github.com/arturhoo/kafka-experiment](https://github.com/arturhoo/kafka-experiment) 找到。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Kafka头部阻塞实验 (2023) (artur-rodrigues.com) 13点赞,来自 teleforce 21小时前 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## Claude “超思考”更新:摘要 先前用于解锁Claude完整推理能力(31,999个思考token)的“超思考”关键词现已弃用。对于支持的模型(Opus 4.5, Sonnet 4/4.5, Haiku 4.5),扩展思考已**自动启用**,默认值为相同的31,999个token。 然而,一项隐藏功能允许拥有64K输出模型的用户通过设置环境变量`MAX_THINKING_TOKENS=63999`将思考预算**翻倍至63,999个token**。 这为复杂任务解锁了显著更多的推理能力。 并非*总是*更多的思考token更好——它们会增加成本和延迟。 31,999个token适用于大多数编码和调试,而63,999个token则有利于复杂系统设计和性能优化。 可以通过设置`MAX_THINKING_TOKENS=0`来禁用思考。 这一转变反映了更广泛的行业趋势,即集成推理,这得益于研究表明,增加“测试时计算量”——通过这些思考token实现——可以扩展模型的计算能力并提高性能。

Hacker News新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交登录[标记] moona3k 1天前 | 隐藏 | 过去 | 收藏 JimDabell 21小时前 | 下一个 [–] 这真是一个糟糕的例子,有人将几句话的信息用AI生成了一整篇文章,并通过夸张的强调来填充内容。它难以阅读,每隔几句话就充斥着AI的陈词滥调。 broof 21小时前 | 父评论 | 下一个 [–] 我开始阅读它,几段后就有了相同的想法。持续的破折号,项目符号列表,“不是x,而是y”类型的短语。 teruakohatu 22小时前 | 上一个 [–] 一个环境变量,或者配置文件变量,在启动后无法更改,这可能是最糟糕的接口。为什么不直接使用“超^2思考”关键字呢? 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

奥斯汀·亨利被3Blue1Brown提出的一个谜题所吸引:一只瓢虫从时钟的12点开始,随机移动到相邻的刻度,直到访问所有刻度。它最终停在某个特定数字(例如6)上的概率是多少? 起初,亨利猜测6最有可能,因为它的距离较远,但他的直觉被证明是错误的。他构建了一个模拟器来测试他的假设,期望基于与起点的接近程度出现某种模式。然而,经过数千次运行(最终超过10,000次),模拟器揭示了一个令人惊讶的结果:**每个数字(1-11)都有相同的概率1/11作为最终停靠点。** 这个谜题突出了直觉在随机游走问题中很容易被误导。亨利还提出了一个后续问题:瓢虫访问所有12个刻度平均需要多少步?邀请进一步探索。

这个Hacker News讨论围绕着“瓢虫时钟谜题”,一个瓢虫在12个位置的圆圈上随机改变方向行走的模拟。核心问题是:哪个位置最有可能成为*最后*访问的位置? 最初,直觉认为最远的位置(6,起点对面)可能是最后一个。然而,评论者通过推理和模拟表明,**所有位置(不包括起点)都有相同的概率(1/11)成为最后一个访问的位置。** 一个关键的见解是,一旦瓢虫到达靠近起点的位置,最初的轨迹就变得无关紧要。一位评论者提供了一个基于对称性的、看起来很正式的证明。另一位运行了1亿次模拟,证实了每个位置大约有9.09%的概率。讨论还涉及了数学证明与通过模拟观察之间的挑战,以及一个相关的游戏(蛇梯棋),突出了概率问题。

更多

联系我们 contact @ memedata.com