迈克尔·尼尔森（Michael Nielsen）在《思维作为技术》一文中指出，具有变革性的计算机界面不只是自动化已有任务：它们会引入新的“认知元素”，拓展人们思考、推理和创造的方式。他童年时发现的 MacPaint——拥有直接绘制的画布、选择工具、缩放和撤销功能——成为了技术被内化为思维媒介的经典案例。
尼尔森将这一点与语言、地图、艺术和其他认知技术进行比较，并指出，专家往往会使用私密的视觉表征，而传统教育和媒体往往忽视这些表征。由此可以得出两条界面设计准则：
1. **将隐藏的表征具体化**，使难以触及的心智模型变得可交互。
2. **将深层原理具体化**，把基础的科学或数学理念转化为可探索的对象和操作。
能量曲面和抛体运动原型展示了这类界面如何揭示关系、支持快速发现，以及如何让对界面的掌握与对学科本身的掌握变得不可分割。
更广泛的目标是“智能增强”：扩展人类的思维，而不只是把问题解决外包出去。由于新的认知可能性无法被完全预测，设计者必须大胆探索，并提出更好的问题。
每日HackerNews RSS
Hacker News
新
|
过去
|
评论
|
提问
|
展示
|
工作
|
提交
登录
将思想视为技术（2016）
（
cognitivemedium.com
）
14 分
作者：tobr
1 天前
|
隐藏
|
过去
|
收藏
|
讨论
|
帮助
考虑申请 YC 2027 年冬季批次！
申请开放至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系我们
搜索：
**摘要（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`。
Hacker News 上的一则讨论介绍了 **SCM**：这是一款免费、开源的 macOS 工具，支持使用自然语言对所有照片和视频帧进行语义搜索。它通过 JavaScript/ONNX/WASM worker 调用 CLIP/SigLIP、Whisper 和 Tesseract。尽管评论者推荐速度更快、准确度更高的 Apple Vision 框架，创作者仍选择了这套便携且完全基于 JavaScript 的技术栈；未来也可能推出原生 Swift/MLX 版本。
讨论的主要焦点是 AI 生成的软件，也就是所谓的“vibe-coded”（凭感觉编程）。批评者认为，仅依赖常用模型的建议往往会忽略特定领域中的最佳实践，从而生成效率低下或存在缺陷的代码。 supporters 则反驳称，快速构建的原型仍然可能很有价值，尤其是在社区反馈能够推动快速迭代的情况下。
对于大型视频库，主要瓶颈在于视频帧的采样频率：短暂出现的内容可能被遗漏，而处理 12,000 个视频可能需要数天。有人建议加入场景检测、关键帧、低分辨率代理文件和转码流程等改进。用户还比较了 SCM、Immich 和 Apple Photos，指出缩略图库占用大量存储空间的问题，并提到版权只保护代码，而不保护功能，因此产品容易遭遇“Sherlocking”式的功能抄袭。
20世纪60和70年代，Transcience 公司的广告承诺给人们“一碗快乐”：冻干卵放入盐水中后，就会孵化出卤虫幼体，也就是所谓的“海猴”。 匹兹堡大学的研究人员后来利用这种微小的自主游动生物研究湍流。通常，二维湍流中的能量会从小尺度涡流向大尺度涡流级联，但研究团队发现，在恰到好处的角度放置一个小障碍物，就能扰乱并逆转这一能量流。 这项工作建立在刘易斯·弗莱·理查森、安德烈·柯尔莫哥洛夫、罗伯特·克雷希南和乔治·巴切勒等人的理论之上，并展示了自主活动的生物如何影响流体动力学。研究由工程师 Lei Fang 和研究员 Xinyu Si 领导，结果表明，生物运动可能有助于生物在天然水道中混合各种物质。其影响或许还能扩展到更大尺度的三维湍流系统，并有望应用于污染控制、流体工程和药物递送。
《量子杂志》的一篇文章描述了利用卤虫（“海猴”）进行实验，以研究二维湍流中的能量传递。研究人员 Si 和 Fang 发现，当卤虫游动方向与流体最大拉伸方向的夹角小于 45° 时，能量会从较小尺度向较大尺度传递，从而维持流动；超过 45° 时，能量则向相反方向传递。他们的研究 indicate，对系统进行小幅且有针对性的干预，或许可以改变二维系统中的能量通量，使其表现得更像三维湍流，这可能有助于科学家建立跨越不同维度的理论联系。Hacker News 的评论者将这些发现与角动量和诺特定理联系起来，同时开玩笑称，优化“海猴”的福利或许有助于解决纳维－斯托克斯问题。
Headstart 是一种用于 rustc/Cargo 的原型优化，可让依赖 crate 在其依赖项完成函数体检查之前就开始类型检查。当 crate 的接口有效后，rustc 会提前生成 `.rmeta` 文件；Cargo 会使用这份元数据启动依赖 crate 的编译，同时继续并发检查原 crate 的函数体。 运行 `cargo check` 时，依赖 crate 可以直接使用提前生成的元数据完成检查。运行 `cargo build` 时，依赖 crate 会先完成分析，然后暂停并释放任务槽位，直到完整元数据可用后再进行代码生成。依赖项中的错误仍会导致构建失败，并产生等效的诊断信息和退出状态，但执行时机、进度消息及 JSON 输出顺序可能有所不同。其代价包括丢弃下游工作、延迟报告错误以及增加峰值内存占用。 在 16 核机器上，使用默认前端进行全新构建时，`check` 的加速最高可达 54%，`build` 最高可达 42%；并行前端可获得最高 25% 的加速。在核心数较少的机器上，收益会减小或没有明显提升。 该仓库提供 rustc 和 Cargo 的补丁系列、设计与基准测试文档、冒烟测试、错误测试、增量测试、元数据切换测试、rustc-perf 验证，以及用于真实项目基准测试的脚本。使用 `scripts/setup.sh` 构建打过补丁的工具后，可通过 `-Zheadstart`、`CARGO_UNSTABLE_HEADSTART=true` 或相应的 unstable 配置项来运行 Cargo。
一个原型通过仅检查公共函数签名就生成 crate 元数据，使 Rust 构建速度最高可提升一倍。这样，依赖该 crate 的其他 crate 可以提前开始工作，同时完整的类型检查仍在并行进行。Rustc 和 Cargo 的相关改动使用实验性参数 `-Zearly-metadata` 和 `-Zheadstart`，用于暂停、恢复执行，并在之后替换临时元数据。
这是在 Rust 现有构建流水线基础上的扩展，并非充当缓存。实际收益取决于构建依赖图；如果可用核心资源不足，或依赖关系中包含大量互不相关的 crate，提升可能十分有限。推测性编译还带来了一些问题，例如原始 crate 最终检查失败时，如何处理下游已经开展的工作。
该实现主要由大语言模型生成，被认为不适合直接提交到上游，但可以由开发者手动重新实现。评论者认为，大语言模型适合用于探索原型和编译器政策方案，只要不将其生成的代码原样提交。类似的早期生成元数据工作可以追溯到 2019 年，但要得到更广泛的应用，仍需解决设计选择和错误处理等问题。
**gpuvis** 根据 **MIT 许可证**发布，版权所有 © 2019 Valve Corporation。在保留适用的版权声明和许可证声明的前提下，可以使用、修改、合并、发布、分发、再许可或销售本软件。
本软件按“原样”提供，不附带任何明示或默示担保；Valve 对由此产生的相关索赔或损害不承担责任。
第三方组件保留各自的许可证：
- Simple DirectMedia Layer（SDL）：zlib 许可证
- gl3w 和 stb 库：公有领域
- Dear ImGui 和 imgui_freetype：MIT 许可证
- Proggy 字体：MIT 许可证
- Roboto、Roboto Condensed 和 Droid Sans：Apache 许可证 2.0
- trace-cmd：GNU GPL v2
- miniz、noc_file_dialog.h、UCM CMake 宏和 SMHasher：MIT 许可证
- ya_getopt 和 {fmt}：BSD 2-Clause 许可证
- RapidJSON：MIT 许可证
- stlini：自定义电子邮件作者与署名许可证
用户必须遵守每项适用许可证中特定的署名、声明和分发要求。
VGHF 数字档案馆收录的杂志已突破 5000 本。接下来将推出什么？ VGHF Digital Archive passes 5000 magazines. Here's what's next
2 天前
电子游戏历史基金会（VGHF）免费开放的数字档案库自推出以来规模不断扩大，馆藏杂志从最初的 1,500 种增加到 5,000 多种，总计近 60 万页，涵盖 1981 至 2026 年的内容。社区扫描项目贡献了约三分之二的馆藏。目前，该档案库为游戏历史研究提供了大量资料，并已被维基百科引用 500 多次。
VGHF 也开始扩展英文以外的资料。其日语资料试点收藏包括《Neo Geo Freak》1995 至 2000 年的完整内容，并提供先进的日语光学字符识别（OCR）、重要文章的英文索引、语言筛选、从右至左排版，以及对无空格日语文本的搜索支持。VGHF 并不打算用机器翻译全部 10,000 页内容，而是依靠日语流利的志愿者筛选和识别关键内容。
该基金会计划在未来几年再增加 70,000 页国际资料，并寻求与收藏者、各类机构以及日语使用者建立合作关系。
一项将基于 Rust 的 uutils coreutils 纳入 OpenBSD ports 树的提案，遭到了包括 Theo de Raadt 和 Stuart Henderson 在内的知名开发者的拒绝。该端口会安装类似 `gcat`、`gls` 和 `gcp` 的命令，并将它们作为符号链接指向同一个多调用二进制文件，同时会与 OpenBSD 原生工具及现有的 GNU coreutils 端口发生冲突。 批评者认为，uutils 会重复实现 OpenBSD 基础系统中已经集成并经过充分测试的 BSD 许可工具。两者在输出、退出状态或边缘情况处理上的细微差异，可能导致管道和脚本出现问题。其他担忧还包括 uutils 的成熟度、多调用打包模式、更新和维护要求，以及在 OpenBSD 架构上支持 Rust 和自举其工具链的难度。 尽管 uutils 已在 Linux 上得到广泛采用，并采用宽松的 MIT 许可证，但维护者认为它与 OpenBSD 保守且统一的理念不符。如果不进行重大重新设计，也无法证明其行为与现有工具充分兼容，这项提案仍不太可能获准推进。
The Hacker News 的讨论帖围绕一则报道展开：OpenBSD 开发者拒绝打包 uutils coreutils，即用 Rust 重写的 GNU 工具集替代方案。几名用户质疑报道的准确性，指出其中的发布日期已经过时、引语归属不清，并可能由 AI 生成；也有人建议读者查看原始的邮件列表讨论。
据报道，实际反对理由包括：维护一个小众、兼容 GNU 的替代工具集会带来长期负担；软件存在细微的行为差异；OpenBSD 各平台对 Rust 的支持有限；多调用程序的打包方式尚不确定。因此，这些意见并不只是出于反对 Rust。
用户还担心 uutils 早期部分代码源自 GPL 代码，不过该项目表示已经重写相关内容。讨论也反驳了一些安全方面的说法，指出使用 Rust 并不会自动消除漏洞。
一条很长的副帖讨论了 Theo de Raadt 直接的沟通风格。支持者认为，正是他果断的领导保护了 OpenBSD；批评者则表示，过度粗暴可能使贡献者远离项目，并损害项目社区。
数万名人在西班牙各地抗议，马德里以及约50个其他城市举行了集会，要求采取行动解决租金飙升、租期不稳定和无家可归问题。马德里的组织者称有50万人参加示威，而当局则报告有7万人。
这些抗议发生在议会否决政府住房法令之后。投票否决的是保守派人民党、极右翼沃克斯党以及支持加泰罗尼亚独立的扬特斯党。拟议措施包括在2030年前禁止驱逐租客，以及更严格地规范短期租房和单间出租。
87岁的轮椅使用者玛丽卡门·阿瓦斯卡尔在租金上涨230%后被逐出马德里的住所，这加剧了公众的愤怒。抗议者还呼吁举行全面罢工，并要求提供价格可负担且稳定的住房。
大多数示威活动是和平的，但瓦伦西亚发生了冲突，警方使用了橡皮子弹和催泪瓦斯。试图前往马德里抗议营地的极右翼组织遭到阻拦，另有三人被捕。
首相佩德罗·桑切斯可能会宣布在11月提前举行大选。抗议的规模及其对处境艰难政府的政治影响，可能会影响这一决定。
一则关于西班牙住房危机及相关抗议的 Hacker News 讨论，核心聚焦于政治问责：抗议者将矛头指向那些阻止政府采取紧急住房措施的反对党。不过，也有人评论者并不信任政府过去的执政记录及其动机。
参与者对解决方案存在分歧。许多人主张建设更多住宅、提高住房密度，尤其是在有人声称西班牙每年接收约50万移民，却只建造约9万套住房的情况下。另一些人则认为，无限制开发、Airbnb、机构投资者旅游业以及外国所有权都可能进一步恶化住房可负担性，因此主张加强监管或征收土地价值税。
另一个主题是西班牙的就业集中在马德里、巴塞罗那和瓦伦西亚。有人建议通过远程工作，以及投资那些具备发展潜力的二线城市，来缓解这些城市的压力；但批评者质疑这种做法是否涉及过度集中规划，以及这些城市在经济上是否可行。讨论还涉及驱逐租户的保护措施、短期出租监管漏洞、代际公平、移民问题，以及保护长期租户的权益是否比赋予房东更大的灵活性更重要。
作者批评了一个 GitHub 项目，该项目让本地运行的大语言模型经历“《电锯惊魂》式”的折磨场景，认为有关人工智能遭受痛苦的说法助长了一场日益脱离现实、关于意识及“模型福利”的讨论。作者坚持认为，当前的大语言模型并不具备意识，用抓取的人类内容训练它们，也没有任何 plausible route to consciousness? Need translate no English. "也不存在通往意识的合理可能。" Good. 尽管作者承认，更强大的模型、更少的限制措施以及人类的不当使用，都可能造成实际危害，包括谄媚行为和所谓的“人工智能精神病”，但他认为，这些问题与担忧聊天机器人主观福祉是两回事。作者还批评了一些有效利他主义者和硅谷人士：他们一面倡导“模型福利”，一面构建旨在从事人类劳动的系统。 文章提及 Anthropic 最近对模型可能拥有意识的讨论，并引用其《Claude 宪法》作为证据，说明这一概念已经进入人工智能的主流讨论。作者以这场 GitHub 争议为例，将模型福利倡导描绘为一场“脱轨”的讨论，认为当前的人工智能能力并不支持这种观点。
一个 Hacker News 讨论串围绕“故意诱发大模型与痛苦相关的行为是否构成折磨”展开争论。据称，相关实验会操控模型内部的“痛苦向量”，并观察其是否产生厌恶性输出，但评论者对实验究竟能证明什么存在尖锐分歧。
一方认为，即使无法证明模型具有意识，那些在因果关系上对应痛苦的内部表征也应得到道德层面的考量，因为故意造成潜在痛苦本身就是错误的。另一方则认为，大模型只是在预测词元，将内部状态称为痛苦是一种拟人化，行为上的模拟并不等同于主观体验。双方都进行了类比：一方列举动物实验和历史上的虐行，另一方则将模型比作删除文件或运行普通软件。
讨论随后扩展到大模型是否具有意识、物理主义与二元论、模拟、动物的感知能力、个人身份，以及科学能否确立一个主体在道德上值得被考虑等问题。之后，讨论又转向宗教、功利主义、历史暴力、报复和人格尊严，其中多条评论被标记。总体而言，这场讨论凸显了一个深层分歧：对于机器是否会遭受痛苦，我们能够在多大程度上接受不确定性，同时仍维持其道德地位？
俄罗斯的导弹和无人机袭击重创了乌克兰的集中式电力系统，导致数百万人无法获得稳定的电力、供暖和供水。在米科莱夫，受损的管网过去只能提供很少的水，而且水质含盐量较高；如今，一个由丹麦资助的太阳能电站和电池为当地水泵供电。五套太阳能淡化系统每天最多可供应120万升饮用水。
这些破坏加快了乌克兰向分布式可再生能源转型的步伐。屋顶式和小型太阳能设施、风电、电池、生物质能以及小型燃气电站，比大型火电站或炼油厂更难成为攻击目标，修复起来也更快。乌克兰正在迅速扩大储能设施，并计划将关键变电站埋入地下，不过集中式输电仍不可或缺。
在全面入侵开始之前，乌克兰的可再生能源就已在增长，部分原因是其加入欧盟的进程及气候承诺。然而，自2022年以来，能源安全已成为首要任务：乌克兰的目标是在四年内将可再生能源消费翻倍，目前约有7吉瓦的风电项目等待完工。基层分布式能源设施正在迅速发展，但电网受损、战时中断和安全风险限制了进一步扩张。
一条 Hacker News 讨论串围绕一篇文章展开。文章认为，乌克兰的分布式太阳能发电有助于抵御俄罗斯对集中式能源基础设施的攻击。评论者普遍认为，依赖化石燃料会通过管道、炼油厂、燃料储存设施和运输环节造成战略脆弱性。
讨论还延伸到了可再生能源之外。参与者质疑太阳能的季节性限制、廉价无人机造成的破坏、储能和电网升级成本，以及依靠屋顶太阳能和电动汽车满足全部用电需求的可行性。支持者则反驳称，与受损的集中式发电厂相比，分布式发电可能更便宜，也更容易迅速恢复；社区微电网、电池、电动汽车和热储能也能提升韧性。
核电和核威慑力同样是讨论的重点。参与者争论它们究竟能带来安全保障，还是只会制造更大的攻击目标。更广泛的讨论涉及国家韧性、城市与分散布局的人口之间的差异，以及分散化是否值得付出更高成本。一段激烈争论质疑了俄罗斯的动机：其目标究竟是实施战略经济破坏，还是故意伤害平民；讨论中还引用了联合国和人权观察的证据。总体而言，讨论者认可韧性有价值，但质疑文章提供的证据及其方案的可扩展性。