Jane Street 发布的八月谜题只提供了 SKY130 GDS 布局图和波形，挑战参与者逆向还原这款芯片。约 400 份参赛成果将其识别为一个用于求解 11×11“星星大战”（“双星不相邻”）谜题的硬件检查器。
在 121 个周期中，用户必须在每一行、每一列和每个区域内恰好放置两颗星。计数器、区域映射 ROM 和延迟逻辑会强制执行这些规则，并禁止星星彼此接触，包括斜角相邻。成功的棋盘会触发“(* TWO STARS *)”，无效输入则会产生相应的提示信息，并包含若干隐藏彩蛋。
参与者使用了 KLayout、Magic、Yosys、Z3、自定义仿真工具和人工智能技术，来提取网表、分析电路模块、寻找有效输入、解码输出并制作可视化展示。有人还在 FPGA、Minecraft、模拟 SPICE 模型或零知识证明中重新实现了这款芯片。
一个关键教训是，必须独立验证自动化工具：有些模型虽然复现了给定波形，却悄悄禁用了检查项。保持好奇、交叉验证和有针对性的调试，最终带来了最深入的理解。
每日HackerNews RSS
Hacker News 上的讨论帖涉及 Jane Street 的 ASIC 谜题，以及外界对其硬件工作的广泛反应。评论者赞赏它努力围绕一个传统上高度保密的行业建立开放社区，也有人批评一家高频交易公司为开源芯片投入资金，认为这是浪费资源、零和式的做法。 defenders 认为，高频交易和做市可以降低买卖价差、改善价格发现，并减少零售交易者的成本；批评者则质疑这些有限的效率提升是否足以证明该行业的合理性，并指出交易利润可能逐渐与企业基本面脱节。还有人质疑 Jane Street 是否主要是一家高频交易公司，并提到它最初依靠 ETF 和 ADR 套利起家。
一个偏实用的分支讨论分享了 Tiny Tapeout。该项目允许业余爱好者将多个 ASIC 设计整合到共用的硅基 shuttle 上，从而降低芯片制造的门槛。讨论者建议，通过持续练习、复盘以及识别自己的决策模式来提升解谜能力。有人认为 AI 在调试方面很有用，不过也有一名用户利用 Z3/SMT，在相关解法公开后自行解开了电路。
正在建立安全连接…… 请启用 JavaScript 以继续。 请求 ID： 9d79379de33fcc3d9f39e737f0347c9b
一则 Hacker News 讨论围绕《History Today》对《我们中的尼安德特人》（*Neanderthals Among Us*）的一篇评论展开。讨论的核心是尼安德特人与现代人类曾发生混血的证据，而且这种结合主要发生在尼安德特男性与现代女性之间。评论者提出了各种可能的解释，包括择偶偏好和生物学上的生殖不兼容，但这些说法都只是推测，仍存在争议。
许多人认为，尼安德特人的灭绝源于遗传多样性低、近亲繁殖以及人口压力，而非他们与现代人类完全无法繁殖。他们还指出，现代人类几乎不携带尼安德特人的线粒体 DNA 和 Y 染色体，但现代人群仍保留了大约 1% 至 4% 的尼安德特人血统，主要存在于非洲以外的人群中。
讨论还延伸到了尼安德特人的消失，以及全球化未来可能对不同人群之间的通婚产生的影响。许多评论者强调，“种族”是一种社会类别，与界限分明的遗传群体只存在有限的对应关系；也有人对这种说法提出异议。尼安德特人在文化中的形象也成为话题，包括《洞穴家族》（*The Clan of the Cave Bear*）、对外貌的刻板印象、商业基因祖源检测，以及开玩笑寻找“最像尼安德特人”的人。总体而言，这场讨论混合了科学争论、文化批评和幽默调侃。
Nicolás Seriot 的文章表明，ncurses terminfo 的参数扩展可以充当一种小型、有状态的编程语言。它支持持久化寄存器、整数运算、比较、条件分支、输入参数和输出，但没有内部循环。反复进行能力扩展可以作为外部时钟。
作者将程序计数器编码为一个寄存器，并使用两个计数器，从而构造出一台双计数器米斯基机。示例中的 terminfo 规则实现了加法和斐波那契数列，每扩展一次，机器就推进一个步骤。一个更不同寻常的示例使用 `/usr/bin/top` 作为时钟：当 `top` 重新绘制秒数字段并请求特定光标位置时，对应的 terminfo 规则会推进一个“寄生的”斐波那契程序，并将结果显示在终端标题中。
在计数器、规则大小和执行步骤数均不受限制的理想化假设下，这种构造具有计算通用性。实际实现存在有限限制，因此属于有限状态系统。这本身并不构成安全漏洞：terminfo 扩展无法直接访问文件、执行命令或发起系统调用。不过，以特权运行的程序中的解析器或求值器缺陷仍可能造成安全问题。
一则 Hacker News 帖子介绍了“在 ncurses terminfo 中实现 Minsky 机器”，展示如何通过重复进行 terminfo 参数展开，模拟一台双计数器 Minsky 机器，从而实现计算通用性。
讨论中有人批评 terminfo 已经过时，只是一个静态的能力数据库。现代软件终端本可以通过 `XTGETTCAP` 等查询来报告自身功能，但这类查询的支持仍然有限。另一些人则为 terminfo 辩护，认为它是一个有用的翻译层：用户可以添加系统级或用户级条目，不受支持的功能也可以优雅降级。他们还指出，在硬件价格高昂的年代，查询终端的成本很高；而如今许多兼容性问题反而源于应用程序忽略 `TERM`，或者硬编码转义序列。
几位评论者质疑这个项目的创新性，提到了 2019 年的一篇类似文章，并认为借助 AI 辅助写作会让这类发现显得没那么令人印象深刻。还有人开玩笑地问，它能不能运行《DOOM》。
Air Context 的生产级代码搜索 RAG 流程从解析和结构感知分块开始。JetBrains 解析器将文件拆分为语义连贯的语法单元，并保留文档、修饰符、注解和结束语法。过大的单元会被进一步拆分，较小且相关的节点则会被合并。九种语言使用专门的解析器，其他语言则回退到基于行的拆分方式。随后对分块进行规范化，并将其与相对路径配对，再通过 LLM 评审检查和端到端检索测试进行评估。
这些分块会嵌入向量模型，以支持语义搜索。Air Context 保留嵌入向量的所有维度，但将每个维度量化为 1 位，使存储量减少约 32 倍，并以汉明距离取代余弦相似度。这能够保留有用的相对排序，但会压缩分数范围，因此需要设置绝对相关性阈值的应用应使用 16 位向量。该嵌入模型同时用于高吞吐量索引和低延迟查询，查询时会附加检索指令。
长路径会被缩写，同时保留模块和文件名上下文；目录范围也会直接嵌入查询中。通过采用自托管模型、不在服务器端存储源代码，并让结果仅引用本地检出位置而非包含代码内容，从而保障隐私。
Hacker News 上关于 JetBrains“构建用于语义代码搜索的 RAG 流水线”的讨论。
主要评论认为，语义代码搜索可以通过以下方式改进编程代理：在生成新的工具函数、抽象或实现之前，先帮助它们找到已有的相关代码，从而减少重复和冗余代码。评论建议在规划阶段将搜索作为代理工具或 MCP 服务提供，也可以考虑索引生成的文档，而不是原始的、保留代码结构的代码片段。
其他人则认为，严格的代码审查、谨慎控制变更范围，以及基于 LLM 的审查代理，可以避免大多数重复代码。几位评论者仍然对 RAG 持怀疑态度，指出 grep 往往效果相当，甚至更好；另一个讨论帖则围绕 AI 写作检测器的可靠性和方法展开争论。
总体而言，评论者认可语义检索的潜在价值，但也质疑它相较于传统搜索的实际优势。
一组精选的无代码及开发者工具，用于数据可视化、仪表板和图表创建。选项包括：
- **流程图：** sankeydiagram.net、D3.js 和 xyflow（React Flow／Svelte Flow）
- **可观测性与商业智能：** Grafana、Apache Superset 和 Metabase
- **数据应用：** Streamlit
- **架构图：** Diagrams
- **交互式节点编辑器：** React Flow 和 Svelte Flow
这些工具可用于创建桑基图、自定义数据可视化、指标与日志探索、基于 SQL 的仪表板、嵌入式分析、Python 数据应用、云架构图、流程图和基于节点的界面。
Hacker News
最新
|
往期
|
评论
|
提问
|
展示
|
招聘
|
提交
登录
展示 HN：每日从 GitHub、NPM、PyPI 和 CRAN 整理的数据可视化项目排行榜
（awesomedataviz.com）
11 分
作者：javierluraschi
9 小时前
隐藏
|
往期
|
收藏
|
1 条评论
帮助
nippoo
8 小时前
[–]
你应该自己撰写 HN 发帖，而不是使用大语言模型——很容易看出来，而且会让人反感。
回复
考虑申请 YC 2027 年冬季批次！
申请截止日期为 11 月 2 日。
指南
|
常见问题
|
榜单
|
API
|
安全
|
法律声明
|
申请加入 YC
|
联系我们
搜索：
文章指出，尽管人们对人工智能安全的政治支持日益增强，但当前的落实工作很大程度上取决于市场激励，以及那些能够将技术风险转化为合同条款、采购流程、治理机制和政策建议的专业人士。律师、合规专家、风险管理人员和负责任人工智能从业者，往往既缺乏足够的技术知识，也缺少能够提供支持的同行社群。
在东萨塞克斯郡举行的一场为期五天的 ML4Good–EquiStamp 研讨会，汇集了来自12个司法辖区的19名高级法律、治理和风险专业人士。课程涵盖前沿模型训练、评估、智能体、安全保障措施和安全研究。参与者表现出浓厚的学习意愿，也非常重视与面临类似挑战的人建立联系。
活动结束后的几天内，与会者便开始采取实际行动：质疑供应商对安全性的宣称、审查人工智能智能体、招募相关领域的专家、在内部分享知识，并寻求更有力的政策参与。这些初步成果进一步印证了文章的核心观点：人工智能安全工作必须走出研究人员和前沿实验室，进入更广泛的组织之中，因为正是这些组织的采购和部署决策塑造着整个生态系统。作者希望为紧邻人工智能技术开展工作的法律和治理专业人士建立一个长期持续的社群。
一场关于一篇报道的 Hacker News 讨论迅速演变成了争论。该报道讲述了在面向法律和治理专业人士的 AI 安全训练营中共同授课、分享安全研究、考虑设立研究员计划，以及讨论“逐步剥夺 AI 权力”等内容。
批评者认为 workshops、过于宽泛的假设性讨论，以及自封的专家，往往用言辞和社区地位取代具体的工程、安全或治理工作。一些人将这种文化形容为封闭或类似邪教，但另一些人认为这种说法并不公平。
defenders 则强调，AI 在数学、科学和自主研究方面的能力不断提升，可能大幅加速发展，进而造成严重风险；无论参与者的生活方式多么另类，都不应因此否定他们的观点。他们还指出，因为个人争议而否定 AI 安全倡导者，就像一名重要官员违反了自己制定的规则之后，人们仍应无视公共卫生建议一样。
总体而言，评论者对 AI 安全是否值得拥有专业知识和正式治理培训存在分歧：一方认为应该专门培养相关 expertise，另一方则主张将注意力放在具体的技术问题，以及影响 AI 发展的激励因素上。讨论的很大一部分变得充满对抗性，并转向人身攻击。
彼得·沃茨于2006年出版的硬科幻小说《盲视》（*Blindsight*）讲述了星际飞船“忒修斯号”的船员故事。他们奉命调查伯恩斯—考菲尔德彗星发出的外星无线电信号。任务途中，他们抵达“大本钟”，并遭遇名为“罗夏”的巨大外星结构。这个结构似乎拥有智能，却不具备意识，其中的居民“争夺者”智力极高，同样没有自我意识。经过探索与冲突，“忒修斯号”为摧毁罗夏而牺牲，叙述者 Siri Keeton 则逃脱并返回地球，带回重要信息。 小说探讨了智力与主观体验之间的区别，追问意识是否是交流、共情、艺术或道德行为的必要条件。作品还涉及进化、神经科学、人工智能、自由意志、博弈论和超人类主义，并提出：意识或许是一种进化负担，也或许只是人类暂时拥有的优势。 《盲视》获得了星云奖，并入围雨果奖、坎贝尔纪念奖和罗克奖。其2014年衍生前作为《Echopraxia》。该小说采用知识共享许可协议发布，也已被改编为短片，长篇电影则处于筹划阶段。
《黑客新闻》用户讨论了彼得·沃茨的《盲视》（*Blindsight*）。这是一部情节密集的硬科幻小说，描写高度智能但可能没有意识的生物。读者称赞它 philosophical 思想深度、详尽研究、诡异氛围，以及对意识、智能、沟通和后奇点人类进行的令人不安的审视。许多人还将其中的问题直接与现代 AI 和大型语言模型联系起来。
读者反应不一。喜爱者称它 Brilliant、令人不安、观点丰富，文字生动，并带有令人难忘的宇宙恐怖感。批评者则认为它塞入了过多案例研究，既晦涩又重复，还显得做作或编辑粗糙；许多人也不喜欢书中的“太空吸血鬼”，尽管作者从主题和科学角度对这些生物作了解释。有人推荐沃茨的《回溯》《冻结帧革命》（*Echopraxia*, *The Freeze-Frame Revolution*）和《裂隙者》（*Rifters*），并将本书与格雷格·伊根、丹·西蒙斯和威廉·吉布森进行比较。
另一场冗长的旁支争论围绕沃茨免费在线发布这部小说展开。支持者强调自愿分享和扩大作品传播范围；批评者则认为，免费创作可能损害依赖销售收入的作者。据报道，沃茨表示免费发布使他的销量增加到了原来的三倍。
该网站正在使用安全服务保护自身免受网络攻击。您刚才执行的操作触发了此安全措施。多种操作都可能导致拦截，包括提交特定单词或短语、SQL 命令或格式错误的数据。
Hacker News 的一则讨论围绕一篇 Medium 文章展开。文章称，一台 Mac 在 Apple Store 进行固件重置后，“后台被动 FTP”设置和防火墙控制出现了异常行为。评论者大多不认为这是安全问题：被动 FTP 是 FTP 通过 NAT 时的正常功能，而防火墙控件可能只是 macOS 界面设计混乱造成的显示问题。文章没有提供任何证据表明系统中实际存在后台 FTP 进程或恶意活动。
作者认为，某些正常设置——例如一个已过期的 GitHub 证书只显示“始终接受”——不应该出现这种行为。其他评论者则称这篇文章偏执，或在技术上前后矛盾，并认为作者可能只是太疲惫或过度担忧。总体而言，讨论中的大多数人对文章得出的结论持怀疑态度。
这篇文章介绍了斐波那契 L 系统。这是一组替换规则——\(b \rightarrow a\) 和 \(a \rightarrow ab\)——用它生成的字符串中，各符号的出现次数遵循斐波那契数列。文章从经典的兔子繁殖问题谈起：幼兔经过一个月成熟，成年兔子此后每个月都会生下新的幼兔。
这些简单的规则还能生成有趣的模式，例如越来越复杂的象鼻虫名称，如“Zyzzyzyva”；披萨配料名称，如“peppepeppeppepperoni”；以及家庭称谓，如“Grandmammamammamma”。作者还指出，要生成准确的家庭称谓，需要跳过内部的一个“a”，而其他变体则被有意留作探索。总体而言，本文轻松地展示了一个简洁的重写系统如何产生斐波那契式增长，以及越来越长、令人难忘的词语。
一篇 Hacker News 帖子重点展示了 L 系统生成的奇特形态，例如象鼻虫、披萨配料和家谱。一位评论者解释道，许多示例会产生形态词（morphic words）——即非周期序列——并描述了如何利用 Claude，将上下文无关的设计语法转化为紧凑、富有表现力且带随机性的植物模型。示例语法通过参数化枝条比例、叶片大小、伸展度、分枝角和下垂度来生成单轴分枝的树形结构，此外还提供了更多 3D 示例。讨论中还有一个玩笑：Claude 称文章的前提“太愚蠢了”，迫使评论者亲自解释。
讨论的焦点是，Jagex 在撤下一支明显由人工智能生成的《Dragon Slayer II》预告片后，承诺不再使用生成式 AI。该预告片存在手指过多等错误。
参与者讨论了全面禁用 AI 是否仍具有经济可行性许多人认为，AI 可用于模板代码、着色器、性能优化、原型制作、参考资料及其他常规任务，同时他们反对低质量的生成艺术、文字内容和劳工剥削。也有人将生成工具与 Photoshop、预设、素材库和程序化生成进行比较，尤其是由人类掌控并确保质量的情况下。
一个主要分歧在于创作过程与最终成果：有些人认为，玩家最终体验如何才是最重要的，隐藏使用 AI 协助并无害；另一些人则重视人的创作劳动和作品来源，即使成品看起来与人类作品无法区分。
《RuneScape》的支持者强调，该游戏长期以来拥有鲜明的特色、庞大的现有玩家群体，而且没有加速内容制作的竞争压力。他们还要求承包商做到透明并承担责任。总体而言，人们最担忧的是粗制滥造、信任缺失和薪酬是否公平；也有人建议，未来可以采用来源签名或其他验证系统。