每日HackerNews RSS

## Zirgen:为 RISC Zero 构建算术电路 Zirgen 是一种编译器,用于一种专门的语言——也称为“zirgen”,旨在为 RISC Zero 证明系统创建算术电路。虽然大多数 RISC Zero 开发使用 Rust 和 RISC-V zkVM,但 Zirgen 允许直接与证明系统集成,以优化性能和构建自定义加速器。 目前仍在开发中,Zirgen 使开发者能够构建高度高效的组件,甚至整个虚拟机,这些组件可以通过证明组合集成到 RISC Zero 生态系统中。 未来的开发包括与 Circom 集成,允许验证 Circom 电路见证,并在 zkApp 中实现递归。Zirgen 编译为 Rust、C++ 和递归 VM 谓词,为应用程序开发提供灵活性。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Zirgen: 一种特定领域语言的编译器 (github.com/risc0) 3点 由 0xkato 1小时前 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## 基于文本的浏览器与现代HTML:日益扩大的差距 本文探讨了基于文本的浏览器(如Lynx和w3m)如何处理最新的HTML特性,发现支持严重不足。虽然这些浏览器在处理基本HTML方面表现出色,但较新的交互功能常常无法正确渲染,甚至根本无法渲染。 例如,`<details>` 披露小部件总是以展开状态显示,而`<datalist>` 建议和`<dialog>` 元素则仅仅显示为普通内容,忽略了它们原本的功能。Popover API和`inert` 属性也未得到支持,导致可访问性和交互方面的问题。 作者的主要 frustration 是对`hidden` 属性的持续忽略。与基于CSS的隐藏不同,在HTML中使用`hidden` *应该*可靠地隐藏内容,但基于文本的浏览器会忽略它,破坏了渐进增强技术。 最终,现代Web标准与基于文本的浏览器能力之间的差距正在扩大。虽然这些浏览器仍然可以用于测试基础HTML,但它们无法适应的事实表明,随着Web的发展,它们可能会逐渐失去 relevance。

最近的 Hacker News 讨论集中在文本浏览器在现代网络技术面前的可行性。链接的文章讨论了使用文本浏览器,但评论者普遍认为这是一场注定失败的战斗。 虽然网络在技术上可以支持文本,但持续追求更丰富、更复杂的功能——以及 JavaScript 密集型单页应用程序的普及——使得良好的文本浏览体验越来越不可能。试图简化网站通常会导致功能损坏。 这场讨论凸显了对网络臃肿的沮丧,并建议关注替代协议,如 Gemini,它专为轻量级内容设计,并且已经开始流行,作为比试图将现代网站强行塞入纯文本格式更现实的解决方案。最终,人们普遍认为网络的走向使得支持文本浏览变得不可持续。

布拉格充满了“卡夫卡”,这种现象这位作者本人很可能深恶痛绝。作者住在卡夫卡墓地附近,身处这座城市利用他名字获利的氛围之中——从卡夫卡博物馆和无数咖啡馆,到售价2500美元的“卡夫卡手表”,他观察到了一种普遍的“卡夫卡产业”。这个产业已经爆炸式增长,对他作品的解读现在远远超过了他的原创作品。 这座城市自卡夫卡时代以来已经发生了巨大变化,他所熟知的犹太区大部分已被拆除。他的生活高度局限于当地,受到父亲的影响,并伴随着在不断变化的布拉格中产生的疏离感。尽管有无数的传记、电影(包括最近关于他生活的作品)和分析,但捕捉卡夫卡的本质仍然难以捉摸。 作者指出一个悖论:试图理解卡夫卡生活,例如阿格涅什卡·霍兰的新传记片,不可避免地助长了他很可能鄙视的产业。最终,大量的评论让人感觉像是对一个“由文学构成”的作家的一种象征性惩罚,让人不禁想知道还能说什么,以及任何尝试是否能真正逃脱“卡夫卡学”的阴影。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Kafka Inc (libertiesjournal.com) 4点 由 Caiero 1小时前 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

面向未来的工艺和模块化设计,采用高达75%的再生塑料制成。再生塑料占塑料总重量的百分比。消费后回收基于EPEAT计算机标准、IEEE 1680.1-2018标准中的定义。* 以及易于维护的组件,所有产品均采用100%可持续来源的包装。回收能力可能因您所在地区而异。请参阅您当地的回收计划以获取详细信息。*

惠普发布了EliteBoard G1a,一台内置于键盘内的完整Windows 11电脑。该设备配备了Ryzen AI芯片,面向寻求紧凑型计算解决方案的用户。 Hacker News上的讨论集中在设备的实用性和散热问题上。有人担心Ryzen处理器的功耗需求会导致散热问题,但评论员澄清了拆解显示设备使用了典型的笔记本电脑风扇和散热器。 一些用户对这种形态感到兴奋,设想将其与HUD眼镜和鼠标一起使用,而另一些用户则表示更喜欢减少Microsoft/Copilot集成,并质疑目标受众。有人幽默地预测,未来的二手店可能会充斥着这些被丢弃的键盘电脑。

## 美联储面临前所未有的司法部调查 司法部已向美联储主席鲍威尔发出传票,并据报道威胁对其提起刑事指控,起因是其关于美联储大楼25亿美元翻新的证词。这标志着特朗普总统与独立中央银行之间持续冲突的重大升级,特朗普曾多次批评美联储的利率政策。 鲍威尔公开回应称,这种威胁是破坏美联储独立性并试图基于政治压力影响货币政策的借口。这一情况引发了人们对美联储能否摆脱政治干预而运作的担忧,可能动摇金融市场并影响借贷成本。 特朗普声称自己事先不知情。然而,此举加上试图罢免美联储理事的尝试,引发了人们对司法部诚信和美联储未来独立性的担忧。分析师预测,由于这一消息,股市周一可能出现下跌。该事件甚至受到了部分共和党人的批评,他们正在质疑调查背后的动机。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 鲍威尔誓言将坚决抵抗“前所未有”的政府威胁 (pbs.org) 20 分,JumpCrisscross 1小时前 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## 基于意图的版本控制转变 随着人工智能驱动的代码生成技术的进步,软件变更的基本单位正在从代码行转变为代码背后的*原因*。如果代码可以从规范可靠地重现,那么代码本身就成为一种副产品,而不是系统开发的核心记录。这需要版本控制“向上游”移动——专注于保存意图,而不仅仅是代码差异。 传统版本控制跟踪*发生了什么变化*;基于意图的系统必须跟踪*为什么*。这意味着规范成为可执行的输入,而系统的“计划”——包括所选策略和被拒绝的替代方案——成为关键的实现数据。 与文件不同,这种意图最好表示为连接需求、约束、决策和生成代码的内容寻址图。 这并非全新事物——哈希输入等概念存在于构建系统中——但它需要意图和实现之间直接的、机器强制的链接。 虽然形式化规范和捕获所有代理假设仍然存在挑战,但这种方法提供了更强大和可追溯的历史记录,尤其是在代码重新生成的成本下降而重新发现丢失的意图的成本上升的情况下。最终目标是版本化真正重要的事情:系统设计背后的推理。

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Provenance 是新的版本控制 (leaflet.pub) 5 分,来自 gpi 2 小时前 | 隐藏 | 过去的 | 收藏 | 1 条评论 jayd16 5 分钟前 [–] 如果我告诉你一个规范也可以用行数来衡量(并且可以进行源代码控制)呢?回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

版权所有 © 1999-2020 BitBoost Systems。 所有权利保留。 PawSense、CatsOff、BitBoost 和 BitBoost Systems 是 BitBoost 的商标和/或服务标记。 我如何训练我的猫不要踩在电脑键盘上? 我如何让猫远离电脑键盘? 我如何防止猫踩在电脑键盘上? 猫咪打字。 电脑猫灾难。 保护你的电脑免受猫咪破坏,以及保护你的猫咪免受电脑影响。 阻止你的猫咪使电脑崩溃。由猫咪引起的电脑崩溃是可以预防的。 Paw sense 是 PawSense 的拼写错误。但 PawSense 确实能够让你的电脑感知猫爪。 。

Hacker News新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交登录 PawSense: 猫咪防护您的电脑 (bitboost.com) 11 分,作者 zdw 1 小时前 | 隐藏 | 过去 | 收藏 | 3 条评论 hekkle 1 分钟前 | 下一个 [–] 给一星:每当我对着游戏发火时,它都会把我锁出电脑,这让我更加愤怒。回复 grebc 8 分钟前 | 上一个 | 下一个 [–] 太棒了!只需要猫咪来试试了。回复 SanjayMehta 6 分钟前 | 上一个 [–] 在平面上铺铝箔效果很好。在猫咪被训练好避开架子或桌子后,就可以移除铝箔了。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

启用 JavaScript 和 Cookie 以继续。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 用一个printf()调用实现Web服务器 (2014) (tinyhack.com) 4点 由 nateb2022 1小时前 | 隐藏 | 过去 | 收藏 | 1评论 gnabgib 1小时前 [–] 当时的讨论 (181点, 39评论) https://news.ycombinator.com/item?id=7389623 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## 代码代理与安全执行:Codex权限摘要 现代代码代理功能强大,这得益于它们动态生成工具的能力,特别是通过访问完整的bash shell——一种表达力强但潜在危险的功能。在没有安全措施的情况下运行代理会带来重大的安全漏洞,例如未经授权的访问凭证或数据删除。 Codex CLI提供了一种强大的解决方案,通过操作系统级别的沙箱来优先考虑安全执行。它默认采用沙箱环境,具有三种权限模式:只读、自动(有限访问,需要批准外部操作)和完全访问。这利用了macOS Seatbelt和Linux Landlock/seccomp来限制文件系统访问和网络活动。 Codex采用“选择退出沙箱”的方法,将所有命令路由到集中的执行系统。它具有命令白名单功能,在允许潜在的危险命令运行之前要求用户批准,并构建基于会话的信任列表。 该系统设计了调试工具,用于测试沙箱行为。通过利用操作系统原生功能,Codex避免了容器化的开销,同时提供了强大的隔离性,为平衡代理能力与安全性提供了一种实用的方法。随着代码代理变得越来越普遍,这种级别的控制至关重要。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 关于代理沙箱的深度剖析 (pierce.dev) 6点 由 icyfox 1小时前 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

## Turbopuffer 的 BM25 搜索延迟分析 本文详细分析了 BM25 全文搜索的延迟,并将其扩展特性与向量搜索进行了对比。与向量搜索不同,BM25 延迟受查询组成影响很大——令人惊讶的是,*增加*词项有时反而能加快搜索速度。 这项研究在 2 亿文档数据集上,使用 turbopuffer 的 MAXSCORE 算法进行,结果表明延迟并不简单地与查询词项总数相关。相反,*关键*词项的数量(那些显著缩小搜索范围的词项)起着至关重要的作用。包含较少关键词项和更多常见、非关键词项的查询可能会更慢。 扩展测试表明,延迟会随着文档数量的增加而增加,但并非对所有查询都是线性增长。有些查询比其他查询扩展得更有效率。 同样,虽然延迟通常会随着 `top_k`(返回结果的数量)的增加而增加,但查询的*相对*性能可能会发生变化——在低 `top_k` 时快速的查询,在较高值时可能会变慢。 最终,理解这些细微之处是优化 BM25 性能的关键,而 turbopuffer 旨在高效处理大型数据集和高查询负载。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 为什么BM25查询包含更多术语反而更快(以及其他扩展惊喜)(turbopuffer.com) 8点 由 _peregrine_ 2小时前 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

更多

联系我们 contact @ memedata.com