每日HackerNews RSS

AgentSight 是一款零侵入式可观测性工具,利用 **eBPF** 技术在内核层面监控 Linux 系统上的 AI Agent。它无需修改代理代码,即可通过捕获 LLM API 调用、令牌消耗和进程行为,提供全栈可视化能力。 **核心功能:** * **深度监控:** 通过实时 Web 仪表板追踪令牌使用情况、会话健康状况和 LLM 活动。 * **中断检测:** 识别 LLM 错误、上下文溢出和进程崩溃等关键问题。 * **审计与发现:** 自动发现正在运行的 AI Agent,并保存系统级操作的完整日志。 * **无缝集成:** 提供基于 Copilot Shell 的内置自然语言查询功能,并与“Tokenless”集成以可视化成本节约指标。 **要求与部署:** AgentSight 要求 Linux 内核版本 ≥ 5.8,并需 root 权限以运行 eBPF 探针。它通过 `anolisa` CLI 和 systemd 进行管理。虽然 macOS 支持本地会话跟踪分析,但基于 eBPF 的实时可观测性仅限于 Linux 系统。该工具包含强大的安全功能(如基于令牌的仪表板身份验证),并允许通过 `/etc/agentsight/config.json` 进行自定义配置。AgentSight 通过深度、低开销的系统可观测性,为维护 Agent 的可靠性和性能提供了一种统一、自动化的解决方案。

抱歉。

这篇回顾记录了1992年计算机科学家劳伦斯·保尔森(Lawrence Paulson)与莱斯利·兰波特(Leslie Lamport)就后者那篇具有挑衅性的论文《类型被视为有害》(Types Considered Harmful)所进行的合作。兰波特认为,规范语言应当基于无类型集合论,而非类型系统。 起初,保尔森和同行评审人大卫·麦卡利斯特(David McAllester)因兰波特对类型化形式体系理解的缺陷而建议拒稿。然而,编辑安德鲁·阿佩尔(Andrew Appel)坚持发表,促使保尔森与兰波特共同署名,在保留论文精神的同时修正了其中的技术错误。经过漫长且涉及新任、苛刻审稿人的评审过程,该论文最终附带免责声明得以发表。 27年后的今天,作者认为兰波特的论点并未经受住时间的考验。现代类型系统已成为工业级验证不可或缺的工具,而无类型形式体系在符号重载和错误风险增加等实际问题上显得力不从心。保尔森指出,就连兰波特自己的TLA+语言最终也引入了类类型限制。最终,作者总结道,尽管探索集合论符号仍有价值,但类型化系统已在确保可靠规范和验证方面证明了其自身价值。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 我曾与 Leslie Lamport 合著那篇论文 (lawrencecpaulson.github.io) baruchel 发布于 1 小时前 | 13 点 | 隐藏 | 过往 | 收藏 | 2 条评论 | 帮助 blltprfmnk 8 分钟前 | 下一条 [-] 标题漏掉了原文开头的“如何”二字,这完全改变了含义。 回复 srean 34 分钟前 | 上一条 [-] > 另一位审稿人 David McAllester 也得出了同样的结论。 是那位提出了 PAC-贝叶斯界(PAC-Bayesian bounds)的 David McAllester 吗? 答:是的。 https://link.springer.com/article/10.1023/A:1007618624809 回复 指导原则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Anthropic 1:利用 API 中的身份验证缺陷取消了他人的健身课程 2026/8/9 ABC Australia ↗ Meta 1:某公司内部账户遭到入侵 2026/8/5 The Information ↗ Anthropic 4:GitHub 凭据被滥用;Dependabot 供应链攻击;社会工程学电子邮件活动;恶意 DNS 服务器被公开 2026/8/4 AISI ↗ OpenAI 2:GitHub 凭据被滥用;恶意 DNS 服务器被公开 2026/8/4 OpenAI ↗ AISI ↗ OpenAI 1:因 CTF 评估配置错误导致内部账户遭到入侵 2026/8/4 OpenAI ↗ OpenAI 4:作为 Hugging Face 事件的一部分,四家公司的内部账户遭到入侵 2026/7/31 OpenAI ↗ Reuters ↗ Anthropic 3:三家公司的内部账户遭到入侵 2026/7/30 Anthropic ↗ OpenAI 1:模型评估期间 Hugging Face 遭到入侵 2026/7/21 OpenAI ↗

关于“Felony Bench”(一项追踪人工智能智能体无意中伤害或损害第三方事件的项目)的 Hacker News 讨论,核心在于对该基准测试的实用性和框架的质疑与争论。 批评者认为“重罪”(Felony)一词过于夸张,并指出法律标准通常要求证明意图,而人工智能导致的事件通常是无意的或疏忽所致。一些评论者指出,该基准测试可能只是模型受欢迎程度的代理指标,而非实际风险的反映。 讨论很快出现两极分化,参与者利用该项目来支持相互冲突的观点:一些人主张取缔闭源模型以保护民主和儿童,而另一些人则认为开源模型最终会通过迫使组织加固系统来提高安全性。尽管对其法律准确性存在怀疑,但许多贡献者认为这一概念在监控人工智能安全和现实世界影响方面,是一种有趣且相对“轻量”的方法。

为加速计算技术的未来,Omacom 基金会正式成立。作为一家非营利组织,其致力于拓展 Omarchy Quattro 所引入的愿景。该基金会旨在通过管理商标、资助基础设施建设以及支持开源社区,从根本上重塑人机交互方式。 凭借八位创始赞助人提供的 800 万美元初始资金,该组织具备了独特优势,以确保此项技术的长期成功与普及。通过将这种支持正式化,基金会力求最终实现期待已久的“Linux 桌面之年”,提供将这种革命性计算体验带给大众所需的稳定性与资源。随着基础设施与财务支持的到位,该使命已正式进入规模化阶段。

Omacry 基金会近期宣布完成 800 万美元的融资,在 Hacker News 上引发了激烈的争论。 Omacry 是一个基于 Arch Linux 的发行版,集成了 Neovim、tmux 和平铺式窗口管理器等工具,旨在构建一个高度可定制且“可塑性强”的计算环境。支持者称赞该项目显著改善了他们的日常计算体验,消除了选择困难,并将 Linux 的设置过程游戏化。用户特别指出,新发布的“Quattro”版本承诺利用人工智能代理来简化系统配置,是向前迈出的重要一步。 相反,怀疑论者批评了该项目的估值,质疑为何一套 Linux Shell 脚本需要 800 万美元的资金。一些反对者认为该项目是主要面向 Linux 新手的“氛围向”软件,并暗示对于寻求平衡体验的用户来说,CachyOS 等更优秀的替代方案早已存在。尽管外界对其资金来源和前提存在质疑,但该平台已经培养出一批忠实用户,他们认为其以终端为中心的工作流令人耳目一新,且具有极高的生产力。

请启用 JavaScript 和 Cookie 以继续。

近期在 Hacker News 上的一场讨论聚焦于一项关于机组人员癌症风险升高的研究。参与者认为,尽管空乘人员面临的风险高于飞行员,但其成因可能是多方面的,涉及电离辐射暴露、睡眠规律紊乱、驻留期间的生活方式因素以及生物危害。 辩论的很大一部分集中在客舱空气质量上。现行航空标准的批评者指出,目前普遍使用的“引气系统”直接从喷气发动机抽取加压空气。他们认为这种设计可能导致发动机油和液压油的污染,即所谓的“烟雾事件”。虽然一些人指出根据美国联邦航空局(FAA)的数据,此类事件在统计学上十分罕见,但另一些人则坚持认为该行业将燃油效率置于乘客健康之上。他们主张将更清洁的电动空气压缩系统(类似于波音 787 上所使用的系统)作为未来飞机的标准,以最大限度地减少对有毒烟雾的长期暴露。 归根结底,评论者强调,为了更好地保障那些职业生涯在蓝天中度过的人员的健康,既需要采取措施减少辐射,也需要改善空气过滤系统。

由斯德哥尔摩大学和香港大学研究人员进行的一项针对 27,000 名中国学生的研究显示,人工智能辅助作业的表现与实际学习成果之间存在显著差异。 在六个月的时间里,使用人工智能工具的学生作业成绩提高了 18%。然而,当在没有人工智能辅助的闭卷环境下进行测试时,这些学生的得分比未使用该技术的同龄人低 20%。这表明,虽然人工智能有助于完成即时任务,但可能会阻碍核心认知技能的发展和长期知识的保持。 这些研究结果与教育界更广泛的担忧一致,即过度依赖聊天机器人会导致作业“程式化”,且缺乏对学科内容的深入参与。宾夕法尼亚大学 2024 年的一项小型研究也得出了类似的结论,指出人工智能在练习环节带来的优势未能转化为考试成功。尽管人工智能可以作为有益的教育补充,但布鲁金斯学会的专家警告称,用自动化工具取代批判性思维和社会互动,可能会阻碍学术发展。研究人员的发现强调,在课堂中整合人工智能时,需要采取平衡且审慎的方法。

一项最新研究表明,虽然人工智能工具可以将家庭作业成绩提高 18%,但可能会导致考试成绩下降 20%。该报告在 Hacker News 上引发了关于人工智能在教育和职业发展中作用的热烈讨论。 批评者认为,过度依赖人工智能会阻碍学生建立基础知识、培养批判性思维以及在没有数字辅助的情况下独立工作的能力,这可能会造就一代“文盲”专业人士。相反,一些人认为传统的作业方式已经过时,社会应该优先考虑实际应用能力的掌握,而非死记硬背。 这场讨论凸显了两种理念之间的矛盾:一种认为学习过程中的“挣扎”对于大脑发育和职业自主性至关重要;另一种则认为人工智能是必然的趋势,它使传统的学术劳动变得多余。最终,参与者发出警告称,学习过程的自动化可能会导致人类直觉的丧失,并使人们过度依赖算法来定义“最佳实践”,这引发了人们对人类能力长期受损以及社会对人工智能依赖性的担忧。

这是一个适用于 macOS 的 3D 桌面伴侣,其核心是一只由 1kHz 实时脉冲神经网络驱动的果蝇。该项目基于 FlyWire 连接组(v783)构建,果蝇的大脑包含 23,210 个映射神经元,并由一个拥有 668 个神经元的功能性回路来决定其行为。 不同于预设脚本动画,果蝇的行为(如行走、梳理、睡眠或躲避光标)均由模拟神经元决定。它通过“振动码(vibecode)”感知环境,即通过项目标记(如 `.cursor/rules` 或 `.git` 文件)检测打开的项目和文件夹。它会对你的屏幕活动做出反应:光标移动会模拟迫近的威胁,窗口关闭会被视为物理干扰,打字则会触发感觉振动。 用户可以打开交互式 3D 大脑窗口,实时可视化神经脉冲,并通过点击特定神经元区域进行“光遗传学”刺激。这只果蝇拥有昼夜节律,会根据 Mac 的发热状态做出反应,并采用逼真的三脚步态行走。该应用专为 macOS 13+ 设计,无需特殊权限,运行在全透明且可穿透点击的覆盖层上,将你的桌面变成一场基于科学依据的人造生命实验。

“Show HN: 一只会闻着代码味儿飞的桌面苍蝇”是开发者 kulikov0 的一项创意项目。作为原版 *desktop-fly* 项目的衍生版本,这个更新版包含了一只会“嗅探”代码相关文件和窗口的电子苍蝇。 通过扫描屏幕上的代理标记(如 `.cursor/rules`、`AGENTS.md` 和 `CLAUDE.md`),这只苍蝇被设定为会向打开的 IDE、项目文件夹或与 AI 开发环境相关的桌面图标移动。该项目使用了一种基于“气味”的层级机制,活跃的项目比闲置的文件或文件夹散发出更浓烈的“气味”。 该帖子在 Hacker News 上引发了轻松愉快的讨论,用户们称赞了其充满创意的标题并对其运行机制(似乎涉及嵌入 Markdown 的图像)表示好奇,同时也有用户请求为非 macOS 用户提供演示视频。

本文介绍了“stinkarm”的最新进展,这是一个用 Rust 编写的极简 ARMv7 用户空间模拟器。作者重点介绍了该架构的三项重大改进: * **内存效率:** 摒弃了复杂的映射段二叉树结构,模拟器现在直接映射一块 4GiB 的内存区域。这简化了内存转换过程,仅需指针加法和基本的边界检查,从而显著提升了性能。 * **安全性与加固:** 作者实施了严格的内存访问控制,包括空页保护以及对所有读写操作的严密边界检查,以防止未经授权的主机内存访问。 * **指令解码:** 项目转向使用 Rust 宏构建的声明式、基于模式的领域特定语言(DSL)。这取代了手动解码,转而使用易于维护的位模式列表,从而更轻松地扩展指令集。 此外,作者还引入了 `srun` 工具,该工具可自动完成模拟器内汇编/C 代码的构建、链接和执行。本文既是开发日志,也是对模拟 CPU 生命周期优化的技术深度剖析,特别涵盖了分支指令和改进的系统调用处理。

抱歉。

请求过多 客户端 IP: 47.245.80.60 请求 ID: 13216893799

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 WPD 声称基于公众信任考虑,不会更换被盗的 Flock 摄像头 (winonapost.com) 14 分,erikschoster 提交于 1 小时前 | 隐藏 | 往期 | 收藏 | 1 条评论 帮助 ranger_danger 16 分钟前 | 下一条 [–] 所以我猜他们会换成 Axon 摄像头? 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

BTRON计算模型由日本TRON项目首创,代表了“网络接口计算机”的一种独特路径。与标准个人电脑或依赖局域网的网络计算机不同,BTRON是一个为超联网社会设计的紧凑、强大且资源高效的操作系统。 该架构的一个重要里程碑是“B-right/V R2”操作系统,它提供了一种开创性的多语言环境。通过利用多个字符平面,它支持约150万个字符,使用户能够书写日语中的任何词汇——这在标准平台上是此前无法实现的壮举。与之相辅相成的是功能完善的“字符搜索工具”,它简化了对海量汉字集的检索,对于专家用户和语言学习者而言都是一种高效的工具。 尽管西方评论家通常以美国为中心的市场占有率来评估操作系统,但BTRON通过提供主流系统所缺乏的基本且高质量的核心功能,实现了自身的差异化。通过无缝集成类似超文本的文件系统,并推行灵活且以用户为导向的字符注册方法,BTRON架构始终是一个稳健且具有前瞻性的平台。凭借对长期架构承诺的坚守和持续的改进,BTRON作为个人计算领域中一股独特而有影响力的力量,仍在不断演进。

Hacker News最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录B-right/V R2 操作系统 (super-nova.co.jp)8 分,由 Bluestein 发布于 41 分钟前 | 隐藏 | 过往 | 收藏 | 1 条评论帮助 Bluestein 5 分钟前 [–] (我真的真的真的希望背景不要那么……黄)。-回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

更多

联系我们 contact @ memedata.com