Hacker News Digest
· 64 黑客新闻
Go 1.27 即将发布，带来了多项令人期待的特性。最引人注目的是泛型方法（Generic methods）的正式落地，让方法声明可以拥有独立的类型参数，不再局限于包级函数。此外，结构体字面量现在支持直接设置提升字段，函数类型推断也更加通用，无需手动指定类型参数。性能方面，编译器引入了针对小对象优化的内存分配，能提升约 1% 的分配效率。调试能力也大幅增强，goroutine 标签将出现在回溯信…
作为一名15岁的工程师爱好者，我亲手设计并3D打印了这款摆线减速器。项目包含完整的迭代过程，从最初的手摇测试版到最终适配NEMA 17电机的功能性版本。我还开发了一个Python脚本，基于SolidWorks文章中的参数方程，能自动生成摆线齿轮的CAD模型。通过Fusion 360运行该脚本，你可以轻松定制齿轮参数。尽管受限于3D打印精度，最终版本仍实现了1:9的减速比和66%的效率，展现了惊人…
Wiki Workers United 要求 Wikimedia Foundation 自愿承认工会地位，但被后者拒绝。Wikimedia Foundation 坚持通过 National Labor Relations Board 进行秘密投票，并聘请了以反工会闻名的 Littler Mendelson 律所。社区对此反应强烈，发起请愿谴责此举。此外，Wikimedia Foundation…
这篇内容汇集了 Tumblr 上备受关注的 Anime User Interface 精选图集，展示了从 Macross Plus 到 Dirty Pair: Project Eden 等经典作品中的科幻界面设计。这些来自动画的视觉元素，以其独特的未来感和流畅的交互逻辑，为现实世界的 UI 设计提供了丰富的灵感来源。无论是充满科技感的仪表盘，还是极具辨识度的操作界面，这些设计都完美诠释了二次元美…
作为Open Home Foundation的Android开发者，我受邀向欧盟委员会反馈Android互操作性问题。针对Google长期限制第三方应用使用低功耗DSP芯片进行唤醒词检测的行为，欧盟依据《数字市场法案》作出裁决。Google必须向所有助手开放包括始终在线唤醒词检测、环境传感器访问在内的十一项核心功能，且不得将访问权限与默认助手角色绑定。这意味着未来Home Assistant用户…
- ▲ 169Linux 桌面在北美份额突破 10%
Linux 桌面系统在北美市场的份额已悄然突破 10% 大关，这一数据引发了科技社区的广泛关注。尽管具体统计来源尚待验证，但这一趋势暗示着开源操作系统正在逐步蚕食传统操作系统的领地。对于开发者、极客以及追求自由软件的用户而言，这不仅是数字的增长，更是生态成熟度的体现。随着硬件兼容性的提升和用户体验的优化，Linux 正从边缘走向主流，或许未来我们不再需要纠结于操作系统的选择，而是专注于它能为我们…
随着 Kimi K3 等开源模型参数飙升至 2.8T，显存容量成了部署的关键瓶颈。我们发现，AMD 的 MI355X 凭借 288GB 大显存，在单节点即可完整加载模型，而 B200 需双节点且 B300 价格高昂。经过对 sglang 框架的简单修复和预填充优化，MI355X 在每美元性能上大幅超越 B300，单节点吞吐量达 952 tok/s。这证明在超大模型时代，显存容量可能比单纯的算力更…
- ▲ 133为什么我不推荐 Tailwind CSS
Tailwind CSS 虽然流行且能快速构建界面，但我认为在中型或大型项目中需三思。它迫使开发者记忆大量类名，模糊了结构与设计的界限，且命名规则并不总是一致。更关键的是，它提供的任意值功能破坏了设计系统的约束，让开发者误以为掌握了 CSS，实则只是熟悉了抽象层。如今，现代原生 CSS 已具备 Cascade Layers、嵌套和容器查询等强大功能，Tailwind 的必要性值得重新审视。在盲目…
- ▲ 111Atom 在关键之处优于 RSS
虽然 Atom 在技术上早已超越 RSS，但 RSS 仍因惯性被广泛使用。很多人认为两者差异仅在于日期格式或编码细节，实则不然。RSS 在标题编码上存在根本缺陷，无法可靠处理包含 `<` 或 `&` 等字符的标题，而 Atom 通过 text construct 机制提供了清晰的文本、HTML 或 XHTML 编码选项。此外，RSS 缺乏摘要与完整内容的明确区分，导致互操作性问题。尽管大多数阅读…
Bor v0.8.0 重磅发布，专为 Linux 桌面环境打造的开源策略管理平台。此次更新新增对 Thunderbird、Microsoft Edge for Business 及 Firewalld 区域的策略支持，并全面重构了 Web UI 界面。通过细粒度的 RBAC 权限控制和严格的安全加固，Bor 能够统一管控从浏览器配置到防火墙规则的各类系统策略。无论是管理数千台节点的集群，还是确保…
- ▲ 95插拔式太阳能来了，电池紧随其后
英国政府已宣布放宽法规，允许插拔式太阳能面板进入市场，但插拔式电池仍被排除在外。Regen 指出，这种便携式储能设备无需专业安装，只需插入普通插座即可，特别适合租房者、公寓住户及低收入家庭。相比传统固定式系统，插拔式电池成本更低，且能配合分时电价策略，在十年内为高能耗家庭节省高达 2400 英镑的电费。尽管目前因 BS 7671 布线规范中的“负载掩蔽”安全隐患而受限，但 Regen 呼吁政府尽…
- ▲ 94京都大学破解习惯形成的神经密码
习惯究竟是如何从刻意行为变成自动反应的？京都大学的研究团队通过创新的快速训练法，在老鼠身上直接追踪了这一过程。他们发现，大脑中存在两条截然不同的神经回路：一条从anterior cingulate cortex连接到retrosplenial cortex，负责决定行为是否变成习惯；另一条从lateral orbitofrontal cortex投射到central striatum，则控制习惯…
我详细记录了搭建 ASRock BC-250 预算级 Steam 主机的全过程。这台设备性价比极高，特别适合喜欢折腾的极客。关键在于将 VRAM 分配调整为 6GB 而非默认的 512MB，并禁用 Steam 的预缓存着色器下载以避免性能损耗。通过安装 cyan-skillfish-smu 工具动态调整 GPU 频率，解锁隐藏的 40CU 计算单元，并对 CPU 进行超频与降压，能显著提升游戏表…
Meshdiff 是一款能在浏览器中直接对比 STL、3MF 和 OBJ 等 3D 模型版本差异的工具。其核心亮点在于完全在客户端运行，所有文件解析与差异计算均在本地完成，确保数据绝不离开你的浏览器。工具不仅支持体素差异可视化，还能精确计算体积变化百分比，并生成 JSON 格式的对比报告。目前，表面热力图差异和移除材料幽灵叠加功能正处于测试阶段，而自动对齐、截面视图及团队协作审批等功能也在规划路…
US Treasury 在日元市场上采取了历史性的干预行动，这一举动标志着美国政府对全球货币波动态度的重大转变。面对日元汇率的剧烈波动，US Treasury 直接介入市场，试图稳定局势并防止进一步的经济动荡。此次干预不仅影响了全球外汇市场，也引发了对 US Treasury 未来货币政策走向的广泛讨论。文章深入分析了这一历史性事件的背景、影响以及可能带来的长远后果，为读者提供了独特的视角和深刻…
路透社独家披露，上海 Aishengna 电子科技集团已启动国产浸没式深紫外（DUV）光刻机的量产。这家由上海电气和上海国投持股的国企，整合了 Yuliangsheng 和 SMEE 等初创团队的技术力量。尽管 Aishengna 的机型在良率和产能上尚无法与 ASML 直接抗衡，但这一突破为 SMIC、Hua Hong Semiconductor 和 CXMT 等中国芯片厂商提供了关键备选方案…
- ▲ 82深海探测器拍到“外星”鬼鲨
2019年，遥控潜水器在太平洋贾维斯岛附近2000米深处，首次拍到了活体鬼鲨（Goblin sharks）在自然栖息地的影像。这种外形奇特的古老鲨鱼拥有粉灰色皮肤和可瞬间弹出的下颚，此前从未在深海中被观测到。五年后，研究团队在汤加附近再次发现同类，且深度创下新纪录。这些珍贵 footage 揭示了鬼鲨的分布范围远超预期，并证实它们依赖海底山峰等脆弱栖息地，为未来保护这一濒危物种提供了关键线索。
在 Floodgap 实验室，一切始于修复一台不稳定的 Apple Workgroup Server 9150。这台机器是 Workgroup Server 系列中的异类，也是 Apple Network Server 的远房表亲。我决定将其彻底魔改以运行 MkLinux。在 IBM AIX 时代的 Apple Network Server 之前，Apple 曾推出过 Workgroup Ser…
Core-Lightning开发者ddustin深入调查Coldcard固件漏洞，发现一个因开发者盲目修复编译错误而导致的严重随机数生成缺陷。在尝试覆盖变量时遭遇冲突，开发者为让代码编译通过，直接禁用了硬件RNG，却未意识到这导致random.bytes()调用了极不安全的Yasmarang算法。这一系列操作仅用“runs”作为提交信息，暴露了过度依赖Micropython而忽视底层C代码理解的…
RFC 10015 正式宣布在 TLS 1.2 和 DTLS 1.2 中弃用 RSA 密钥交换及有限域 Diffie-Hellman 算法，并建议停止使用静态 ECDH。这一决定旨在解决长期存在的前向保密缺失问题，以及 Raccoon 攻击、Bleichenbacher 攻击等严重安全漏洞。由于实现复杂性和密钥复用风险，这些旧算法已不再安全。该标准更新了多项历史 RFC，明确指导客户端和服务端停…
在Neo于《黑客帝国》中瞬间掌握功夫之前几个世纪，中世纪学者就发现了捷径：一本名为Ars notoria的魔法手稿，承诺通过图表、咒语和神秘仪式，快速传授大学课程所需的全部知识。尽管被教会谴责，这本手稿仍流传至今，其复杂的几何图形和不可发音的词汇，被信徒视为与天使乃至上帝直接沟通的媒介。文章探讨了Ars notoria如何以虔诚的祈祷包装，却因涉及与恶魔的契约而遭到圣托马斯·阿奎那的严厉批判，揭…
Holocloth 是一个令人耳目一新的项目，它利用现代 Web 技术实现了逼真的布料物理模拟。在这个演示中，你可以直观地看到布料在虚拟空间中的自然垂坠、飘动和碰撞效果，仿佛触手可及。开发者通过精心优化的算法，让复杂的物理计算在浏览器中流畅运行，无需安装任何插件。这不仅展示了图形渲染技术的进步，也为游戏开发、虚拟试衣和数字时尚设计提供了新的可能性。如果你曾好奇布料在数字世界中如何‘呼吸’，这个页…
Elena 是由 @arielle 打造的一款极简库，专为构建 Progressive Web Components 而生。它打破了传统 Web 组件对 JavaScript 的过度依赖，坚持先加载 HTML 和 CSS，再逐步注入交互逻辑。这一设计有效解决了可访问性缺陷、服务端渲染瓶颈、布局偏移及内容闪烁等长期痛点。Elena 仅 2.9kB，零依赖，完全基于原生标准构建，能无缝适配 Reac…
2006 年，我们带着一个看似疯狂的野心成立了 RISC OS Open Ltd，试图将一个专有操作系统向所有人开放。二十年后，这个目标不仅实现了，RISC OS 的健康状况也比当年好得多。从最初的源码共享到 RISC OS Pi 的发布，再到如今代码库完全公开托管在 GitLab 上，每一步都离不开社区的支持。我们见证了 RISC OS 登陆 Raspberry Pi、被 SpaceX 选中用…
Syncular 是一个专为 TypeScript 打造的离线优先同步框架。它在客户端使用本地 SQLite 数据库，服务端则基于 Postgres，通过中间的有序提交日志确保数据一致性。无论网络状况如何，用户都能流畅操作，数据在恢复连接后自动同步。项目采用 Rust 和 TypeScript 双核心，遵循严格的规范优先原则，确保跨平台体验统一。无论是浏览器还是原生应用，Syncular 都能提…
我们在为 PennyLane 开发量子编译器 Catalyst 时，意外发现了一个有趣的副产品。原本为了优化混合量子 - 经典工作流，我们利用 MLIR 将 JAX 代码直接编译到 LLVM，却意外绕过了 XLA 运行时。这意味着，即使不使用任何量子指令，Catalyst 也能将纯 JAX 代码编译成独立的 AOT 二进制文件。这不仅支持动态形状数组和原生 Python 控制流，还让我们能利用…
今天我想带大家认识一个最迷人的操作系统：IBM i（OS/400）。它既不是 Unix，也不是 Linux 或 Windows，而是早在几十年前就实现了抽象与虚拟化的先驱。在这个系统中，根本没有“文件”的概念，一切皆是对象，磁盘与内存融合为单一地址空间。其核心 Db2 for i 数据库直接嵌入内核，而非独立应用，这使其在 OLTP 领域长期占据主导地位。凭借 TIMI 抽象层，1990 年编写…
OpenAI 内部测试版 Astra 模型刚刚取得了一项突破性进展，成功解决了数学、量子复杂性及理论计算机科学领域的 10 个重大未解问题。这一成就标志着 AI 在科学推理能力上的巨大飞跃，不仅验证了模型处理高难度逻辑证明的潜力，也预示着未来科研范式的转变。从新的电路下界计算到长期悬而未决的猜想，Astra 展现了超越现有工具的推理深度，为科学家提供了强有力的新工具。
Fuse 是一款静态类型、纯函数式编程语言，支持高阶类型和特设多态。它编译到 GRIN 全程序优化器，生成 LLVM 原生代码，提供零成本抽象。语法灵感来自 Rust、Python、Scala 和 Haskell，采用缩进块和模式匹配，代码简洁易读。类型推断强大，仅需函数签名，其余自动推导。适合追求表达力与性能并重的开发者。
Cyber 是一款专为高性能脚本设计的新语言，兼具动态与静态类型系统，支持协程并发和内存安全。其核心亮点在于极快的 VM 和 JIT 执行速度，在递归 Fibonacci 等基准测试中表现优异，甚至超越 LuaJIT 和 Node.js。Cyber 不仅易于学习，还具备强大的 FFI 能力，可轻松嵌入应用、游戏引擎或作为 CLI 工具运行。开发者可以通过 libcyber 将其集成到现有项目中，…
- ▲ 30药物2小时内逆转小鼠自闭症脑变化
UCLA Health 的一项新研究发现，孕期炎症会导致小鼠后代出现持久的自闭症样脑部和行为改变。令人惊讶的是，成年后仅需单次注射免疫抑制剂 rapamycin，就能在约两小时内显著改善脑过度活跃、癫痫风险、感官敏感及重复行为等症状。尽管 rapamycin 本身因效果短暂和潜在毒性不适合直接作为人类疗法，但这一发现揭示了大脑功能回路在成年期仍具有可塑性。研究指出，未来的治疗应聚焦于 mTOR…
- ▲ 27停止在数据库事务上胡搞
我花了数月制定规范，却在代码审查时惊觉：有人竟在事务装饰器之外手动调用了 commit()。这不是 ORM 或 SQL 参数化的问题，而是代码组织与抽象层的彻底崩塌。文章通过三个真实案例，揭示了隐藏在深层调用中的手动提交、静默写入以及因缺失事务导致的数据丢失。作者强调，程序员必须对代码质量负全责，数据库抽象层应独占事务与提交的控制权。通过 AST 分析、flake8 规则以及 LLM 辅助检查，…
昨天，OpenAI 宣布其未发布的模型解决了十个数学未解之谜。面对这一突破，人们试图用各种理由自我安慰：我们会指导 AI、我们会教授 AI 发现的数学、我们会成为 AI 的学生。但现实可能更残酷：AI 的直觉和品味将超越人类，它们将独自构建数学的宏伟殿堂，而人类将沦为旁观者。数学不仅是游戏，更是科学的引擎；当 AI 能更高效地推动科学和工程时，人类的理解力将不再必要。我们或许能像下棋一样继续玩数…
- ▲ 27免费打印太阳系与地球折叠纸球
MapScaping 推出了一个令人惊喜的项目，提供完全免费的折叠纸球模板。从太阳、月球到火星等太阳系天体，再到展现地球夜间灯光、海洋温度、人口密度等独特视角的地球模型，所有资源均可直接下载、打印并折叠。这些纸球不仅涵盖自然地理，还包含地震、火山、陨石撞击等数据可视化主题。用户甚至可以通过 custom globe builder 工具自定义形状或标记专属地点。所有地图数据均基于开源授权，让探索…
我总结了技术从诞生到重塑经济的四个截然不同的时间尺度。首先是新研究想法，从概念提出到实验室验证往往需要十年甚至二十年，期间充满失败与坚持。其次是炒作周期，媒体和资本往往在技术尚未成熟时就将其吹捧上天，随后又迅速冷却，让人误判形势。第三是规模化部署，即便软件边际成本为零，从产品问世到大规模普及仍需二十年以上，硬件系统更是如此。最后是重塑经济，任何能真正改变全球经济格局的技术，都需要半个世纪以上的持…
1995 年，SGI 的 John Mashey 就深入探讨了 128 位处理器的未来前景。他基于 DRAM 密度每三年翻四倍（即每三年增加 2 位物理地址）的规律，推算出从 64 位过渡到 128 位可能需要 48 年，预计时间点为 2043 年。不过，他也指出如果虚拟内存压力因大文件和空洞文件的使用而加速增长，这一过渡可能会提前到 2020 年左右。Mashey 强调，技术演进并非简单的线性…
在欧美夜店中，一种名为3-MMC的新型合成兴奋剂正迅速取代传统可卡因。它被描述为“没有刺激感的可卡因”，不仅价格更低、药效更持久，还能带来清晰的思维状态，让舞者在狂欢后仍能高效工作。这种由Dr. Zee研发的药物，虽在2022年和2023年分别被欧盟和美国列为管制物质，但其地下供应链依然稳固。如今，3-MMC不仅活跃于派对场景，更吸引了Definium Therapeutics和Period P…
几天前，Google Search的时间筛选功能突然失效，但似乎没人真正在意。这在几年前简直不可想象。Marcin Wichary在Mastodon上指出，这一关键功能的故障暴露了用户对Google搜索体验的麻木。评论区中，Alex Russell提到，能裁掉Doantam的组织已无药可救，而Giflian则发现'after:2026-07-26'的临时 workaround 暂时还能用。Val…
最近我发现身边同事有个怪习惯：每用 LLM 完成一项工作，就急着声明是工具写的。有人问 Feature X 的工单数，回答是“根据 LLM 工具显示”；发文档或拉取请求时，也总强调“这是 LLM 写的单元测试”。这就像飞行员在滑行时广播自己的航电软件版本一样多余。我起初以为只是新鲜感，但细想之下，这种声明背后或许藏着四种心态：怕被当成冒牌货、借工具光环抬高自己、偷懒未审核，或是为了迎合公司强制使…
ESP32-C3 SuperMini模块虽然仅需约2欧元，但其自带的SMD天线严重限制了WiFi信号范围。我通过简单的焊接改造，在原有天线上增加了一根31毫米的镀银导线，将其构造成四分之一波长天线。测试结果显示，改造后的模块信号强度平均提升了6dB，在边缘区域甚至超过10dB，显著增强了连接稳定性。这种低成本方案有效解决了原PCB设计因天线位置不当导致的信号反射问题，让廉价的ESP32-C3 S…
F* 是一款面向证明的通用编程语言，由 Microsoft Research 和 Inria 等机构联合开发。它巧妙结合了依赖类型的表达力与基于 SMT 求解的自动化证明能力，支持纯函数式与效应式编程。F* 程序默认编译为 OCaml，也可通过 KaRaMeL 提取为 C、Wasm 或 F#，甚至利用 Vale 工具链生成汇编代码。从 Mozilla Firefox 到 Linux 内核，再到…
- ▲ 20极客文化正在扼杀知识分子
从《Game of Thrones》到 Marvel 电影，极客文化已全面接管主流。但这并非单纯的文化胜利，而是财富与权力的转移。当年玩 D&D 的孩子如今成了 Bill Gates、Jeff Bezos 这样的科技巨头，他们通过模仿欲望重塑了社会审美。然而，当极客文化成为绝对主导，它正无意中扼杀真正需要深度思考的知识分子。大多数人沉溺于《Stranger Things》式的怀旧和 CGI 大片…
Katharos 是一款专为 Python 打造的函数式编程与并发库，将代数抽象（如 Monad、Functor）与不可变数据类型完美结合。它引入消息传递并发模型，让错误处理和并发通信都变成可组合的类型安全值。通过简洁的 do-notation 语法，开发者可以轻松处理 Maybe 和 Result 类型，告别繁琐的 None 检查和异常捕获。无论是构建健壮的后端服务还是处理复杂的数据流，Kat…
澳洲政府为保护儿童身心健康，率先实施禁止16岁以下青少年使用社交媒体的政策。然而最新数据显示，禁令生效三个月后，超过八成的澳洲青少年依然在TikTok等平台上活跃。尽管eSafety监管机构指出家长对孩子上网行为的关注度反而下降，但助理部长Andrew Leigh坚持认为，该禁令已引发社会对数字健康的广泛讨论，并成功关闭了数百万个违规账号。他坦言，就像最低饮酒年龄法一样，无法指望100%的合规率…
欢迎来到Logan BASIC！这是一个运行在浏览器中的在线BASIC编程语言解释器，支持编写文本和图形程序。无需安装任何软件，打开网页即可在Code Editor中输入代码，点击Run按钮就能立即看到程序运行效果。你可以查看示例程序、阅读帮助文档，或直接开始创作。无论是重温经典编程体验，还是快速测试算法逻辑，Logan BASIC都能提供流畅、直观的交互环境。
大多数可观测性故事始于生产事故，而我的故事始于一杯难喝的浓缩咖啡。面对湿度、研磨度、压力等无数变量，我决定像调试分布式系统一样调试我的 Gaggia 咖啡机。通过 GaggiMate 控制器，我将 OpenTelemetry 集成到 ESP32 微控制器中，把每一杯咖啡的萃取过程转化为 Metrics 和 Traces，并发送到 ClickHouse Cloud 进行存储分析。在资源受限的硬件上…
CostPerPrompt 提供覆盖 232+ 款模型的实时 API 定价数据，并配备专为真实场景设计的成本计算器。无论是构建 Chatbot、Agent、RAG 系统还是 Voice AI，它都能精准模拟对话历史、多步循环及缓存机制，帮你算出每月的真实开销。工具还涵盖 GPU 租赁比价、图像 API 定价及 Token 计数器，并深度解析 Prompt Caching 和 Batch API…
图标虽小，却是界面中传递信息的关键载体。Material Design 3 为图标设计制定了详尽规范，强调简化、现代与一致性。标准图标尺寸为 24dp，内容需严格控制在 20dp 的 live area 内，避免超出 trim area。设计时需遵循网格与 keyline 形状，确保视觉比例统一。线条粗细推荐 2dp，角落半径默认为 2dp，但需根据风格调整。对于复杂图标，可进行光学修正以提升可…
Maze Toys 提供了一个纯粹的迷宫体验平台，让你在没有压力的情况下彻底迷失。从经典的二维迷宫到第一人称 3D 视角的 Corn Maze，再到需要零失误完成的 Faultless 模式，这里应有尽有。你可以挑战 Mini、Medium、Mighty 和 Mega 等不同难度的关卡，或者在 Race the Clock 模式中比拼速度。无论是想短暂放松还是深度烧脑，Maze Toys 都能满…
2026年5月，166名 Rustaceans 齐聚荷兰 Utrecht，参加 Rust All Hands 线下聚会。这是 RustNL 连续第二年组织此类活动，旨在让项目成员面对面协作、讨论未来方向并解决技术瓶颈。会议期间，73场讨论覆盖了从 const generics、SIMD 到 Rust/C++ 互操作等核心议题，同时 Rust for Linux 和 Rust for CPytho…
1984 年，身为美国文学编辑的 Bill Buford 开始深入英国足球流氓的圈子。他混迹于 Manchester United 的 ICJ 帮派，甚至造访极右翼组织的聚会，试图揭开这一被称为“英国病”的暴力亚文化真相。从威尔士火车站的震撼一幕，到与 Salman Rushdie 的交谈，再到 Heysel 惨案后的反思，Bill Buford 用六年时间记录了那个时代的狂热与黑暗。他发现，这…
我想用NAS保存一生的数据，但现实是没有任何硬件能永远可靠。文章基于2026年的技术背景，深入分析了硬盘故障的两种模式：整机损坏和扇区错误（LSE）。通过对比Backblaze的故障率数据和btrfs、zfs等文件系统的冗余机制，我探讨了如何构建一个低数据丢失概率的存储架构。研究发现，现代硬盘的故障率不再遵循传统的浴缸曲线，且SMART监控并不总是能提前预警。最终，我通过数学模型估算了数据丢失的…
在一次IBM i渗透测试中，我发现当QPWDLVL设置为2时，QSYRUPWD API返回的加密数据格式与John the Ripper的现有破解模块不兼容，导致无法进行密码强度测试。为了搞清楚背后的机制，我编写了CL程序调用该API，并利用STRTRC工具追踪系统调用，最终定位到涉及AES解密的核心函数。通过System Service Tools (SST) 对底层汇编代码进行反汇编分析，我…
Legionlinuxtui 是一款专为 Lenovo Legion 笔记本打造的终端用户界面工具。它基于 Lenovo Legion Linux Drivers 和 lm_sensors，让用户无需离开终端即可实时查看传感器数据、切换性能模式及保守模式等。项目采用 Go 语言开发，支持 NixOS 和 NUR 安装，提供流畅的交互体验。无论是开发者还是极客，都能通过命令行轻松掌控笔记本硬件状态…
这项研究提出了一种基于 Persistent State Machines 的离散框架，用于重构 Large Language Models 中的注意力算子。计算被广播到静止的内存单元，通过局部确定性状态转换进行高效处理。研究提供了完整的数学证明，涵盖量化误差界限、多阶段离散 Softmax 构建以及 DSPACE 复杂度分析。在硬件验证方面，团队在 Zynq-7000 xc7z020 上实现了…
当汽车厂商承诺一万英里质保，或露营箱贴上“防熊”标签时，这些承诺背后究竟经历了怎样的考验？Alex Davies 在《Kobuk the Destroyer》中揭开了测试工程的神秘面纱。从擅长破解锁具的灰熊 Kobuk the Destroyer，到用六十英尺大炮向喷气发动机发射冷冻鸡的实验室，再到能震掉牙髓的火箭滑车，测试工程师们用疯狂的想象力预演各种灾难。他们不是为了证明产品完美，而是为了在…
许多人用工业革命作为先例，认为 AI 将带来经济爆炸式增长。但作者通过 Maddison Project Database 数据指出，这种类比具有误导性。在工业革命前，英国年均增长极低，10 倍增速其实很常见；而当今发达经济体从未体验过 10 倍于平均水平的增长。所谓的 10 倍加速在今天意味着每年近 20% 的增速，这在现代经济中几乎从未发生，除非是资源爆发或战后重建。真正的工业革命式加速，在…
我开发了一个名为 temporize 的 TypeScript 库，专为现代异步编程设计。与 lodash 等传统方案不同，temporize 的每一次调用都会返回一个真实的 Promise，直接解析被包装函数的实际结果，彻底解决了异步防抖和节流中的类型推断与错误传播难题。该库零运行时依赖，支持 ESM 和 CommonJS，并提供了 React 和 Vue 的专用适配器。功能涵盖 deboun…
温室与透镜都利用阳光，却走向相反的方向：温室让万物杂乱生长，透镜则将能量聚焦于一点。在 Agentic AI 时代，这两种模式对应着截然不同的工作场景。温室模式适合探索未知，利用 Claude Code 低成本试错，快速构建 MVP；透镜模式则要求目标明确，集中资源攻克既定任务。真正的挑战在于识别当前工作所需的模式，并避免在两者间无意识漂移。领域专家的核心价值，就是拥有能辨别“正确”与“看似合理…
我用 C 语言和 SDL 2 编写了一个可移植的 Fasttracker II 克隆版。这个项目旨在让经典音乐制作工具在现代系统上焕发新生。目前版本为 v2.22，支持 Windows、macOS（Intel 和 Apple silicon 通用）以及 Linux。不过，如果你连接了刷新率不同的多显示器，可能会遇到程序问题。在 Windows 上，NVIDIA 显卡用户需注意 GeForce E…
我在 OpenAI 的工作让我确信，能思考学习的软件将接管更多人类工作，权力将从劳动力向资本转移。未来五年，AI 将阅读法律文件并提供医疗建议；十年内，它们将从事流水线工作甚至成为伴侣。这场革命不可阻挡，且会因智能机器自我迭代而加速。若公共政策不随之调整，大多数人处境将恶化。我们需要设计新系统，对构成未来主要价值的资产（如公司和土地）征税，以公平分配财富。通过推行“万物摩尔定律”，让住房、教育等…
Walsh 是一个创新的多智能体股票研究系统，它将每个股票代码并行路由给 Fundamental、Technical、Sentiment 和 Macro 四个专用分析代理。系统通过 Portfolio Manager 聚合各代理观点，并引入一个关键的 Rule-Based Risk Manager，该模块拥有最终否决权，能在交易执行前因置信度不足或观点分歧过大而叫停交易。回测显示，尽管在 202…
Uiua 作为一门动态数组语言，一直依靠运行时的灵活性来简化代码编写，但这在大型项目中可能成为维护的隐患。本文探讨了为 Uiua 引入渐进式类型系统的思考过程，放弃了传统语言中复杂的类型子语言，转而利用 Uiua 强大的格式化器特性。新系统通过 `⊨ validate` 函数，允许用户直接用 Uiua 代码构建类型规范，甚至能自动推断并插入类型注解。这种设计既保留了动态语言的简洁，又提供了静态检…
AI Visibility Index 最新数据显示，尽管只有 8.9% 的网站在 robots.txt 中明确阻止了 AI 爬虫，但高达 94.8% 的受访网站从未出现在 AI 助手的回答中。在针对 193 个网站的 5978 次查询中，仅有 10 个网站被提及。Gemini 以 2.9% 的提及率领先，远超 ChatGPT 和 Claude。数据揭示了一个关键矛盾：大多数网站错误地只屏蔽用于…