每日HackerNews RSS

CVE-2026-98432 是 Linux 内核 IPv4 TCP 握手过程中的释放后使用漏洞。请求套接字在不复制的情况下将 IP 选项指针转移给子套接字;重传 SYN 路径可能在 RCU 保护下读取它,而另一条路径用 kfree() 释放它,从而导致陈旧读取。修复方式是在相关析构函数中使用 kfree_rcu() 延迟回收。该 CVE 的 CVSS 3.1 评分为 9.8,而 Red Hat 因竞争条件难度和产品上下文评分为 5.9。Anthropic 在受控实验室中演示了针对脆弱 MPTCP 监听器的远程 root 代码执行,但这并不证明普遍可利用。防御者应清点可访问的 Linux TCP 服务,尤其是 MPTCP 监听器,识别实际运行的厂商内核,安装厂商修复版本,重启,并验证运行时内核/来源。禁用 MPTCP 可降低暴露面,但不能修复底层 IPv4 漏洞。请使用厂商公告/反向移植,而非通用上游版本检查。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 CVE-2026-98432:Linux TCP 释放后使用风险与补丁验证 ( penligent.ai ) 6 点 由 cobychapple 1小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 考虑申请 YC Winter 2027 批次!申请开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

ParadeDB 的第二部分聚焦于 COUNT 优化。它按 ctid 划分段,提供不相交的页面范围,并让可见性映射检查跳过整个段;反转 DocId 到 ctid 的映射,以便仅查找需要检查的页面;并为密集 posting list 使用位图,使 p99 延迟减半。在 Wikipedia COUNT 基准测试中,ParadeDB 达到 5353.3 QPS,而 TIN 为 2645.8 QPS,约为 2 倍。除基本计数外,ParadeDB 在 Hacker News 上的过滤计数、过滤后的 BM25 Top K 和按时间排序的 Top K 也表现更好,差异高达 21.7 倍。作者将此归因于 ParadeDB 将文本和元数据一起索引,从而实现协调的过滤和排序,而 TIN 仅索引文本并依赖单独的 B 树。他们警告说基准测试的选择会影响结论,且没有单一基准能证明最快的引擎;用户应测试自己的工作负载。他们还切换到服务器端基准测试以减少网络影响。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 解决 Postgres 的计数问题 (paradedb.com) 5 分 由 philippemnoel 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助 考虑申请 YC 2027 年冬季批次!申请截止 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私 政策与安全 YouTube 如何运作 测试新功能 © 2026 Google LLC

Hacker News 新 | 过去 | 评论 | 问 | 展示 | 工作 | 提交 登录 我台球打得太差,结果进入了双曲平面 [视频] (youtube.com) 15 分 由 surprisetalk 1 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 ChrisbyMe 5 分钟前 [–] 这个整个 YouTube 频道是个宝藏 btw。关于 λ 演算及其他计算概念的精彩视频 https://www.youtube.com/watch?v=RcVA8Nj6HEo 回复 考虑申请 YC 2027 年冬季批次!申请开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Astroterm 是用 C 编写的终端星图,使用 ASCII 渲染显示恒星、行星、星座和月亮的实时位置。用户可以按日期、时间、位置、亮度阈值、颜色、Unicode/盲文字符、星座图等自定义视图。它提供精确的天体渲染、月相和优化的性能。安装选项包括 pacman、Fedora、Homebrew、Nix、Guix,以及 Linux、macOS 和 Windows 的直接下载;用户也可以从源码构建。命令行参数控制纬度、经度、日期时间、阈值、帧率、速度、颜色、网格、宽高比、城市查询和显示模式。示例包括查看历史天空或创建旋转地球效果。故障排除涵盖 curl 重定向和 Unicode 区域设置配置。欢迎贡献和错误报告。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Astroterm:你的终端中的星象馆 (github.com/da-luce) 14 点,由 nvmdbljstm,1小时前 | 隐藏 | 过去 | 收藏 | 1条评论 帮助 nvmdbljstm 1小时前 [–] 无论它是否有用,这种创造性智能的水平令人印象深刻 回复 考虑申请 YC 2027年冬季批次!申请开放至11月2日。 指南 | 常见问题 | 列表 | 接口 | 安全 | 法律 | 申请 YC | 联系 搜索:

2026-10-01 Cuis 参加 Smalltalks 2026。Smalltalks 2026 于 10 月 14 日至 16 日在阿根廷罗萨里奥的 UTN 罗萨里奥地区学院举行,Cuis 将出席:节目中的八场演讲来自 Cuis 社区或展示在 Cuis 中完成的工作。我们希望在那里见到大家! 2026-06-02 七月 Cuis 会议 是什么。这是一个“演示会议”,用于演示然后讨论。Milan Lajtos 将介绍他使用代码代理开发 Blueprint 的经验,Blueprint 是对 Cuis Smalltalk 系统桌面的重新构想。 2026-06-01 Cuis 7.8 发布。Cuis 7.8 稳定版发布!

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 Cuis:现代 Smalltalk-80(cuis.st) 16 分 由 theanonymousone 1 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 sroerick 3 分钟前 [–] 这看起来很酷很美!我看过其他 Smalltalk,感到相当 intimidated。这感觉很酷很友好。 回复 考虑申请 YC 2027 冬季批次!申请开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Lasm 将普通的 Lean 4 程序提前编译为 WebAssembly,因此一个代码库可以变成 Node 服务器、serverless/edge 函数、WASI/Fastly 模块或浏览器应用。作为 Lean,你可以证明已部署代码的性质;旗舰 Conduit(RealWorld 应用)包含 117 个已证明的定理。Lasm 通过 npm 分发,并捆绑 Lean、Lake 和构建工具——只需要 Node(或 Bun/Deno)。支持的目标包括 Node、AWS Lambda、Vercel、Netlify、Azure、GCF、Cloudflare Workers、Vercel/Netlify Edge、Deno Deploy、Supabase、Bun、Deno、Fastly、WASI 和浏览器。JS/npm 互操作通过每个函数一行 `@[js "pkg" "export"]` 声明,没有预置绑定。Lean 框架包括 Lasm.Fetch(HTTP)、Lasm.UI(使用已证明 DOM 差异的 Elm 架构浏览器应用)、Lasm.RPC、Lasm.Web 和 Lasm.KV。运行时,elaboration、`#eval`、`.olean` 加载和 Lean 内核不可用(它们在构建时可用)。它需要精确的 Lean 4.35.0,可在 Linux/macOS/Windows(主要是 x64)上构建,并且运行需要 Node ≥24。采用 MIT 许可。首次构建会下载约 250MB;开发重建约 1–2 秒。基准测试显示 Node(Hono)上约 25k req/s,浏览器传输约 152KB。

Lasm 是一个让开发者在浏览器、Node、无服务器和边缘环境中用 Lean 编写形式化验证 Web 应用的项目。其创作者认为,形式化验证是软件工程的下一步演进,由日益强大的 LLM 推动。Lean 被强调为具有内置形式化验证的通用语言,Lasm 旨在将这一能力带入全栈 Web 开发。该项目主要由 Claude Opus 5.5 在创作者的高层指导下构建。

请启用 JavaScript 和 Cookie 以继续

Hacker News链接到一篇JAMA Network研究,发现全校手机禁令对心理健康没有显著影响。评论者提出后续问题:有人询问成绩,并指出学生仍会在校外使用手机;另一人表示研究常常被挑挑拣拣。第三人批评该研究的冰岛样本(13至15岁)以及未控制药物、补充剂、维生素D、紫外线暴露和抗抑郁药,认为漫长黑暗的冬季对心理健康的影响可能大于手机使用。

此仓库已被所有者于 2026 年 10 月 4 日归档。现已只读。👍 1 人点了赞表情 👎 1 人点了踩表情 😄 1 人点了笑表情 🎉 1 人点了庆祝表情 😕 1 人点了困惑表情 ❤️ 1 人点了爱心表情 🚀 1 人点了火箭表情 👀 1 人点了眼睛表情 当前无法执行该操作。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Pico CSS 不再维护 (github.com/picocss) 16 分 由 henrid 31 分钟前 隐藏 | 过去 | 收藏 | 3 条评论 帮助 steve_adams_86 12 分钟前 下一条 某种意义上有点可惜,但这似乎是正确的决定。我很久没用过 Pico 了,而且我觉得我今天也不会选择它。 回复 Retr0id 11 分钟前 上一条 | 下一条 https://github.com/anyblades/blades 似乎是同精神的延续 回复 u8 2 分钟前 上一条 真是一场悲剧。 回复 考虑申请 YC 2027 年冬季批次!申请截止到 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Herdr 是一个桌面终端与编码代理工作区。它将工作组织为空间、标签页和面板;未命名空间会跟随其首个终端的文件夹。代理会以状态(working、blocked、done、idle)显示在侧栏中,worker 可在 peek 或标签页中打开。关闭窗口时终端仍会在 herdr-core 中运行,而关闭面板或标签页会结束它们;重启或 core 崩溃后,保留的面板会在其最后文件夹中重新打开新 shell。SSH 机器运行远程空间,共享结构和实时终端,并保留每屏焦点与缩放。可通过 Linux、macOS Apple Silicon 和 Windows x64 的平台脚本安装。Herdr 包含命令面板、设置、布局和 JavaScript mods;随附的布局和 mods 会自动更新,而用户副本会保留。更新会下载到运行中应用旁,源码构建不会自动更新。遥测默认开启,可禁用。Mods 是受信任的、非沙盒代码。CLI 命令可检查打开的窗口、状态和可用命令。从源码构建需要 Rust 1.95.0 和 Zig 0.16.0。基准脚本比较绘图性能。

Hacker News 帖子宣布 Herdr 原生应用发布。一位评论者表示他们从 tmux 切换到 Herdr,称赞其编程代理集成和基于 libghostty 的终端模拟;他们推荐 herdr-gpui,这是一个连接到 Herdr 守护进程的 GUI,支持远程手机配对以及浏览器截图/笔记分享。另一位评论者报告 herdr.dev 的 SSL 证书无效。页面还包含 YC 2027 冬季批次的广告。

哎呀! 访问被拒绝:错误代码 bbad9d30a7348992。 返回首页 由 Anubis 保护,来自 Techaro。在 🇨🇦 用 ❤️ 制作。 吉祥物设计:CELPHASE。 本网站运行 Anubis v1.27.0。

Hacker News 新 | 过去 | 评论 | 提问 | 展示 | 职位 | 提交 登录 科马克·麦卡锡的图书馆 (utk.edu) 6 分,由 maitland 发布于 1 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助 dang 56 分钟前 [–] 相关: 科马克·麦卡锡的个人图书馆 - https://news.ycombinator.com/item?id=45444694 - 2025年10月(138条评论) 回复 考虑申请 YC 2027 年冬季批次!申请开放至 11 月 2 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

更多

联系我们 contact @ memedata.com