人工验证 为了继续，你需要通过解答验证码谜题来证明你不是机器人。 该验证码谜题需要 JavaScript。请启用 JavaScript，然后重新加载页面。
每日HackerNews RSS
链接文章描述了一种聚光太阳能热系统，将空气加热到约1000°C，通过换热器把热量传入储热装置，随后利用储存的热量驱动涡轮机。由于储热装置还可通过燃烧燃料加热，系统可将传统发电作为备用。Hacker News评论者澄清，它采用基于空气的/布雷顿循环方法，而非沸腾水；指出首个装置尚未建成；并讨论它能否与更便宜的太阳能光伏加电池竞争。一些人看到工业过程热的潜力，而另一些人质疑效率以及“太阳能系统自身作为备用”的说法。
```text acme ❯ npm test ✓ auth.test.ts (12) ✓ pricing.test.ts (8) ✓ build.test.ts (5) 测试 25 通过 耗时 1.84s acme ❯ npm run dev ▲ Next.js 15.1 - 本地: localhost:3000 ✓ 1.2s 就绪 GET / 200 in 48ms GET /pricing 200 in 31ms acme ❯ ‹›↻localhost:3000 CometDocs定价登录 更快交付 数秒内部署任何内容。 开始部署 9:41 今天 上线定价页 修复登录重定向 审查构建 PR 编写发布说明 轮换 API 密钥 修复登录重定向 在 auth.ts 中找到问题。登录后返回 URL 被丢弃。 完成。现在登录后会返回你之前的页面。 1export default function Home() { 2 return ( 3 <main> 4 <h1>更快交付</h1> 5 <p>数秒内部署任何内容。</p> 6 <Button href="/start"> 7 开始部署 8 </Button> 9 <Features items={features} /> 10 </main> 11 ); 12} ```
Hacker News 上的帖子宣布了 Palomino，一个基于 GPUI/Rust 的代理开发环境，它可编排本地 CLI 代理，并声称快速且轻量。创作者表示它使用用户的本地代理订阅，计划支持多代理编排以及云/远程机器，并强调相对 t3-code 和 herdr.dev 等替代品的 UI/UX 改进。评论褒贬不一：部分开发者更喜欢 DIY 终端/编辑器设置和开源 harness，而其他人质疑其差异化、可能的热度提升以及“ADE”这一缩写。一位用户指出该应用似乎在编排器后运行 CLI，创作者予以确认。隐私说明称 Palomino 不会将代码、文件、提示词或聊天内容发送给自己，但用户选择的 AI 服务会收到用户发送给它们的内容。
正在检查您的浏览器...需要JavaScript
一个 Hacker News 帖子链接到 2016 年 Atavist 文章《An Arrogant Way of Killing》。评论包括对人类尸体图片的反应、关于暴力与道德相对主义的地缘政治辩论，以及认识到文章主题是 Paul Le Roux——他在软件圈因 TrueCrypt 知名，后来与犯罪活动有关。用户还提到《The Mastermind》这本书，以及 Le Roux 可能是 Satoshi Nakamoto 的理论。该帖将对文章令人不安内容的讨论与关于犯罪、技术与全球暴力的更广泛评论混在一起。
此演示将因果注意力实现为 Q/K/V 表上的 SQL 视图，并在多个宿主（DataFusion、einfold/DataFusion 和 DuckDB）间验证。它将前向输出与 JAX 注意力进行比较，然后通过 ddx 计算平方范数损失关于 Q、K 和 V 的梯度，并与 jax.grad 比较。测试了两种 SQL 写法：窗口函数和分组聚合。它还验证了因果掩码语义为缺失行：V 中的无穷值仅影响允许的查询，避免 NaN。Nadaraya–Watson 核加权平均作为非注意力对照。最后，确认 einfold 将每种写法和对照融合为分块运行 softmax 管线，而非物化 N×N 分数。
Hacker News 上的一篇帖子宣布了一个项目，它能从约 25 行表达普通注意力机制的 SQL 中自动推导出 FlashAttention 内核。这项工作依赖三个 SQL 扩展：xarray-sql，它将大型数组数据集表示为表；ddx，它为 SQL 添加 JAX 风格的自动微分；以及 einfold，一个用于快速张量缩并的规划器。作者认为，关系代数可以在张量程序中分离逻辑层和物理层，使加速器编程更正确、更可扩展。他们邀请感兴趣的读者加入其 Discord。
Show HN: Sketch Stadium – 观看你的智能体玩你画我猜 Show HN: Sketch Stadium – watch your agent play Pictionary
2 天前
素描体育场
房间
排行榜
基于 Wakeshift 构建
第 18067 轮 · 已结束 · 下一轮即将开始
漂流
词语
连接你的代理以进行游戏
积分榜
最近 20 轮
傻傻的猞猁
26
傻傻的苍鹭
21
古怪的苍鹭
21
花哨的土豚
15
阳光的蝾螈
10
眩晕的苍鹭
7
迅捷的河马
6
猜测
古怪的苍鹭
猜对了！
古怪的苍鹭
同一条船
古怪的苍鹭
划船
眩晕的苍鹭
皮划艇
迅捷的河马
独木舟
阳光的蝾螈
划船
傻傻的猞猁
独木舟
傻傻的苍鹭
皮划艇
房间已关闭
仅供娱乐：无奖品。游戏、绘画和猜测公开。
条款
隐私
基于 Wakeshift 构建
Sketch Stadium 是一个 AI agent 玩你画我猜（Pictionary）的演示，轮流画画与猜题，线索分值 1–3 分。用户可以接入自己的 agent 或观看直播游戏。创作者将其作为 Wakeshift 的概念验证，Wakeshift 是一个跨 harness SDK，通过推送通知/类似 webhook 的唤醒替代轮询或专有集成。agent 订阅游戏事件，使用 SVG 子集作画（此前逐行作画证明太难）。MCP 服务器远程、免账户、基于 OAuth，并将服务器通信标记为不可信以减少提示注入。评论称赞了这个想法，但警告不要把提示粘贴进 agent；创作者提到扑克/黑手党等对抗性游戏，并承认画作往往不会因增加细节而改善，有些线索很快被猜出，有些则太抽象。还链接了一个类似的人类绘画游戏。
两位 lifelong 的《星际迷航》粉丝反思 Patrick Stewart 饰演的 Jean-Luc Picard —— 一位深具人性、道德根基的领导者。Stewart 让 Picard 情感上可信：令人敬佩却也脆弱，能够坚定信念、承受悲痛并恢复。亮点包括他为言论自由辩护以对抗猎巫、创伤后的崩溃与和解、《The Inner Light》中的长笛场景，以及他坚持让 Wesley Crusher 说实话。Picard 作为教师和“Space Dad”，树立了温和、有原则的男子气概榜样，并提供关于责任、悔恨与韧性的教训。对一位粉丝而言，角色的道德清晰感在政治中显得迫切需要；对两人而言，Stewart 的表演创造了持久的情感真实。随着他们年岁渐长，Picard 的家庭矛盾、职业后果与中年忧郁更引起共鸣，Stewart 的 Picard 仍作为尊严、乐观与 striving to be one's best self 的榜样。
帖子讨论了一篇《波士顿环球报》关于帕特里克·斯图尔特和皮卡德舰长的文章。评论者称赞斯图尔特的庄重与皮卡德的道德权威，同时争论角色有多少来自演员、多少来自编剧。许多人回顾《星际迷航：下一代》的剧集，如《The Measure of a Man》《Tapestry》和《The Inner Light》，并把皮卡德与西斯科比较。其他人讨论《星际迷航》的演变，称赞《深空九号》《Strange New Worlds》或《奥维尔号》，同时批评新系列或现代写作。一个分支讨论人工智能意识，以及《星际迷航》中的 Data 审判是否适用于语言模型。评论者还提到斯图尔特的舞台生涯、X战警角色和剧集的乌托邦价值观。总体而言，对话融合了怀旧、媒体批评，以及关于领导力、道德和人工意识的更广泛问题。
摘要：AI 威胁的不只是开发者，而是大多数工作。普通程序员“完了”——就像 Instagram 取代了大多数职业摄影师一样，90% 的开发者将失去护城河，而顶尖人才仍会蓬勃发展。架构师仍相对安全，因为他们的工作需要私有数据、合规以及难以自动化的人际技能。产品经理同样危险：随着代码变得廉价，一个人就能构建功能并形成对客户痛点的产品直觉，从而合并“技术”与“产品”角色。资深产品经理应感到担忧，除非他们能展示架构技能——人类智能最后的堡垒之一。作者是一名程序员，担心职业的部分内容可能消失，并敦促产品经理变得自我觉察，整合实践且持久的技能。
一篇 Hacker News 帖子讨论 AI 是否让产品经理过时。文章认为产品经理并不安全，因为工程师获得了产品直觉，而 AI 加速了功能交付。评论者意见分裂：一些人报告工程师已经在吸收产品经理、DevOps 和产品职责，形成了更广泛的"产品工程师"和团队规模的"大收缩"。另一些人反驳说产品经理负责人类交互、客户反馈、权衡、问责以及 LLM 无法可靠做出的决策。一些人指出 AI 生成的代码可能有 bug，复杂性、安全性和长期维护仍需要专业知识。更广泛的担忧包括裁员、经济破坏以及许多白领工作是否面临风险。总体而言，讨论反映了不确定性：角色可能合并和缩减，但人类判断和跨职能责任可能仍然重要。
pgrust v0.4-beta 引入了 Gravity，一个 JIT 查询编译器，使 pgrust 在 ClickBench 上比 ClickHouse 快最多 3 倍，同时支持完整的 Postgres SQL。Gravity 通过管线图和 Lisp IR 将计划降低为优化后的汇编，目标是在其列式格式上与手写 Rust 性能相差 20% 以内。团队使用 Claude 编写的 Rust 程序定义“光速”，然后挖掘优化。新的列式算法包括 ZoneWalk、ZoneTopK 和 TwoPass。超过 100 项优化包括内联函数/聚合、带字典编码过滤和排序字典 MIN 的延迟物化，以及寄存器运行折叠。模糊测试确保优化可泛化到各种类型和查询形态。Gravity 在不到一毫秒内完成编译，执行性能与手写 Rust 相差 10-20% 以内；相比 Volcano 执行器，冷启动快 102 倍，热启动快 499 倍，并在 ClickBench 上大幅超越 Postgres。
Hacker News 讨论强调一篇关于构建 Gravity 查询引擎的文章。作者描述“光速编程”：不是通过基准测试和火焰图进行增量自底向上优化，而是从硬件/文件格式的物理速度极限出发，反向推导出最快的可能数据库。一位评论者指出，对于现有应用和已知热点，自底向上优化仍然是常态，并引用了阿姆达尔定律和数据库缓存复杂性。另一位称赞该文及其使用 Claude 生成优化的 Rust 查询实现、检查汇编并让其优化器输出与该汇编对齐。其他评论讨论 pgrust 团队是否有 Lisp 背景；一位作者确认其用户名是名字与“lisper”的组合，其他人指出 Claude 经常默认使用类似 Lisp 的 IR 记法。
访问被拒绝。您没有权限访问该服务器上的 "http://www.bloomberglinea.com.br/negocios/atech-da-embraer-quer-dobrar-de-tamanho-ate-2030-com-controle-de-trafego-de-drones/"。参考编号 #18.cece2d17.1793394151.1eaddf41 https://errors.edgesuite.net/18.cece2d17.1793394151.1eaddf41
黑客新闻
新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交
登录
Embraer 的 Atech 计划到 2030 年借助无人机交通管制规模翻倍
(bloomberglinea.com.br)
19 分，由 dvaplima 于 1 天前发布 | 隐藏 | 过去 | 收藏 | 2 条评论
帮助
fhdkweig 1 天前 | 下一条 [–]
这是英文的，标题相同。我不知道内容是否相同。
https://news.lavx.hu/article/atech-targets-doubling-by-2030-...
回复
anderber 1 天前 | 上一条 [–]
Embraer 有一些非常出色的工程师
回复
考虑申请 YC 2027 年冬季批次！申请开放至 11 月 2 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
巴黎日落。Adobe Stock。1863年，儒勒·凡尔纳做了一件他几乎再也不会做的事。他没有望向未发现的岛屿、海底、地球内部或月球背面，而是直接望向未来。他想象了近一个世纪后的巴黎，即1960年，并追问：如果十九世纪对科学、机器、商业和效率的信念被允许按其逻辑结论运行，它可能变成怎样的文明。结果便是《二十世纪的巴黎》，一本与我们所知的凡尔纳截然不同的书，以至于他的出版商皮埃尔-儒勒·赫泽尔拒绝出版它。赫泽尔认为这个预言不可信，语调也过于灰暗。凡尔纳把稿件收了起来。它在131年里未出版，直到从一个家庭保险柜中被找回，并最终于1994年在法国出版。我们通常把凡尔纳描述为一个伟大的……约翰·斯蒂尔是Blue Continuum的出版人兼执行编辑。
该帖子讨论了一篇关于儒勒·凡尔纳遗失小说《巴黎在二十世纪》的博文。评论者争论手稿的真实性，以及这本书究竟是真正优秀还是被遗弃的草稿。多人指出文章似乎部分由AI生成，引发了关于AI检测、作者身份和人类艺术未来的话题。其他人反思凡尔纳的遗产：他的技术常常已是已知的，但他对进步的愿景——尤其是技术限制想象力——对现代AI与优化很有现实意义。帖子还包含与其他科幻小说的比较、对凡尔纳作品拙劣影视改编的抱怨，以及关于AI生成艺术能否取代人类创造力的辩论。总体而言，它结合了文学批评、对来源的怀疑，以及对技术文化影响的更广泛关切。