为了规避近期北约土耳其峰会期间伊朗方面可信的暗杀威胁，白宫精心策划了一场“欺敌行动”，以确保唐纳德·特朗普的安全转移。 尽管政府公开宣布——且媒体报道也予以证实——特朗普乘坐一架老式“空军一号”大型喷气式客机离开了安卡拉，但实际上，总统在登机几分钟后就被秘密转移了。安保人员利用一辆机场配餐车，将他悄悄送往一架较小的空军C-32A飞机上。 为了维持骗局，随行的记者被要求在整个飞行过程中关闭舷窗遮光板。这一欺敌手段有效地向媒体及部分白宫工作人员隐瞒了特朗普的真实行踪。C-32A飞机比诱饵飞机提前不久抵达英国，使特朗普得以按计划在原定飞机上从容现身并下机。 白宫并未明确证实该骗局的细节，但强调官员们会动用“一切可用手段”来保护总统免受日益严重的各类安全威胁。此次行动被拿来与2000年为保护比尔·克林顿总统访问巴基斯坦时所使用的类似诱饵飞行进行比较。
每日HackerNews RSS
最近的一场 Hacker News 讨论聚焦于《卫报》的一篇报道，该报道称，为了在伊朗威胁下保持土耳其航行期间的机密性，一位美国总统曾躲在餐车中出行。
这个故事在用户中引发了分歧。一些评论者表示沮丧，认为这一披露是对美国安全标准和机构能力令人尴尬的指控。另一些人则持怀疑态度，质疑其真实性，或认为这种非传统的手段属于特勤局标准但多疑的操作手册的一部分。
该讨论帖还突显了人们对唐纳德·特朗普在另一次诱饵航班上对记者所说“如果我去，你们也去”这句话的困惑。用户们争论这句话是指在安全危机中记者会与他一同丧生，还是仅仅指随行采访。总的来说，参与者对报道的可信度表示怀疑，并对为何会泄露如此敏感的细节感到费解。
编程分布式系统——即多台计算机必须相互通信以完成某项任务——向来极其困难。开发人员经常被手动通信、复杂的漏洞以及令人头疼的测试所困扰。
**Choral** 是一种全新的编程语言，旨在通过让您将系统的“全局视图”编写为一个统一的协议来解决这一问题。您无需分别管理各个部分，而是直接定义各个角色（如 Alice 和 Bob）应如何进行交互。
以下是它成为游戏规则改变者的原因：
* **编译器承担重任：** 您只需编写一次编排逻辑。Choral 编译器会自动为每个参与者生成独立的、完全兼容的 Java 库。
* **安全性保障：** 它能在编译阶段防止分布式系统中常见的错误，例如死锁或通信不匹配。
* **易于集成：** Choral 的外观和行为与 Java 类似。您可以利用现有的 Java 库，并将生成的代码无缝嵌入到当前项目中。
* **简洁性：** 它将分布式协调的噩梦转化为简单的顺序式编程。
尽管目前仍处于研究阶段，但 Choral 已经可供那些希望以更高信心、更少代码量来编写分布式系统的开发人员使用。
Hacker News | 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录
Choral：Java 的编排式编程语言 (choral-lang.org)
6 点，由 dplyukhin 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 | 帮助
dplyukhin 2 小时前 [–]
既然 HN 今天正在探索编排式编程 [1]，我想分享一下我们几年来一直在开发的编译器。欢迎在下方提问，我会尽力回答 :)
[1]: https://news.ycombinator.com/item?id=49209385
回复
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
回收 3.5 英寸软盘： 我们接受任何数量的软盘。如果您寄送超过 200 张软盘，我们将提供少量运费补贴。 请将软盘寄至： Floppydisk Recycle Program 668 North Coast HWY #1117 Laguna Beach, CA 92651 如需获得运费返还，请随附我们的报销申请表。报销规则详见表格。
Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
回收 – 软盘 (floppydisk.com)
17 分，calvinmorrison 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论
帮助
vunderba 1 分钟前 | 下一条 [–]
有多少小孩也曾把 3.5 英寸软盘当成奇怪的枪挥舞，通过拉开金属滑块再让它“啪”地弹回去来模拟“上膛”的声音？
回复
NickNaraghi 4 分钟前 | 上一条 | 下一条 [–]
在我读高中的时候，图书馆里这些软盘只要 5 毛钱一个。能用这种小巧简单的方式在学校电脑之间（以及往返学校）传输论文（还有像素画和其他好玩的东西），真是太令人愉快了。
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
Antirez/h3.c：适用于 Mac 电脑的 MiniMax H3 推理引擎 H3-metal – Native MiniMax-H3 inference for Apple Silicon
4 小时前
该项目为 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 硬件性能之间取得了平衡。
Salvatore Sanfilippo (antirez) 发布了 `h3.c`，这是一个专为 Mac 电脑设计的 MiniMax H3 推理引擎。
Hacker News 上的讨论明确了硬件要求，特别是针对内存容量的疑虑。虽然一些用户起初质疑是否必须配备 128GB 内存，但已证实该模型（330 亿参数模型）的峰值物理内存占用约为 40.1GB。这意味着配置较低的 Apple Silicon Mac 用户（例如拥有 96GB 统一内存的机型）应该能够成功运行该引擎。
讨论帖中还出现了将 Sanfilippo 与传奇工程师 Jeff Dean 进行比较的轻松调侃，凸显了两人在开发者社区中受到的高度推崇。
作者回顾了无密码身份验证的演变，并将现代通行密钥（Passkeys）与史蒂夫·吉布森（Steve Gibson）十多年前推出的 SQRL（安全、快速、可靠的登录）协议进行了对比。 早在 2013 年，作者就是 SQRL 的早期采用者，他意识到利用公钥加密技术取代共享密码是安全领域的未来。尽管作者和他在 Wirehive 的团队曾进行过实验性部署，但 SQRL 却难以实现主流化。其主要障碍在于协调性：它缺乏浏览器、操作系统和大型科技平台所需的广泛支持，难以推动行业变革。 如今，通行密钥在 SQRL 未能成功的地方取得了成功，这在很大程度上是因为苹果、谷歌和微软等行业巨头将该技术集成到了人们现有的工具中。虽然两者之间没有直接联系，但作者认为通行密钥是“成熟后的 SQRL”。归根结底，这篇文章是对那些往往先于其实际市场成功出现的远见卓识的致敬。它强调，虽然时机和平台集成是实现广泛采用的关键，但像吉布森这样的早期先驱者理应获得认可，因为他们在行业准备好实施之前就早已发现了解决方案。
```
Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
SQRL 并没有错，它只是超前了 (sjg.io)
10 分，由 simonjgreen 发布于 2 小时前 | 隐藏 | 往期 | 收藏 | 2 条评论
帮助
kj4ips 31 分钟前 | 下一条 [–]
Discord 和 Steam 的用户登录流程与 SQRL 的目标非常相似，包括在用户名/密码字段旁显示二维码。虽然这是另一个系统的闭源实现，但每次使用时我都会想到 SQRL。我可能有偏见，我曾在 Linux 上使用了多年的 PPP Pam 模块，直到后来转向 TOTP，最终改为仅使用公钥验证。
回复
DANmode 13 分钟前 | 上一条 [–]
呃，这很酷，但与 SQRL 诞生时就已经存在的 FIDO 相比，它显然是“错”的。
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
```
请启用 JavaScript 并关闭所有广告拦截器
《纽约时报》近日一篇关于Flock监控摄像头广泛部署的报道，在Hacker News上引发了热烈讨论。该技术能够对全国范围内的车辆进行持续追踪，这一能力遭到了关注隐私和政府越权问题的用户们的强烈抨击。
评论者对公共空间大规模监控的常态化表达了深切的质疑。讨论主要集中在三个核心担忧上：国家权力滥用的不可避免性（引用了已记录的警员跟踪案例）、软件错误与人为失误的固有风险，以及公民自由的流失。用户们认为，对个人行踪进行持续记录和算法分析，从根本上违背了自由社会的理念。许多参与者认为，该技术的风险远超其所谓的安全益处，并指出，任何忽视这种普遍追踪所带来影响的人，要么是别有用心，要么是未能意识到该技术对隐私产生长期深远影响的严重性。
### 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 改进，包括更严格的符号打印、改进的路径处理，以及移除了已过时的旧版过程。
```Hacker News 新闻 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Chicken Scheme 6.0 (call-cc.org)
18 点，作者：eatonphil，1 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论
帮助
DASD 13 分钟前 | 下一条 [–]
大家可能也会感兴趣的是，6.0 版本支持 Crunch（尽管 Crunch 本身尚未达到 1.0 版本，目前为 0.993），这是一个针对 Scheme R7RS 静态类型子集的编译器。(https://wiki.call-cc.org/eggref/6/crunch) 回复
dvduval 8 分钟前 | 上一条 [–]
我得找个 AI 来分析一下那个页面，告诉我它到底讲了什么。我太懒了，不想读。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：```
宏是 Common Lisp 的一项强大功能，允许程序员通过在编译时生成新代码来创建自定义抽象。与在运行时运行并处理数据的函数不同，宏在“宏展开阶段”发挥作用，在程序编译前直接操作源代码结构。 编写高效宏通常遵循三个步骤： 1. **建模**：写出一个宏调用的示例，以及你期望它生成的代码。 2. **实现**：使用反引号（backquote）语法创建一个 `defmacro` 作为展开模板，并利用解构参数列表来轻松解析输入。 3. **修复泄露**：确保宏不会“泄露”实现细节。这包括避免对同一表达式进行多次求值，并通过使用 `gensym`（生成唯一的、未驻留的符号）来防止变量名冲突。 归根结底，宏允许创建特定领域的语法，从而有效地扩展语言，使复杂模式的表达更加简洁。通过遵循“最小惊讶原则”，程序员可以构建健壮、可重用的抽象，使其行为可预测并能无缝集成到语言中。
Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Mac 的故事：一个自圆其说的故事 (gigamonkeys.com)
3 积分，由 kscarlet 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
一项“Effort”调查显示，五个受外国资助的非政府组织（包括 5Rights、数字仇恨打击中心（CCDH）和战略对话研究所（ISD））正协同开展一场旨在影响美国立法的行动。这些组织正积极在全美21个州和国会推动数字身份证及“儿童安全”法案，旨在复刻英国已实施的相关政策。
该报告强调，人们担心这些组织正在引入一套被英国政府用于监视和压制政治异见的监管模式。批评者认为，这些剥夺互联网匿名性并可能取缔VPN的框架，与威权政权的手段如出一辙。
调查记录了这些实体在遵守《外国代理人登记法》（FARA）方面存在的重大问题，包括未披露受外国领导层控制及游说活动的情况。值得注意的是，像ISD这样的组织已获得数百万美元的政府资助，用于监控和影响在线言论，常将政治异见与“虚假信息”混为一谈。报告最后警告称，通过采纳这些由外国设计的立法蓝图，美国正面临引入一套能够使政府主导的国内政治言论审查合法化并为其提供便利的基础设施的风险。
这场 Hacker News 讨论围绕着文章《英国针对匿名性的战争已蔓延至美国》展开。文中批评了以“保护儿童”为借口，来为数字身份法案及消除网络匿名性辩护的行为。
评论者们大多认为“想想孩子们”的叙事是一种操纵手段，旨在规避对隐私问题的担忧。参与者们指出，此类政策最终是将大规模监控置于真正的保护之上，并指出这些倡议往往忽视了现有的家长控制工具。
这场对话还凸显了对政府监控和企业数据收集的普遍不信任。一些用户指出，媒体曾针对“Flock”安全摄像头进行过协调一致的宣传活动，这暗示了企业利益正在积极对抗公众的抵制。总的来说，社区对那些取消互联网用户匿名性的政策深表怀疑，认为这些政策是对基本自由的威胁，而非解决儿童安全问题的方案。
排列#1FX★R'2D3D15001k5k排列#1FX★R'2D3D15001k5k超翻转棋盘格11.1×10¹⁹2.2×10¹⁹3.2×10¹⁹4.3×10¹⁹
Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
展示 HN：滚动查看魔方全部 43,252,003,274,489,856,000 种状态 (alen.is)
14 分 Alen123 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：