编程分布式系统——即多台计算机必须相互通信以完成某项任务——向来极其困难。开发人员经常被手动通信、复杂的漏洞以及令人头疼的测试所困扰。
**Choral** 是一种全新的编程语言，旨在通过让您将系统的“全局视图”编写为一个统一的协议来解决这一问题。您无需分别管理各个部分，而是直接定义各个角色（如 Alice 和 Bob）应如何进行交互。
以下是它成为游戏规则改变者的原因：
* **编译器承担重任：** 您只需编写一次编排逻辑。Choral 编译器会自动为每个参与者生成独立的、完全兼容的 Java 库。
* **安全性保障：** 它能在编译阶段防止分布式系统中常见的错误，例如死锁或通信不匹配。
* **易于集成：** Choral 的外观和行为与 Java 类似。您可以利用现有的 Java 库，并将生成的代码无缝嵌入到当前项目中。
* **简洁性：** 它将分布式协调的噩梦转化为简单的顺序式编程。
尽管目前仍处于研究阶段，但 Choral 已经可供那些希望以更高信心、更少代码量来编写分布式系统的开发人员使用。
每日HackerNews RSS
抱歉。
回收 3.5 英寸软盘： 我们接受任何数量的软盘。如果您寄送超过 200 张软盘，我们将提供少量运费补贴。 请将软盘寄至： Floppydisk Recycle Program 668 North Coast HWY #1117 Laguna Beach, CA 92651 如需获得运费返还，请随附我们的报销申请表。报销规则详见表格。
这篇 Hacker News 帖子探讨了 3.5 英寸软盘在怀旧与实用层面的意义。用户们深情地回忆起重新发现几十年前代码时的“考古”乐趣，以及软盘机械滑块带来的触感满足。
技术趣闻中提到了拨号上网时代的巧妙构思，例如“ringknock”实用程序——这是一种巧妙的变通方法，用于远程触发家用电脑拨号连接 ISP 并发送其动态 IP 地址。讨论还涉及了现代的应用场景，例如音乐家在软盘上发布单曲，以及业余爱好者将其用于实体艺术创作。
该帖子的核心是网站 floppydisk.com，该网站通过对旧软盘进行测试、重新格式化并转售，而不是将其拆解回收，从而延续了这一介质的生命。尽管一些用户质疑物理介质的长期生存能力和可靠性，但许多参与者认为软盘仍然是标志性的遗存。社区的共识是，“重复利用”是一种极具价值的保护形式，它提供了一种与计算历史的有形联系，而现代 U 盘（通常被认为不如软盘耐用或缺乏美感）可能永远无法复刻这种体验。
Antirez/h3.c：适用于 Mac 电脑的 MiniMax H3 推理引擎 H3-metal – Native MiniMax-H3 inference for Apple Silicon
2 天前
该项目为 Apple Silicon (M3/M5 Max) 提供了 MiniMax-H3 模型的原生高性能推理实现。它通过一系列渐进式、经优化的垂直切片构建，重点强调了 Metal 性能和内存效率。 **主要功能与工作流程：** * **交互式会话：** `h3` 命令行工具支持交互式会话（省略 `-p` 参数），提示词预处理和视频解码器保留在内存中，以便快速迭代。 * **条件设置：** 支持通过简单的命令行标志（如 `!ref-image`、`!first`）进行首/尾帧锚定以及有序的图像/视频/音频参考 (Ref2VA)。 * **性能优化：** 针对不同的速度/质量需求提供了激进的预设选项，包括： * **层精简：** `--layers` 参数可减少活跃的 Transformer 模块。 * **去噪重用：** `--reuse` 和 `--core-reuse` 可外推中间过渡帧。 * **Token 缩减：** `--token-reduction` 通过配对水平 Token 来优化处理过程。 * **硬件加速：** M5 Max 用户可利用原生 INT8 量化和 Metal TensorOps，在极小质量损失的情况下实现显著提速。 * **诊断：** `--profile` 标志可提供关于耗时、内存使用量和调度计数的详细分析，`--show` 则支持在终端预览画面。 该系统旨在实现本地、高效的视频合成，在保真度与 Apple Silicon 硬件性能之间取得了平衡。
这篇 Hacker News 帖子讨论了由 Salvatore Sanfilippo (antirez) 开发的 `H3-metal` 项目，该项目实现了 MiniMax-H3 模型在 Apple Silicon 芯片上的原生推理。
社区对此反应积极，许多用户称赞该模型质量出众，甚至优于 Veo 等私有模型。该实现旨在优化 macOS 上的性能，利用统一内存运行 33B 参数模型，这大约需要 40GB 内存。
技术讨论重点在于苹果统一内存架构与专用 NVIDIA 硬件之间的性能差距。尽管使用 M 系列芯片运行该模型的用户表示生成短视频片段需要一到数小时不等，但他们指出，新的 `H3-metal` 实现相比之前的方法在速度上有显著提升。参与者还探讨了提示词工程、在不同 Mac 配置（如 64GB 或 96GB 内存）上运行该模型的可行性，以及关于扩散模型与大语言模型硬件限制的争论。尽管对生成速度和硬件要求存在一些顾虑，但该发布仍被视为本地开源视频生成领域的一项颠覆性进展。
作者回顾了无密码身份验证的演变，并将现代通行密钥（Passkeys）与史蒂夫·吉布森（Steve Gibson）十多年前推出的 SQRL（安全、快速、可靠的登录）协议进行了对比。 早在 2013 年，作者就是 SQRL 的早期采用者，他意识到利用公钥加密技术取代共享密码是安全领域的未来。尽管作者和他在 Wirehive 的团队曾进行过实验性部署，但 SQRL 却难以实现主流化。其主要障碍在于协调性：它缺乏浏览器、操作系统和大型科技平台所需的广泛支持，难以推动行业变革。 如今，通行密钥在 SQRL 未能成功的地方取得了成功，这在很大程度上是因为苹果、谷歌和微软等行业巨头将该技术集成到了人们现有的工具中。虽然两者之间没有直接联系，但作者认为通行密钥是“成熟后的 SQRL”。归根结底，这篇文章是对那些往往先于其实际市场成功出现的远见卓识的致敬。它强调，虽然时机和平台集成是实现广泛采用的关键，但像吉布森这样的早期先驱者理应获得认可，因为他们在行业准备好实施之前就早已发现了解决方案。
抱歉。
请启用 JavaScript 并关闭所有广告拦截器
抱歉。
### CHICKEN Scheme 6.0.0 版本摘要 CHICKEN Scheme 6.0.0 标志着一次重大的架构转型，重点在于实现完整的 **R7RS（小型语言）兼容性** 以及内部机制的现代化。 **主要变更：** * **核心兼容性：** 所有 R7RS 库模块现已整合至核心中。 * **编码与数据：** 系统内部全面使用 **UTF-8** 编码处理字符串。`(chicken blob)` 模块已被兼容 R7RS 的 `(chicken bytevector)` 字节向量操作所取代。 * **模块重组：** 许多原语已从 `(chicken base)` 移至标准的 `(scheme ...)` 模块中。若干旧版模块（如 `r4rs`、`srfi-*`）已被重命名或移除，以支持标准的 R7RS 等效模块。 * **FFI 与进程：** 外国函数接口（FFI）性能得到提升，现在可以直接传递字符串和符号而无需复制。进程管理经过全面重构；`process-*` 过程现在返回进程对象，而非进程 ID (PID)。 * **编译器与工具：** 新增的编译器选项（如 `-merge-reusable-closures` 等）提升了内存效率。构建系统现在依赖标准的 `configure` 脚本，Windows 支持已转向基于 POSIX 的工具链（例如 w64devkit）。 * **维护工作：** 进行了大量细微的 API 改进，包括更严格的符号打印、改进的路径处理，以及移除了已过时的旧版过程。
Chicken Scheme 6.0 的发布在 Lisp 社区中引发了广泛讨论。这一重大更新引入了对 R7RS 的全面支持、原生 UTF-8 字符串处理以及对外部函数接口（FFI）的改进，同时用 bytevector 替换了原有的 blob。
Chicken Scheme 是一个将 Scheme 源文件转换为 C 语言的编译器，允许开发者生成可移植的独立可执行文件。其名为“eggs”的生态系统，连同其生成小型、快速二进制文件以及提供实用堆栈跟踪的能力，常被视为其受欢迎的主要原因。6.0 版本还特别提到了对“Crunch”的支持，这是一个针对 Scheme 静态类型子集的编译器。
尽管爱好者们称赞 Chicken 具备“开箱即用”的体验、扎实的文档以及在生产软件中的实用性，但此次讨论也引发了关于 Scheme 生态系统长久以来的争议。一些用户对 Scheme 实现的碎片化表示不满，指出相较于 Common Lisp 更统一的库环境，对各种 SRFI（Scheme 实现请求）的依赖使得跨平台兼容性变得更加复杂。尽管存在这些顾虑，6.0 版本仍被广泛认为是该语言一个重要且期待已久的里程碑。
宏是 Common Lisp 的一项强大功能，允许程序员通过在编译时生成新代码来创建自定义抽象。与在运行时运行并处理数据的函数不同，宏在“宏展开阶段”发挥作用，在程序编译前直接操作源代码结构。 编写高效宏通常遵循三个步骤： 1. **建模**：写出一个宏调用的示例，以及你期望它生成的代码。 2. **实现**：使用反引号（backquote）语法创建一个 `defmacro` 作为展开模板，并利用解构参数列表来轻松解析输入。 3. **修复泄露**：确保宏不会“泄露”实现细节。这包括避免对同一表达式进行多次求值，并通过使用 `gensym`（生成唯一的、未驻留的符号）来防止变量名冲突。 归根结底，宏允许创建特定领域的语法，从而有效地扩展语言，使复杂模式的表达更加简洁。通过遵循“最小惊讶原则”，程序员可以构建健壮、可重用的抽象，使其行为可预测并能无缝集成到语言中。
抱歉。
一项“Effort”调查显示，五个受外国资助的非政府组织（包括 5Rights、数字仇恨打击中心（CCDH）和战略对话研究所（ISD））正协同开展一场旨在影响美国立法的行动。这些组织正积极在全美21个州和国会推动数字身份证及“儿童安全”法案，旨在复刻英国已实施的相关政策。
该报告强调，人们担心这些组织正在引入一套被英国政府用于监视和压制政治异见的监管模式。批评者认为，这些剥夺互联网匿名性并可能取缔VPN的框架，与威权政权的手段如出一辙。
调查记录了这些实体在遵守《外国代理人登记法》（FARA）方面存在的重大问题，包括未披露受外国领导层控制及游说活动的情况。值得注意的是，像ISD这样的组织已获得数百万美元的政府资助，用于监控和影响在线言论，常将政治异见与“虚假信息”混为一谈。报告最后警告称，通过采纳这些由外国设计的立法蓝图，美国正面临引入一套能够使政府主导的国内政治言论审查合法化并为其提供便利的基础设施的风险。
对不起。
排列#1FX★R'2D3D15001k5k排列#1FX★R'2D3D15001k5k超翻转棋盘格11.1×10¹⁹2.2×10¹⁹3.2×10¹⁹4.3×10¹⁹
这篇 Hacker News 帖子讨论了用户“Alen123”的一个项目，该项目允许用户滚动浏览魔方所有 43,252,003,274,489,856,000（约 43 百京）种可能的状态。
讨论很快延伸至几个不同的方向：
* **技术与哲学辩论：** 用户们就数字资产和 NFT 的“内在价值”本质展开了争论，一些人将庞大的魔方状态数与国际象棋或大规模数据排列等其他复杂系统进行了比较。
* **游戏与博彩：** 一位用户分享了关于设计一款基于魔方的赌场游戏的轶事，引发了关于技能型博彩、赌场优势以及“无法获胜”游戏的道德问题的讨论。
* **幽默的离题：** 评论区充斥着关于该数字庞大规模的笑话，用户们讽刺地提议将其作为一种“财富”指标、潜在的密码生成器或是一种“末日滚动”练习。
* **魔方文化：** 其他人则讨论了复原魔方的难度、背诵公式与编程中算法思维的区别，以及与该玩具相关的个人回忆。
总而言之，这篇帖子就像一个病毒式的“数字游乐场”，既突显了数学大数字令人敬畏的一面，也展现了科技社区异想天开的一面。
马克·吐温对佩奇排字机（一种极其复杂的排版机器）的痴迷，是创新史上一个引以为戒的故事。出于对一种能够模拟人类认知的设备的憧憬，吐温将自己的财富倾注在詹姆斯·W·佩奇的发明上，坚信它将彻底改变印刷业。
最终，这台机器失败了。尽管它拥有超过 18,000 个零件，但由于过于脆弱且成本高昂，无法与莱诺铸排机（Linotype）竞争。莱诺铸排机的成功在于重新设计了印刷流程，而非仅仅模仿人类劳动。这个项目导致了吐温的破产，也成为现代人工智能所面临挑战的历史先兆。
这个故事为技术发展提供了三条持久的教训：
1. **基于现实进行设计：** 技术必须具备可维修性和稳健性，而不仅仅是理论上的完美。
2. **普及需要时间：** 创新者往往高估了社会接纳复杂、颠覆性工具的速度。
3. **重新设计，而非简单复制：** 真正具有变革性的发明是重新思考任务的本质，而非仅仅将现有的相关人类动作自动化。
尽管吐温失去了财富，但他具有远见卓识，意识到自动化终将重新定义人类劳动与交流的未来。
这篇文章探讨了马克·吐温的经济破产，原因是他沉迷于投资佩奇排字机（Paige Compositor）——一台旨在实现排字自动化的复杂机器。尽管这一“机械奇迹”的失败是一次重大挫折，但评论者认为，马克·吐温一生中真正的毁灭性打击来自个人悲剧的累积，包括他的女儿苏西和妻子的相继离世。
讨论强调了关于技术发展的核心教训：
* **工程与复杂性：** 莱诺铸排机（Linotype）通过工业创新简化了印刷流程从而获得成功，而佩奇排字机则因过度设计及试图完美模拟人类手工劳动而失败。
* **创新神话：** 印刷机及类似发明的历史表明，成功往往并非源于单一的“顿悟”时刻，而是源于对无数细节的精益求精。
* **现代启示：** 评论者将此与当今的人工智能热潮进行对比，指出历史往往有惊人的“相似之处”——投资者经常押注于复杂且被过度吹捧的技术，却忽视了切实可行且节省劳力的解决方案。最终，该讨论强调了“现实扭曲”的危险性，以及在任何投资中把握时机、追求简洁和风险分散的重要性。