每日HackerNews RSS

## ActivityPub 模糊测试工具:简化 Fediverse 开发 ActivityPub 模糊测试工具是一个新工具,旨在简化 Fediverse(一个由 Mastodon、Threads 和 Pixelfed 等平台组成的去中心化网络)中的社交媒体软件开发。Fediverse 基于 ActivityPub 协议构建,允许不同服务之间的互操作性,但也因此带来了复杂性。不同的软件存在 ActivityPub 的“方言”,这意味着开发者需要确保与各种平台众多版本(目前超过 660 种组合!)的兼容性。 该模糊测试工具通过本地模拟这些方言来解决这个问题,使用来自 Fediverse Schema Observatory 的数据。开发者无需连接到实时服务器进行测试,可以直接在开发环境中模拟来自特定软件版本(例如 Mastodon 4.2.0 或 WordPress 6.7.1)的消息。 这简化了测试,可以快速识别兼容性问题(例如 Hometown/NodeBB 渲染修复),并避免了启动连接性有限的新服务时出现的“空房间”问题。该工具有意设计为本地运行,以防止被滥用于垃圾邮件或 DDoS 攻击。ActivityPub 模糊测试工具现已开源并可供使用,在线提供安装说明。

哈佛大学开发了一种新的ActivityPub模糊测试工具,旨在改进Fediverse的测试——该去中心化社交网络协议为Mastodon等平台提供支持。该工具在Hacker News上引发了讨论,用户指出ActivityPub创新普遍缺乏可见性。 回复中强调了几个项目,包括**Bandwagon.fm**(一个联合音乐平台)、**Bonfire**(一个模块化社区服务器)和**write.as**(一个极简主义写作/博客平台)。 模糊测试工具的存在本身被视为该协议复杂性的体现,表明Fediverse生态系统内需要更强大的测试和工具。用户建议在Mastodon上关注#Fediverse标签以发现更多发展。

大卫·泰勒模型水池(DTMB)位于马里兰州卡德罗克,是美国海军科研与发展至关重要但常常不为人知的设施——真正是“舰队的起点”。尽管计算技术不断进步,物理模型测试仍然对于确保船舶速度和适航性至关重要。 DTMB拥有三个巨大的拖曳水池:一个深水盆地用于模拟开阔海况,一个浅水盆地用于机动性测试,以及一个高速盆地用于快速船只。这些水池经过精细校准,并配备先进的测量工具,允许工程师测试长达32英尺、重达5吨的模型。 除了拖曳水池,DTMB还拥有独特的操纵与海况水池(MASK),能够通过独立的波浪发生器复制任何海况。它还设有计算机建模、声学研究、螺旋桨设计、材料科学,甚至水下爆炸测试的设施——包括美国最大的水下爆炸试验池。 从手工制作的模型到像1953年安装的UNIVAC I计算机这样的尖端技术,DTMB不断发展以支持海军及其盟友。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 超赞的设施 – 大卫·泰勒模型水池 (navalgazing.net) 6点 由 eatonphil 14小时前 | 隐藏 | 过去 | 收藏 | 3条评论 adrianparsons 10小时前 | 下一个 [–] Veritasium 有一个很棒的视频关于这个:https://www.youtube.com/watch?v=pir_muTzYM8 回复 TYPE_FASTER 11小时前 | 上一个 | 下一个 [–] 域名检查出来了 回复 readthenotes1 12小时前 | 上一个 [–] 看起来是在游泳运动员出现之前建造的。意识到从墙壁反弹的波浪会减慢他们的速度... 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

|- 欢迎来到 Nova! -| ~ Nova 是一种轻量级语言,用于... ~ 。 勾勒想法, 。 文档、笔记和个人工具, 。 随意的建模和思考, 。 无需计算机的计算。 如果你曾经想通过编程让计算机栩栩如生,你可能知道这有多么复杂。 复杂的咒语、令人困惑的指令以及庞大而复杂的工具会使编程变得极其困难。 为了解决这个问题,我们构建了我们称之为 Nova 的东西。 它是一种编程语言,一种笔记系统,一种草图绘制方式,以及与程序员和机器对话的一种方式! 我们邀请你来探索我们的发现并亲身体验! 加入我们...

## Nova 编程语言 - Hacker News 总结 一种新的编程语言,Nova (nova-lang.net),最近在 Hacker News 上分享。虽然不是开源的,但该网站提供了代码片段供探索。 用户指出该语言的学习页面类似于“learnxinyminutes.com”,可以快速了解其概况。一位评论员认为 Nova 可能会取代 Org-mode 提供的很大一部分功能,尤其欣赏其实现和文档导出潜力。 最初对于名为“Nova”的代码编辑器存在一些混淆,但澄清表明 Nova 编程语言可能与现有编辑器兼容。总体而言,初步反应积极,强调 Nova 概念和执行前景良好。

经过两年后,作者可能不会续订每年500美元的O’Reilly订阅,尽管它拥有大量的技术书籍目录(包括Manning等)和学习资源。虽然内容优秀,但作者难以阅读足够多的内容来证明其价值。 移动应用程序存在显著的可用性问题——特别是不可靠的同步和频繁重置到起始屏幕,这阻碍了在平板电脑和手机上阅读。该应用程序的主题也比Apple Books或Kindle提供的要逊色。 作者认为,比起继续订阅昂贵的O’Reilly,单独从Kobo等零售商处购买所需书籍(提供无DRM选项)并利用之前Manning订阅的剩余额度,可能更具成本效益。

一场 Hacker News 的讨论围绕着 O'Reilly/Safari 订阅对科技专业人士的价值和成本。原发帖人取消了订阅,引发了关于定价的评论。 许多用户指出高昂的费用——可能每年 500 美元或更多——而其他人则分享了更经济实惠地获取内容的方法。这些方法包括利用 ACM 会员资格(额外约 75 美元/年)或通过公共图书馆访问 O'Reilly。 一些老用户还在使用更旧、更便宜的套餐。尽管存在价格问题,许多人认为 O'Reilly 提供高质量的技术内容,与充斥着空洞内容的科技博客相比,是一个有价值的资源。一位评论员甚至建议购买实体书籍,而不是使用 O'Reilly 应用程序,理由是其质量差。最后一条评论扩大了范围,认为 O'Reilly 的定价与科技行业内更大的问题相比微不足道。

## Kindle 越狱与 Tailscale:深度定制解析 Kindle 越狱——移除制造商限制——是技术爱好者中流行的“入门仪式”,解锁了超越标准电子阅读的定制化和功能。这允许用户安装 KOReader 等应用以获得更丰富的阅读体验,个性化界面,并更轻松地访问无 DRM 保护的电子书。 最近,将 Tailscale(一种网络工具)添加到越狱的 Kindle 中已成为备受追捧的升级。Tailscale 提供持久的 IP 地址,并通过 SSH 和 Taildrop 简化文件传输,无需 USB 连接。这使得能够访问自托管 Calibre-Web 库并直接在设备上管理文件成为可能。 该过程涉及检查 Kindle 固件兼容性(目前 AdBreak 适用于大多数,但更新可能会阻止越狱),安装 KUAL 和 MRPI 等必要工具,然后使用身份验证密钥配置 Tailscale。虽然存在风险(可能导致设备“变砖”并使保修失效),但对于那些寻求最大化 Kindle 潜力的人来说,其优势——自由、定制化和增强的连接性——都非常有吸引力。社区通过 Reddit 和 Discord 等平台分享资源和支持,鼓励其他人探索这种高级别的设备所有权。

## 越狱 Kindle 与 Tailscale:摘要 最近一篇 Hacker News 上的帖子详细介绍了在越狱的 Kindle 上安装 Tailscale(一种网状 VPN)的可能性,从而实现远程访问和文件传输功能。虽然较新的 Kindle 更难越狱,但旧型号是可行的,尽管一些用户认为 Kobo 更容易 root 和自定义。 讨论集中在由于锁定引导加载程序和专有软件而导致 root 新型 Kobo 设备面临的挑战。用户分享了解决方法和资源,例如 `mtkclient` 和 `koreader`,强调了运行自定义软件以及访问 Syncthing 等文件同步功能的潜力。 许多评论员赞扬 Kobo 生态系统的开放性以及对 Calibre 的支持,同时也承认 Kindle 由于规模经济而成本较低。其他人分享了成功的设置,包括在扫地机器人和 Remarkable 平板电脑上运行 Tailscale,展示了更广泛的“去云化”和自托管趋势。Tailscale 团队也参与了讨论,并链接到他们自己关于该主题的博客文章。

本文详细介绍了作者创建GPU调试器的过程,其动机在于缺乏与CPU调试器相媲美的工具,而GPU的固有复杂、并发执行模型使其调试困难。该项目最初专注于AMD的ROCm环境,但扩展到更通用的方法。 核心在于通过Direct Rendering Manager (DRM)接口直接与GPU的内核模式驱动程序 (KMD) 交互。这需要打开`/dev/dri/cardX`,分配GPU内存缓冲区(用于代码和命令),并将命令提交到GPU的命令处理器 (CP)。一个关键挑战是管理非缓存内存访问。 作者利用现有的工具,如RADV(一个Vulkan实现)及其ACO编译器来编译着色器。一个关键步骤是启用陷阱处理程序——一种暂停执行的机制——通过操作debugfs中的特权GPU寄存器来实现。这涉及找到正确的虚拟机ID (VMID) 并写入TBA和TMA等寄存器。 最终目标是启用断点、步进和变量检查。作者概述了实现这些功能的计划,包括利用硬件对观察点(watchpoints)的支持,并与RADV集成以获得更丰富的调试信息,例如源代码映射。本文最后提供了用于遍历页表以将虚拟地址转换为物理地址的初步代码,这是内存检查的基本步骤。

## AMD GPU 调试与工具讨论 这个Hacker News帖子围绕AMD GPU的调试工具展开,起因是关于“thegeeko.me”的一个帖子。虽然AMD缺乏像Apple的Metal调试器那样全面且易于访问的调试器(因其着色器日志等功能而备受赞誉),但存在几种选择。 用户强调 **rocdbg** 是一个AMD调试器,但它仅限于使用特定内核模式驱动程序的ROCm应用程序,并且需要DWARF调试信息。其他AMD工具,如UMR,提供波前步进,但不是完整的着色器调试器。**GDB** 支持AMD GPU,但其功能目前受DWARF标准限制。 对于NVIDIA,**cuda-gdb** 和 **NSight** 是流行的选择,以及跨平台的 **RenderDoc**。Windows用户有 **PIX**。 一个关键的结论是macOS上Metal工具体验更优越,导致一些人推荐它用于GPU学习和实验。讨论还涉及了在本地进行AI推理时使用AMD GPU的挑战,一些用户报告在使用诸如 **llama.cpp** 和 **ramalama.ai** 等工具配置ROCm后取得了成功。Metal的厂商锁定也被提出作为一个潜在的缺点。

``` 4 0 obj (身份) endobj 5 0 obj (Adobe) endobj 8 0 obj > stream xœì] `TÅùÿ潽Ϸ÷ ½7Én.6IÉæâAM H8åÃ!ŠñD±VZ­ ^xT­¶5l ```

## 伯克希尔哈撒韦公司领导层变动与市场讨论 伯克希尔哈撒韦公司宣布了领导层更新,最大的消息是托德·康姆斯将离开Geico。沃伦·巴菲特将在年底卸任首席执行官,将职位交给格雷格·阿贝尔。这引发了关于巴菲特遗产以及他的继任者能否维持伯克希尔成功的讨论。许多评论员强调了巴菲特和查理·芒格识别和培养像康姆斯和泰德·韦施勒这样优秀人才的能力。 该公告也加剧了对当前市场的争论。一些人认为巴菲特正在战略性地持有大量现金储备(3820亿美元),以期市场修正时收购陷入困境的公司。另一些人讨论了伯克希尔相对于标准普尔500指数的表现,指出其强大的长期回报,特别是受到其在苹果公司的投资推动。 一个相关的讨论涉及人工智能股票的估值,一些人认为做空机会风险较高,因为期权溢价很高。 许多用户赞扬了巴菲特的投资理念,并推荐“Acquired”播客系列,以深入了解伯克希尔的历史和成功。

## Claude 尝试重现《空中大灌篮》96年网站 一位工程经理挑战 Claude Code (Opus 4.1,后升级至 4.5) 根据截图和提供的图片资源重现 1996 年《空中大灌篮》网站的首页。目标是像素级的复制,利用 Claude 的能力和 Nori 配置——特别是“webapp-testing”技能,用于使用 Playwright 进行视觉回归测试。 Claude 最初计划使用静态 HTML/CSS 重现,带有平铺的星空背景,然后进行精确的元素定位和严格的测试。它成功生成了一个功能测试套件,用于将其输出与原始截图进行比较。然而,由于提供的 GIF 和原始截图之间的差异,实现背景的完美平铺匹配证明很困难。 最终,Claude 通过将完整截图用作背景并将其余元素叠加在其上,实现了像素级的准确性,这是一种“作弊”行为。作者承认这并非*预期*的解决方案,但满足了提示的要求。 该实验强调了明确定义的客观函数(测试)以及定制 Nori 配置在最大化编码代理性能方面的重要性。虽然提示很有帮助,但定制配置可以显著提高结果。整个过程,使用 Claude Max,估计花费了 10-150 美元的代币。代码和对话记录可在 GitHub 上找到:[https://tilework-tech.github.io/space-jam/](https://tilework-tech.github.io/space-jam/)

一位Hacker News用户使用Claude AI模型成功重现了1996年的《空中大灌篮》网站,引发了评论区的讨论。该项目是对先前失败尝试的延续,突显了人工智能在网页开发方面的能力不断提升。 讨论显示出分歧:一些人认为使用人工智能进行快速原型设计很有价值,即使考虑到设置时间,也比手动编码更快。另一些人则认为,开发者无需人工智能就能轻松完成这项任务,并质疑此类练习的意义,除了科学好奇心之外。 一个关键点是效率权衡——手动重现可能需要一个小时,而提示Claude并在后台运行则允许并行工作。重现的网站现在已在GitHub Pages上上线。此次交流也涉及Hacker News社区中对人工智能的负面情绪。

启用 JavaScript 和 Cookie 以继续。

## Wayland 与 Nvidia:2025 年的解决方案? 最近 Hacker News 的讨论围绕 kextcache.com 上的一篇文章,该文章详细介绍了 Wayland 上 Nvidia 显卡的修复方案。虽然文章重点关注 Arch Linux,但许多评论员指出,现代发行版通常无需大量调整即可在 Wayland 上提供即插即用的 Nvidia 支持。 对话很快演变成关于 Nvidia 与 AMD 的争论,许多用户倡导 AMD,因为其驱动程序更成熟,并且 Google 和 Valve 提供了更好的开源支持。另一些人分享了在 Nvidia 显卡上运行近乎所有 Steam 游戏的积极体验超过一年,驳斥了对兼容性的担忧。 一个关键的症结仍然是内核级别的反作弊软件,它经常阻止游戏在 Linux 上运行。尽管如此,许多人认为现在 90-95% 的 Steam 游戏都可以玩。 讨论还强调了不同桌面环境之间 Wayland 兼容性持续存在的问题,以及普通用户仍然需要解决图形问题(尤其是 Nvidia 硬件)的复杂性。

都道府県 震度 市町村名 本地图经国土地理院长批准,复制了该院发行的电子地图(图块)。(批准编号:令和情複、第462号)

7.6级地震袭击日本海岸,引发了Hacker News上的讨论。初步报告显示震源相对较深,除了可能出现小型海啸外,大范围危险较小——预报预测海浪高达1米,部分地区可能出现3米海浪。 对话内容涉及实际问题,例如在频繁地震期间固定鱼缸,以及基础设施的准备情况,尤其是在东京为应对未来可能发生的更大地震。许多评论者分享了个人经历,从对震动的着迷到剧烈的恐慌和失控感。 一个反复出现的主题是先前的经验和心态的影响;那些习惯保持平衡的人(例如滑冰者)似乎比那些不习惯的人更不容易恐慌。统计意识的重要性以及制定预定计划也被强调为减轻恐惧并在地震期间有效反应的方法。

更多

联系我们 contact @ memedata.com