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 密钥和并行请求。
每日HackerNews RSS
Hacker News 上的讨论聚焦于 Strata，这是一款专用推理引擎，代码主要由 AI 生成。它可以在消费级硬件上运行 Qwen3.8 Flash Next——一个拥有 1250 亿参数、其中约 60 亿参数处于激活状态的 MoE 模型。提交者称，在配备 128GB 系统内存的 RTX 4090 上，速度约为每秒 124 个 token；其他用户则报告称，在 RTX 3080、3090、5090 系统、Radeon 硬件以及 Mac 上都能获得可用的速度。
对于模型质量，意见存在明显分歧许多人认为，Flash Next 在编程方面比 Qwen3.8 27B 更快、能力更强，有时甚至接近较早期的 Sonnet 或 Opus 模型。IQ3 和 IQ4 量化被广泛认为是可以使用的，这得益于专家缓存和激进的卸载策略。也有人报告称，该模型会出现幻觉、工具调用失效、视觉能力较差、长上下文错误、并发能力弱等问题，而且从 Q2、Q1 或专家剪枝版本升级后，性能会显著下降。
讨论还质疑，如果缺乏固定的准确率基准、合适的评测框架以及量化细节，仅凭宣传的速度是否真的有意义。据称，安装过程大约需要一个小时，冷启动时间约为 15 分钟。尽管存在怀疑，评论者普遍认为，专用引擎正在推动私人化、低成本的本地 AI 发展；不过，关于安全性、可维护性，以及 AI 生成的代码能否通过严格的人工审查，争论仍在继续。
拒绝敏感是对感知到的批评、排斥 排斥或失败所产生的强烈反应。威廉·多德森（William Dodson）提出了“拒绝敏感障碍”（RSD）一词，用来描述一种严重且常伴有身体疼痛的反应，这种反应尤其与 ADHD 相关，但 RSD 并非正式诊断。 对于天赋儿童和双重特殊儿童，ADHD、孤独症、感觉处理敏感、情绪高反应性，以及身份与表现之间的强烈融合，都可能加剧拒绝敏感。针对某项作业的反馈，可能会让他们感觉自己的价值受到了评判。他们的反应可能包括羞耻、愤怒、情绪关闭、易怒、完美主义、黏人、社交疲惫，或把朋友间的小小“冒犯”视为严重排斥。这些孩子也可能很少遇到强度和兴趣与自己相匹配 的同龄人，因此一段友情可能会显得异常重要。 有帮助的做法包括：将表现与自我价值分开；在提出批评前先说明批评的背景；接纳孩子的高警觉反应，但不纵容相应行为；以及识别触发事件、孩子的理解、身体反应 应和随之做出的选择。让孩子有机会修复小错误，直接指导他们区分“轻微冒犯”与“真正排斥”，组建基于共同兴趣的同伴群体，并示范如何健康地修复冲突，都有助于增强其心理韧性。 如果出现严重回避、拒学、身体不适、抑郁或自伤，应寻求专业支持。
一则 Hacker News 讨论批评了一篇关于天赋儿童和双重特殊儿童拒绝敏感性的文章。评论者质疑文中缺乏证据支持的“机制”、临床化表述以及适用性，并指出“拒绝敏感失调”并非正式诊断，可能与 ADHD、自闭症、情绪失调、焦虑或完美主义存在重叠。作者是一名教育工作者，而非临床医生；文章似乎还与她的教育产品及 Substack 订阅内容有关。几名用户怀疑文章有 AI 参与；她否认由 AI 代写，但有人声称曾使用 AI 协助，此事后来又存在争议。
另一场较长的副线讨论考察了前沿模型是否会挑战已被否定的全语言阅读法。其中一个模型在明确接受相关指示后，仍为这种方法撰写了措辞漂亮的辩护文章，由此引发了争论：这究竟体现了模型的迎合性、普通的指令遵循能力，还是提示能力有限。
另一场冗长讨论则围绕“天赋儿童”是否是一种有用的教育分类展开，还是一个容易造成误导、带有历史包袱的标签。参与者对 IQ、环境影响，以及天赋项目是否确实能提供有价值的支持各持己见。个人经历涉及拒绝敏感性、自闭症、ADHD、学校中的困扰、应对策略，以及显著的个体差异。
迈克尔·尼尔森（Michael Nielsen）在《思维作为技术》一文中指出，具有变革性的计算机界面不只是自动化已有任务：它们会引入新的“认知元素”，拓展人们思考、推理和创造的方式。他童年时发现的 MacPaint——拥有直接绘制的画布、选择工具、缩放和撤销功能——成为了技术被内化为思维媒介的经典案例。
尼尔森将这一点与语言、地图、艺术和其他认知技术进行比较，并指出，专家往往会使用私密的视觉表征，而传统教育和媒体往往忽视这些表征。由此可以得出两条界面设计准则：
1. **将隐藏的表征具体化**，使难以触及的心智模型变得可交互。
2. **将深层原理具体化**，把基础的科学或数学理念转化为可探索的对象和操作。
能量曲面和抛体运动原型展示了这类界面如何揭示关系、支持快速发现，以及如何让对界面的掌握与对学科本身的掌握变得不可分割。
更广泛的目标是“智能增强”：扩展人类的思维，而不只是把问题解决外包出去。由于新的认知可能性无法被完全预测，设计者必须大胆探索，并提出更好的问题。
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、机构投资者旅游业以及外国所有权都可能进一步恶化住房可负担性，因此主张加强监管或征收土地价值税。
另一个主题是西班牙的就业集中在马德里、巴塞罗那和瓦伦西亚。有人建议通过远程工作，以及投资那些具备发展潜力的二线城市，来缓解这些城市的压力；但批评者质疑这种做法是否涉及过度集中规划，以及这些城市在经济上是否可行。讨论还涉及驱逐租户的保护措施、短期出租监管漏洞、代际公平、移民问题，以及保护长期租户的权益是否比赋予房东更大的灵活性更重要。