## 从咖啡混乱到基于“斑点”的应用 作者在法国点咖啡的沮丧经历，凸显了语言学习中的一个不足：无法在压力下*提取*已学过的短语，而不仅仅是*知道*它们。传统方法和语言学习应用侧重于词汇，但未能为现实世界中快速的互动做准备。 为了解决这个问题，作者创建了Lexie，一个基于极简界面——一个单一的交互式“斑点”——的语言学习应用。Lexie的灵感来自Tamagotchi引人入胜但要求较高的特性，它优先考虑感觉像一次小小的互动，而不是一堂课。它避免了典型的游戏化元素，如分数和进度条，而是专注于微妙的反馈和令人平静的体验。 设计过程揭示了关键的UX经验：极简主义需要深思熟虑地取代传统的UI提示，而移除界面并不会减少复杂性，而是将其转移到动画和时机上。最终，Lexie提供了一个专注的练习工具，可以强化核心基础知识，并提供一种微妙的方式来追踪进度，而不会引起焦虑。虽然它不是一门全面的课程，但它成功地帮助作者应对了一个关键的现实挑战：理解魁北克的物价。

## C++ `auto` 类型推导：总结 C++ 的 `auto` 关键字通过自动推导变量类型来简化代码。基本的赋值会直接从初始化器推导出类型（例如，`auto v = 5;` 结果为 `int`）。然而，包含 `auto` 的表达式需要一致的类型；混合类型会导致编译错误。指针、`nullptr`，甚至函数指针都能被正确推导。 `auto` 会移除*顶层* CV 限定符（如 `const` 和 `volatile`），但会保留应用于指向类型的那些限定符。引用比较棘手：`auto` 本身不会推导引用，但 `auto&` 会，除非处理的是转发引用（`auto&&`），它可以绑定到左值和右值。 像 `decltype(auto)` 这样的高级特性提供了更多的控制。它会考虑表达式的本质来推导类型——左值会产生引用，纯右值会产生其直接类型。继承和结构化绑定引入了进一步的细微差别，通常涉及隐藏的拷贝或别名。使用 `decltype(auto)` 的 Lambda 捕获尤其复杂，受捕获模式（按值 vs. 按引用）和可变性的影响。 理解这些规则对于编写高效且正确的 C++ 代码至关重要。

## Arduino 新条款引发开源争论 在被高通收购后，Arduino 更新的使用条款在其开源硬件社区，特别是竞争对手 Adafruit 之间引发了争议。Adafruit 认为新条款通过限制对云工具的反向工程、主张对用户上传内容拥有永久许可，以及实施广泛的 AI 相关功能监控，从而限制了开源原则。 Arduino 为这些更改辩护，表示限制仅适用于其云服务——而非核心硬件——并且数据处理实践是标准做法。他们坚持其对开源硬件的承诺没有改变，强调用户仍然可以删除帐户和内容。 然而，Adafruit 认为，越来越多地依赖 Arduino 的云平台实际上会将这些限制扩展到许多新用户。担忧还集中在授予上传内容的不可撤销许可的性质以及用户监控的广泛范围上，包括对 AI 用例的潜在限制。 虽然 EFF 承认某些变化令人担忧，但他们指出 Arduino 并没有禁止硬件修改。这场争论凸显了维护开源理想与实施现代云服务实践之间的紧张关系，并引发了关于 Arduino 在开源生态系统中的未来作用的问题。Arduino 承诺将继续对话并致力于社区反馈。

约翰·瓦利，一位极具影响力的科幻小说作家，于2025年12月10日去世。人们怀念他多产的职业生涯，但他的真正影响在于20世纪70年代开始的辉煌十年。瓦利凭借富有想象力的“八界”故事——一个在异星文明干预后人类在地球之外生存的未来——以及《火星国王大厅》和《空袭》等独立作品一鸣惊人。 最初，他似乎注定要成为下一个罗伯特·海因莱因，以惊人的速度产生突破性想法。然而，他在好莱坞编写和重写《千禧年》剧本的时间过长，阻碍了他的势头。尽管他后来重返写作，但该类型已经发展，由吉布森和斯蒂芬森等作家率先。 瓦利仍然是一位技艺精湛的作家，但他失去了在最前沿的地位。然而，他的早期作品为科幻小说树立了新标准，激励了一代作家和读者——一位仰慕者称之为“科幻小说的复兴”。艾萨克·阿西莫夫曾著名地预测瓦利的最初的 meteoric rise 最终将超越他自己的遗产。

洛杉矶发生一起令人震惊的事件，视频显示一名女子在为女儿叫来的Waymo车辆中发现一名陌生人藏在后备箱里。该男子在麦克阿瑟公园被发现，显然是在上一位乘客离开时进入车辆，因为后备箱是敞开的。 该女子质问了这名陌生人，对方声称无法离开车辆。Waymo证实了这起事件，称其“不可接受”，并正在采取措施防止类似事件再次发生。 Waymo的乘客支持团队协助了最初的乘客，报告称她没有受伤。这起事件迅速在网上引起关注，引发了人们对无人驾驶车辆安全的担忧，并促使Waymo重新评估其安全协议。

## Metacode：Python动作注释的标准 许多Python工具（linter、覆盖率工具、格式化工具等）使用特殊注释来发挥作用，但目前缺乏统一的标准。这个库，**Metacode**，旨在通过提供一种标准格式和解析器来解决这个问题，用于这些“动作注释”。 Metacode定义了带有`key`（工具名称）、`action`和可选`arguments`的注释。其语法是Python的一个子集，即使不直接使用该库，也易于实现。注释可以使用`#`链接，以便在同一行包含多个工具特定的指令。 解析器返回包含key、action和arguments（字符串、数字、布尔值或启用时为AST对象）的`ParsedComment`对象。它提供大小写不敏感的key匹配和按key过滤的灵活性。一个互补的`insert()`函数允许创建格式化的注释。 虽然该库提供了一个Python解析器，但核心语言被设计成可以通过定义的EBNF语法在其他语言中实现，从而促进更广泛的采用和Python生态系统的一致性。

该工具提供广泛的主题定制功能，支持 HTML 和 ANSI 输出格式的代码高亮显示。 提供了多种预定义主题，包括流行的 Alabaster、Ayu（深色和浅色）、Catppuccin（多种变体）、Dracula、GitHub（深色和浅色）、Gruvbox（深色和浅色）等，总计超过 30 种选择。 除了这些预设之外，该高亮器还允许完全自定义。 用户可以以编程方式定义自己的主题，使用 RGB 值指定颜色，并控制文本样式，如粗体、斜体、下划线和删除线。 这种灵活性确保代码可以以个性化和视觉上吸引人的美感显示。 示例代码片段 `fn main() { let x = 42; println!("Hello"); }` 在所有主题中都一致显示，展示了样式如何影响相同的基本代码。

您的请求已被阻止，原因是网络策略。请登录或在此处创建帐户以恢复浏览。如果您正在运行脚本或应用程序，请在此处注册或使用您的开发者凭据登录。此外，请确保您的User-Agent不为空，并且是独特且具有描述性的，然后重试。如果您正在提供替代的User-Agent字符串，请尝试改回默认设置，因为这有时会导致阻止。您可以在此处阅读Reddit的服务条款。如果您认为我们错误地阻止了您，或者想讨论更轻松地获取所需数据的方式，请在此处提交工单。联系我们时，请提供您的Reddit帐户以及以下代码：265570c7-5cf4-4bd4-92e4-968396ccb7c3。

年轻符瑟克是一种为英语创作的符文书写系统，由诺塞尔姆·赫尔巴特设计，旨在忠于盎格鲁-撒克逊符文传统。它避免了许多现代符文字母中不必要的改变，仅重新利用了两个符文，并避免了外部字符的借用。 该系统具有特定的拼写规则：书写时会强调单词，元音-辅音配对区分含义（例如 *pair* 与 *payer*），并且 ‘r’ 经常变成“r色元音”或表示元音长度。此外，符文ᛖ与ᚾ、ᛚ或ᛗ结合表示音节辅音。符文ᛉ的使用方式类似于拉丁文字中的 ‘x’，仅在语素内出现为 [ks] 或 [gz]。 样本文本，包括一首关于秘鲁男子和一首关于阿尔弗雷德大帝的诗歌，展示了该系统的应用。更多细节和字母表可以在网上找到。年轻符瑟克旨在为英语提供一种历史渊源和实用的符文书写系统。

## Dograh：开源语音AI平台 Dograh是一个快速的开源平台，作为Vapi等平台的替代品，它允许用户通过简单的拖放界面构建定制的语音代理。你可以在不到2分钟的时间内从零开始创建一个可用的机器人！ Dograh完全可以自托管，避免了供应商锁定，并以其开放的代码库提供完全的控制和透明度。它具有内置的AI测试角色（LoopTalk），并支持与各种LLM、TTS和STT提供商的灵活集成——或者使用其自身的默认设置。 通过Docker进行设置非常简单 (`curl -o docker-compose.yaml...`)，可以通过 `http://localhost:3010` 访问。Dograh提供Twilio集成、可定制模型、实时处理和模块化架构等功能。 Dograh由YC校友开发和维护，致力于保持语音AI的开放和可访问性。欢迎通过GitHub贡献，并通过他们的Slack社区获得支持。你也可以在[https://www.dograh.com](https://www.dograh.com) 探索托管云版本。

蓍草法是传统方法，提供更缓慢、冥想式的体验，而易经硬币则更方便日常练习。三币法更快、更容易学习，且同样适用于占卜。大多数现代从业者更喜欢硬币，因为它们易于获取。了解如何使用易经硬币 →

英国初创公司SPhotonix正在推进其“5D存储晶体”技术——使用熔融石英玻璃存储数据——使其走向实际的数据中心应用。该公司成立于2024年，源于南安普顿大学的研究，最近获得了450万美元的资金，以超越实验室测试。 他们的方法使用激光在玻璃内的纳米结构中编码数据，具有每5英寸光盘存储360TB的潜力，以及长达138亿年的数据稳定性。目前的原型提供30/4 MBps的读/写速度，目标在3-4年内达到500 MBps。 SPhotonix计划在未来两年内试点冷存储系统，专注于将其技术授权给现有数据中心基础设施，不同于微软的“Silica项目”等竞争对手。初步系统成本估计为写入器3万美元，读取器6千美元。该技术面向长期存档，在较慢的访问时间（10秒以上）可以接受的场景。

启用 JavaScript 和 Cookie 以继续。

这篇文章讨论了微软在LG webOS电视上强制安装Copilot AI应用程序，且无法卸载的争议性问题。Reddit用户首先报告了此次更新，强调了人工智能不可避免地融入日常设备的趋势。Copilot在电视上的用途尚不明确。 微软此举可能旨在扩大其人工智能市场份额，并可能为Copilot更广泛的Linux采用做准备，鉴于webOS基于Linux（Linux PC市场份额为3%）。这引发了用户对隐私的担忧，因为他们可能不希望电视上具备人工智能功能。 文章还提到了LG的“Live Plus”功能，该功能使用人工智能分析观看习惯，以提供个性化推荐和广告——用户可以在电视设置中禁用此功能。这种情况凸显了对人工智能驱动的“增强体验”的更广泛推动，以及科技公司日益增长的用户数据收集行为。

本文探讨了消息处理中的**检查点**概念，将其比作经典游戏《超级蛙》中的存档点。目的是确保弹性和防止分布式系统中基于消息的通信（如Outbox模式）中的数据丢失。 作者详细介绍了在事务中将消息存储在关系数据库中如何保证最终一致性。为了从故障中恢复，`processor_checkpoints`表会跟踪最后处理的消息位置和事务ID。这允许处理器从中断的地方恢复，而不是重新处理所有内容。 一个存储过程使用`IF`语句管理检查点更新，检测某个位置是否已被处理，或者是否有其他处理器正在争夺相同的数据——本质上识别出“吵闹的邻居”。这种方法提供了幂等性并有助于避免不一致。 虽然有效，但此方法依赖于**全局排序保证**（适用于Kafka或事件存储等系统）和事务能力。权衡包括潜在的性能影响和对短事务的需求。尽管如此，检查点为可靠的消息处理提供了一个强大的解决方案，并且Emmett等工具可以简化实现。作者最后呼吁支持乌克兰。

## 人工智能革命及其经济影响 人工智能正在推动科技巨头的大规模投资，有望促进经济增长，但也引发了对就业岗位流失和未来税收的担忧。亚马逊和Meta等公司正在同时扩大人工智能开发*和*缩减其员工队伍，这引发了对当前税收体系可持续性的质疑，该体系依赖于来自劳动力的收入和社会保障缴款。 争论的焦点在于是否要对人工智能本身征税——比尔·盖茨和诺贝尔奖获得者埃德蒙·菲利普斯等人提出了这一概念——或者调整现有的税收结构。许多专家，包括国际货币基金组织和牛津大学的研究人员，由于定义挑战和潜在的市场扭曲，不建议征收特定的“人工智能税”。相反，他们建议提高资本利得税或审查企业税收优惠。 对人工智能影响的预测各不相同，估计从全球GDP增加7%到多达25%的工人可能失业。虽然一些人认为人工智能将创造新的、更高技能的工作，但另一些人警告说，不平等现象可能会加剧，需要积极的政策来确保共同繁荣。核心问题是重新平衡税收体系，以应对日益增长的自动化，并防止公共收入下降。

CapROS操作系统是一个新的操作系统，它融合了关于能力的一些非常古老的概念，以及关于性能和资源管理的一些较新的概念。其结果是一个小型、安全、实时操作系统，它提供正交持久性。CapROS项目由查尔斯·兰道领导。CapROS是EROS项目的延续。CapROS非常感谢乔纳森·沙皮罗和所有支持该项目的人。CapROS项目托管在GitHub上。我们感谢GitHub对开源软件的支持，包括这个项目。版权2005、2008、2009、2016由草莓开发组所有。版权2022由查尔斯·兰道所有。所有权利保留。有关重新分发的条款，请参阅GNU通用公共许可证。

iRobot公司已申请破产，并达成了一项重组支持协议，该协议将把这家消费机器人制造商的控制权交给其主要供应商和贷款方——深圳派西机器人有限公司，以及Santrum Hong Kong Co.。根据新闻稿，这家位于马萨诸塞州的 公司于12月14日在美国特拉华地区提交了第11章破产申请。根据重组方案，真空吸尘器制造商深圳派西将获得重组后公司的全部股权。根据拟议的第11章计划，公司的普通股将被注销。该计划将允许债务人继续运营。

## “创伤”的过度饱和 近期，在盖博·马特博士对哈里王子的诊断等人物的推动下，自我诊断和公众讨论激增，导致了一场广泛的“创伤热潮”。最初，创伤的关注点在于对灾难性事件的反应，但现在却被应用于日常 struggles——从拖延症到人际关系问题——从而助长了一个蓬勃发展的回忆录、播客和昂贵疗法产业，承诺治愈。 这种痛苦的商品化，在#TraumaTok等平台上显而易见，有风险稀释真正创伤的含义，并将正常的生活经历病理化。专家警告说，将所有事情都归因于创伤可能适得其反，可能*加剧*症状并削弱个人能动性。 当前关注的焦点源于对#MeToo等问题的认识提高以及COVID-19等事件的影响，但却忽视了人类固有的韧性。虽然许多人经历潜在的创伤事件，但只有一小部分人会发展出持续的PTSD。 最终，过度使用这个术语有风险淡化严重创伤患者的痛苦，并提供一个方便的借口，而不是培养真正的应对机制。正如一位精神科医生所说：“当一切都是创伤时，就什么都不是。”

## Forth：一种令人惊讶的实用语言 尽管经常被认为是小众语言，Forth 仍然是一种强大且独特的实用语言。它的优势在于其极端的简洁性：一个基于堆栈架构的最小核心，允许程序员基本上*构建*他们自己的语言，以适应特定任务。这种“煎饼堆叠”方法——向不断增长的字典中添加新的“词”（函数）——促进了深度整体的设计过程。 作者认为，试图推广 Forth 的尝试常常因为过度复杂化解释或强调人为的例子而失败。具有讽刺意味的是，像 `eforth` 这样的项目就说明了这个问题——承认 Forth 历史上输给了 C，然后用 C 来*实现*它。 Forth 的真正优势并不在于直接与现代语言竞争，而是提供了一条不同的路径。它具有极高的可移植性，可以从汇编语言轻松引导，并且在资源受限的环境中表现出色，例如新一代的纳米控制器。它自我修改和扩展语法的能力提供了无与伦比的控制力，而其显式的数据流则鼓励高效的代码。 虽然不适合大型团队或未经仔细考虑的安全性关键型应用，但 Forth 擅长于单人开发、嵌入式系统以及任何寻求深度可定制、低级编程体验的人——一种“工人的 LISP”，提供了一种独特的强大与简洁的结合。它的持久相关性源于它从汇编语言的自然演变以及它继续以最少的资源有效地解决问题的能力。

## 即将到来的转变：AI 代理挑战 SaaS 的主导地位 过去十五年，软件颠覆了各行各业，推动了万亿美元规模的 SaaS 市场。然而，AI 编码代理的兴起正准备扭转这一趋势，将力量重新转移回内部开发。核心思想是“构建 vs. 购买”的等式正在改变——代理正在使构建以前依赖 SaaS 工具的解决方案变得越来越可行和经济高效。 随着个人发现代理可以快速创建定制解决方案——仪表盘、视频编码，甚至 UI 原型——从而无需外部服务，对更简单的 SaaS 产品的需求已经开始减弱。大型 SaaS 公司在提价方面面临阻力，客户现在正在认真评估自建替代方案。 这并非 SaaS 的末日丧钟，但这一转变有利于提供高可用性（如支付处理）、处理海量数据或拥有强大网络效应（如 Slack）的供应商。那些提供基本 CRUD 应用程序或简单分析——容易被代理复制——的公司最容易受到冲击。 最终，这可能会造成市场分化：技术能力强的公司将更多地内部构建，而依赖 SaaS 的公司将面临成本上升。对熟练的 SRE 和 DevOps 团队的需求将增加，以管理这些新的内部应用程序，标志着软件开发和采购的新时代。

上一页 下一页 上移 想在此页面投放广告？请访问“联系”链接。 由 Shen Technology 制作 (c) Mark Tarver，2025年6月

您的请求已被阻止，原因是网络策略。请登录或在此处创建帐户以恢复浏览。如果您正在运行脚本或应用程序，请在此处注册或使用您的开发者凭据登录。此外，请确保您的User-Agent不为空，并且是独特且具有描述性的，然后重试。如果您正在提供替代的User-Agent字符串，请尝试改回默认设置，因为这有时会导致阻止。您可以在此处阅读Reddit的服务条款。如果您认为我们错误地阻止了您，或者想讨论更轻松地获取所需数据的方式，请在此处提交工单。联系我们时，请提供您的Reddit帐户以及以下代码：6e85d804-fb2e-4b01-94bf-10f29fab04c8。

简单分享页面 一个简洁的落地页，带有嵌入的HTML5音频播放器（以及用于Twitter和Facebook的音频卡片）。 可嵌入音频播放器 粘贴此代码以嵌入带有控制的HTML5音频播放器。 下载链接 如果您想创建直接下载链接、嵌入到您自己的播放器中、从其他发布引擎发布、链接到Patreon等，此链接很有用。 社交网络快速链接 推文

## 量子隐形传态利用现有技术取得进展 德国科学家利用标准互联网电缆波长，成功地在设备之间传输信息，在实用量子隐形传态方面取得了重要一步。他们利用量子纠缠，实现了对光子*状态*的隐形传态——并非光子本身——成功率达到72.1%，证明了真正的量子传输。 重要的是，这项实验与之前的尝试不同，使用了两个独立的发光设备（量子点），并将光转换为1515纳米，这是一种与现有光纤基础设施兼容的波长。这意味着隐形传态可能不需要全新的电缆系统。 尽管仍然存在挑战——包括对极低温度和复杂波长转换的需求——这项研究由QuantERA II和Qurope项目资助，证明了基于半导体的量子光源与现有技术集成的潜力，为未来的量子通信网络铺平了道路。

## 跳棋街机：用几分钱玩转世界游戏 正在寻找一份送给策略爱好者的实惠礼物吗？**跳棋街机**提供种类繁多的游戏，只需一套标准跳棋（或几美元就能轻松买到！）即可游玩。这个合集能带来数小时的娱乐，从轻松愉快的快速游戏到深度策略谜题，应有尽有。 游戏按“决策视野”——所需的前瞻性规划程度——和预计游戏时间分类。选项包括**Ricochet Roombas**（寻路益智游戏）、**跳棋五子棋**（快速吃子游戏），以及需要长期策略的更复杂游戏，如**行动线条**和**Bashni**。 许多游戏支持2-4名玩家，例如**Squava**，增加了其多功能性。 每款游戏规则简单，但都具有独特的挑战。 许多游戏涉及吃子、跳跃或连接棋子，而另一些则侧重于移动和位置。 作者还强调了**霍比特人跳棋**和**Vault**等变体，展示了在基本跳棋框架内的创造潜力。 除了包含的游戏，还有许多其他的8x8棋盘变体，提供无限的可玩性。 **跳棋街机**是一种经济实惠的方式，可以开启一个充满智力娱乐的世界！

## 关注 Claude 更新，了解 AI 错误信息 通过电子邮件和/或短信及时获取影响各种 Claude AI 模型的故障信息（“错误率升高”）。当事件报告更新时，您将收到电子邮件提醒，当 Claude *创建* 或 *解决* 故障时，您将收到短信通知。 要启用短信更新，只需输入您的手机号码并使用发送到您设备的验证码（OTP）进行验证。短信注册提供了全面的支持国家/地区列表（包括国家代码），涵盖非洲、亚洲、欧洲、美洲和 Oceania。 如果您愿意，也可以仅订阅电子邮件更新，无需短信验证。这项服务可确保您快速了解 Claude 性能的任何中断或改进。