作者认为，随着 AI 智能体承担起“认知卸载”的角色，CUDA 领域特定语言（DSL）和复杂的 C++ 抽象正走向终结。过去，工程师构建抽象层是为了管理 GPU 超大规模内核的极端复杂性；如今，AI 智能体能直接将高级意图转化为针对目标优化的底层代码，这使得中间框架以及僵化、脆弱的代码库日益过时。 这一转变将“事实来源”从往往晦涩难懂且难以维护的代码库，转移到了底层意图、不变量以及严谨的测试预言（test oracles）之上。尽管目前的抽象层仍是团队协作和知识转移的重要共享界面，但作者预测，随着 AI 能力的增强，我们将不再关注代码差异的审查，转而验证规范和测试预言。在这种新范式下，实现方案成了可抛弃的临时编译产物，而领域知识和高级策略才具备持久价值。本质上，行业正走向这样一个未来：开发者定义机器要做什么，而智能代理负责“如何实现”，从而使传统的手动调优 DSL 变得不再必要。
每日HackerNews RSS
关于斯坦福大学文章《废弃抽象》（*Retire the Abstractions*）的 Hacker News 讨论显示，在人工智能时代，软件工程的未来引发了严重分歧。
作者认为，随着 AI 代理接管实现细节，旨在管理认知负荷的传统软件抽象正变得过时。然而，大多数评论者对此表示反对，认为抽象对于可维护性和正确性至关重要。批评者认为，“废弃”抽象会导致产生“大泥球”式的混乱代码，且缺乏人类“品味”和语境的 AI 代理，只有在受到正式契约和框架约束时才能发挥最佳水平。
多位参与者指出，该文章本身充斥着类似 AI 生成的晦涩文风，这削弱了其核心论点。资深开发人员的共识是：我们不应摒弃抽象，而应利用它们为 AI 提供操作的“界面”。通过使用强大的规范语言或严格的契约，工程师可以保持控制力和可追溯性，确保 AI 生成的是可靠的代码而非“垃圾”。归根结底，许多人认为，定义正确的抽象仍然是一项 AI 尚未能实现自动化的人类特有技能。
美国商品期货交易委员会（CFTC）援引其紧急权力，要求交易所 KalshiEX, LLC 继续运营。此前，纽约州总检察长莱蒂西亚·詹姆斯（Letitia James）提起诉讼，以违反州博彩法为由，申请临时限制令，试图阻止 KalshiEX 在全美范围内提供事件合约。 CFTC 主席迈克尔·S·塞利格（Michael S. Selig）谴责了纽约州的干预行为，并断言联邦法律已为衍生品交易所确立了统一的全国性框架。他认为，这些属于州际金融市场，不应受“拼凑的州博彩法”管辖，且委员会在法律上有义务维护市场秩序和联邦管辖权。 此举是 CFTC 为捍卫其监管权力所做持续努力的一部分。该委员会经常在法庭上挑战包括纽约州、亚利桑那州和伊利诺伊州在内的多个州，以阻止这些州对受联邦监管的衍生品市场实施州级限制。CFTC 坚持认为，此类州级行动威胁到了市场稳定性，并破坏了国会建立的集中监管流程。
美国商品期货交易委员会（CFTC）近日动用紧急权力，推翻了纽约州针对预测市场平台 Kalshi 采取的法律行动。
这场冲突始于纽约州寻求临时限制令（TRO），试图阻止 Kalshi 在该州运营，理由是该平台属于未经许可的赌博活动。总部位于纽约的 Kalshi 则坚称其为受联邦监管的衍生品交易所。
观察人士的争论重点在于以下三个方面：
1. **临时限制令的范围：** 有报道称纽约州意在全国范围内叫停该平台，但也有观点认为该州仅旨在阻止其在州内运营。
2. **管辖权：** CFTC 主张，作为一家注册交易所，Kalshi 属于联邦优先管辖范畴，州一级的赌博限制规定对其不适用。批评者则认为这是“欺诈”或监管越权，并指出预测市场往往与赌博并无二致。
3. **政治背景：** 批评人士指出，由于高知名度政治人物参与了预测市场公司，CFTC 的此次干预被质疑是出于政治动机，旨在优先维护联邦对州级消费者保护及赌博监管的控制权。
该案件凸显了联邦商业权力与各州在赌博监管方面传统警察权力之间持续存在的紧张关系。
此图表概述了**包裹递送服务**的物流工作流程，涵盖从初始订单处理到最终送达或退回的全过程。 流程始于订单下达，并在仓库完成拣货与打包。包裹装车后，由配送员进行投递。该工作流程考虑了各种突发状况： * **地址/进入受阻：** 若地址无效，包裹将退回仓库。若家中无人，则会留下配送通知单，由客户选择重新投递或前往当地门店自提。 * **质量控制：** 投递时如发现包裹破损，将退回重新处理。 * **交付完成：** 成功投递需经收件人签收，并确认物品完好无损。在门店存放无人认领的包裹最终会退回给寄件人。 此流程强调了一套完善的异常处理循环，确保每一次投递尝试都能通过成功签收、重新投递或退回得到妥善处理。
**Line9** 是一款全新的 Mermaid 流程图渲染引擎，旨在解决自动布局效果不佳的常见问题。传统的 Mermaid 渲染器往往会生成杂乱的图表，而 Line9 使用了一种受手动设计原则启发的自研本地搜索算法，专门针对网格间距、边长缩短和整体视觉清晰度进行了优化。
主要功能包括：
* **本地处理：** 所有渲染均在浏览器内完成，确保数据隐私。此外还提供基于 Rust 的命令行工具，适用于本地环境。
* **兼容性：** 支持标准 Mermaid 语法，可轻松集成 AI 生成的图表。
* **可用性：** 目前网页工具可免费使用（带有水印）。付费版本可去除水印，供商业用途。
该项目在 Hacker News 上引发了关于其定价、闭源性质以及图表可视化领域更广泛挑战的激烈讨论。用户称赞它比 Dagre 或 ELK 等标准引擎能生成更整洁的布局，不过作者也承认该工具仍处于开发阶段，目前尚未原生支持 Confluence 等部分企业平台。开发者正积极寻求拥有复杂图表需求的用户反馈，以进一步优化引擎性能。
美国联邦航空管理局（FAA）正通过招募电子游戏玩家，成功应对全国空中交通管制员短缺的严峻问题。美国交通部长肖恩·达菲表示，这一举措堪称“颠覆性改变”，目前已录用超过 2,000 名游戏玩家，另有 2,000 人正在流程中，助力该机构达成了 94% 的招聘目标。 该计划将目光投向游戏玩家，是因为高水平游戏所需的技能——如快速决策、持续专注力和多任务处理能力——与管理全国每日 8 万架次航班所需的技能高度吻合。这一转变意义重大，因为此前仅约 25% 的管制员拥有传统大学学位。 尽管此前受政府停摆影响导致短缺及招聘困难，但该职业收入依然丰厚，年薪中位数为 144,580 美元。申请者需满足 31 岁以下、美国公民身份，并通过严格的 FAA 能力倾向测试。从历史上看，选拔过程竞争激烈，录取率不足 10%。通过扩大招聘范围纳入游戏玩家，FAA 希望借此减少未来的航班延误，并稳定航空业人才队伍。
最近关于美国雇佣了超过 2000 名“电子游戏玩家”担任空中交通管制员的新闻在 Hacker News 上引发了激烈讨论。评论者大多认为该标题属于耸人听闻的公关炒作，并指出该机构只是进行了一场针对年轻群体的定向招聘活动。
用户间的共识是，“玩家”是一个过于宽泛的标签，几乎适用于大多数年轻人，包括那些身处医疗等高压力技术领域的人群。虽然有人指出飞行模拟器或策略游戏所带来的技能可能提供些许认知优势，但另一些人强调，这些新招募人员进入的是一个严格且为期多年的培训体系，而非直接进入控制塔。
批评者认为，这一标题反映了该行业在人手不足且至关重要的背景下，为实现招聘现代化所做的肤浅尝试。许多贡献者分享了个人经验，指出虽然模拟软件（如 VATSIM）是飞行员和管制员的合法辅助培训工具，但这项工作本身仍高度专业化，对身体素质要求极高，且与游戏有很大不同。归根结底，此次讨论表明，该运动只是一次旨在挖掘更广泛人才库的常规尝试，而非招聘实践的根本性转变。
**tlc** 是一款独立的、由社区驱动的 Linux 专用命令行工具，旨在复制腾龙（Tamron）官方镜头软件的功能。它允许用户查看并修改兼容腾龙镜头的设置，包括对焦环方向、按键分配以及自动对焦校准。 **主要内容：** * **兼容性：** 使用 Rust 构建，通过 USB 直接连接。本项目与腾龙（Tamron Co., Ltd.）无关，也未获得其认可。 * **使用方法：** 该工具通过独立命令运行（例如 `tlc ring get`，`tlc settings save`）。强烈建议用户在进行任何更改前备份原有设置。 * **设置：** 成功运行可能需要配置 `cp210x` USB 串口驱动程序，并设置 `udev` 规则以确保正确的设备访问权限。 * **局限性：** 该软件不提供任何担保。目前尚不支持固件更新等功能。 由于这是第三方项目，用户应谨慎操作以避免潜在的硬件问题。如需详细的操作说明和故障排除，请使用 `--help` 参数或查阅项目文档。
抱歉。
本网站正在使用安全服务来保护自身免受网络攻击。您刚才的操作触发了安全防御机制。触发此拦截的原因可能有多种，包括提交了特定的词汇或短语、SQL 命令或格式错误的数据。
这篇 Hacker News 的讨论探讨了冷启动外联（cold outreach）引发的争议。支持者认为，对于早期初创公司来说，这虽然困难却是获取首批用户的必要手段，并指出被动营销渠道往往难以转化。他们强调，高质量、针对性强且以人为本的外联方式依然有效。
相反，许多用户将冷启动外联斥为“垃圾邮件”，认为它干扰了工作流程并削弱了信任。批评者对 AI 自动化销售的兴起表示强烈不满，将其视为对个人精力的一种不诚实的“税”。一些参与者认为，如果产品真正有价值，用户自然会通过搜索或自主调研发现；另一些人则主张对未经请求的通信进行更严格的监管。
这场辩论凸显了一个根本性的矛盾：创业者将冷启动外联视为寻找客户的生存机制，而许多接收者则将其视为一种侵入性的、不道德的行为。归根结底，这篇讨论反映了日益严重的“数字生态崩溃”，即低质量自动化消息的泛滥使得建立真诚的联系变得愈发困难。
**pg_clickhouse** 0.10.0 版本在分析型工作负载性能方面取得了显著进展，重点实现了对 TPC-H 基准测试套件的全面覆盖。完全下推（pushed-down）的 TPC-H 查询数量已从 12 个增加到 16 个，部分查询的性能提升了多达三个数量级（例如，执行时间从 32 秒缩短至 37 毫秒）。 主要更新包括： * **子查询下推：** 改进后的规划器能力现在允许将整个相关子查询下推至 ClickHouse，从而以单次远程扫描取代了低效的逐行嵌套循环。 * **语义一致性：** 先进的逻辑确保在下推 `IN` 和 `NOT IN` 运算符时，PostgreSQL 的三值逻辑（处理 `NULL` 值）得到正确保留，避免了潜在的数据差异。 * **架构重构：** 二进制驱动程序使用精简的 C 库进行了重构，增强了稳定性和内存效率。该驱动现支持多维数组、改进的 TLS/压缩控制，以及用于并发扫描的连接池。 * **函数扩展：** 显著增加了下推覆盖范围，包括统计聚合、分区聚合和 JSON 运算符。 目前仅剩 6 个 TPC-H 查询待优化，后续工作将聚焦于复杂的连接树反解析（deparsing），并扩展对 `UPDATE`/`DELETE` 及 `UNION` 操作的支持。
抱歉。
您尚未提供需要翻译的内容。请发送您想要翻译的文本。
抱歉。
arXivLabs 是一个允许合作者直接在我们的网站上开发并分享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都认同并接受了我们对于开放、社区、卓越和用户数据隐私的价值观。arXiv 致力于坚守这些价值观，且仅与遵守这些价值观的合作伙伴进行合作。如果您有能为 arXiv 社区增值的项目想法，欢迎了解更多关于 arXivLabs 的信息。
一项近期的研究表明，大型语言模型（LLMs）具备一种关于其内部状态的内省意识，尽管这种意识功能尚不稳定且依赖于语境。这一发现引发了 Hacker News 上的热烈讨论，反映了人们在意识本质问题上长期存在的哲学分歧。
评论者们就“依赖语境”的内省是否成立展开了辩论，一些人指出人类的内省同样具有情境性。讨论的很大一部分集中于在人工智能语境下定义“意识”、“思考”和“推理”等术语的难度。怀疑论者认为，大型语言模型缺乏产生真正意识所需的生物硬件（特别是神经化学的作用），并将当前的观点斥为单纯的拟人化。
相反，另一些人推测，如果内省是复杂架构中的一种涌现属性，那么“全局工作空间”内存或持续学习模型的未来进步，可能会促使人工智能产生更深层的自我意识。最终，这场讨论凸显了意识中挥之不去的“难题”：由于主观体验仍无法衡量，任何关于人工智能内在性的争论，往往揭示出的是参与者对思维定义的不同，而非软件本身的实际能力。
数学家大卫·史密斯（David Smith）、约瑟夫·塞缪尔·迈尔斯（Joseph Samuel Myers）、克雷格·S·卡普兰（Craig S. Kaplan）和海姆·古德曼-斯特劳斯（Chaim Goodman-Strauss）取得了一项重大突破：他们发现了首批“非周期性单铺砖”（aperiodic monotiles）——这类形状可以在平面上进行无限铺设，且永远不会形成重复的图案。
第一个发现被称为“帽子”（Hat），它通过自身及其镜像版本的组合来平铺平面。这一发现立即引起了全球关注，不仅获得了《纽约时报》的报道，还登上了《吉米·坎摩尔直播秀》。为庆祝这一成就，美国国家数学博物馆和英国数学协会共同举办了“爱因斯坦疯狂帽子竞赛”，以展示对这些形状的创意艺术诠释。
在此成功基础上，研究团队很快又发现了“幽灵”（Spectre），这是一种“手性”非周期性单铺砖。“幽灵”与“帽子”不同，它无需镜像副本即可进行铺设，从而成功解答了一个长期存在的难题：是否存在一种仅通过平移和旋转就能实现非周期性铺设的形状。这些发现代表了几何学的一个重要里程碑，证明了单一形状可以在无限表面上维持非重复的秩序。研究人员已将这些发现记录在具有开创性的论文和公开讨论中，相关资料可通过博物馆的档案资源获取。
```Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
“帽子”与“幽灵”——数学领域近期的突破性发现 (momath.org)
26 点，由 vismit2000 发布于 1 天前 | 隐藏 | 过往 | 收藏 | 3 条评论 | 帮助
OgsyedIE 1 天前 | 下一条 [–]
标题应加上 (2023)。
回复
NopIdoN 1 天前 | 上一条 [–]
我很想看看最近在帽子方面有什么突破性发现。
回复
appplication 21 小时前 | 父级 [–]
我等一款好用的跑步宽边帽已经很多年了。市面上有给跑步者戴的渔夫帽，但帽檐不够宽，起不到太好的遮阳效果。
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系
搜索： ```