每日HackerNews RSS

## Logira:自动化运行时审计 Logira 是一款仅用于观察的 Linux 命令行工具,旨在审计自动化的运行时行为,特别是 AI 代理。它利用 eBPF 记录系统事件——进程执行、文件活动和网络连接——提供详细、可信的执行轨迹,*无需*干扰自动化流程。 主要功能包括:为方便审查、搜索和检测分类,提供每次运行的本地存储(JSONL 和 SQLite)。Logira 提供内置检测规则,用于识别有风险的模式,例如凭据访问、破坏性命令和可疑网络活动,并允许添加自定义规则。 它非常适合了解 AI 代理*实际*执行的操作,超越其报告的操作,并且可以轻松集成到本地自动化或 CI 任务中。安装通过脚本或 tarball 简单直接,需要较新的 Linux 内核(5.8+)和 systemd。Logira 不会阻止操作,仅记录和检测,使其成为有价值的安全和调试工具。 更多信息和示例请访问:[https://github.com/melonattacker/logira](https://github.com/melonattacker/logira)。

## Logira:审计AI代理运行 一种名为Logira的新工具解决了验证AI代理*实际执行操作*的关键问题,超越其报告的输出。由melonattacker开发,Logira使用eBPF记录代理运行期间的系统级事件(exec、文件、网络),将数据本地保存以供审计。 重要的是,Logira仅用于观察——它不会干扰代理的运行,确保数据收集的公正性。它包含默认规则来检测潜在的有害操作,例如凭据访问或持久性更改。 评论者强调了独立审计的必要性,他们指出代理自我报告不可靠以及单体代理平台可能存在的陷阱。关于提高Logira易用性的建议包括通过“Stop & PreCompact”钩子集成代理自我审查,并利用其他模型进行日志分析,以减轻人类的认知负担。 [https://github.com/melonattacker/logira](https://github.com/melonattacker/logira)

我们检测到您的浏览器已禁用 JavaScript。请启用 JavaScript 或切换到受支持的浏览器以继续使用 x.com。您可以在我们的帮助中心查看受支持的浏览器列表。帮助中心 服务条款 隐私政策 Cookie 政策 版权信息 广告信息 © 2026 X Corp.

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录 [已标记] ramoz 1天前 | 隐藏 | 过去的 | 收藏 wilkystyle 1天前 | 下一个 [–] 有趣的事实:图片中的直线泥土小路被称为“愿望路径”:https://en.wikipedia.org/wiki/Desire_path happytoexplain 1天前 | 上一个 [–] 类比通常很糟糕,但这个真的令人印象深刻。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## LLMfit:为你的硬件找到合适的LLM LLMfit是一个终端工具,旨在帮助你发现能在你的系统上*良好运行*的大型语言模型(LLM)。它会分析你的硬件(内存、CPU、GPU),并根据质量、速度、适配性和上下文能力对数百个模型进行评分。 **主要特性:** * **硬件检测:** 自动识别你的系统规格。可以通过`--memory`手动覆盖。 * **模型评分:** 综合考虑性能和资源需求,对模型进行排名。 * **运行时支持:** 集成Ollama、llama.cpp和MLX,方便模型管理和下载。 * **多GPU和MoE支持:** 处理多GPU设置,并高效管理具有混合专家架构的模型。 * **动态量化:** 选择最佳量化级别,在硬件限制内实现最佳性能。 * **交互式TUI和CLI:** 提供用户友好的终端界面和命令行界面,方便脚本编写。 * **规划模式:** 估算特定模型配置的硬件需求。 **安装:** 提供适用于macOS、Linux和Windows(通过Cargo)的简单脚本。 LLMfit非常适合希望在本地运行LLM,无需猜测,确保兼容性并最大限度地利用现有硬件的用户。它还包含一个OpenClaw技能,用于基于代理的推荐和配置。

人工智能聊天机器人正在占据美国应用商店的主导地位,Anthropic的Claude目前排名第一——仅在两个月前还位居第42名,这是一个显著的飞跃。OpenAI的ChatGPT和Google的Gemini紧随其后,分别位列第二和第三。 Claude人气飙升并非由于新功能,而是源于最近与美国政府的公开争端。在特朗普总统的批评以及战争部将其列为国家安全风险(原因是担心自主武器和国内监控)之后,Anthropic公开捍卫了自己的原则。 该公司表示,反对使用当前人工智能模型开发自主武器,担心对军方人员和平民都构成危险,并认为大规模监控侵犯了基本权利。尽管存在争议,或者说正是因为争议,Anthropic在iPhone用户中的应用下载量正在增加,并获得了大量的公众关注。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 [重复] Claude 在 App Store 排名第一,用户支持 Anthropic (9to5mac.com) 104 分 doctoboggan 1 天前 | 隐藏 | 过去 | 收藏 | 2 条评论 帮助 dang 1 天前 | 下一个 [–] 评论已移动至 https://news.ycombinator.com/item?id=47202032。回复 ArchieScrivener 1 天前 | 上一个 | 下一个 [–] 那些 100% 总是机器人。 假装有多少 iPhone 机器人农场只是为了社交媒体。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

神经放大器建模 (NAM) 正在扩展到桌面之外,应用于嵌入式系统,如吉他效果器和单板计算机。为了准备下一代架构 (A2),开发者研究了在资源受限硬件上运行 NAM 的挑战,使用了 Electrosmith Daisy Seed 平台。 初步测试显示出显著的性能问题——处理 2 秒的音频需要超过 5 秒。核心问题是模型大小、低效的线性代数(使用 Eigen)以及在没有操作系统的情况下难以加载标准的 NAM 文件 (.nam)。 为了解决这些问题,他们针对 NAM 使用的小矩阵大小优化了 Eigen,开发了一种紧凑的二进制模型格式 (.namb) 以方便加载(通过配套应用程序转换),并利用了更小的模型变体 (A1-nano) 以及 ReLU 激活函数。 这些改进将处理时间减少到大约 1.5 秒,为额外的效果留出了空间。这次实践经验直接影响了 A2 的设计,特别是他们的“可瘦身 NAM”方法,允许模型适应不同的硬件能力。该项目的全部源代码正在公开发布。

## 微控制器上的神经放大器建模 一位开发者成功地在微小的Daisy Seed微控制器(Arm Cortex-M7)上实时运行了神经放大器建模(NAM)——一种使用小型神经网络来逼真模拟吉他放大器和效果的技术。这涉及大量的优化,包括手动编写的矩阵数学内核。 NAM通过在真实放大器和效果的输入/输出数据上训练神经网络来工作,从而实现超越传统模拟(甚至像Kemper这样的高端选项)的声音和*感觉*质量。TONE300.com提供免费的模型训练和庞大的社区创建模型库。 虽然更大的模型需要更强大的处理器(如Raspberry Pi 4/5),但这些“Pico”NAM模型展示了在极其小型嵌入式硬件上运行复杂音频效果的潜力——可能彻底改变吉他效果器设计和虚拟效果器板。一个相关的项目,Pipe Pedal,旨在创建一个用于管理这些虚拟效果的用户界面。

## SynapsCAD:AI驱动的3D建模 SynapsCAD 是一款桌面应用程序,结合了 OpenSCAD 代码编辑器、实时 3D 视口和集成的 AI 助手。用户编写 OpenSCAD 代码创建 3D 模型,立即可视化,然后利用自然语言修改设计——甚至可以直接与 3D 视图交互来指导更改。 目前 SynapsCAD 仍处于早期原型阶段,支持 Linux、macOS 和 Windows。它完全使用 Rust 构建,并利用 Anthropic、OpenAI 和 Gemini 等 AI 提供商(或通过 Ollama 使用本地模型进行离线使用,需要云服务的 API 密钥)。 该应用程序具有用于编码和 AI 聊天的侧边栏,并采用响应式系统,后台任务(如编译和 AI 请求)不会冻结视口。主要功能包括网格拾取、Blender 风格的相机控制以及 3MF、STL 和 OBJ 格式的导出选项。 欢迎提交错误报告,因为该项目正在积极开发中。

## SynapsCAD:基于AI的3D建模,使用OpenSCAD SynapsCAD是一个新的开源桌面应用程序,使用Rust构建,结合了OpenSCAD代码编辑器、实时3D视口和AI助手。用户可以编写OpenSCAD代码,将其编译为3D网格,并利用LLM(如OpenAI、Claude或Gemini)使用自然语言修改代码。 虽然前景可期,但该项目仍处于早期原型阶段,OpenSCAD解析器支持存在局限性。讨论集中在使用LLM进行几何推理的挑战,以及需要超越基于网格的CAD(如OpenSCAD)转向兼容BREP格式以供专业使用。 许多评论者分享了LLM难以处理空间关系的经验,并建议使用build123d和CadQuery等工具作为替代方案。 开发者欢迎反馈、架构评论和错误报告,特别是关于OpenSCAD兼容性的问题。该项目利用Bevy和egui进行UI/渲染,并使用Tokio进行异步AI调用。

## Git-Memento:Git 的 AI 会话跟踪 Git-Memento 是一个 Git 扩展,旨在记录并附加 AI 编码会话到提交。它将 AI 对话的清理后的 Markdown 表示形式存储为 Git 提交上的 Git 注释,提供有价值的溯源信息。 **主要特性:** * **会话记录:** 捕获编码过程中的 AI 交互(目前支持 Codex 和 Claude)。 * **Git 集成:** 使用标准的 Git 工作流程(`git commit`,`git amend`)并将数据存储在 Git 注释中。 * **配置:** 每个仓库初始化一次(`git memento init`),设置存储在 `.git/config` 中。 * **共享与同步:** 启用与远程仓库共享注释(`git memento share-notes`,`git memento push`,`git memento notes-sync`)。 * **注释管理:** 支持在重写时携带注释(`git memento notes-rewrite-setup`,`git memento notes-carry`)。 * **审计:** 允许审计注释覆盖范围并验证元数据(`git memento audit`,`git memento doctor`)。 * **安装:** 通过安装脚本、针对各种平台的 NativeAOT 构建以及作为 GitHub Action 用于 CI 集成(评论和门控)提供。 Git-Memento 通过保留每个提交背后的上下文,增强了代码理解和协作。它通过环境变量和 Git 配置进行配置,确保灵活性和可扩展性。

## Timber:快速、原生推理,用于传统机器学习 Timber 是一种用于编译和部署传统机器学习模型(XGBoost、LightGBM、scikit-learn、CatBoost、ONNX)到优化的原生 C 二进制文件的工具。 这消除了推理期间的 Python 运行时开销,实现了**微秒级延迟**——比基于 Python 的部署**快高达 336 倍**。 它采用类似于 Ollama 的简单工作流程:使用一条命令加载模型,并通过本地 HTTP API 提供服务。 Timber 非常适合需要速度、可预测性和可移植性的应用,例如欺诈检测、边缘/物联网部署和受监管行业。 主要特性包括:推理路径中无 Python 依赖项、小型工件尺寸(~48KB 示例)以及对各种模型格式的支持。 基准测试表明,与 Python 和其他运行时(如 ONNX Runtime 和 Treelite)相比,性能提升显著。 Timber 是开源的(Apache-2.0),并包含示例和技术论文以供进一步研究。

## Timber: Ollama 般的简单易用,加速传统机器学习 一个名为 Timber 的新项目旨在加速“传统”机器学习模型,其性能比 Python 实现快高达 336 倍。它专为对延迟敏感的应用而设计,在特征提取完成后,推理速度至关重要。Timber 抽象了底层实现,类似于 Ollama 简化 LLM 访问的方式。 其核心思想是将模型编译成高度优化的 C 代码,避免 Python 运行时的开销。虽然承认数据预处理通常是机器学习流程中的瓶颈,但 Timber 专注于优化最终的模型调用本身。它支持编译掉 sklearn 缩放器以进行简单的预处理。 讨论强调了将 Timber 与 LLM 结合用于特征提取的潜力,从而创建一个强大的混合方法。开发者解决了对使用 C 的担忧,解释说生成的代码侧重于计算,并最大程度地降低了内存安全风险。该项目源于对特定边缘和产品部署中速度的需求。

请启用 JavaScript 并禁用任何广告拦截器。

## 尼安德特人DNA与现代人类:摘要 一篇最近的《纽约时报》文章引发了Hacker News上关于现代人类中尼安德特人DNA不对称性的讨论——存在于常染色体DNA中,但不存在于线粒体(母系)和Y染色体(父系)DNA中。 提出了几种理论。一种认为智人和尼安德特人之间的吸引力不同,可能智人男性更喜欢尼安德特人女性。但评论员警告不要轻易编造故事和幸存者偏差。另一种解释指向哈尔丹法则,即物种间杂交体通常表现出生育问题,具体来说,智人-尼安德特人配对的女儿可能是唯一具有生育能力的后代。 讨论还涉及尼安德特人灭绝可能与近亲繁殖导致的遗传多样性降低有关,而不仅仅是智人的优势。一些有争议的评论推测存在非自愿的互动,而另一些则强调了将现代概念如“强奸”应用于史前社会以及将史前叙事用于为种族主义辩护的历史滥用。 最后,用户分享了绕过付费墙以访问原始文章的资源。

## 空间探索日益严重的数据瓶颈 航空航天工业正经历一场“有效载荷革命”,现代卫星产生前所未有的数据量——仅有的几次任务数据量就可能在几年内超过美国宇航局的整个地球观测目录。这种激增源于先进的传感器(如高分辨率雷达和高光谱成像)、更严格的监管要求、任务复杂性、更长的航天器寿命以及不断增长的商业需求,但我们的数据回传能力却未能跟上。 传统的通信方式(S和X波段)正努力应对,造成了一个显著的瓶颈,限制了任务的有效性。虽然Ka波段和光通信(激光链路)等解决方案具有前景,但广泛采用面临基础设施、成本以及大气干扰等技术障碍。 目前,优化现有系统至关重要。这包括利用人工智能进行在轨数据压缩、优先传输数据、创建自适应分辨率产品以及在多个地面站之间采用更智能的调度。弥合数据生成与交付之间的差距是释放这些强大任务的全部潜力的关键,并防止宝贵的数据在轨道上丢失。最终,智能优化和对新技术的投资对于未来的成功至关重要。

## 下一代航天器与通信挑战 - Hacker News 摘要 一篇最近的文章讨论了下一代航天器通信挑战,在 Hacker News 上引发了争论。核心问题是这些航天器产生的数据量巨大,以及当前传输方法的局限性。 许多评论者质疑文章的准确性,认为它读起来像 LLM 的草稿,存在不准确和过时信息。具体而言,他们指出文章夸大了补给任务的说法,并且遗漏了关于 SpaceX 激光通信进展的细节(Dragon 直播、计划中的光学系统)。 讨论集中在潜在的解决方案上:低轨道中继、激光通信(避免大气干扰),甚至通过可重复使用的航天器物理运输数据。一些人认为,庞大的数据量表明数据密集型设计存在根本缺陷,而另一些人则认为激光链路是不可避免的解决方案。 一个反复出现的主题是对“太空数据中心”的怀疑,一些人认为这是一种规避法规的策略,而不是一个实际的解决方案。 还有人指出,这些项目有可能被国防公司收购。

更多

联系我们 contact @ memedata.com