这段代码演示了如何使用 `foldkit` 测试状态驱动型应用，主要包含两种测试模式： 1. **`Story`（单元/逻辑测试）：** 侧重于状态机。它验证特定事件是否触发了正确的模型转换和副作用（命令），从而确保业务逻辑在隔离状态下符合预期。 2. **`Scene`（集成/UI 测试）：** 模拟视图中的用户交互。它验证端到端的流程（例如输入邮政编码并点击按钮），同时确认 UI 是否正确更新以反映加载状态和渲染后的天气数据。 这些抽象概念共同提供了一个强大的框架，用于测试内部模型逻辑和外部用户体验。
每日HackerNews RSS
Hacker News 上的一场讨论重点介绍了 **foldkit.dev**。这是一个基于 Effect 构建的新型前端框架，其灵感源自 Elm 的架构，旨在将代码正确性置于首位。
尽管有用户质疑该项目缺乏实际应用经验，但讨论随后转向了 AI 代理时代下的软件开发未来。参与者认为，随着“代理编程”（agentic coding）的成熟，手动编码的传统负担将随之减轻。因此，重点应转向使用那些能从根本上减少错误的框架——正如 Rust 在安全性上优于 C++ 那样。
即便某个框架对人类编写者而言显得“冗长”或复杂，但如果是由 AI 代理来处理实现，这些特质就变得不再重要了。共识认为，优先考虑严格正确性和安全性的工具，正是编程未来的正确发展方向。
504 网关超时 服务器响应超时。
最近的一场 Hacker News 讨论引起了人们对《植物大战僵尸》非官方 PlayStation 2 移植版的关注。用户们称赞了该项目，并指出开发者那份充满真实感的“草稿笔记”风格 README 文档，与现代人工智能生成的内容相比令人耳目一新。
讨论还涉及了有关 PopCap Games 的技术趣闻。评论者指出，该公司的内部引擎“SexyAppFramework”是开源的，并且其组件以“Sexy”为前缀（例如 `SexyString`）而闻名。这一命名惯例源于公司最初的名字“Sexy Action Cool”。此外，用户们还简要回顾了该游戏早期的官方网页版本，并对未来 JavaScript 移植版的可行性表示了好奇。
为了提高可读性，作者在网站的文本和代码片段中实现了一套防止尴尬换行的系统。虽然作者此前在正文中使用了不换行空格，但发现浏览器经常会在连字符处拆分行内代码（例如正则表达式标志），从而造成视觉上的困扰。 为了避免用不换行字符替换连字符（这会破坏复制粘贴功能），作者开发了一种更简洁的解决方案。他们编写了一个脚本，识别包含空格或连字符且长度在 15 个字符以内的 `<code>` 元素，并自动为其应用 `nowrap` CSS 类。这确保了简短的技术术语在所有屏幕尺寸下都能保持完整。通过使用 `text-wrap: nowrap` 属性，作者增加了一种细微但有效的排版改进，使他们的技术文档更易于阅读。
这篇 Hacker News 讨论的主题是一篇关于如何防止 `<code>` 元素自动换行的文章。评论区主要围绕使用正则表达式解析 HTML 是否恰当展开了辩论。
虽然多位用户重申了编程界关于“正则表达式不适合解析 HTML”的经典名言，但也有人认为在特定情境下——尤其是开发者能够控制文档结构时——它依然是一种可行但并不完美的“最后手段”。一些参与者提出了更稳健的替代方案，例如使用专门的解析库（如 BeautifulSoup）或专用工具（如 `hxpipe`）。
讨论还涉及了文章目标的实际实现方式。评论者质疑作者为什么不在生成 HTML 时直接应用不换行样式或类注释，而非试图事后通过程序对代码进行处理。正如这类讨论中常见的，话题最后以对臭名昭著的“Zalgo”文本解析梗的幽默引用作为结语。
印度网络犯罪协调中心（I4C）已下令微软旗下的 GitHub 删除“Bitchat”——一款基于蓝牙的去中心化即时通讯应用程序。应用开发者及前推特首席执行官杰克·多尔西（Jack Dorsey）在 X 上分享了这份通知，并指出印度政府正试图封杀该技术。 I4C 认为，Bitchat 构成了重大的国家安全风险，因为它允许绕过移动网络和互联网连接进行匿名点对点通信。由于该应用无需中央服务器、用户注册或数据记录，执法部门无法对其进行合法的监控、溯源和调查。 此前，在简塔·曼塔天文台（Jantar Mantar）的抗议者利用此类工具在政府实施互联网封锁期间保持联系，这引发了当局的担忧。I4C 指出，该应用的设计使得反国家分子、恐怖组织和犯罪集团能够逃避侦查、协调非法活动并规避法律限制。因此，政府认定该应用违反了《信息技术法》的多项条款，声称其助长了损害印度主权、安全和公共秩序的活动。
印度政府已下令 GitHub 移除基于蓝牙的通讯应用“Bitchat”。官方援引国家安全为由，称该应用在网络受限时仍能运行的功能可能被犯罪和恐怖组织利用，以规避执法部门的监管。
此举在 Hacker News 上引发了激烈讨论。批评者认为这是审查行为，将其比作其他国家采取的限制性“防火长城”手段。一些评论者指出，政府此举反而起到了意外的宣传作用，另一些人则强调了印度近期向美国平台及域名注册商施压，要求其遵守当地下架令的广泛趋势。
在技术层面，讨论集中在 Meshtastic 和 Reticulum 等网状网络（mesh networking）工具日益重要的问题上。支持者认为，随着政府愈发频繁地试图封锁通信，人们对独立于中心化互联网基础设施、且具备抗审查能力的去中心化通信协议的需求正在增长。截至目前，据报道该应用仍可通过其他渠道访问。
Haiku 社区近期的讨论重点在于 GPU 支持方面的重大进展，特别是在 Nvidia 驱动程序方面。开发者 X512 确认 DisplayPort 支持功能已基本就绪，目前正等待最终发布。用户反馈称已在 Turing 和 Ampere 架构显卡上测试成功，但由于目前缺乏必要的固件包，Lovelace（RTX 50 系列）等较新架构尚不支持。
论坛讨论涵盖了关于帧缓冲格式的技术细节，X512 澄清称，尽管屏幕设置显示为 24 位，但系统实际使用的是 32 位（XRGB）色深。用户们正积极探讨硬件兼容性，并推荐使用 GTX 1660 或 2060 等中端显卡以在 Haiku 上获得最佳性能。
除硬件外，人们对该操作系统在日常使用中的潜力感到兴奋，开发者和爱好者们正致力于解决 HDMI/DisplayPort 音频等小问题。总体而言，社区对这些驱动改进充满信心，认为它们正在使 Haiku 成为一个能力更强、更具实用性的桌面操作系统。
Hacker News 新闻 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
《半条命 2》在 HaikuOS 上原生运行 (haiku-os.org)
39 分，m0do1 发布于 2 小时前 | 隐藏 | 往期 | 收藏 | 2 条评论
帮助
LorenDB 18 分钟前 | 下一条 [–]
看起来这可能是基于 nillerusr 的 Source 引擎，而该引擎又是基于 2020 年泄露的 Source 源码。nillerusr 的引擎也被用于将一些 Valve 游戏移植到安卓平台。回复
yakk0 14 分钟前 | 上一条 [–]
期待看到 Action Retro 在 YouTube 上用这个搞出什么名堂。回复
欢迎申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
在范堡罗国际航空展上，空中客车公司展示了 A321XLR。这款单通道飞机重新定义了远程旅行，旨在弥补窄体机效率与宽体机舒适度之间的差距。A321XLR 拥有 4,700 海里的航程，使小型喷气式飞机执行跨洲飞行成为现实。 该机型的设计通过“空客飞行空间”（Airspace）客舱功能优先考虑乘客的舒适感。尽管机身较窄，但 A321XLR 提供了宽体机标准的体验，包括 18 英寸宽的经济舱座椅、可定制的豪华平躺布局，以及业内最大的垂直行李舱。 空中客车还致力于减少长途飞行带来的身体不适。客舱保持 6,000 英尺的压力高度（与 A350 相当），以减轻疲劳和时差反应。通过模拟自然昼夜节律的可定制 LED 灯光、先进的三区温度控制，以及比旧款单通道机型降低 50% 噪音的卓越声学工程，乘客能获得更精致的感官体验。 通过将紧凑的客舱结构与高端的宽体机设计特色相结合，A321XLR 提供了一种无缝且舒适的跨洋飞行方式，证明了远程旅行无需依赖大型飞机也能感受到奢华。
空客为其A321XLR单通道飞机推出了一系列以乘客舒适度为核心的创新，旨在将宽体客机的便利设施引入小型飞机。主要升级包括：
* **改善客舱环境：** 经济舱座椅宽度达到18英寸，与空客宽体客机标准一致。客舱压力被设定在6,000英尺高度（相当于山地小镇），以减少疲劳、头痛和时差反应。
* **提升客舱氛围：** 先进的LED照明系统可模拟自然日出和日落模式，有助于调节昼夜节律。客舱还配备了三区温度控制系统及可选的加热地板。
* **声学舒适度：** 新的结构技术使发动机噪音相比前几代产品降低了50%。
尽管这些功能在提升乘客体验方面迈出了重要一步，但在Hacker News上的反响褒贬不一。部分用户对升级表示赞赏，但也有人对实际效果持怀疑态度，并指出了一些问题，例如客舱噪音（特别是打鼾声），以及缺乏符合人体工程学的定制功能（如为身材较矮的乘客提供可调节腰部支撑）。另有观点认为，这些偏向豪华的配置可能会导致票价超出普通旅客的承受范围。
现代历史考证学挑战了关于犹太教是西奈山上突发且单一启示的传统观点。相反，证据表明《希伯来圣经》是一部由分层传统组成的复杂汇编，经历了数百年的编辑与整合。 学者们已识别出两条主要的思想脉络：以迦南至高神“埃尔”（El）及其神圣议会为中心的北方传统，以及根植于游牧荒漠之神“雅威”（YHWH）的南方传统。圣经保留了早期这种一神崇拜的痕迹——即雅威最初只是众多神灵之一——直到后来的编辑者将这些形象统一为唯一的上帝。 进一步的分析凸显了显著的埃及影响。摩西和利未祭司等形象展现出了一些特征，如埃及语名字、特定的礼仪习俗和祭司服饰等，这些都暗示了其与埃及新王国时期（尤其是阿马尔奈时期之后）的历史联系。向严格的一神教转变很可能是一个渐进的政治与宗教工程，在公元前7世纪约西亚王的改革期间得到了显著加速。归根结底，《圣经》并非一成不变的整体，而是一个多元化的文库，反映了古代近东地区不断演变的历史、社会张力及文化融合。
这个 Hacker News 讨论帖探讨了以色列一神论的起源以及《创世记》的本质。讨论始于一神论的历史发展，并就其是独立演变而来，还是受阿顿教或琐罗亚斯德教影响而产生进行了辩论。批评者认为，后一种理论往往存在争议，或依赖于对一神论的狭隘定义。
讨论的很大一部分集中在读者阅读《创世记》的体验上。一位用户描述了他们最初对文本的困惑，认为其篇幅短小、叙事缺乏连贯性，且情节显得难以解释。学者及其他参与者解释说，《创世记》最好不要被视为一个单一、统一的故事，而应视为古代神话和传统的汇编，旨在面向已经熟悉更广泛文化背景的受众。
讨论最后强调，古以色列的宗教是一个由当地文化互动所塑造的、动态发展的传统。参与者指出，圣经是亚伯拉罕诸教的基石，而非现代意义上的字面指南，各教派在成文经典与长期神学传统之间寻求平衡。
在本期《Green Squares》节目中，主持人 Tyler 采访了 `libcapstan` 的唯一维护者 Erin Marsh。该库是一个基础协议库，每月下载量高达 8000 万次。尽管它属于关键基础设施，但 Marsh 得到的支持却寥寥无几，这反映了“隐形”互联网维护者岌岌可危的生存现状。 对话凸显了开源维护者与人工智能之间日益紧张的关系。虽然 Marsh 每周会收到大约 80 个由 AI 生成的合并请求，但除了偶尔的有用贡献外，大部分请求要么多余，要么具有破坏性。由于自动化尝试常导致平台封禁，安全验证仍然是一个主要依赖人工的瓶颈。 Marsh 还详细描述了现代开源可持续发展的荒谬之处。她面临着掠夺性行为：厂商在安全补丁发布前就抢先利用这些补丁获利，而“依赖项资助”平台也经常忽视她的项目。此外，申请资助的尝试往往因官僚主义障碍（例如不兼容的会议软件）而受阻；与此同时，“快速”重写和企业分支机构又用废弃或低质量的代码扰乱了整个生态系统。 最终，Marsh 表示她虽然感到疲惫但仍会坚守，并指出该项目已成为互联网架构中“非常难以移除”的一部分。她在节目最后表达了愿望：希望能早日放下工作，去她前任共同维护者的养羊场生活。
抱歉。
在本期《Mag World》节目中，主持人 Saul Pwanson 与嘉宾 Mike 探讨了计算能力的指数级演变，并以内存（RAM）作为衡量“量级”的指标。Saul 回顾了从早期的“Mag 3”级 TRS-80（4KB 内存）到拥有 32GB 内存的现代“Mag 10”级系统的计算发展史，强调了摩尔定律——即晶体管密度翻倍——如何推动了这一持续的进步。 讨论重点强调了从引入早期图形和 CD 音质的“Mag 6”级系统，到如今高带宽流媒体能力的转变。Saul 指出，虽然消费级硬件在即时需求方面已趋于平稳，但工业计算仍在飞速发展，现代数据中心的算力已达到“Mag 17”级别。 本期节目还介绍了由程序员社区 Retreat——Recurse Center 赞助的内容。Saul 和 Mike 反思了软件日益增长的复杂性，并指出现在的现代应用程序已包含数百万行代码。节目最后预告了关于能量量级的未来剧集，并展示了由老式计算机零件组成的“软盘交响乐团”（Floppotron）。
抱歉。
利用 Linux 进程进行高性能网络仿真 (2022) Co-Opting Linux Processes for High-Performance Network Simulation (2022)
15 小时前
请启用 JavaScript 和 Cookie 以继续。
抱歉。