迈克尔·尼尔森（Michael Nielsen）在《思维作为技术》一文中指出，具有变革性的计算机界面不只是自动化已有任务：它们会引入新的“认知元素”，拓展人们思考、推理和创造的方式。他童年时发现的 MacPaint——拥有直接绘制的画布、选择工具、缩放和撤销功能——成为了技术被内化为思维媒介的经典案例。
尼尔森将这一点与语言、地图、艺术和其他认知技术进行比较，并指出，专家往往会使用私密的视觉表征，而传统教育和媒体往往忽视这些表征。由此可以得出两条界面设计准则：
1. **将隐藏的表征具体化**，使难以触及的心智模型变得可交互。
2. **将深层原理具体化**，把基础的科学或数学理念转化为可探索的对象和操作。
能量曲面和抛体运动原型展示了这类界面如何揭示关系、支持快速发现，以及如何让对界面的掌握与对学科本身的掌握变得不可分割。
更广泛的目标是“智能增强”：扩展人类的思维，而不只是把问题解决外包出去。由于新的认知可能性无法被完全预测，设计者必须大胆探索，并提出更好的问题。
每日HackerNews RSS
Hacker News
最新
|
往期
|
评论
|
提问
|
展示
|
职位
|
提交
登录
《将思想视为一种技术》（2016）
（cognitivemedium.com）
4 分
作者：tobr
3 小时前
| 隐藏 | 往期 | 收藏 | 讨论 | 帮助
考虑申请 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`。
黑客新闻
最新
|
往期
|
评论
|
提问
|
展示
|
职位
|
提交
登录
展示 HN：适用于 macOS 的 AI 搜索，可搜索所有照片和视频帧
（github.com/allenv0）
11 分
作者：allenleee
3 小时前
|
隐藏
|
往期
|
收藏
|
1 条评论
帮助
stephenitis
20 分钟前
[–]
我很喜欢这个项目的整体理念，但唯一阻碍我尝试它的原因是：我不知道处理大型视频帧文件夹或照片库中的视频时，需要把电脑留在一旁处理多长时间；我那里有大约 12,000 个视频。
回复
考虑申请 YC 2027 年冬季批次！
申请截止时间为 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律条款
|
申请加入 YC
|
联系我们
搜索：
20世纪60和70年代，Transcience 公司的广告承诺给人们“一碗快乐”：冻干卵放入盐水中后，就会孵化出卤虫幼体，也就是所谓的“海猴”。 匹兹堡大学的研究人员后来利用这种微小的自主游动生物研究湍流。通常，二维湍流中的能量会从小尺度涡流向大尺度涡流级联，但研究团队发现，在恰到好处的角度放置一个小障碍物，就能扰乱并逆转这一能量流。 这项工作建立在刘易斯·弗莱·理查森、安德烈·柯尔莫哥洛夫、罗伯特·克雷希南和乔治·巴切勒等人的理论之上，并展示了自主活动的生物如何影响流体动力学。研究由工程师 Lei Fang 和研究员 Xinyu Si 领导，结果表明，生物运动可能有助于生物在天然水道中混合各种物质。其影响或许还能扩展到更大尺度的三维湍流系统，并有望应用于污染控制、流体工程和药物递送。
黑客新闻
最新
|
往期
|
评论
|
提问
|
展示
|
职位
|
提交
登录
海水熊虫向科学家展示如何改写湍流的一条规则
（quantamagazine.org）
5 分
由 ibobev 提交
2 小时前
隐藏
|
往期
|
收藏
|
讨论
|
帮助
考虑申请 YC 2027 年冬季批次！
申请截止时间为 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请加入 YC
|
联系我们
搜索：
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。
Hacker News
最新
|
往期
|
评论
|
提问
|
展示
|
招聘
|
提交
登录
提前生成元数据可使 Rust 的构建和检查速度最高提升至两倍
（
github.com/powderworkscode
）
8 分
由
knuckleheads 发布
4 小时前
|
隐藏
|
往期
|
收藏
|
讨论
帮助
考虑申请 YC 2027 年冬季批次！
申请开放至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请加入 YC
|
联系我们
搜索：
**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：自定义电子邮件作者与署名许可证
用户必须遵守每项适用许可证中特定的署名、声明和分发要求。
黑客新闻
最新
|
往期
|
评论
|
提问
|
展示
|
职位
|
提交
登录
gpuvis：GPU 跟踪可视化器
（github.com/mikesart）
5 分
由
luu
2 小时前
|
隐藏
|
往期
|
收藏
|
讨论
帮助
考虑申请 YC 2027 年冬季批次！
申请开放至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律声明
|
申请加入 YC
|
联系我们
搜索：
VGHF 数字档案馆收录的杂志已突破 5000 本。接下来将推出什么？ VGHF Digital Archive passes 5000 magazines. Here's what's next
7 小时前
电子游戏历史基金会（VGHF）免费开放的数字档案库自推出以来规模不断扩大，馆藏杂志从最初的 1,500 种增加到 5,000 多种，总计近 60 万页，涵盖 1981 至 2026 年的内容。社区扫描项目贡献了约三分之二的馆藏。目前，该档案库为游戏历史研究提供了大量资料，并已被维基百科引用 500 多次。
VGHF 也开始扩展英文以外的资料。其日语资料试点收藏包括《Neo Geo Freak》1995 至 2000 年的完整内容，并提供先进的日语光学字符识别（OCR）、重要文章的英文索引、语言筛选、从右至左排版，以及对无空格日语文本的搜索支持。VGHF 并不打算用机器翻译全部 10,000 页内容，而是依靠日语流利的志愿者筛选和识别关键内容。
该基金会计划在未来几年再增加 70,000 页国际资料，并寻求与收藏者、各类机构以及日语使用者建立合作关系。
Hacker News
最新
|
过去
|
评论
|
提问
|
展示
|
职位
|
提交
登录
VGHF 数字档案已收录超过 5000 本杂志。接下来会发生什么
（
gamehistory.org
）
13 分
由
rdmuser
1 小时前
|
隐藏
|
过去
|
收藏
|
1 条评论
帮助
dr_dshiv
29 分钟前
[–]
Abandonmags？
回复
考虑申请 YC 2027 年冬季批次！
申请开放至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律声明
|
申请加入 YC
|
联系我们
搜索：
一项将基于 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 保守且统一的理念不符。如果不进行重大重新设计，也无法证明其行为与现有工具充分兼容，这项提案仍不太可能获准推进。
一篇 Hacker News 帖子提到，OpenBSD 开发者拒绝将基于 Rust 的 uutils 打包为兼容 GNU 的替代工具。拟议的移植方案会通过符号链接，将 `gcat`、`gls`、`gcp` 等命令指向同一个多调用二进制文件，从而避免与现有的 GNU 工具发生冲突。
OpenBSD 开发者 Theo de Raadt 承认，uutils 已经足够成熟，可以供 Ubuntu 采用，但他反对向 OpenBSD 加入存在细微行为差异的实现。他指出，不同实用工具之间如果行为不一致，例如 `sed` 或 `cut` 对输出的解析方式不同，就可能在毫无察觉的情况下破坏工作流程，因此这种所谓的兼容方案并不理想。他还批评了围绕许可证和 Rust 所给出的理由，认为这些说法透露出一种没有明说的隐藏议程。
一名 Hacker News 评论者则不以为然，并表示 Lunduuke 已经更有效地讨论过这一问题。
数万名人在西班牙各地抗议，马德里以及约50个其他城市举行了集会，要求采取行动解决租金飙升、租期不稳定和无家可归问题。马德里的组织者称有50万人参加示威，而当局则报告有7万人。
这些抗议发生在议会否决政府住房法令之后。投票否决的是保守派人民党、极右翼沃克斯党以及支持加泰罗尼亚独立的扬特斯党。拟议措施包括在2030年前禁止驱逐租客，以及更严格地规范短期租房和单间出租。
87岁的轮椅使用者玛丽卡门·阿瓦斯卡尔在租金上涨230%后被逐出马德里的住所，这加剧了公众的愤怒。抗议者还呼吁举行全面罢工，并要求提供价格可负担且稳定的住房。
大多数示威活动是和平的，但瓦伦西亚发生了冲突，警方使用了橡皮子弹和催泪瓦斯。试图前往马德里抗议营地的极右翼组织遭到阻拦，另有三人被捕。
首相佩德罗·桑切斯可能会宣布在11月提前举行大选。抗议的规模及其对处境艰难政府的政治影响，可能会影响这一决定。
Hacker News 上的一场讨论聚焦于《卫报》的一篇报道，报道称数千人抗议西班牙的住房危机。一名评论者认为，主要解决办法是建造更多住房，而不是冻结房价；他暗示，抗议者可能希望把城市保留为规模更小、更加排他的社区。
另一名评论者反驳称，西班牙已经有大量空置住房，而大型房地产公司的税收优惠可能会阻碍新住房建设，因此仅靠建房并不能解决危机。第三名评论者敦促选民记住那些否定拟议法令的政治人物。
这段摘录几乎 没有说明抗议的具体诉求或该法令的内容。
作者批评了一个 GitHub 项目，该项目让本地运行的大语言模型经历“《电锯惊魂》式”的折磨场景，认为有关人工智能遭受痛苦的说法助长了一场日益脱离现实、关于意识及“模型福利”的讨论。作者坚持认为，当前的大语言模型并不具备意识，用抓取的人类内容训练它们，也没有任何 plausible route to consciousness? Need translate no English. "也不存在通往意识的合理可能。" Good. 尽管作者承认，更强大的模型、更少的限制措施以及人类的不当使用，都可能造成实际危害，包括谄媚行为和所谓的“人工智能精神病”，但他认为，这些问题与担忧聊天机器人主观福祉是两回事。作者还批评了一些有效利他主义者和硅谷人士：他们一面倡导“模型福利”，一面构建旨在从事人类劳动的系统。 文章提及 Anthropic 最近对模型可能拥有意识的讨论，并引用其《Claude 宪法》作为证据，说明这一概念已经进入人工智能的主流讨论。作者以这场 GitHub 争议为例，将模型福利倡导描绘为一场“脱轨”的讨论，认为当前的人工智能能力并不支持这种观点。
Hacker News
最新
|
过去
|
评论
|
提问
|
展示
|
职位
|
提交
登录
“折磨”大语言模型的机器人监狱引发了人工智能领域最愚蠢的争论
（404media.co）
7 分
由 airhangerf15 提交
1 小时前
| 隐藏 | 过去 | 收藏 | 讨论 | 帮助
考虑申请 YC 2027 年冬季批次！
申请截止日期为 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律声明
|
申请 YC
|
联系我们
搜索：
俄罗斯的导弹和无人机袭击重创了乌克兰的集中式电力系统，导致数百万人无法获得稳定的电力、供暖和供水。在米科莱夫，受损的管网过去只能提供很少的水，而且水质含盐量较高；如今，一个由丹麦资助的太阳能电站和电池为当地水泵供电。五套太阳能淡化系统每天最多可供应120万升饮用水。
这些破坏加快了乌克兰向分布式可再生能源转型的步伐。屋顶式和小型太阳能设施、风电、电池、生物质能以及小型燃气电站，比大型火电站或炼油厂更难成为攻击目标，修复起来也更快。乌克兰正在迅速扩大储能设施，并计划将关键变电站埋入地下，不过集中式输电仍不可或缺。
在全面入侵开始之前，乌克兰的可再生能源就已在增长，部分原因是其加入欧盟的进程及气候承诺。然而，自2022年以来，能源安全已成为首要任务：乌克兰的目标是在四年内将可再生能源消费翻倍，目前约有7吉瓦的风电项目等待完工。基层分布式能源设施正在迅速发展，但电网受损、战时中断和安全风险限制了进一步扩张。
Hacker News
新内容
|
过去
|
评论
|
提问
|
展示
|
招聘
|
提交
登录
在乌克兰，分布式可再生能源挫败了俄罗斯的袭击
（energytransition.org）
13 分
作者：JumpCrisscross
24 分钟前
隐藏
|
过去
|
收藏
|
1 条评论
帮助
realty_geek
1 分钟前
[–]
我们需要更多这样的正面故事
回复
考虑申请 YC 2027 年冬季批次！
申请截止时间为 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请加入 YC
|
联系我们
搜索：