Rust 团队正提议引入新的自动特征（auto-traits）——`Move`、`Destruct` 和 `Forget`，旨在使内存操作显式化，并允许类型选择退出目前通用的默认假设。 过去，Rust 假设所有类型都可以被移动和遗忘（通过 `mem::forget`）。该提议遵循 `Sized` 层级的先例，旨在放宽这些假设： * **`!Move`（不可移动性）：** 通过将不可移动性定义为类型属性而非位置属性，团队旨在用一套更简单、更稳健的系统来取代 `Pin`，以处理自引用类型（例如 Linux 内核中所使用的类型）。 * **`!Forget`（保证析构）：** 允许类型选择退出“可被遗忘”的特性，从而确保必须执行析构函数。这可以实现诸如“作用域生成（scoped spawn）”等安全模式，即任务句柄的析构函数可确保在父作用域退出前任务已完成合并。 该项目涉及编译器实现、RFC 开发以及在 Linux 内核中的验证。最终目标是提供一种比 `Pin` 更简洁的替代方案，并有可能弃用 `Pin`。这将支持构建更复杂的数据结构和更安全的异步模式，而无需在语言层面长期支持 `Pin` 的工程化方案。

Òrbites：连线益智游戏 连接圆球，使每一颗球都拥有正确数量的连线。游玩不同难度的共享挑战。 如何游玩 Òrbites · 每日挑战

2017年，作者从土耳其移居汉堡实习。这段经历打破了“德国人冷漠或不友好”的常见刻板印象，他反而发现了一种植根于信任、包容和社会责任感的文化。从提供支持的室友，到层级扁平、员工受到真诚尊重的职场环境，他融入德国社会的过程非常顺利。 他将这种顺利的融入归因于有利的环境——例如在国际化的科技公司工作——以及他个人对德国“规则导向”生活方式的认同。他并不将这些标准视为限制，而是视为简化日常生活并促进公平的可靠机制。 在德国生活的八年间，作者观察到这是一个勇于正视历史、重视社会民主的社会。在经历了严格的入籍流程后，他最近拿到了德国护照。作者最终总结道，他的旅程并非被迫同化，而是找到了一个与自身价值观相契合的家园。如今，作为一名正式公民，他已开始践行“非常德国”的传统：在为社会做贡献的同时，也积极地对需要改进之处提出抱怨。

Livelymerge (LM) 项目探索了一个大胆的概念：构建一个实时系统，使整个堆（对象、类和方法）成为一个 Automerge 文档。虽然这实现了无缝的多用户协作，但也带来了一个重大挑战：Automerge 虽然能确保状态收敛，却无法保证所得状态符合应用程序的逻辑不变性。 作者以链表的并发修改为例，展示了 Automerge 对指针写入的“盲目”重放如何导致结构损坏，例如产生循环或链表截断。由于 Automerge 记录的是底层属性写入而非高层编程意图，它无法从本质上保护复杂的数据结构。 团队认为，未来的方向在于“合并感知型数据类型”（merge-aware datatypes）。通过将对原始指针操作的合并转向对语义操作的合并（例如，使用“在之后插入”而非“设置 next 指针”），系统可以在构建时强制执行不变性。尽管他们承认目前尚无完美的解决方案，但他们指出了在可交换操作和像 Coln 这样的基于约束的数据库系统领域中，存在一些有前景的研究。目前，该团队在继续攻克这一架构挑战的同时，主要依赖严谨的编程和 Automerge 的内置类型来维护系统完整性。

作者告诫人们，不要养成将人工智能生成的回答原封不动地粘贴到工作和个人对话中的习惯。把自己当作大语言模型的“肉身代理”几乎毫无价值，往往只会迫使接收者去处理那些冗长、充斥术语或可能不准确的文本。 相反，作者主张采取一种更负责任的做法：将人工智能作为起草工具，但要花时间阅读、验证并用自己的话总结信息。这样做能确保你真正理解内容，并增加一层必要的人类洞察力。在代码审查等背景下，盲目依赖人工智能的输出会将智力负担完全转嫁给审查者，使开发者变成被动的传声筒，而非积极的贡献者。为了保持价值，人类的参与必须包含批判性思维，而不是简单的转述。

arXivLabs 是一个允许合作者直接在我们的网站上开发和共享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都认同并接受我们关于开放、社区、卓越和用户数据隐私的价值观。arXiv 致力于秉持这些价值观，且仅与遵守这些价值观的合作伙伴合作。如果您有能为 arXiv 社区增值的项目想法，请了解更多关于 arXivLabs 的信息。

在这项分析中，安德鲁·科里布科（Andrew Korybko）探讨了唐纳德·特朗普与沙特阿拉伯之间矛盾的关系。尽管特朗普近期公开羞辱了王储穆罕默德·本·萨勒曼，并咄咄逼人地要求利雅得承认以色列，但美国在很大程度上仍然依赖沙特。 科里布科指出了沙特阿拉伯对美国霸权重要性的五个战略支柱： 1. **外交影响力**：作为美国在穆斯林世界推进利益的渠道。 2. **经济投资**：提供巨额资本注入，包括向美国经济和科技领域承诺的6000亿美元投资。 3. **国防支出**：作为全球最大的美国军火买家。 4. **安全架构**：作为推进美国利益的新兴“伊斯兰北约”的核心支柱。 5. **货币稳定**：维护石油美元地位，从而防止“石油人民币”的崛起。 虽然科里布科指出，沙特拥有破坏这些支柱的筹码——例如通过调整其外交政策或脱离美元体系——但他认为，沙特可能缺乏挑战现状的政治意愿。尽管如此，这些结构性的相互依赖确保了美沙关系发生根本性转变的可能性，始终是全球政治中的一个恒定因素。

```# 使用签名捕获/约束根段 get -> 'product', UUIDv4 $id { content 'application/json', get-product($id); } # 捕获根段并提供静态内容 get -> 'css', *@path { static 'assets/css', @path; } # 从查询字符串获取内容 get -> 'search', :$term! { content 'application/json', do-search($term); }```

LocalAI 开发了 18 个自定义 C/C++ 推理引擎，主要目的是为了避免 Python/PyTorch 依赖带来的臃肿和复杂性。通过将庞大的 Python 环境替换为自包含、轻量级的二进制文件（通常小于 100 MiB），LocalAI 在保持与 vLLM 和 ONNX 等行业标准框架近乎完美输出一致性的同时，显著减少了内存占用并缩短了安装时间。 开发过程优先考虑准确性而非原始速度：引擎的构建首先是将权重转换为 GGUF 格式，针对参考张量执行严格的组件级测试，仅在验证输出一致性后才进行优化。虽然这些移植版通过消除解释器开销和冗余计算，在 CPU 上往往优于 Python 等效版本，但在 GPU 上仍与 cuDNN 等成熟内核保持同等性能。 LocalAI 仅在 Python 依赖受限或不存在 C++ 实现的特殊用例中才使用这些自定义移植版。对于像 `llama.cpp` 或 `vLLM` 这样快速迭代的项目，团队仍会继续使用现有的封装。最终，这种方法提供了一个可预测、可移植且高效的推理栈，同时兼顾了生产部署所需的可靠性。

前苹果工程师托比·博德曼（Toby Boardman）提起诉讼，指控公司因他提出隐私顾虑而于2024年6月将其非法解雇。博德曼声称，他发现苹果在未经客户许可的情况下，向AT&T共享了包括序列号和IMEI数据在内的敏感客户标识符。 诉状显示，博德曼曾多次向其主管梅格·费舍尔（Meg Fisher）反映这些未经授权的数据传输问题，但据称费舍尔对此不予理会，并要求他“别再找麻烦”。在博德曼拒绝执行这些违规请求后，他受到了内部压力。在因焦虑症和强迫症休了一个月病假后，博德曼本以为会参加关于工作调整的会议，不料却被解雇。苹果公司则将解雇原因归结为绩效问题。 尽管该诉讼指控苹果存在非法处理数据及打击报复行为，且定于2027年11月进行陪审团审判，但目前尚无法院对这些指控予以证实。苹果已正式否认相关指控，坚称解雇是出于合理的商业考量。目前，公司内部政策文件及争议数据传输的相关证据尚未公开。

1945年8月，广岛和长崎遭受原子弹轰炸，第二次世界大战随之结束。这一举动最初受到大多数美国人的欢呼，但经历过第一次世界大战战壕生活的J.R.R.托尔金，却对核武器的研发感到极度恐惧。 托尔金曾公开批评那些制造了如此毁灭性武器的“疯子物理学家”，并将人类对绝对权力的追求称为“巴别塔式的建设”——即人类偏执地将聪明才智置于道德智慧之上的危险倾向。他认为，将如此灾难性的力量赋予一个道德水平正在衰落的社会，本质上是自取灭亡。 虽然《指环王》并非核弹的直接寓言，但托尔金通过至尊魔戒反映了这些忧虑。魔戒是一件具有极强腐蚀性的武器，即使是最崇高的人物也拒绝使用它。对托尔金而言，核时代最重要的教训是：技术进步已远远超过了道德发展。他警告说，人类面临的最大危险并非缺乏科学知识，而是狂妄自大——即自认为能够安全地控制那些凡人根本无法驾驭的力量。归根结底，托尔金提倡人们应保持谦卑，意识到有些力量是永远不该被掌控的。

有些想法值得多花点时间。手写能让我们慢下来。这是一个进行深度思考的地方，没有算法推送，每个博客都有 RSS，没有点赞。只有你亲自撰写的页面，如实发布。看看页面吧。或许，互联网可以多一点人情味。在 handwritten.blog 开始你的手写博客。

过去十年间，中国海警局已从传统的执法机构转变为北京实施“灰色地带”战略的关键工具。目前，中国海警拥有约680艘舰船，经常在南海、东海及台湾周边海域强制执行中国的主张。 通过以民事力量而非海军力量进行运作，中国海警使北京能够通过水炮、阻拦机动和咄咄逼人的巡逻等强制手段来宣示控制权，同时最大限度地降低直接军事升级的风险。这一转变得到了体制改革的支撑：中国海警现隶属于中央军委，并拥有在捍卫主张海权时使用武力的法律授权。 随着中国海警的行动日益强硬——频繁与菲律宾舰船对峙并增加在台湾附近的巡逻——它已实质上成为中国军事战备的核心组成部分。对此，周边国家正不断扩大自身的海上能力，导致地区紧张局势加剧，海上环境愈发动荡。

美国卫生与公众服务部部长小罗伯特·F·肯尼迪在最近一次《国情咨文》节目中与CNN主持人达娜·巴什发生了激烈交锋。尽管肯尼迪应巴什的要求，呼吁家长为子女接种麻疹疫苗，但访谈很快演变成了一场关于公共卫生、媒体诚信和新冠疫情的激烈辩论。 巴什就肯尼迪过去对安东尼·福奇博士等政府官员的批评提出质疑，并询问他在助长疫苗犹豫情绪中所扮演的角色。肯尼迪则反驳称，新冠时期的封锁政策才是对国家造成损害的罪魁祸首，他指责福奇在疫情管理上存在失职，并在口罩、病毒传播和自然免疫等问题上撒谎。 此次访谈的一个核心争论点在于媒体的作用。肯尼迪指责巴什打着“相信专家”的幌子，盲目重复政府的叙事。他认为，记者的职责应当是揭示真相，而非复述官方口径。肯尼迪最终将这场访谈定性为对新闻界的控诉，称媒体要求公众无条件服从官僚机构的指导，并坚称他的关注点始终在于科学，而非盲从。

每年9月9日是国际数独日，旨在纪念这一全球现象的演变。尽管其渊源可追溯至18世纪的“拉丁方阵”，但现代数独游戏于1979年以“数字位”（Number Place）之名问世，推测由美国建筑师霍华德·加恩斯（Howard Garns）所创。 1984年，日本出版商Nikoli将其命名为“数独”（意为“数字必须为单个”），这一游戏由此获得了标志性的身份。Nikoli通过增加对称性和限制初始数字数量，规范了这一挑战；而他们决定不在海外对该名称注册商标，也助推了数独的国际化推广。 2004年，韦恩·古尔德（Wayne Gould）将每日数独引入伦敦的《泰晤士报》，引发了该游戏的全球热潮。数独规则简单且不受语言限制，使其能够跨越国界，成为数百万人的日常习惯。自2006年首届世界数独锦标赛举办以来，这一爱好已发展出多种变体，但其核心魅力始终如一：这是一种纯粹的逻辑演练，每一步推理都基于证明而非猜测。如今，数独已成为一种共享的、通用的演绎语言，持续吸引着全世界的玩家。

ssh.place：通过 SSH 进行 r/place 创作 一个画布。每个人都通过 SSH 在上面绘画。无需账户，无需安装 · 200×60 格 · 每 15 秒可放置一次 绘画地址：ssh ssh.place 任何 SSH 密钥均可使用。无需注册。 17 人在线 · 已绘制 594/12000 格 使用方向键、wasd 或 hjkl 移动光标。 画布比你的终端宽，请滚动以平移。shift+←/→ 可整屏跳转。 使用 0 到 9 选择颜色。tab 键可在 16 种颜色间切换。空格键放置该颜色的实心块。 现在等待 15 秒，和其他人一样。 此画布仅限颜色。服务器会拒绝任何包含字符的内容，因此你无法在此处输入文字。请画点什么。 你的冷却时间与 SSH 密钥绑定，因此重新连接不会重置冷却。 此页面仅用于查看画布。画布内容仅通过 SSH 更改，其他地方无法更改。 画布 · 统计 · png · 开源

TLS 1.3 是 TLS 1.2 的现代安全继任者，具备更强的隐私保护、更稳健的安全证明，并移除了薄弱的加密原语。本文档正式确立了一项过渡政策：未来的开发工作（包括后量子密码学（PQC）的集成）将仅专注于 TLS 1.3 及更高版本。 因此，除极少数紧急安全修复情况外，TLS 1.2 不再进行任何新的协议变更或 PQC 支持开发。为执行此政策，IETF 正在更新 IANA TLS 注册表，要求新增条目必须指定用于 TLS 1.3 或更高版本。此政策严格适用于 TLS，不影响 DTLS。通过优先发展 TLS 1.3，业界旨在确保通往抗量子安全性的明确路径，同时维护协议生态系统的完整性与长期生存能力。

isopolis — 旧金山 加载中… © OpenStreetMap 贡献者 © CARTO · 社区：DataSF

杰伊·克莱顿在7月28日以51票对47票获得参议院确认后，将于本周一正式就任国家情报总监（DNI）。他将接替在图尔西·加巴德辞职后担任代理总监的比尔·普尔特。 克莱顿的提名面临严重的党派分歧。共和党人称赞他作为前美国联邦检察官和证券交易委员会主席的背景，而民主党人则表示强烈反对。批评者提到对他与特朗普总统关系的担忧，以及他过去承认乔·拜登2020年大选认证的证词。参议员罗恩·怀登特别批评了这一提名，声称该提名将对特朗普政府的忠诚置于传统情报资格之上。 尽管存在争议，特朗普总统仍称克莱顿“非常杰出”。在确认听证会上，克莱顿承诺恢复公众对情报界的信任，并加强他即将监管的18个机构之间的协调。此前因资历问题也面临批评的普尔特表示，在过渡期间将为克莱顿提供全力支持。

CP/M-386 是一个早期的操作系统项目，旨在 386 及更新的架构系统上运行 CP/M，要求至少 2MB 内存。该系统源自 CP/M-68K，支持 PC BIOS 或 UEFI（通过 CSM），并提供 VGA、PS/2 键盘、UART 串口以及标准 PC 硬件计时器的驱动程序。 该系统与传统的 CP/M 版本具有高度的源码兼容性，包括与 CP/M-68K 1.3 和 CP/M 2.2 完全一致，并对 CP/M-Plus 和 DOS-Plus 扩展提供了实质性支持。虽然它不包含多用户和多任务功能，但引入了针对现代特性的独特扩展，如直接视频访问和高分辨率计时。 开发人员可以使用 GCC（推荐）或 Clang 在大多数现代 Linux 发行版、NetBSD 和 FreeBSD 上构建该系统。该项目基于 MIT 许可证发布，并获得了 Digital Research 的继任者 DeviceLogics LLC 的明确授权，允许修改和分发 CP/M 技术。项目还提供了一套广泛的实用工具，涵盖从文件管理到图形演示等多种功能，用于测试和系统交互。

搜索此网站 嵌入的文件 跳转到主要内容 跳转到导航 Google 协作平台 举报滥用行为 Google 协作平台 举报滥用行为

请启用 JavaScript 和 cookie 以继续。

“Book Corners”是一个旨在绘制公共书架地图的项目。该项目的开发者最初计划允许用户将新的书架位置上传并贡献给 OpenStreetMap (OSM)。虽然从技术实现上看这似乎很简单，但开发者发现，向 OSM 贡献数据涉及许多非技术层面的障碍。 OSM 为数据导入和自动编辑制定了严格的准则，以防止地图数据损坏并确保数据质量。要达到这些标准，需要创建专门的导入账户、发布正式文档、处理复杂的许可问题，并进行广泛的社区磋商。这不仅是一次性的工作，更是一项长期的运营责任。 最终，开发者认为，对于一个小规模项目而言，沉重的维护负担和长期的投入并不划算。将精力投入到这一集成功能中，会分散对改善核心用户体验（如无障碍功能和发现工具）的注意力。因此，开发者决定无限期搁置 OSM 回写功能，并强调“有时候，最好的功能就是没有功能”。虽然数据贡献非常有价值，但该项目目前缺乏足够的资源，无法满足负责任地进行集成所需的社会和组织契约。

在这篇文章中，维杰·贾亚拉吉（Vijay Jayaraj）指出，印度悄然放弃主办COP33气候大会，标志着其对全球“净零”运动的战略性拒绝。贾亚拉吉认为，印度将14亿国民的经济发展置于联合国所推动的限制性能源政策之上；鉴于该国目前仍面临能源匮乏的困境，印度将这些强制性要求视为道德上站不住脚的。 作者质疑了围绕印度环境状况的“末日论”叙事，并援引研究指出，气候模型一直低估了喜马拉雅山的降雪量，并夸大了荒漠化的风险。相反，研究表明该国的植被生产力正在提高，森林覆盖率也在扩大。因此，印度正在积极推进煤炭扩张和化石燃料合作，以推动其工业增长。贾亚拉吉总结道，印度已不再将其环境判断权外包给国际机构，而是选择优先考虑本国的国家繁荣，而非听从“气候工业复合体”的要求。印度放弃主办COP大会的决定清楚地表明，该国将不再为了具有约束力的全球排放目标而牺牲自身的发展。

当一个测试在单独运行时可以通过，但在整个测试套件中却会失败时，通常是由于前置测试产生的状态污染所致。在众多测试中找出罪魁祸首非常耗时，但 `pytest-leak-finder` 插件利用类似于 `git bisect` 的二分查找算法实现了这一过程的自动化。 该插件会确定一个失败的“目标”测试，并将其与前置测试的不同子集交替运行。通过观察目标测试是通过还是失败，插件可以缩小搜索范围。如果目标测试失败，说明“泄露”存在于当前子集中；如果通过，插件则会将重点转向另一半。这种系统的分治法能够快速定位导致副作用的具体测试，从而让开发人员免于手动调试。

Mu 是一个开源（AGPL-3.0）平台，通过单一 MCP 端点为智能体（Agent）提供了一套包含 67 种“真实世界”工具的完整工具集，涵盖网页搜索、邮件（SMTP）、存储、日历和市场等功能。与简单的 API 封装不同，Mu 是一个自包含的运行环境，拥有自己的 Web 界面、命令行工具（CLI）和智能体核心。 主要功能包括： * **统一访问：** 通过 MCP 为 Claude 或 Cursor、CLI 以及 Web SDK 提供工具支持。添加新工具会自动同步更新所有界面。 * **自托管或托管：** 以单个 Go 二进制文件形式提供，支持自托管，也可直接使用 `micro.mu` 服务。 * **智能体集成：** 支持主流大语言模型（Claude、OpenAI、Ollama），并内置记忆和状态管理功能。 * **可扩展性：** 操作员可以通过 JSON 轻松自定义信息流、提示词和频道，或使用 Go 开发新服务。 * **运营控制：** 内置身份验证、付费工具的积分计费系统，以及用于管理第三方密钥的管理员控制功能。 Mu 通过基于注册表的集中式架构取代了碎片化的工具集成方式，实现了智能体、人类与互联网之间的无缝交互。

本摘要探讨了计算的基础及其在理解人类心智中的作用。这一研究的核心是**图灵机**，它是一个抽象模型，将算法定义为一组机械的符号操作指令。该模型改变了数学，并成为计算机科学与人工智能的基石。 在认知科学中，**经典心智计算理论（CCTM）**认为心智本质上就是一个计算系统。这一观点常与**心智表征理论（RTM）**相结合，暗示思维是通过一种“思维语言”（心语）进行的。尽管经典计算主义侧重于基于规则的符号操作，但它面临着来自**联结主义**（通过神经网络模拟心智）和**计算神经科学**（强调生物真实性）的挑战。 关于心理状态是由功能组织（功能主义）、物理大脑状态还是外部环境关系（外在论）所定义的，哲学界仍存在争议。对 CCTM 的主要批评包括其可能无法模拟非算法的创造性思维、时间动态的作用，以及认知在多大程度上是具身的。尽管存在这些争议，计算模型仍然是探索物理系统（无论是硅基还是生物系统）如何产生智能的主导框架。

**Shitty** 是一款采用 C++23 编写的高性能、内存不安全（memory-unsafe）终端模拟器，旨在实现低延迟、快速启动以及可预测的资源占用。它是对 *Zutty* 的硬分叉及彻底重写，利用原生 GPU 计算后端（Linux 下的 Vulkan 和 macOS 下的 Metal）实现了业界领先的渲染速度，在可打印 ASCII 字符和最差情况下的随机字节基准测试中，其性能表现均优于 Alacritty、Kitty 和 Ghostty 等竞品。 主要特性包括： * **性能：** 通过基于变更的渲染（damage-driven rendering）和持久化 GPU 字形缓存进行了优化。 * **兼容性：** 支持 VT52/VT5xx 控制序列、Unicode、多种鼠标协议（SGR、urxvt）以及现代键盘协议（Kitty、modifyOtherKeys）。 * **灵活性：** 提供强大的配置选项，涵盖字体路径、窗口几何形状以及剪贴板集成（包括 OSC 52）。 * **开发：** 使用 Clang 构建，摒弃了通用的窗口工具包，采用了自定义的事件循环层。提供完善的测试套件，并集成了 Nix 以实现便捷部署。 尽管目前正从 GPLv3 协议向 MIT 协议的代码库过渡，Shitty 始终将速度和技术效率置于广泛的协议支持之上（例如省略了 sixel 或双向文本支持）。它是一款专为追求极致原始终端吞吐量的用户打造的专业工具。