The Hacker Daily

本文原为 Notion 页面的文本艺术工具（Text Art Tools）资源列表，内容未通过 JavaScript 渲染显示。据评论可推断，该列表汇总了 ASCII 艺术、文本模式编辑器及各类替代设计工具。评论者 scriptsmith 提到自己开发的「tart」工具，用于为大学 HPC 登录节点 MOTD 创建样式化文本艺术；california-og 指出该列表最初聚焦 ASCII 编辑器，后扩展至更广泛的替代设计工具，并举办过相关工作坊；另有评论提及 Slanted 杂志近期也推出了数字工具专题并附带截图。社区讨论还涉及一个实际问题：大多数设计作品最终需落地印刷或实物输出，而 Pantone 颜色标准在这一领域占据垄断地位，支持 Pantone 成为文本艺术工具面临的重要挑战。

作者在 2000 年上 AI 课时学过 Lisp，被教授称为「AI 的语言」，25 年后他用 Lisp 实现了一个仅约 100 行代码的 AI Agent 核心逻辑。核心洞察是：Agent 就是一个递归函数——向模型发送消息列表，模型或回答或请求工具，如需工具则执行后继续递归，最终返回结果。实现巧妙之处在于：只提供一个工具「eval」，由于 Lisp 是同像性语言（代码即数据、数据即代码），模型可以直接生成并执行 Lisp 代码——问第 30 个斐波那契数，它就写一个递归函数并运行；作者插入 Brave Search API key 后，Agent 甚至用 eval 自己构造出了一个 brave-search 函数。作者认为这才是 Lisp 作为 AI 语言的 2026 版本——程序操纵程序，只是把符号推理外包给了语言模型。评论中有人质疑这只是相当于 bash 执行 python -c，Lisp 的优势并不明显；也有人指出同像性让 Lisp 程序生成 Lisp 代码比 JS 生成 JS 更容易（只需生成嵌套列表而非字符串），以及作者从零构建最小 Agent 的思路本身很有价值。

文章分析了 CoreWeave 与 Nebius 这两家「Neocloud」如何在 AI 算力需求爆发中快速崛起。它们通过优先获取 Nvidia 最新 GPU（两周内部部署）及高于同行的 GPU 利用率（MFU 超 50%），吸引微软、Meta 等超大规模企业签下累计超 1450 亿美元的长单。然而，这些公司收入规模相较承诺金额差距悬殊——CoreWeave 2026 年预计营收仅 126 亿美元，Nebius 约 34 亿美元，且均未盈利、依赖高额债务融资。Nvidia 向两家公司各投资 20 亿美元换取股权，形成「供应商入股客户」的循环融资结构，引发市场对风险传导的担忧。评论中有多人认为「循环融资」言过其实，融资本身皆为循环，且 Nvidia 的 20 亿美元投资仅占 CoreWeave 2026 年 CapEx 的 5.7%，影响有限；也有人担忧一旦需求放缓或定价无法维持，整个链条将产生连锁反应。

这是一份关于如何在 9front 操作系统上使用 paint(1) 绘画程序的详细教程。作者以一种极度戏谑、无厘头的英式幽默风格写成，声称教程「不会吸引艺术家、无神论者和偶像破坏者」，只会吸引「变态、机器人和女巫」。文章介绍了 9front 的绘画设备选择：推荐 ThinkPad X 系列翻转本和 GAOMON S620 数位板；详细说明了 paint(1) 的核心操作——无图层、无复制粘贴、无压感支持（yet），一切操作都像在真实纸张上进行；包括文件保存读取（w/r）、画布变换（| rotate）、重定向（< >）等命令，以及 crop、rotate 等图像操作工具。Stanley Lieber 即 Stan Lee 原名，9front 则是 Plan 9 操作系统的激进分支。评论中有读者指出文章其实并不教绘画技巧，只教软件用法；也有读者对「不吸引无神论者和偶像破坏者」的玩笑言论表示不适。

EF Core 11 改进了 AsSplitQuery 的性能表现。问题在于此前版本中，即使只 Include 了引用导航属性（如 BlogType），collection 查询（如 Posts）也会附带这些不必要的 JOIN 和 ORDER BY，造成数据库做了大量无用功。EF Core 11（自预览版 3 起）会裁剪掉 collection 查询中的冗余引用导航 JOIN。基准测试显示：.NET 10 下耗时 68.53ms、分配 33.35MB，升级到 .NET 11 后降至 62.07ms、30.15MB，提升约 9.4%。引用导航越多，优化效果越显著。

Buf 宣布推出 protobuf-py，一个完全从零编写的 Python 原生 Protobuf 库。该库通过 Google 全部二进制和 JSON 一致性测试，支持 proto2/proto3/editions、扩展、自定义选项、未知字段、动态消息和知名类型。核心创新在于将数据保留在 Python 对象中（使用 __slots__），生成的代码可读、类型安全，oneof 可模式匹配，枚举是真正的 IntEnum 成员。相比 Google 的 C++ 风格绑定，API 更符合 Python 习惯。性能方面，配合 Rust 加速器后，在真实生产负载（社交媒体动态构建）下性能优于 upb。Rust 加速器为可选依赖，无加速器时自动回退到纯 Python 实现，兼容 Python 3.10+ 且无运行时依赖。

法罗群岛建成世界首个海底环形交叉道，位于Eysturoyartunnil隧道群核心，海底72米深处。该隧道网络于2020年12月开通，全长11.2公里，耗资约2.6亿欧元，将首都托尔斯港至第二大岛的通行时间从1小时缩短至15分钟。环形交叉中央保留天然岩柱，由艺术家Tróndur Patursson进行灯光装饰，周围环绕80米钢雕——手拉手的等身人物雕像，象征法罗群岛「团结协力」的精神。隧道还配备先进排水系统，雨水经管道排至最低点，由16 bar水泵送回海面。单程通行费75丹麦克朗（约10欧元），无年订户则需24欧元，收费将资助后续隧道建设。法罗群岛仅5.3万人口，却已建成20条隧道（含3条海底），堪称「隧道狂魔」，另有2条在建、14条规划中。

UPI（统一支付接口）是印度实时支付系统，2026年6月单月处理超过2272亿笔支付，位居全球之首。本文详细拆解其技术架构：用户手机上的应用（PhonePe、Google Pay等）仅收集支付意图和PIN，实际资金流转由赞助银行连接NPCI中央交换机完成。交换机先将请求路由至收款人银行验证账户，再依次完成借方扣款和贷方入账。值得关注的是，发起端以State Bank of India为首，但收款端Yes Bank远超其他银行——因其是多数商户应用的主要赞助行。文章还区分了两类支付失败：业务拒绝（余额不足、密码错误）和技术拒绝（系统故障）。社区评论聚焦于：UPI作为公共基础设施与Alipay/WeChat Pay私有模式的本质区别，KYC要求带来的隐私争议，以及其对系统设计实践的参考价值。

美国教育部推出「不伤害」新规，要求高校证明其毕业生收入超过从未受大学教育者，否则将被切断联邦助学贷款。新规来自去年的《一揽子美丽法案》，预计约80万学生就读于可能不达标的专业，主要集中在营利性学校、短期证书课程和艺术类项目。包括茱莉亚学院、新英格兰音乐学院、印第安纳大学雅各布斯音乐学院等顶尖音乐院校的本科项目也在失败之列。艺术教育支持者担忧此规将导致高校削减音乐、戏剧等低收入创意艺术课程，认为收入并非衡量艺术教育价值的唯一标准。该测试将于2027年开始计算首批毕业生收入，2028-2029学年正式生效。

PgBouncer 原本是单线程连接池，一个进程只能用一颗 CPU 核心，16核机器上其余15核闲置。ClickHouse Managed Postgres 通过多进程 Fleet 模式解决：每颗核心运行一个 PgBouncer 实例，用 so_reuseport 让内核在多进程间自动分配连接，进程间通过 peering 机制互相感知以解决查询取消请求迷路问题。实测 16vCPU 机器上，单进程最高约 87k txn/s，16进程 Fleet 持续爬升至约 336k txn/s（约 4 倍），且集群整体连接数可叠加而不超限。核心结论：当连接池本身成为瓶颈而非 Postgres 时，多进程 Fleet 是让池化层重新变回「管道」的有效方案。

Goeteia 是一个完全运行在浏览器端的 Scheme 编译器，目标平台为 WebAssembly。核心亮点：编译器本身由 Scheme 子集编写，实现了自托管（self-hosted）——源码编译后输出字节一致，CI 每次变更都会验证这个固定点。技术特性包括：fixnum 用 i31ref 无装箱、GC 结构体存储配对和记录、语法规则和语法案例支持卫生宏、尾调用优化（100M 循环约 150ms 完成、常量栈）、基于 Wasm 异常处理提案的 escape continuation（O(1) 捕获）。内置 Web 开发框架提供：响应式信号系统（sx）、HTML 渲染器、JavaScript FFI、Three.js 绑定（three）、原生 WebGL 命令缓冲（gl/glsl）、与后端 Scheme 服务器（Igropyr）的 s-expression RPC 通信。编译产物（约 70KB gzip，缓存在浏览器）可在任何支持 Wasm GC 和尾调用的引擎上运行——Node 22+、Chrome、Firefox、Safari、wasmtime。评论区既有对 AI 辅助编程与 JS 静态验证性不足的讨论，也有人指出 Scheme 本身同样缺乏静态验证保证；另有用户反映编辑器存在光标定位 bug。

本文研究细胞执行计算时的能量消耗问题。研究者以经典的「Berg-Purcell问题」（细胞如何估算外部化学配体浓度）为例，基于兰道尔原理构建了两组分细胞网络模型。研究表明：细胞要获取外部浓度信息，必然需要打破热力学细致平衡并消耗能量；学习精度越高，所需能量越大。这一发现提示，能耗成本可能是资源匮乏环境（如细菌孢子萌发网络）中细胞计算系统设计的重要约束因素。

研究团队分析来自236个国家和地区的26亿张人类手绘简笔画（基于Google QuickDraw数据集），发现同一概念在不同文化中会呈现多种不同的视觉表达，揭示了语言无法捕捉的潜在文化差异。涉及触觉交互（如工具使用）的概念差异最为显著，表明视觉想象与身体体验密切相关。对比简笔画与多语言词向量模型后发现，视觉表征保留了语言模型压缩掉的丰富语义和文化结构；基于简笔画的跨文化相似度与既有文化距离指标的对齐程度比文本方法高出45%。研究指出，人类概念的普遍性结论高度依赖于测量模态，大规模简笔画数据可作为一种直接、高分辨率的文化概念多样性探测手段。

Drexel 大学研究者在与 Exxon Mobil 合作项目中，意外发现非弹性「简单液体」在高速拉伸时会发生类似固体的脆性断裂。传统理论认为只有具有弹性的复杂流体（如聚合物熔体）才能以这种方式断裂，但研究者回溯 Joseph 在 1990 年代的理论后发现，任何液体在足够撕裂应力下都可能断裂。实验显示，简单液体中的裂缝传播速度可达 500 至 1500 米/秒，远快于复杂流体的 0.07 米/秒，研究者推测原因是简单液体缺乏可吸收能量的分子链。有趣的是，两类流体都在约 2 兆帕的临界应力下断裂，表明断裂行为可能与维持分子聚集的「内聚能」有关，而非弹性本身。该发现对纤维纺丝等工程应用具有潜在价值。

作者将本地推理框架从 DS4 Flash 切换到 Qwen3.5-122B，主要原因是长上下文（50k tokens）时首 token 生成需 3-5 分钟，无法实现流式配对编程。Qwen3.5 MoE 架构约 10B 活跃参数，契合 M3 Ultra 内存带宽，且 96GB 统一内存足以支撑 SSD 回退的 KV 缓存。然而真正障碍是三个栈上 bug 导致每次回复都冷启动：①系统提示词含每轮动态消息 ID，破坏 KV 缓存的字节级匹配；②模型回复被中断时已解码 token 未写入历史，造成缓存分歧；③后台检查点写入器产生无匹配键的「毒」数据填满磁盘额度。三个修复完成后，同一 130k token 对话从每轮冷填充 30k token 降至亚秒级响应，恢复 token 数从个位数到数百不等。

这是一篇关于奇异值分解（SVD）发展史的1993年论文，由G.W. Stewart撰写，献词对象为数值分析学家Gene Golub。SVD是一种将任意矩阵分解为三个矩阵乘积的代数方法，被评论者称为「矩阵的基本频率」和「原始自编码器」。文章指出，低秩近似需约束U和V为正交矩阵，否则系数会不稳定地在三个矩阵间游移。SVD与特征值的区别在于：特征值仅适用于方阵，而SVD可处理任意矩形矩阵，是广义特征值的延伸。在计算机视觉和图像处理领域SVD应用广泛，评论者提到Direct Linear Transform（DLT）求解PNP问题就涉及SVD。Gilbert Strang的线性代数课程和Axler的《Linear Algebra Done Right》被推荐为入门材料。

SQLite 自 3.37.0 版本（2021年11月）引入「严格表」模式，在建表语句末尾加 STRICT 即可启用。严格表强制执行类型检查：禁止向 INTEGER 列插入文本、禁止使用 GARBAGE/DATETIME/JSON 等非法类型名（仅允许 INT、INTEGER、REAL、TEXT、BLOB、ANY）。若需灵活性，可用 ANY 类型容纳任意值。作者认为严格检查能消除一类错误、提升数据完整性，且实测性能差异可忽略。但他也坦诚了缺点：无法 ALTER 现有表变为严格模式（必须重建表并迁移数据，若原数据有类型错误会迁移失败）；SQLite 官方文档明确偏好灵活类型（flexible typing），认为这对键值存储、CSV 导入等场景有价值；旧版 SQLite 无法读取含严格表的数据库。作者观点是利大于弊，推荐新表默认启用严格模式。

Biff.graph 是一个轻量级 Clojure 库，允许将代码库结构化为可查询的图。它本质上是一个精简版的 Pathom（知名 Clojure 图查询库），只实现了 Pathom 功能的一个子集，目标是更易于理解和上手。核心思想是将「想要什么」与「如何获取」分离——调用方只需声明需求，引擎自动解析依赖并高效获取数据。它还具有中间键缓存机制：在不同解析器中复用中间计算结果，避免重复计算。开发者 jacobobryant 仅用少量代码就实现了这一迷你 Pathom，代码组织更清晰。有人认为图查询范式是一种全新的编程思维方式；也有人觉得它过于抽象、增加理解成本。

Igropyr 是一个完全使用纯 Scheme（基于 Chez Scheme）编写的 Web 服务器框架。其核心设计借鉴 Erlang/OTP 的「Let It Crash」哲学：每个请求在监督工作池中运行，处理器崩溃后由监督者自动重启；stuck-ms 超时机制则快速杀死卡死的工作者并返回结构化错误而非 500。该框架支持在运行时热替换路由或处理器——监听器、现有连接和请求池保持运行。独特的对话模型允许用绿色进程处理多步骤业务流程（如预订向导），进程暂停时携带数据库事务状态，进程死亡则保证事务回滚（响应 gone）。与 Goeteia Scheme 编译器配合时可实现端到端的 s-expression RPC，大整数和精确有理数完整传输无损失。完全使用 R6RS 库，不依赖 C 代码，通过 FFI 直接调用 libuv、zlib 等。性能测试中 ab -n 50000 -c 500 零失败请求。社区评价分化：有声音认为这是有实质的工程项目，也有人批评网页文案缺乏原创思考。

Quicopt 是一个云端优化求解器服务，支持 LP、QP、MILP、MINLP、QUBO 等多种问题类型。用户可用 OR-Tools MathOpt 或 Pyomo 标准 Python 前端建模，调用 client.solve() 即可在云端求解，无需注册账号或管理 API key（首次调用自动创建）。服务提供免费层用于尝鲜体验。目前支持的问题类型有运行示例，非线性模型暂不支持整数变量（除二元变量外），黑盒目标函数即将推出。社区评论质疑较多：与 NEOS（免费托管 CPLEX/Gurobi）或 Timefold 等现有平台相比，Quicopt 未公布基准测试数据，实际求解能力存疑；有用户指出其仅是开源求解器的包装层，缺乏自研核心竞争力；也有观点认为对于百万级变量的大规模 MIP 问题，仍需本地部署以支持列生成等自定义算法。

shipthatcode.com 是一个通过从零构建真实系统来学习的免费编程教育平台，提供 Redis、Git、数据库、操作系统内核等 80+ 课程，涵盖 Python、Go、Rust 等 9 种语言。平台核心理念是「选择→编写→运行」的刻意练习，摒弃传统教程的复制粘贴模式，让学习者直接面对真实规格说明。创始人自称受线下教学经验启发，希望改变「只知其然不知其所以然」的行业现状。社区反馈显示注册环节存在 rate limit 故障，测试依赖云端服务器（需约 20GB 内存），引发隐私和长期运营疑虑；另有用户质疑内容是否抄袭《Building Git》等已有著作，平台真实性有待验证。

作者 Fabien Sanglard 分享了一个困扰他多年的硬件问题：笔记本通过 Thunderbolt dock 无法可靠地从睡眠中唤醒。他先后使用 CalDigit TS3 和 TS4，都偶尔失败。2020 年 Intel 宣称 Thunderbolt 4 将解决「PC connected to Thunderbolt dock 唤醒」问题，但实际体验仍不理想。直到 2025 年他更换了 ASUS ROG Swift PG27UCDM 显示器后，唤醒变得完美可靠，至今未再出现故障。他至今不确定根本原因——可能是旧 BenQ 显示器固件有 bug，或固件已更新。文章最后他分享了配置细节，供有类似困扰的人参考。

本文由退休医生Ken Murray撰写，揭示了一个悖论：医生在临终时接受的医疗干预远少于普通患者。文章以Charlie医生为例——他确诊胰腺癌后放弃手术，回家平静度过最后几个月。医生们清楚医学的边界：他们知道CPR正确操作会压断肋骨，ICU的「无效医疗」只会给垂死病人带来无法挽回的痛苦。他们害怕的是在恐惧和孤独中死去，而非生命本身。问题的根源在三方：患者家属面对生死抉择时往往回答「不惜一切代价」；医生因避免诉讼和收费模式压力而执行无效治疗；整个系统缺乏引导人们提前规划临终意愿的机制。作者主张，与其做无谓的挣扎，不如「平和地离去」（go gently）。

作者认为，尽管 AI 编程代理日益强大，人类仍应亲手写代码。其核心论点并非 AI 写代码比人类差，而是写代码能让人直接「思考」在执行环境中，而非通过英语作为中间层代理。写代码帮助人类保持对系统的注意力与理解力，体验代码的脆弱性，从而识别架构问题——如果人类难以在代码基础上构建不破坏任何东西，AI 代理同样会遇到困难。此外，英语是表达计算的高度不精确语言，真正的算法工作需要可执行步骤的精确校准。作者将 AI 代理比作「刚入职的实习生」而非编译器：它们会放大人类的偶发错误保守策略，若人类不参与其中，代码质量会逐渐崩塌。最终，软件工厂的细节决定成败，建筑模式、算法和性能都需要人类把关，但工厂的薄弱环节有时也需要人类亲自拆解装配线才能发现改进机会。

玛莎·利拉德是美国最后一位使用铁肺的小儿麻痹症患者，于2025年6月26日在俄克拉荷马州去世，享年78岁。她5岁时确诊小儿麻痹症，被医生预言活不过20岁，但凭借顽强意志活到了78岁。她在铁肺中度过了大部分人生，颈部以下瘫痪，但通过康复训练恢复了左臂和双腿的部分功能。她曾就读于肖尼高中，通过校内通话系统与师生交流。她还曾开车旅行，并通过互联网在聊天室里认识了来自埃及的丈夫，两人通信20多年后于今年2月结婚。COVID-19大流行期间她两次感染，因原本肺功能不足25%，最后两年几乎全天候依赖铁肺。她的家人曾急切寻找能维修铁肺的技师，但随着她成为最后一位使用者，这个需求已不复存在。她生前撰写了自己的讣告，描述自己是一名动物保护志愿者。