Nicolás Seriot 的文章表明，ncurses terminfo 的参数扩展可以充当一种小型、有状态的编程语言。它支持持久化寄存器、整数运算、比较、条件分支、输入参数和输出，但没有内部循环。反复进行能力扩展可以作为外部时钟。 作者将程序计数器编码为一个寄存器，并使用两个计数器，从而构造出一台双计数器米斯基机。示例中的 terminfo 规则实现了加法和斐波那契数列，每扩展一次，机器就推进一个步骤。一个更不同寻常的示例使用 `/usr/bin/top` 作为时钟：当 `top` 重新绘制秒数字段并请求特定光标位置时，对应的 terminfo 规则会推进一个“寄生的”斐波那契程序，并将结果显示在终端标题中。 在计数器、规则大小和执行步骤数均不受限制的理想化假设下，这种构造具有计算通用性。实际实现存在有限限制，因此属于有限状态系统。这本身并不构成安全漏洞：terminfo 扩展无法直接访问文件、执行命令或发起系统调用。不过，以特权运行的程序中的解析器或求值器缺陷仍可能造成安全问题。

Air Context 的生产级代码搜索 RAG 流程从解析和结构感知分块开始。JetBrains 解析器将文件拆分为语义连贯的语法单元，并保留文档、修饰符、注解和结束语法。过大的单元会被进一步拆分，较小且相关的节点则会被合并。九种语言使用专门的解析器，其他语言则回退到基于行的拆分方式。随后对分块进行规范化，并将其与相对路径配对，再通过 LLM 评审检查和端到端检索测试进行评估。 这些分块会嵌入向量模型，以支持语义搜索。Air Context 保留嵌入向量的所有维度，但将每个维度量化为 1 位，使存储量减少约 32 倍，并以汉明距离取代余弦相似度。这能够保留有用的相对排序，但会压缩分数范围，因此需要设置绝对相关性阈值的应用应使用 16 位向量。该嵌入模型同时用于高吞吐量索引和低延迟查询，查询时会附加检索指令。 长路径会被缩写，同时保留模块和文件名上下文；目录范围也会直接嵌入查询中。通过采用自托管模型、不在服务器端存储源代码，并让结果仅引用本地检出位置而非包含代码内容，从而保障隐私。

一组精选的无代码及开发者工具，用于数据可视化、仪表板和图表创建。选项包括： - **流程图：** sankeydiagram.net、D3.js 和 xyflow（React Flow／Svelte Flow） - **可观测性与商业智能：** Grafana、Apache Superset 和 Metabase - **数据应用：** Streamlit - **架构图：** Diagrams - **交互式节点编辑器：** React Flow 和 Svelte Flow 这些工具可用于创建桑基图、自定义数据可视化、指标与日志探索、基于 SQL 的仪表板、嵌入式分析、Python 数据应用、云架构图、流程图和基于节点的界面。

文章指出，尽管人们对人工智能安全的政治支持日益增强，但当前的落实工作很大程度上取决于市场激励，以及那些能够将技术风险转化为合同条款、采购流程、治理机制和政策建议的专业人士。律师、合规专家、风险管理人员和负责任人工智能从业者，往往既缺乏足够的技术知识，也缺少能够提供支持的同行社群。 在东萨塞克斯郡举行的一场为期五天的 ML4Good–EquiStamp 研讨会，汇集了来自12个司法辖区的19名高级法律、治理和风险专业人士。课程涵盖前沿模型训练、评估、智能体、安全保障措施和安全研究。参与者表现出浓厚的学习意愿，也非常重视与面临类似挑战的人建立联系。 活动结束后的几天内，与会者便开始采取实际行动：质疑供应商对安全性的宣称、审查人工智能智能体、招募相关领域的专家、在内部分享知识，并寻求更有力的政策参与。这些初步成果进一步印证了文章的核心观点：人工智能安全工作必须走出研究人员和前沿实验室，进入更广泛的组织之中，因为正是这些组织的采购和部署决策塑造着整个生态系统。作者希望为紧邻人工智能技术开展工作的法律和治理专业人士建立一个长期持续的社群。

彼得·沃茨于2006年出版的硬科幻小说《盲视》（*Blindsight*）讲述了星际飞船“忒修斯号”的船员故事。他们奉命调查伯恩斯—考菲尔德彗星发出的外星无线电信号。任务途中，他们抵达“大本钟”，并遭遇名为“罗夏”的巨大外星结构。这个结构似乎拥有智能，却不具备意识，其中的居民“争夺者”智力极高，同样没有自我意识。经过探索与冲突，“忒修斯号”为摧毁罗夏而牺牲，叙述者 Siri Keeton 则逃脱并返回地球，带回重要信息。 小说探讨了智力与主观体验之间的区别，追问意识是否是交流、共情、艺术或道德行为的必要条件。作品还涉及进化、神经科学、人工智能、自由意志、博弈论和超人类主义，并提出：意识或许是一种进化负担，也或许只是人类暂时拥有的优势。 《盲视》获得了星云奖，并入围雨果奖、坎贝尔纪念奖和罗克奖。其2014年衍生前作为《Echopraxia》。该小说采用知识共享许可协议发布，也已被改编为短片，长篇电影则处于筹划阶段。

该网站正在使用安全服务保护自身免受网络攻击。您刚才执行的操作触发了此安全措施。多种操作都可能导致拦截，包括提交特定单词或短语、SQL 命令或格式错误的数据。

这篇文章介绍了斐波那契 L 系统。这是一组替换规则——\(b \rightarrow a\) 和 \(a \rightarrow ab\)——用它生成的字符串中，各符号的出现次数遵循斐波那契数列。文章从经典的兔子繁殖问题谈起：幼兔经过一个月成熟，成年兔子此后每个月都会生下新的幼兔。 这些简单的规则还能生成有趣的模式，例如越来越复杂的象鼻虫名称，如“Zyzzyzyva”；披萨配料名称，如“peppepeppeppepperoni”；以及家庭称谓，如“Grandmammamammamma”。作者还指出，要生成准确的家庭称谓，需要跳过内部的一个“a”，而其他变体则被有意留作探索。总体而言，本文轻松地展示了一个简洁的重写系统如何产生斐波那契式增长，以及越来越长、令人难忘的词语。

作者认为，美国经济中的“准时制”体系使其容易受到供应链中断的影响，也缺乏应对战争、运输中断或设施故障所需的冗余能力。尽管美国并不严重依赖海湾地区石油，但全球炼油产能短缺——俄罗斯柴油出口减少以及美国近期多座炼油厂关闭使情况进一步恶化——正使国内炼油产能与需求之间的余量变得极其狭窄。 由于几十年来很少新建大型炼油厂，现有设施也已接近扩产上限，随着老旧炼油厂陆续关闭，美国可能继续失去炼油产能。作者估计，新建多达八座炼油厂、每座日产量至少25万桶，可能恢复炼油产能并提供更安全的储备。 其中的障碍包括燃油利润不确定、审批周期漫长、环境要求严格、政治当局更迭以及能源政策分歧。文章建议由政府提供融资支持或分担利润、简化审批流程，并进行长期规划，而不是等到危机发生后再采取行动。恢复霍尔木兹海峡的正常航运或许能缓解近期的油价压力，但这无法解决长期的炼油瓶颈问题。

美国和澳大利亚于10月2日暂停或关闭了驻巴西领事服务，称此举是为应对巴西总统选举前的安全担忧。两国均提醒，需要紧急援助的公民应联系值班官员或领事紧急中心，不要前往外交机构。 巴西联邦警察表示，他们在圣保罗和联邦区开展了一次预防性行动，以打击针对美国外交设施的威胁。当局查获了通信设备，但尚未锁定与犯罪组织有关的嫌疑人。 总统卢伊兹·伊纳西奥·卢拉·达席尔瓦和参议员弗拉维奥·博索纳罗是10月4日选举的领先候选人之一。如果两人均未赢得绝对多数，第二轮投票将定于10月25日举行。博索纳罗是前总统雅伊尔·博索纳罗之子，后者因策划政变被判有罪。 此次关闭领事服务之际，美国与巴西之间的紧张关系有所加剧。此前，华盛顿因博索纳罗受到起诉而对巴西实施关税和制裁。美国国务院还提醒本国公民，由于巴西存在暴力犯罪、涉毒抢劫以及针对外国人的诈骗活动，应提高警惕。

你已被网络安全机制拦截。 若要继续，请登录你的 Reddit 账户，或使用开发者令牌。 如果你认为这是误封，请在下方提交工单，我们将进行核查。 登录 提交工单

Caffè corretto 是一种意大利咖啡，由一份意式浓缩咖啡和少量烈酒混合而成，烈酒通常使用格拉帕、桑布卡、白兰地或干邑。点单时通常会说是 *un caffè corretto alla grappa*（加格拉帕）、*alla sambuca*（加桑布卡）或 *al cognac*（加干邑）。烈酒可以直接混入浓缩咖啡，也可以另外放在旁边，让饮者自行决定加入多少。 “Corretto”在意大利语中意为“修正的”或“改正的”。类似的咖啡加烈酒饮品包括西班牙的 carajillo、葡萄牙的 café com cheirinho、法国 的 café-calva，以及墨西哥的 café con piquete。在意大利威尼托地区，*rexentin* 的传统做法是用饮料中的烈酒冲洗杯中剩余的咖啡，然后将咖啡喝掉。

点亮世界…… 地球 河流 脉动 闪电 降雨量 紫外线 影片 博客 关于 世界灯塔 地球上每一座已标注的灯塔，均按其真实周期闪烁。 苏格兰 布列塔尼 新英格兰 日本 挪威 开普敦 － ＋ 点亮世界……

首项大规模研究考察了联网汽车生态系统中的隐私问题。互联网汽车会与制造商、广告商、保险公司及其他第三方通信。研究人员与《消费者报告》合作，测试了21款较新车型和30款配套移动应用。结果发现，21辆车中有19辆会向至少一个第三方发送数据，7款应用会向外部公司传输敏感标识符。该研究凸显了消费者对这类数据共享活动的了解有限，并强调有必要持续开展监测、加强监管以及提供更清晰的隐私保护。

美国财政部长斯科特·贝森特表示，美国对伊朗的封锁实际上已阻止伊朗经霍尔木兹海峡出口石油，使德黑兰无法获得收入，并削弱了其对该海峡的控制力。据报道，8月份伊朗原油装载量从每天约25万桶降至零。 与此同时，波斯湾其他产油国增加了出口，替代了伊朗的供应，使该地区石油总出货量恢复至每天约2330万桶，接近战前水平。高盛、彭博、基普勒和Vortexa的数据均显示，伊朗出口下降与其他地区出口增加之间的分化。 贝森特还讨论了伊朗战争对美国消费者造成的通胀影响，并为此前“财政部将维护债券市场长期端”的警告作了辩护。如果出口限制持续下去，伊朗收入崩塌可能使德黑兰承受更大压力，迫使其参与协议谈判。

文章以一项已被撤回的2025年元分析为突出例子，探讨科学研究为何经常得出夸大且不可靠的结论。该元分析声称，ChatGPT能够显著改善教育效果。 文章认为，学术界的“发表或灭亡”文化，加上来自大型出版机构、资助机构、媒体和政治人物的压力，奖励新颖、容易成为头条的发现，却压制零结果或增量性结果。 研究方法薄弱、过度依赖统计显著性、发表偏倚、同行评审不充分以及撤稿缓慢，都加剧了这一问题。许多研究发现无法得到重复验证，可疑的研究也可能多年公开存在。文章强调，统计显著性并不一定意味着实际重要性或可靠性。 提出的改革措施包括：预注册研究、共享数据、采用开放科学实践、创办非营利期刊，以及改变学术晋升和终身教职制度，使研究质量而非发表数量得到重视。文章最后指出，恢复人们对科学的信任，需要改革这些广泛的制度激励。

在台湾生活了七个月后，作者回到波兰，开始布置一套极简公寓。在旅行反思与慢性背痛的双重背景下，他逐渐添置了显示器和升降办公桌。 最终诞生的项目 Magic Switch 是一款免费、开源的 macOS 应用，可以让两台 Mac 共享 Apple Magic Keyboard、Magic Trackpad 或 Magic Mouse，无需使用同一个 Apple Account，也无需通过 USB 重新配对。它改进了概念验证项目 blue-switch，支持单台或全部设备切换、设备归属检查、切换失败时回滚、睡眠及 clamshell 模式恢复、更新检查，并提供了更精致易用的菜单栏和设置界面。 通信安全机制包括共享配对码、通过 PBKDF2 派生并保存在钥匙串中的凭据、HKDF 会话密钥、HMAC 通信记录验证、ChaCha20-Poly1305 加密、重放防护、速率限制、身份指纹检查、超时设置和 IP 地址规范化。系统会根据实时蓝牙连接以及两台 Mac 之间的协调来判断设备归属，从而尽量减少竞态问题，并避免外设滞留在某台 Mac 上。 Magic Switch 使用 Claude 构建，是一个学习项目，目前已在 GitHub 上提供，并配有不可变构建版本。

沙特阿拉伯与也门政府军已开始对也门境内得到伊朗支持的胡塞武装发动大规模进攻。也门总统领导委员会主席拉沙德·阿里米已下令安全和军事机构动员，据报道，超过10万名支持政府的部队准备参战。沙特阿拉伯预计将提供空中支援。 此次行动旨在扭转胡塞武装近期在也门西部海岸取得的进展，控制曼德海峡，并终止该组织对沙特航运和石油设施的封锁与袭击。有关沙特阿美公司在利雅得一座炼油厂出现烟雾的报道已经流传，但尚未得到独立证实。 与此同时，据报道，经霍尔木兹海峡的石油运输量已恢复至战前水平，这表明伊朗在地区的影响力可能正在减弱。

《大纪元》的一篇文章称，特朗普政府的一份报告估算，美国民主社会主义者（DSA）的几项关键政策将在2027年至2036年间造成超过49万亿美元的联邦财政净负担——折合每个美国家庭超过35万美元。 报告预计总成本为52.8万亿美元，部分由估算的3.9万亿美元财富税收入抵消。全民医保占47.4万亿美元，而取消学生债务和免费大学将花费3.6万亿美元。强制每周工作32小时据称将造成约9180亿美元的税收损失。 其他提议包括放宽边境规定、实行移民大赦、取消警察和美国移民与海关执法局（ICE）执法人员，以及废除监狱。特朗普政府声称，这些政策会大幅推高通胀和消费者价格。DSA没有回应置评请求。报告发布时，特朗普刚开始为共和党在2026年中期选举中进行竞选。

人工智能可以加速数学研究，但不能取代赋予数学意义的人类活动。现代人工智能有助于从海量数学文献中发现联系、自动完成计算、检验结果，并处理已有概念。然而，由于它具有统计性质，难以可靠地进行冗长而精确的论证；此外，即使经过验证的证明，也可能只是将错误的主张形式化。 纯数学并不仅仅是从公理机械地推导定理。人类通过抽象概念，将潜在的元数学复杂性转化为可理解的形式。在规则学（ruliology）中，所有可能的计算构成“规则体”（ruliad），但有限的心智只能探索其中极小且经过筛选的部分。因此，有意义的进展取决于选择熟悉的、具有审美吸引力的概念，并围绕它们构建叙述——这些选择植根于人类的想象力、文化和目标。 Wolfram 语言正在被扩展，以便精确表示纯数学结构，并有望连接人类数学、计算、证明助手与人工智能。这类工具应当加速研究，而不是取代研究。纯数学依然具有价值，因为它发展出各种思维方式，科学与技术从中涌现，同时也保存了抽象性、结构化推理和人类成就。

## 海尔布伦问题 在单位面积区域内放置 \(n\) 个点，使任意三个点所确定的三角形中面积最小者达到最大可能值，记为 \(A(n)\)。本站收集三类经典容器——正方形、三角形和最优凸区域——中的最佳已知配置。每个条目均包含精确坐标、对称性和全等分析、已发表证明的参考文献，以及浏览器内的有理数运算验证器。 ## 最新纪录 最近十项改进。新纪录也通过 Atom feed 发布。 ## 最佳已知值 数值截断至小数点后 8 位；▲ 表示已证明为最优的条目。

乌克兰总统弗拉基米尔·泽连斯基表示，作为对俄罗斯持续袭击民用基础设施、能源设施、道路、学校和医院的回应，乌克兰将加大对俄罗斯炼油厂的打击力度。他说，乌克兰情报部门获得的文件显示，莫斯科试图恶化民众生活条件，并在冬季到来前迫使平民离开乌克兰城市；同时，他坚持乌克兰的报复行动将针对军事设施和俄方资金来源，而不是民用目标。 此次升级与全球炼油能力短缺同时发生。欧洲及其他七国集团成员计划在四个月内释放最多1亿桶应急石油和柴油库存。乌克兰对俄罗斯炼油厂的袭击加剧了供应中断，并延长了俄罗斯柴油出口暂停的时间。 泽连斯基称，俄罗斯没有表现出保护能源设施之停火谈判的意愿。与此同时，弗拉基米尔·普京警告西方国家不要进一步升级局势，并表示如果加里宁格勒遭到袭击，俄罗斯可能动用一切可用武器。

巴西总统选举竞争激烈，多项主要民调显示，卢伊兹·伊纳西奥·卢拉总统略微领先参议员弗拉维奥·博索纳罗。投票将于巴西时间下午5时截止，预计最终结果将在晚上7时至8时之间公布；两名候选人似乎都难以在首轮中直接胜出，因此很可能进入决选。 预测市场对博索纳罗胜选机会的信心高于传统民调。巴西资产正为首轮投票结果公布后的剧烈波动做准备，尤其是巴西雷亚尔，其一周期隐含波动率已升至31%以上，为2022年末以来的最高水平。一些对冲基金已经布局押注大选后巴西股市上涨，而大型银行则建议买入有望从货币走强中获益的期权。此次选举结果可能标志着巴西政治方向发生重大转变，并有可能推动南美洲更广泛地转向右翼。

《格拉苏蒂垃圾钟》是一座可正常运行的机械钟，主要由废弃材料制成。它创作于2026年NOMOS在萨克森州格拉苏蒂举办的艺术家驻留项目。作者的祖先曾从事钟表制作，因此该项目从这一背景出发，以即兴组合的零件探索传统钟表工艺。 钟体采用一根约一米长的秒摆，驱动回形针齿式擒纵机构；油漆罐作为配重，可为机芯提供约30分钟的动力。纸板摩擦轮对传动机构进行减速，使钟能够显示分钟。另一套独立配重的机构会在十二点敲响玻璃瓶改制的锣。停摆前不久，安装在脚手架上的“现在是或永不”轮盘会开始旋转，成为一个带有玩笑意味的随机复杂功能。 视频分析显示，每次滴答的平均间隔为1.004秒，误差不超过0.4%。该项目还幽默地引入了GTC（格拉苏蒂垃圾钟时间）——一套由这座钟自身定义的全球参考时标，并解释了GMT、TAI、UTC、地球自转速度的变化，以及计划于2035年取消闰秒的设想。

Strata 是一个免费的开源系统，可在一台游戏电脑上完整运行号称拥有 1250 亿参数的 Qwen3.8-Flash-Next 模型。它支持 Windows 或 Linux，兼容 NVIDIA 或 AMD 显卡；硬件要求包括至少 12 GB 显存、32 GB 以上内存，以及大约 80 GB 的可用 SSD 存储空间。通过让 GPU、CPU、内存和 SSD 协同处理模型任务，它可以在本地提供服务器级 AI 性能，且无需将数据发送到其他地方。 根据硬件配置、量化方式和模型大小，基准测试速度约为每秒 44～94 个输出 token。较小的量化版本速度更快，而质量更高的版本需要更多内存。编程专用版本可装入 32 GB 内存，但在中文及其他 CJK 文本上的表现相对较差。 安装过程很简单：下载 Strata，在 Windows 上运行 `START-HERE.bat`，或在 Linux 上运行 `./setup.sh`；选择推荐选项，然后等待约 70 GB 的模型下载完成。本地网页应用将在 `127.0.0.1:8080` 打开，提供聊天、系统监控、图像支持，以及兼容 OpenAI 和 Anthropic 的 API，可供编程代理和其他应用使用。 首次启动时，系统可能会将 35～55 GB 数据加载到内存中，导致电脑暂时卡顿。它支持多块 GPU、远程访问、API 密钥和并行请求。

法学教授乔纳森·特利认为，法国对女权主义者多拉·穆托的处理 exemplifies了更广泛的言论自由衰退。穆托不认为跨性别女性在生物学上属于女性。她因在电视节目中称跨性别市长玛丽·科为男人，被判犯有“公开侮辱”罪，并被罚款4,754欧元。此后，她还因在社交媒体以及自己的女权主义博客和 YouTube 频道上发表的言论而面临更多指控。 特利还列举了其他案件，包括与反犹言论、针对罗姆少数族群的侮辱以及批评伊斯兰教有关的事件。他指出，法国模糊不清的法律使言论可能仅因被认为具有冒犯性或危害性而受到惩罚。尽管穆托的观点广受批评，特利仍认为，批评者应通过辩论回应，而不是提出刑事控告。 这篇文章向美国人发出的警告是：随着活动人士和政治团体日益 seeks to silence opposing views，法国提供了一个 cautionary example，说明言论自由 protections might how eroded while individual liberty sacrificed in name... Need translate naturally.</mm:think>法学教授乔纳森·特利认为，法国对女权主义者多拉·穆托的处理，体现了更广泛的言论自由衰退。穆托不认为跨性别女性在生物学上属于女性。她因在电视节目中称跨性别市长玛丽·科为男人，被判犯有“公开侮辱”罪，并被罚款4,754欧元。此后，她还因在社交媒体以及自己的女权主义博客和 YouTube 频道上发表的言论而面临更多指控。 特利还列举了其他案件，包括涉及反犹言论、针对罗姆少数族群的侮辱以及批评伊斯兰教的案件。他指出，法国模糊的法律使言论可能仅因被认为具有冒犯性或危害性而受到惩罚。尽管穆托的观点广受批评，特利仍认为，批评者应通过辩论来回应，而不是提出刑事控告。 这篇文章向美国人发出的警告是：随着活动人士和政治团体越来越试图压制 opposing views，法国提供了一个 cautionary example，说明言论自由如何逐渐遭到削弱，而个人自由又如何以平等和社会和谐之名被牺牲。

拒绝敏感是对感知到的批评、排斥排斥或失败所产生的强烈反应。威廉·多德森（William Dodson）提出了“拒绝敏感障碍”（RSD）一词，用来描述一种严重且常伴有身体疼痛的反应，这种反应尤其与 ADHD 相关，但 RSD 并非正式诊断。 对于天赋儿童和双重特殊儿童，ADHD、孤独症、感觉处理敏感、情绪高反应性，以及身份与表现之间的强烈融合，都可能加剧拒绝敏感。针对某项作业的反馈，可能会让他们感觉自己的价值受到了评判。他们的反应可能包括羞耻、愤怒、情绪关闭、易怒、完美主义、黏人、社交疲惫，或把朋友间的小小“冒犯”视为严重排斥。这些孩子也可能很少遇到强度和兴趣与自己相匹配 的同龄人，因此一段友情可能会显得异常重要。 有帮助的做法包括：将表现与自我价值分开；在提出批评前先说明批评的背景；接纳孩子的高警觉反应，但不纵容相应行为；以及识别触发事件、孩子的理解、身体反应应和随之做出的选择。让孩子有机会修复小错误，直接指导他们区分“轻微冒犯”与“真正排斥”，组建基于共同兴趣的同伴群体，并示范如何健康地修复冲突，都有助于增强其心理韧性。 如果出现严重回避、拒学、身体不适、抑郁或自伤，应寻求专业支持。

在今年的 world nuclear association? Translate organization name. 世界核协会年会上，核能界的基调已从捍卫未来转向落实未来。参会人数创纪录，反映出政策和社会市场接受度日益提高；与此同时，国际原子能机构连续第六年上调长期装机容量预测，预计到2050年最高可达1,045吉瓦，到2060年可达1,284吉瓦。 当前的核心挑战是如何落实。要让全球装机容量增至三倍，到2050年大约需要投入6万亿美元。然而，西方公用事业公司担心率先行动带来的风险，核电站并网可能需要七年，老旧反应堆也必须更换。与此同时，中国仍通过标准化设计和集中采购推进大规模建设。 投资资金正日益充足，但铀矿开采和浓缩已成为瓶颈。西方的浓缩产能已无法满足需求，铀价处于长期历史高位，公用事业公司也在签订更多合同以保障供应。超大规模云服务商的数据中心需求进一步增强了这一市场前景。 因此，分析师认为，近期的主要机会集中在铀、浓缩以及核燃料循环的其他供应商，而成本较高的反应堆开发商则面临更长的建设周期和巨大的融资风险。

迈克尔·尼尔森（Michael Nielsen）在《思维作为技术》一文中指出，具有变革性的计算机界面不只是自动化已有任务：它们会引入新的“认知元素”，拓展人们思考、推理和创造的方式。他童年时发现的 MacPaint——拥有直接绘制的画布、选择工具、缩放和撤销功能——成为了技术被内化为思维媒介的经典案例。 尼尔森将这一点与语言、地图、艺术和其他认知技术进行比较，并指出，专家往往会使用私密的视觉表征，而传统教育和媒体往往忽视这些表征。由此可以得出两条界面设计准则： 1. **将隐藏的表征具体化**，使难以触及的心智模型变得可交互。 2. **将深层原理具体化**，把基础的科学或数学理念转化为可探索的对象和操作。 能量曲面和抛体运动原型展示了这类界面如何揭示关系、支持快速发现，以及如何让对界面的掌握与对学科本身的掌握变得不可分割。 更广泛的目标是“智能增强”：扩展人类的思维，而不只是把问题解决外包出去。由于新的认知可能性无法被完全预测，设计者必须大胆探索，并提出更好的问题。

**摘要（200 词以内）：** SCM 是一款本地优先的 macOS 应用，可通过自然语言搜索个人照片和视频库。它支持语义文件搜索、带时间码的视频场景级检索、文本 OCR 高亮，以及精确的 Whisper 对话搜索。同时提供中日韩语言查询、截图识别、邮件检测、保存的搜索标签页，以及可选的本地大语言模型对话和引用来源。 用户可通过对话框、拖放或监控文件夹导入媒体。SCM 会统一文件类型，使用 SHA-256 哈希进行不受重命名影响的去重，重试异常文件，缓存视频场景方案，并支持嵌入快照和模型变更后的后台重新嵌入。应用提供四种视觉模型、Tesseract 语言包，以及 Whisper tiny/base 模型。 照片、视频、索引、转录文本、缩略图和推理过程均保留在 Mac 上，无需账号、云服务、遥测或上传。模型权重只需下载一次，之后可离线使用。项目使用 Bun、Vite、React、Electron、ONNX Runtime、Tesseract、Whisper 和 ffmpeg。文档涵盖 Homebrew 安装、开发与打包命令、测试、基准测试，以及签名或未签名的 DMG/ZIP 构建。数据默认保存在 `~/Library/Application Support/scm`。

朱莉娅·R·卡特赖特认为，纽约的住房危机源于严格的分区规定、历史建筑保护规则、小户型禁令、审批缓慢，以及使住房长期空置的租金稳定激励，而不只是人口密度过高。尽管东京容纳了1427万人，但其通过灵活的混合用途分区、统一的国家标准以及“依法既有权利”建设来维持较低租金。东京还允许建设紧凑型公寓，迅速拆除并重建老化建筑，同时支持预制住宅。 纽约昂贵的重新分区程序、历史建筑限制、400平方英尺的最低面积要求，以及促使业主让翻修后的租金稳定住房继续空置的激励措施，都限制了住房供给。冻结租金或许能保护现有租户，却无法创造新的住房，还可能加剧空置问题。文章的核心观点是，可负担性来自建设足够的住房；纽约应放宽分区和建设限制，而不是主要依赖租金管制。