```$ osewa login --service me@devbox # 安装、注册并作为服务运行 $ osewa attach devbox # 附加到（或创建）会话 $ osewa forward devbox 3000 # 转发 localhost:3000 $ osewa exec devbox -- make test # 运行命令，不使用终端 $ osewa update devbox # 通过 osewa 升级主机```
每日HackerNews RSS
Osewa被描述为SSH和Mosh的开源替代品，发布在Hacker News上，获得12分。链接的GitHub仓库有Claude撰写的提交，引发评论。讨论引发了安全担忧：OpenSSH已有数十年的审计，而Osewa尚无审计，但改进仍受到欢迎。另一位评论者质疑“开源替代品”的说法，因为SSH和Mosh本身已是开源的。其他反馈表示网站在移动端使用起来令人困惑。总体而言，该帖子反映了对一款新远程shell工具的兴趣，以及对其安全成熟度、AI辅助编写和网站可用性的担忧。
订阅 GitHub 事件更新（涵盖 Pull Requests、Git 操作和 Issues）的邮件和/或短信通知。当事件更新时发送邮件通知，而当 GitHub 创建或解决事件时发送短信提醒。对于短信，选择您的国家代码，输入手机号码，并使用 OTP 进行验证。若仅接收邮件更新，跳过短信验证并点击“订阅”。
Hacker News 链接到一起 GitHub 状态事件，影响拉取请求、Git 操作和问题。该帖子有 23 点和 11 条评论。评论者对失败的 SSH 和 Git 操作表示沮丧，包括欧洲工作日中断，有些人最初担心他们的密钥被泄露。其他人讨论私有仓库的替代方案，建议自托管选项如 Gitea Enterprise，并推测 GitHub 无法跟上需求或容量。有些人报告部分功能正常，例如克隆可用而检出不可用。
Milkman 深受 Postman 启发。但我厌倦了所有基于 Electron 的应用，启动时需要很长时间和大量内存。因此我创建了一个基于 JavaFX 的工作台，用于构造请求/响应。它不仅限于例如 HTTP（或更具体地说 REST）请求。由于几乎所有内容都是插件，其他事情也是可能的，比如数据库请求或 gRPC、GraphQL 等。
Hacker News 的讨论帖讨论了 Milkman，一个被呈现为 Postman 替代品的基于 JavaFX 的 API 客户端。创建者表示，他们是在厌倦 Electron 应用后构建它的。评论者争论现代 JavaFX 是否可信，指出 UI 看起来过时，并提到被压扁的移动截图。多名用户要求明确其相对于 Postman 以及 Bruno、Insomnia 等成熟替代品的优势。其他人对被大量推广的工具表示信任担忧，并链接了一篇批评 Bruno 和 Insomnia 的博客文章。作者通过引用与 Postman 相关的问题以及更早的 Hacker News 讨论作出回应。总体而言，该讨论帖反映出褒贬不一的反应：人们对非 Electron 客户端感兴趣，但对其差异化、呈现方式和比较持怀疑态度。
Linux 可以在 RTX Spark 笔记本上双启动并使用 GPU 加速，但原生 Linux 在插电时会严重降速：GPU 时钟锁定在约 780 MHz，而 Windows 上约 2.2 GHz，因为 Windows 专用的 Nvidia Platform Controllers and Framework 管理 CPU/GPU 功率共享，且其加密的固件功率表 Linux 无法读取。在 GPT-OSS-120B 上，Windows 和 WSL 达到约 65 tokens/sec，DGX Spark 约 61，而原生 Linux 仅约 13.9。使用电池时，Linux 性能与 Windows 更接近。内存分配也是障碍：固件默认为 GPU 保留 96 GB，且只能在 Windows 中调整。WSL 目前是实用选项，因为它使用 Windows 的驱动栈，运行 Linux AI 工具时仍保持完整 GPU 加速。完整修复需要 Nvidia 将平台控制器的功耗管理逻辑移植到 Linux。
一篇 Hacker News 帖子链接了一篇关于在 Nvidia RTX Spark 笔记本电脑上双启动 Linux 的文章，报道了 GPU 时钟降频 bug、更慢的推理，以及为什么 WSL 仍然更优。评论者指出标题错误地写成“DGX Spark”，那是另一种默认使用 Linux 的系统，而文章讨论的是 RTX Spark 笔记本。用户还讨论了可能的专有固件、潜在的收入动机或 bug，以及一位 DGX Spark 用户建议为 Linux 逆向工程 Nvidia 的平台控制器/框架组件。总体而言，该讨论围绕标题/产品混淆，以及关于 Linux 支持、降频和专有限制的辩论展开。
杰西卡·赫尔曼认为，关于科学中人工智能的争论被冷战时期的“价值自由理想”所扭曲，该理想将正确性视为真理的唯一衡量标准。虽然人工智能可以验证证明或生成治疗方法，但仅凭验证并不能构成知识。理解、问责和批判之所以重要，是因为它们允许学术共同体质询结果、发现错误，并决定哪些真理值得关注。如果作者无法解释其主张，或者无人能够挑战这些主张，科学就会失去变革性的批判和客观的公共知识。没有社会认可和可问责的主体，可靠性是不够的。即使人工智能变得可问责，人类仍然需要质疑和判断其答案的能力。如果由人工智能驱动的科学要服务于人类利益而非仅仅生成被验证的输出，就必须维持人类的反思、认知主体性与判断力。
黑客新闻
新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交
登录
验证不是知识：科学需要的不只是答案
（cosmos-institute.org）
11 分 由 ersinesen 27 分钟前
| 隐藏 | 过去 | 收藏 | 讨论
帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
Kitty 0.50 Kitty 0.50
5 小时前
此 kitty 版本新增可停靠窗口、注销/重启后会话恢复、类似命名标签页的工作区支持、改进的 Wayland 装饰与触摸屏支持、高级自定义着色器、图形协议功能、Program Status Protocol、自动明/暗主题处理、布局与缩放改进、字体缩放、鼠标滚轮映射、超链接显示选项、快速访问终端增强、会话、命令面板、标签栏、MIME 检测、IME 改进、shell 集成、性能与安全修复，以及终端模拟、窗口/标签页、ssh、kittens、Wayland、Linux、macOS 和 zsh 等方面的众多 bug 修复。
这是关于 Kovid Goyal 开发的终端模拟器 Kitty 0.50 的 Hacker News 讨论。该帖有 40 点和 11 条评论。用户称赞 Kitty 的速度、可定制性、资源效率和活跃开发。提到的功能包括退出登录后恢复/会话恢复和快速访问终端；着色器被提及，但有些人觉得动画光标过于忙碌。与 Ghostty 的比较指出功能类似，但 Kitty 在 macOS 上更大（约 246MB 对比 67MB），且有轻微的调整大小抖动。总体情绪积极，用户称其为可靠的首选终端，尽管维护者偶尔有些尖锐。
AI和科技股在民主党中期选举表现强劲后隔夜下跌，特别是Gina Hinojosa被预测赢得德克萨斯州州长职位。Hinojosa支持暂停AI数据中心建设，引发担忧，因为德克萨斯州承载了美国很大一部分规划中的数据中心容量。纳斯达克100期货和相关ETF下跌，而CoreWeave、Nebius、SpaceX和Oracle等直接AI基础设施相关股票跌幅更大。策略师警告，民主党赢得德克萨斯州可能对AI交易造成重大负面影响，并加剧人们对数据中心支出的现有担忧。
德州选举结果引发数据中心风险担忧，AI股应声下跌。评论者就AI/数据中心建设 backlash 展开争论。一些人认为行业不光彩、不负责任的推广侵蚀了公众信任，监管 likely。另一些人认为反数据中心竞选是针对低信息选民的恐慌营销，政客受说客影响。支持建设的声音表示AI公司在政治上失策，应支持保障社区不缺电不缺水的监管以安抚民众。怀疑者认为反数据中心政纲难以成政策，指出数据中心提供就业少、地方获益少，反对 stance 易成民粹卖点，而许可障碍仍存。帖子凸显了AI数据中心面临的政治与社区阻力及未来监管的不确定性。
民主党在中期选举中因针对特朗普总统的反对浪潮而赢得两院控制权，结束共和党控制，形成分治政府。民主党利用选民对伊朗战争、关税、腐败和生活成本上涨的愤怒，即使在保守州也 decisive 获胜，并似乎将获得大幅普选票优势。他们获得了所需的218个众议院席位，尽管面临不利的席位分布，还赢得了参议院。民主党领导人表示将调查特朗普政府，并推动立法恢复健康补贴和Medicaid资金、降低成本、取消关税并结束与伊朗的战争。特朗普声称他仍拥有否决权，并愿意与他们合作。共和党承认败选；参议院共和党领袖约翰·图恩誓言抵制民主党的优先事项。结果表明，在两年来共和党对特朗普的顺从之后，国会将更加强势。
Hacker News 上的一个帖子链接到了一篇《纽约时报》报道，标题为“中期选举实时更新：民主党夺得国会控制权，选民斥责特朗普”。评论者庆祝民主党大胜，称其为共和党血洗，并在海外表达宽慰。他们讨论了密西西比州参议院竞选基本打平，尽管此前共和党领先很多，并指出选区重划不会影响全州范围的参议院竞选，且在某些众议院选区可能适得其反。一些评论提到特朗普的无能、反科技民粹主义和经济影响，另一些人则开玩笑说没有拿到承诺的 5000 美元支票。总体而言，该帖将此次选举定性为对特朗普和共和党的强力斥责。
这篇文章追溯了 Unix 内存分配的历史。在 V4 中，程序使用简单的线性 `alloc`，对齐大小，用 `sbrk` 扩展堆，从不释放内存，从而避免 NULL 检查。Dennis Ritchie 的 `malloc`/`mfree` 在显式区域（如 `coremap` 和 `swapmap`）上操作，传入映射和大小；这支持了分区和合并。V6 的 `diff` 线性分配器可通过重置指针回滚。V7 引入了 `ALLOC` 宏；V8 有 `new()` 宏和 `tryalloc`，同时也使用更熟悉的 `malloc`/`free`。作者将 C++ 的 `new` 与 Simula 联系起来，尽管 Stroustrup 也承认了 Simula。随着时间推移，Unix 逐渐远离显式区域和规范的分配，可能是因为程序生命周期简单、内存有限、硬件约束以及希望接口更简单；出现了一些如 `galloc` 和 GC 提示的工具。作者认为好的想法被遗失，而 C 的速度需要编译器付出努力。
黑客新闻
新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
丢失的 malloc()（nekoweb.org）
9 分，由 matt_d 发布于 53 分钟前 | 隐藏 | 过去 | 收藏 | 1 条评论
帮助
paaloeye 19 分钟前
[–] 从没见过首页出现 4 分的故事。
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
将单队单场比赛得分建模为 NB(μ=4.3, r=3.4)。对于14场独立比赛，总得分服从 NB(μ=60.2, r=47.6)，利用 n 个 NB(μ,r) 变量之和为 NB(nμ, nr) 的恒等式。这得到总得分的90%预测区间为42–80跑，比35–87的基准更窄，反映更细致的建模和更低的噪声。
黑客新闻
最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
世界棒球经典赛得分 (entropicthoughts.com)
4 分，由 ibobev，1 小时前 | 隐藏 | 过去 | 收藏 | 讨论
帮助 | 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：