每日HackerNews RSS

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 发布 1 天前 隐藏 | 历史 | 收藏 | 1 条评论 帮助 nippoo 1 天前 [–] 你应该自己撰写 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 称文章的前提“太愚蠢了”,迫使评论者亲自解释。

你已被网络安全机制拦截。 若要继续,请登录你的 Reddit 账户,或使用开发者令牌。 如果你认为这是误封,请在下方提交工单,我们将进行核查。 登录 提交工单

讨论的焦点是,Jagex 在撤下一支明显由人工智能生成的《Dragon Slayer II》预告片后,承诺不再使用生成式 AI。该预告片存在手指过多等错误。 参与者讨论了全面禁用 AI 是否仍具有经济可行性许多人认为,AI 可用于模板代码、着色器、性能优化、原型制作、参考资料及其他常规任务,同时他们反对低质量的生成艺术、文字内容和劳工剥削。也有人将生成工具与 Photoshop、预设、素材库和程序化生成进行比较,尤其是由人类掌控并确保质量的情况下。 一个主要分歧在于创作过程与最终成果:有些人认为,玩家最终体验如何才是最重要的,隐藏使用 AI 协助并无害;另一些人则重视人的创作劳动和作品来源,即使成品看起来与人类作品无法区分。 《RuneScape》的支持者强调,该游戏长期以来拥有鲜明的特色、庞大的现有玩家群体,而且没有加速内容制作的竞争压力。他们还要求承包商做到透明并承担责任。总体而言,人们最担忧的是粗制滥造、信任缺失和薪酬是否公平;也有人建议,未来可以采用来源签名或其他验证系统。

Caffè corretto 是一种意大利咖啡,由一份意式浓缩咖啡和少量烈酒混合而成,烈酒通常使用格拉帕、桑布卡、白兰地或干邑。点单时通常会说是 *un caffè corretto alla grappa*(加格拉帕)、*alla sambuca*(加桑布卡)或 *al cognac*(加干邑)。烈酒可以直接混入浓缩咖啡,也可以另外放在旁边,让饮者自行决定加入多少。 “Corretto”在意大利语中意为“修正的”或“改正的”。类似的咖啡加烈酒饮品包括西班牙的 carajillo、葡萄牙的 café com cheirinho、法国 的 café-calva,以及墨西哥的 café con piquete。在意大利威尼托地区,*rexentin* 的传统做法是用饮料中的烈酒冲洗杯中剩余的咖啡,然后将咖啡喝掉。

一段关于 Caffè Corretto 的 Hacker News 讨论。这是一款在浓缩咖啡中加入少量烈酒的饮品。评论者将其与葡萄牙午餐后常喝的 café com cheirinho,以及意大利的 caffè corretto 或 4loco 作比较。有人形容它出人意料地好喝,不过传统上更受年长男性欢迎;也有人认为,它可以作为烈性酒的温和替代品。 一名评论者回忆说,他15岁时为了给一个女孩留下深刻印象而点了这种咖啡,随后整个上午都装作自己没有受到酒精影响。

点亮世界…… 地球 河流 脉动 闪电 降雨量 紫外线 影片 博客 关于 世界灯塔 地球上每一座已标注的灯塔,均按其真实周期闪烁。 苏格兰 布列塔尼 新英格兰 日本 挪威 开普敦 - + 点亮世界……

Hacker News 上关于“每座灯塔的地图”的讨论称赞了该项目大胆的概念和醒目的视觉效果,但批评了它的执行情况。许多用户认为数据不可靠:导航浮标和小型灯标被标成了灯塔,真正的灯塔则有的缺失、位置错误,还有一些名称拼写错误或解释不清。 界面被广泛形容为明显的“氛围式编程”(“vibe coded”),尤其是其中简短而毫无意义的 AI 生成文字。桌面端和移动端的触控、缩放、平移、点击和性能都存在问题,有时还会让用户迷失位置,甚至导致电脑不堪重负。 评论者将该项目与人们对 AI 生成代码、缺乏验证以及“代码商品化”的更广泛担忧联系起来。还有人指出,精美的视觉效果可能掩盖底层工作的不完整。尽管批评不断,用户仍认为这张地图有趣而令人难忘,分享自己的航海经历和灯塔知识,指出内河航道上也有一些真正存在的灯标,并链接到一些历史更早或替代性的灯塔地图;这些地图的数据可能更加可靠。

更多

联系我们 contact @ memedata.com