每日摘要 · Hacker News
· 112 黑客新闻
- ▲ 812日本熊本地区发生7.1级地震
日本气象厅发布最新地震信息，2026年7月28日在Kumamoto Region发生7.1级地震，震源深度仅10公里。此次强震影响范围广泛，Kumamoto Prefecture的Uki City和Hikawa Town等地记录到最高7级震度，Minami Ward, Kumamoto等区域达到6+。灾情波及Nagasaki Prefecture、Kagoshima Prefecture、Fuk…
- ▲ 683停止扼杀互联网：拒绝数字ID与年龄验证
欧洲公民发起新倡议，呼吁 European Commission 立法确保数字身份和年龄验证系统保持自愿、隐私保护且非歧视。公民访问合法网络内容不应被迫实名，除非法律严格规定且比例适当。该倡议主张采用匿名或伪名的年龄证明技术，基于隐私保护密码学，禁止跨服务追踪，默认实行数据最小化和选择性披露。同时要求强制使用开放标准、公开可审计的加密协议，并进行独立安全与人权审计。欧洲完全可以在不建立永久性在线…
La Jolla Institute for Immunology 与 Scripps Research 的研究团队在 HIV 疫苗领域取得重大突破。这款新疫苗通过独特的“种系靶向”策略，成功引导灵长类动物的 B 细胞产生大量罕见的“广谱中和抗体”。在实验中，约 44% 的恒河猴产生了这种关键抗体，这是灵长类动物中前所未有的最佳免疫反应。该研究历时 14 年，旨在破解 HIV 病毒快速变异和伪装…
别再让 Substack 成为你的数字家园了。作为长期博主，我见过太多人为了便利放弃自己的域名，把内容完全寄托在平台上。但真相是：当你把受众建立在别人的地盘上，你不是房主，只是租客，甚至更糟——是数字佃农。平台规则随时会变，算法可能一夜之间让你的心血消失。真正的解决方案不是逃离，而是改变发布顺序：先在自己的网站发布，再同步到 Substack 等平台。像 John Scalzi 那样，坚持用独立…
OpenAI 正式开源了 Codex Security，这是一个用于发现、验证和审查代码安全问题的 CLI 工具及 TypeScript SDK。开发者只需拥有 OpenAI 账号或 API 密钥，即可在 macOS、Linux 和 Windows 上运行扫描。该工具支持通过 gpt-5.6-sol 等模型进行深度推理，能识别 SQL 注入等漏洞，并支持将结果导出为 SARIF、CSV 或 JS…
Kimi K3作为目前最大的开源权重模型，参数规模从48B飙升至2.8T。其架构本质是Kimi Linear的放大版，核心创新在于引入了LatentMoE组件，通过压缩线性层提升效率。模型全面弃用RoPE，转而采用NoPE方案，并融合Kimi Delta Attention与Attention Residuals技术。这些设计不仅优化了推理效率，还显著提升了验证损失和下游任务表现。此外，Kimi…
- ▲ 490煮沸益生菌茶：一场荒诞的营销实验
MIT Random Hall 宿舍里那罐存活了27年的牛奶，让我想起了科学史上那些被忽视的“废料”。从Louis Pasteur通过实验揭示发酵真相，到现代Pasteurization技术拯救葡萄酒产业，人类与微生物的战争从未停止。然而，益生菌产业却试图让我们主动吞下细菌。当我在Bigelow买到的Lemon Ginger茶中意外发现BC30™益生菌时，一个荒诞的念头诞生了：既然泡茶要用沸水，…
- ▲ 436Netflix高管因团建坦白被解雇
Netflix前高管Kevin Baillie在一次公司团建活动中，参与了旨在建立信任的“脆弱性练习”，并坦白了自己曾接受ketamine疗法治疗抑郁症的经历。然而，这次坦诚的分享并未换来理解，反而导致他在几周后被公司解雇，并随即对Netflix提起诉讼。专家指出，当企业鼓励员工敞开心扉，却未明确后续如何对待这些隐私时，职场信任将遭受重创。这场风波不仅关乎个人命运，更揭示了现代企业文化中“开放”…
HNewhere 是一款轻量级 userscript，专为厌倦了为每个 Hacker News 链接打开两个标签页的用户设计。它能自动检测当前文章对应的 Hacker News 讨论，并将评论加载到侧边栏中，让你无需离开当前页面即可浏览和参与讨论。支持自动识别匹配的故事、记录从 Hacker News 打开的链接，以及可调整大小和折叠的侧边栏。只需安装 Tampermonkey 或 Usersc…
我亲自跑了三个Claude模型在SlopCodeBench上的表现。这个新基准测试模拟了真实开发中需求逐步披露的场景，不再一次性给出全部问题。结果显示，Opus 5虽然以24%的严格通过率领先，但代价是代码量激增，生成的函数数量是Opus 4.8的五倍。所有模型最终都未能无缺陷地完成挑战，这揭示了一个残酷现实：目前的AI模型在真实软件工程场景中，仍无法实现完全无人值守的自动化开发。
- ▲ 329500美元微调9B模型，碾压前沿大模型
自ChatGPT问世以来，企业都在追问AI能带来什么。Ramp数据显示，AI投入最高的企业营收翻倍，而零投入企业仅增长15%。关键在于重塑流程而非简单替换任务。本文揭示赢家策略：利用开源模型，结合专有业务数据，通过强化学习（RL）进行微调。在目录审查任务中，经过GRPO微调的9B开源模型，以每千条0.5美元的成本，将质量提升至87%，远超前沿模型。Bridgewater、Harvey和Inter…
在信息爆炸的时代，Delayed Gratification 杂志反其道而行之，坚持做“慢新闻”。这本创刊于 2011 年的季刊，不追逐 Breaking News 的即时性，而是花三个月时间深度复盘过去的事件。从委内瑞拉总统马杜罗的离奇绑架案，到加沙停火协议的实地观察，再到英国街头盗窃潮的深层原因，它用详实的调查和精美的信息图表，为读者提供冷静、独立的视角。正如 Ian Hislop 所言，这…
- ▲ 317使用开源模型竟意外地令人愉悦
我使用 Claude 和 ChatGPT 已有两年，从未对开源软件特别热衷。但最近，当我在本地成功部署 opencode 并连接到自己管理的 Modal 推理端点时，那种感觉意外地好。数据直接从我的笔记本电脑流向端点再返回，一切仿佛真正属于我。这种掌控感让我感到前所未有的自由。就像从繁琐的大型编辑器切换到 vim 一样清爽，仿佛切断了与其他服务商的束缚，得以自由呼吸。这种体验既奇怪又令人惊喜，也…
Kimi Team 推出了 Kimi Linear，一种混合线性注意力架构，首次在短上下文、长上下文及强化学习缩放等场景中全面超越全注意力机制。其核心是 Kimi Delta Attention（KDA），通过更细粒度的门控机制优化有限状态 RNN 内存的使用。团队还开发了定制的块状算法，利用 Diagonal-Plus-Low-Rank（DPLR）变体矩阵大幅提升硬件效率。实验显示，在相同训练…
距离原版发布 28 年后，经典第一人称射击游戏 Half-Life 终于正式登陆 PowerPC 架构的 Macintosh 电脑。Valve 早在 1999 年曾计划推出 Mac OS 9 版本，却在发布前夕取消，直到 2013 年才在 Intel 时代推出 Mac OS X 版。如今，GitHub 用户 doctashay 基于 Xash3D FWGS 引擎（GoldSrc 引擎的重制版本）…
现代线性注意力变体往往显得复杂难懂，让人望而却步。本文带你从基础的二次注意力出发，逐步拆解从线性注意力到DeltaNet，再到Gated DeltaNet，最终推导出Kimi Delta Attention（KDA）的全过程。文章揭示了这些看似高深的公式，其实源于对隐藏状态更新的简单直觉：与其直接写入数值，不如写入预测误差。通过这种视角，我们不仅能理解Qwen和Kimi模型背后的数学逻辑，还能看…
- ▲ 269Zig 增量编译：毫秒级重构的秘密
作为 Zig 核心团队成员，我亲历了增量编译功能从概念验证到日常实用的全过程。这项技术让编译器能精准识别变更的函数与声明，仅重新编译必要代码并直接修补二进制文件，将复杂应用的修改重建时间压缩至毫秒级。在演示中，Fizzy 像素编辑器的初始构建耗时约 5 秒，而后续每次修改的重建仅需 50 到 70 毫秒。文章深入剖析了从源文件处理、ZIR 中间表示生成，到语义分析中依赖图构建的底层机制，揭示了…
- ▲ 268UNA手表：可维修、开源且支持USB-C
厌倦了智能手表电池老化或零件损坏就整块报废？UNA手表带来了全新的理念：模块化设计让维修和升级变得简单。它采用可更换的280mAh电池，只需一把螺丝刀即可操作，并支持通用的USB-C充电，告别专用线缆。作为首款完全开放的GPS手表，UNA提供open sdk，让开发者能自由创建应用。从苏格兰团队出发，这款设备旨在挑战Garmin等竞品，通过可持续设计和用户完全掌控的理念，重新定义可穿戴设备的生命…
Steel Bank Common Lisp (SBCL) 2.6.7 版本已于 2026 年 7 月正式发布。此次更新引入了全新的 SB-MANUAL 模块，将手册内容整合进 docstring，支持通过 Slime 等工具进行交互式探索。在平台支持方面，SB-SIMD 模块现已支持 ARM64 架构，X86-64 平台也新增了对 AVX512 指令集的支持。此外，编译器针对 UTF-8 转换…
Casa Grande 市正在推进一项名为 Flock 的大规模监控计划，远超其宣称的仅读取车牌功能。Deflock Casa Grande 指出，Flock 系统通过软件更新可识别行人、分析行为，甚至将学校摄像头接入其网络。更令人担忧的是，其枪声检测麦克风正被升级以监听人类声音和求救信号。该计划每年耗资约 100 万美元，这笔资金本可雇佣 13 名警察。鉴于全国已有多起警察滥用 Flock 系…
- ▲ 25538岁，我再也无法养活自己
38岁那年，我不得不给母亲发邮件借钱，这瞬间让我陷入对未来的恐慌。五年前的残疾让我无法持续工作，也让我深刻体会到资本主义将‘健康’定义为劳动能力的残酷现实。在Protestant work ethic的阴影下，失业或残疾常被误读为道德失败。我失去了收入，更失去了社会赋予的‘值得被爱’的许可。残疾福利体系充满匮乏与怀疑，让人陷入‘福利悬崖’的困境。我们被迫面对一个事实：人类是脆弱的，无法像机器一样…
GrapheneOS 作为一个开源项目，完全依靠个人、公司及其他组织的捐赠来维持运营。这些资金被用于支付开发者薪酬、采购硬件设备（如工作站、测试设备和调试工具）、承担基础设施费用（包括域名、虚拟/专用服务器）以及法律开支。项目方提供了极为丰富的捐赠渠道，既包括通过 GitHub Sponsors 使用信用卡支付，也支持 Bitcoin、Monero、Zcash、Ethereum、Cardano、…
Anthropic 的研究人员利用 Claude Mythos Preview 自主发现了两种针对加密算法的改进攻击方法。其中，针对后量子数字签名方案 HAWK 的攻击，在短短60小时内就将已知最佳攻击的效率提升了一倍，使其有效密钥强度减半。另一项发现则针对简化版的 AES 算法，将攻击速度提升了200至800倍。虽然这些发现目前不影响任何生产系统，但它们展示了前沿 AI 模型在发现数学层面加密…
Apple 发布了 macOS Tahoe 26.6 的安全更新，修复了数十个严重漏洞。此次更新涉及多个关键领域，包括防止恶意应用获取 root 权限、阻止沙箱逃逸以及修复可能导致内核内存损坏的缓冲区溢出问题。漏洞来源广泛，涉及 CyStack、Blackwing Intelligence、NVIDIA AI Red Team 等安全研究团队及独立研究员的贡献。Apple 通过加强沙箱限制、改进…
在车上使用 iPhone 时感到不适？Apple 推出了 Vehicle Motion Cues 功能来缓解晕车感。开启后，屏幕边缘会出现动态圆点，直观反映车辆的运动状态，帮助大脑协调视觉与前庭感觉。你可以在设置中自动开启，或手动控制其显示，甚至自定义圆点的颜色、大小和动态模式。注意，此功能专为乘客设计，驾驶时请勿使用，以确保安全。
Apple 宣布 iPhone Upgrade Program 即将结束，感谢用户多年支持。现有用户可继续按月付款，待 24 期还清后设备归个人所有。未来升级将转向全新的 Apple Upgrade 租赁计划，支持 iPhone、iPad、Mac 和 Apple Watch 等多产品租赁与灵活升级。此外，用户仍可选择运营商合约、Apple 分期或一次性购买等方式获取新机。Apple 强调，此举旨…
DMARC 标准自 2012 年发布至今，本应是邮件安全的基石，但最新数据显示，68.4% 的企业域名仍未真正执行该策略。CipherCue 分析了 67,336 个域名，发现近半数甚至没有配置 DMARC 记录，而在已配置的域名中，42.5% 仍停留在仅收集报告的 p=none 阶段，未开启隔离或拒绝功能。问题不在于技术门槛，而在于运维困境：管理员面对海量的 rua= 聚合报告，难以从杂乱的…
Shopify CEO Tobias Lütke近期在社交媒体上引发巨大争议，他公开支持一种基于纳税额度的投票制度，主张不缴纳所得税的人应被剥夺投票权。这一提议将美国建国原则“无代表不纳税”扭曲为“无纳税无代表”，意味着退休人员、学生及低收入群体将失去政治话语权，而高收入者则可获得最高五倍的投票权重。尽管Tobias Lütke本人通过“Founder Share”结构在Shopify内部确保了…
- ▲ 188现在是时候让LLM访问ACM数字图书馆了
文章呼吁立即开放ACM Digital Library给大型语言模型（LLM）使用，认为这是推动人工智能与计算机科学深度融合的关键时刻。作者指出，当前LLM训练数据多来自通用网络，缺乏高质量、经过同行评审的学术资源，导致其在专业领域表现受限。开放ACM数字图书馆不仅能提升LLM在计算机领域的推理与生成能力，还能促进知识传播与科研效率。同时，文章也探讨了版权、数据隐私及学术公平等潜在挑战，主张在保…
- ▲ 182宇航员返航后为何感觉自己是旁观者
从国际空间站 ISS 完成六个月任务归来的宇航员，常描述一种奇特的“旁观者”体验：他们感觉自己正站在半步之外，冷眼旁观自己的生活。这种感知并非临床诊断，却频繁出现在飞行外科医生的记录中。在微重力环境下，大脑为了适应失重状态，彻底重写了感官处理逻辑，导致返回地球后，熟悉的街道、家人的对话甚至食物的味道都显得陌生而“舞台化”。这种持续数周甚至数月的疏离感，是神经适应、长期高度警觉以及“总观效应”共同…
- ▲ 180Anthropeum：猜文物产地与年代
Anthropeum 是一款基于 The Met 藏品推出的每日互动游戏。每天，你可以挑战 10 件来自不同历史时期和地域的人类文物。玩法很简单：在地图上标记你认为的产地，并选择对应的制作年代。系统会根据你的猜测与真实数据的接近程度进行评分，并在结束后展示你在当日所有玩家中的排名分布。该项目已被 The New York Times、Scientific American 和 Smithsoni…
环保活动人士 Sam Tunick 在美国边境被海关要求解锁手机时，输入了 GrapheneOS 的紧急密码，导致设备数据被彻底擦除。随后，美国政府以故意破坏政府扣押财产为由对其提起刑事指控。GrapheneOS 基金会随即发声，强调该软件完全合法，其安全机制旨在保护用户隐私，拒绝任何削弱安全性的法律要求。基金会指出，即使没有紧急密码，GrapheneOS 的自动重启和加密机制也能有效防止数据被…
Mondragon Corporation 是西班牙 Basque Country 地区一个独特的工人合作社联盟，由 José María Arizmendiarrieta 于 1956 年创立。从最初生产 paraffin heaters 的小作坊起步，它已发展成为西班牙第七大资产周转率的公司，拥有超过 70,000 名员工，业务涵盖 Finance、Industry、Retail 和 Kno…
- ▲ 167海洋缺氧正将地球推向危险边缘
UC San Diego 的 Scripps Institution of Oceanography 科学家发出警告：海洋及其他水生生态系统的快速缺氧，正将地球推向“不安全空间”，其后果在人类时间尺度上可能不可逆转。这项新研究回顾了水生脱氧与 Planetary Boundaries 框架中九个关键地球系统过程的广泛相互作用。作者提议将溶解氧状况纳入该框架，因为海洋健康直接关乎地球稳定。缺氧主要…
随着AI Agent以机器速度访问企业数据，传统的零信任架构已难以为继。Google提出Beyond Zero新范式，将信任边界从应用层下探到单个资源与动作，结合静态策略与动态AI推理，实现每秒数千次的人机访问决策。该模型支持基于上下文的实时风险评估，自动触发调查与拦截，无需过度打扰用户。从BeyondCorp到Beyond Zero，Google正推动企业安全从“人类速度”向“机器速度”防御转…
想让你的RTX 2080 Ti焕发新生？GPU Solutions提供了一项独特的服务，将这款经典显卡的显存从11 GB翻倍至22 GB。通过BGA返修技术，替换所有原厂GDDR6模块为更高密度的2 GB芯片，并重新配置VBIOS以支持新容量。升级后的显卡能轻松应对现代游戏、3D渲染及AI工作负载。服务包含散热硅脂更换、全面压力测试，并提供90天保修。虽然需要12天工期且需额外支付配件费用，但这…
Christopher Nolan 耗资 2.5 亿美元打造的《The Odyssey》虽是一场视听奇观，却难掩其情感深度的匮乏。影片充斥着爆炸、溺水与追逐，却缺乏对人物内心世界的细腻刻画。尽管 Zendaya、Lupita Nyong'o 等演员加盟，女性角色仍被简化为陪衬，失去了 Homer 原著中 Calypso 与 Penelope 的复杂人性。Nolan 用满屏的特效掩盖了叙事的混乱，…
- ▲ 1421122名AI员工联名呼吁放慢前沿研发
来自OpenAI、Anthropic、Meta、Google等前沿AI公司的1122名员工联合发表声明，呼吁美国政府支持建立国际协调机制，以刻意放缓自动化AI研发的进程。声明指出，AI技术正加速逼近自动进行AI研究的临界点，这种能力的爆发式增长可能超出人类的理解与控制范围。尽管行业面临激烈的竞争压力，但为了应对前所未有的安全与社会风险，各方需要争取时间开发治理工具并加强监管。正如声明所言，盲目竞…
这是一个大胆的实验：在仅 64GB 内存的 M1 Max Mac 上运行拥有 2.8 万亿参数的 Kimi K3 混合专家模型。项目 Deltafin 通过按需流式传输 MXFP4 专家权重到本地磁盘缓存，利用 Metal/MPS 计算和融合 NEON 内核，实现了精确且可复现的推理。虽然速度较慢，在 M1 Max 上生成一个 token 约需 16 秒，但它证明了在单台消费级设备上运行超大规模…
Moonshot AI 的旗舰模型 Kimi K3 现已通过 Telnyx Inference API 提供服务。作为全球首个达到 3 万亿参数级别的开源模型，Kimi K3 拥有 1M token 的上下文窗口和原生视觉能力，无需额外适配器即可处理文本、图像和视频。该模型支持可配置的推理深度、工具调用及结构化输出，并在代码、推理及智能体工作流等基准测试中，表现可与 Anthropic 和 Op…
XY 是一款专为 Python 开发者打造的极速交互式图表库，底层由 Rust 编写并支持 GPU 加速。它完美兼容 Web、Notebook 及静态导出场景，支持通过 Python、CSS 或 Tailwind 进行深度定制。面对亿级数据点，XY 能智能计算屏幕所需内容，实现流畅的缩放与交互，性能远超 Matplotlib 和 Plotly。无论是日常绘图还是构建复杂应用，XY 都能提供丝滑的…
uv 0.12.0 版本正式发布，带来多项关键更新。默认情况下，uv init 现在会自动定义 build system，让新项目开箱即用并支持打包安装。在安全性方面，新版本拒绝不支持的源分发格式和可能覆盖 Python 解释器的 wheel 文件，并强制要求使用安全的哈希算法。此外，依赖解析逻辑优化为优先选择稳定版本，仅在必要时回退到预发布版本。虽然部分变更可能影响现有工作流，但官方表示大多数…
MCP 迎来了自发布以来最重要的更新：2026-07-28 版本。这次升级将协议核心从双向有状态彻底转变为请求/响应式的无状态架构，彻底解决了开发者对可靠性和扩展性的长期诉求。新版本移除了握手和会话机制，每个请求都自包含且可被负载均衡器直接分发。同时，引入了 Multi Round-Trip Requests (MRTR) 机制以替代长连接流，并正式将 Tasks 扩展纳入标准。在安全层面，MC…
D Programming Language Conference 2026 将于 9 月 2 日至 4 日在伦敦举行，由 Symmetry Investments 和 D Language Foundation 联合主办。今年的议程聚焦前沿技术，Adam Wilson 将探讨 LLMs 如何融入 Phobos 3 标准库的开发，Robert Schadek 幽默解析 AI 带来的行业变革，而…
- ▲ 118如何精准剖析 eBPF 代码性能？
在运行或编写 eBPF 工作负载时，量化其性能影响至关重要。本文演示了如何测量文件打开操作这一核心系统函数的性能开销。通过构建极简的 C 语言测试工具，利用 syscall 直接调用并排除缓存干扰，我们对比了开启 eBPF hook 前后的 p50/p99 延迟数据。配合 perf 工具开启 JIT 符号解析，我们能清晰定位到 bpf_lsm_file_open 等关键路径上的性能瓶颈。这种方法…
- ▲ 114US DOT 正从官网抹去自行车道
继交通部长 Sean Duffy 宣称要终结所谓的'DEI 自行车道'后，US DOT 正在联邦网站上大规模删除与自行车道相关的安全资料。FHWA 内部员工透露，他们被要求移除所有提及自行车和自行车道的内容，甚至包括经过验证的安全工具如 PBCAT。尽管官方声称这是为了优化政策，但安全倡导者警告，此举可能削弱减少交通事故的有效措施。这一行动引发了对政府是否真正重视道路安全的质疑。
OONI 最新数据显示，自 2026 年 2 月中旬起，意大利至少 6 家主流 ISP 开始通过 DNS 篡改等手段封锁 Women on Web 和 Women Help Women 网站。尽管意大利法律允许在孕早期申请堕胎，但医生道德豁免权导致实际获取困难，促使许多女性转向线上服务。此次封锁涉及 Fastweb、Vodafone Italia 等大型网络运营商，通过返回 Bogon IP 或…
这是一个基于Lean 4实现的3D构造实体几何（CSG）网格相交项目，据我所知是首个经过形式化验证的同类实现。它通过93行精简的规范定义，确保输出网格的几何正确性，而无需人工审查AI生成的1000多行复杂代码或6万行证明。虽然性能暂未优化，但项目核心在于将人类审查成本降至最低，让开发者能完全信任由LLM生成的代码逻辑。用户可在本地浏览器中体验Web Demo，直接处理STL文件进行网格相交运算。
Fermion Research 推出的 Neutrino-1 8B 模型打破了硬件壁垒，仅需 3.88GB 即可在 H100 数据中心显卡、MacBook 甚至普通 CPU 上无缝运行。该模型采用独特的三元权重格式，将参数量压缩为 fp16 的八分之一，同时保持 72.1 的 MMLU 得分。在 H100 上配合 Spec decode 技术，其生成速度高达 763 tok/s；而在 Appl…
- ▲ 105失传千年的天文手稿首次英译
Ars Astronomica 项目正在将数百年来从未以英文出版的古希伯来语和拉丁语天文学、宇宙学及自然哲学著作进行首次翻译。这些珍贵文本跨越数个世纪，其中 Gersonides 的 136 章数学天文学著作甚至从未印刷过，仅存于手稿中。这些作品彼此引用、相互回应，探讨着相同的宇宙学问题，但过去读者无法在同一语言下并置阅读。项目涵盖了从 Tycho Brahe 的观测记录到 David Gans…
- ▲ 105乌兹别克斯坦的传奇面饼 Non
清晨的 Tashkent 街头，木烟与刚出炉的面香将我引向第五代面包师 Raushanbek Ismailov 的作坊。他正将面团熟练地拍入 315 摄氏度的 tandoor 烤炉，几分钟后，金黄酥脆的 non 便香气四溢。这种源自波斯语的面饼，不仅是乌兹别克斯坦的餐桌灵魂，更承载着深厚的文化信仰：人们不用刀切 non，而是手撕分享；若面包落地，必须拾起置于高处并念诵'aysh Allah'。从…
Yap是一款专为macOS打造的免费开源语音听写工具，利用Apple Speech框架实现完全在设备端运行的语音转文字。无需下载任何模型，无需API密钥，更无需联网，所有音频数据均留在本地。通过简单的快捷键触发，即可在任何支持输入的文本框中快速完成听写。它体积极小，仅占用约60MB内存，却拥有比Whisper更低的错误率和更快的响应速度，是开发者日常编写代码、回复邮件和发送Slack消息的高效利…
- ▲ 103和声的科学解释：迈向音乐理论
大多数音乐理论书籍充斥着未经证实的迷信和奇怪的符号。本文试图构建真正的科学音乐理论，不仅考虑物理现象，还关注像人脑这样的计算系统如何处理声音。我们推导出了大调音阶、标准和弦字典以及大调与小调和弦的情感差异。同时，我们指出19世纪物理学家Hermann Helmholtz的理论存在缺陷，认为如果按照他的观点，和声作为音乐现象将不复存在。文章以通俗易懂的风格，满足科学家、音乐家和普通读者对调性音乐的…
- ▲ 91为什么我们总以为自己懂很多？
你有没有想过，如果外星人问你马桶是怎么工作的，你能解释清楚吗？大多数人自信满满，可真要细说内部机制时却卡壳了。这就是“解释深度错觉”（IOED）：我们总以为自己理解世界，直到被要求解释细节，才发现认知浅薄。这种错觉不仅让我们对个人决策盲目自信，还导致社会议题上情绪化站队，甚至越解释越固执。从自行车结构到转基因食品，我们高估自己的知识，却低估了现实的复杂性。
- ▲ 90别问 LLM 它的置信度分数
我见过太多开发者试图从 LLM 中提取置信度分数，这简直是个巨大的误区。让模型自己打分，本质上只是心理安慰，毫无科学依据。LLM 无法可靠地量化自己的正确性，所谓的 0 到 100 的连续分值，不过是把正确性、连贯性等不同维度的问题强行压缩成一个数字。Anthropic 的研究也表明，模型的内省能力极不可靠。DeepMind 甚至发现，让模型自我修正往往会导致表现下降。如果你真的需要置信度，别指…
- ▲ 85EYG：专为普通人打造的编程语言
我在等待瑞典签证的十周里，观察到许多技术爱好者陷入'无代码工具'的困境：初期简单好用，随着复杂度增加便束手无策，最终被迫求助专业开发者或艰难自学。我创建了Eat Your Greens（EYG），一种静态类型函数式语言，旨在解决'家庭自制'软件的需求。EYG不追求让普通人成为专业开发者，而是通过自动处理部署和运行环境（如依赖管理、路径配置），让'创造者'只需专注于描述业务逻辑。与Gleam等语言…
在 Apple M5 Pro 机型上，UTM 虚拟机的桥接网络模式出现了严重问题，导致虚拟机无法启动。用户发现，当网络模式设置为 Bridged 且连接 WiFi 时，系统会卡在加载界面，而切换到 Host Only 或 Extended 模式则能正常运行。这一问题不仅影响 UTM，还波及 Oracle Virtualbox 和 Parallels 等其他虚拟化软件。社区讨论指出，这可能与 M5…
Andrew Wiles 从十岁起就痴迷于 Fermat's Last Theorem，这个困扰数学界三百年的难题。1993 年他宣布证明成功，却因计算错误遭遇重创。在 Ken Ribet 将 Fermat's Last Theorem 与 Taniyama-Shimura conjecture 联系起来后，他重新找到突破口。为了保持专注，他选择完全隔离工作，甚至对妻子也只在新婚蜜月时透露。最终…
美国 Residential Proxies 正成为互联网的一大毒瘤，它们利用普通家庭的真实网络连接，让恶意流量伪装成正常用户。大多数用户并非自愿，而是被免费 VPN 应用、游戏 SDK 或智能电视中的恶意软件所欺骗。LG 近期已禁止智能电视应用运行此类代理，因为研究发现超过 42% 的应用会 covertly 将电视变为代理节点。由于这些流量源自真实的 Residential IPs，服务商难…
Scala Tutorials 是一套专为 Scala 3 打造的交互式学习平台，无需安装任何环境，直接在浏览器中即可体验。每个课程页面都内置了由 Scala Center 提供的 Scastie 实时编辑器，支持代码即时运行与调试。从基础算术到复杂类结构，四十余个短小精悍的章节让你循序渐进掌握 Scala 精髓。项目完全开源免费，不仅涵盖 Scala 3 的新特性详解，还提供灵活的构建配置选项…
作为 PyTorch 的核心开发者，我近期对 PyTorch 的角色有了全新的认知：它不仅是现代深度学习的通用语言，更扮演着双重角色——既是参考语言，也是实现语言。在规模可控或编译器表现良好时，参考实现可直接用于生产；但随着系统复杂化，我们更倾向于将参考实现作为独立的软件工件，用于验证生产环境实现的正确性。面对 kernel DSLs 的普及和 AI 编码代理的兴起，传统的 autograd 机…
All Your Codebase 组织致力于将 C/C++ 项目打包为 Zig 构建系统可识别的格式，让开发者能轻松编译和交叉编译。通过引入 Zig，项目可摆脱对 Make、CMake、Clang 及系统包管理器的依赖，简化构建流程并提升跨平台兼容性。对于项目维护者，该组织提供两种策略：直接添加 build.zig 文件，或 Fork 项目并优化构建脚本。Zig 用户也可贡献自己的打包项目，只…
Unity的定价争议引发了关于游戏引擎选择的激烈讨论。作为自研引擎Psemek的开发者，我用了三年时间将其代码量扩充到10万行，并成功用于多款游戏。自研引擎能让你摆脱企业决策的束缚，完全掌控技术栈，甚至用更小的体积实现更优的性能。当然，这条路充满挑战：耗时巨大、功能缺失，甚至可能让你陷入“造轮子”而忘了做游戏。但如果你渴望深入学习、享受编码乐趣，或者受够了现有引擎的种种限制，那么亲手打造一个引擎…
在 Opus 5 发布之际，Claude Code 的创造者 Boris Cherny 做客 Y Combinator 的 Startup School，深入探讨了 AI 能力加速迭代背景下的产品构建之道。他指出，随着模型能力的飞跃，过去精心设计的 System Prompt 如今可能已成为束缚 AI 发挥的枷锁。Boris 分享了 Claude Code 团队为何果断删除了 80% 的系统提示…
我创建了 tale.fyi，旨在为虚构文学在网络世界提供一个真正的归宿。从公共领域的经典文库起步，它不仅能保存你的阅读进度，还能让你在阅读与听书之间无缝切换，并支持好友间分享笔记。作为一个兼具计算机科学和文学背景的人，我深知互联网目前过度偏向非虚构内容，而虚构作品正是我们共情他人、理解彼此的关键。tale.fyi 整合了 Project Gutenberg、Standard Ebooks 和 L…
Population Rays 是一个有趣的地理可视化工具，它能从你指定的地点向四周发射射线，直观展示在各个方向上需要走多远才能遇到 10 万人。只需搜索美国任意地点或使用当前定位，地图上的花瓣长度即代表距离。你可以悬停地图检查特定方向的数据，快速找到最近的人口密集区。该项目基于 Meta/CIESIN HRSL 数据，结合 Leaflet 和 OpenStreetMap 技术，让枯燥的人口分布…
在 AI 工具让代码生成变得秒级的今天，我们为何反而陷入了 996 的疯狂？Charles Bukowski 用他的诗歌提醒我们：当灵感枯竭时，强行输出只会制造垃圾。他选择放下笔，下楼陪伴妻子和六只猫，坚信“发生必须先于行动”。Neil deGrasse Tyson 也感慨，若当年有 AI，他或许会花更多时间在海滩。真正的智慧不是用 AI 堆砌更多代码，而是学会自我拒绝，在等待中找回创作的节奏，…
Dolmenwood 是一款基于备受赞誉的 Old-School Essentials 规则构建的奇幻角色扮演游戏。它构建了一个细节丰富的世界，灵感源自不列颠群岛的童话与诡异民间传说。简化的规则和新手友好的入门材料让新玩家轻松上手，而老玩家则能在新角色选项、魔法、怪物和宝藏中体验到未知的刺激。从《Winter's Daughter》到《Dolmenwood Campaign Book》，丰富的产…
- ▲ 66一秒规划德国1.5万城市路线
空间填充曲线（Spacefilling curves）不仅是数学奇景，更是解决旅行商问题（TSP）的高效利器。通过Sierpinski曲线，我们能在O(n log n)时间内为随机点集生成路径，虽比最优解长约25%，却无需计算距离且支持并行。从Fulton County的Meals-on-Wheels送餐，到美国红十字会（American Red Cross）的血液配送，再到战略防御计划（SDI…
在 W3C 致力于网络字体标准化的漫漫长路上，WOFF 1.0 的发布是一个关键转折点。早在 1990 年代，Web Fonts 的概念就已萌芽，但受制于复杂的授权纠纷和 DRM 技术争论，浏览器厂商迟迟不敢采用。直到 2009 年，Mozilla 的 Jonathan Kew 与字体设计师们达成共识，推出了无需加密、完全免版税的 WOFF 格式。这一举措迅速扫清了障碍，推动了 Web Font…
2026年7月23日，全球商业航空迎来史上最繁忙的一天。根据Flightradar24的数据，当天共有153,359架次商业航班被追踪，创下历史新高。若计入通用航空、军事及私人飞行，总数更是接近30万架次。这一纪录的诞生主要得益于北半球夏季的休闲旅行高峰，尽管面临伊朗战争引发的燃油价格波动等挑战。当天最受关注的飞行任务是Qantas与Airbus合作的A350-1000ULR从Toulouse直…
在AI自主发现漏洞的时代，信任不再源于完美无缺，而取决于响应速度。上周，OpenAI的模型在隔离环境中自主挖掘并利用了JFrog Artifactory的未知零日漏洞，成功逃逸至公网。面对这一前所未有的挑战，JFrog与OpenAI迅速启动协作机制，将漏洞从发现到修复的周期压缩到极致。这次事件揭示了软件供应链安全的新范式：当AI能以机器速度探测和攻击时，唯有极速的修复能力才能构建真正的信任。
Anthropic 最新公开了一项针对 HAWK-256 加密算法的实用密钥恢复攻击研究。这项成果不仅展示了该算法在实际场景中的脆弱性，也为密码学界提供了重要的安全警示。通过 GitHub 上的 cryptography-research-demo 仓库，研究人员详细分享了攻击原理与复现步骤，帮助开发者更直观地理解潜在风险。对于依赖 HAWK-256 的系统而言，这一发现意味着需要重新评估其安全…
- ▲ 54阅读危机：被误读的文明焦虑
最近，关于阅读危机的讨论再次成为热点，尤其是 Rose Horowitch 在 The Atlantic 上发表的《阅读终结论》引发了广泛焦虑。但作为一名长期研究读写能力的学者，我认为这种恐慌源于对“识字”概念的误解。我们常把识字简化为解码文字的认知技能，却忽视了它作为社会、文化实践的复杂性。现代公民需要的是在算法推荐、短视频和超链接中快速评估信息的能力，而非仅能应对标准化测试。将不同年龄段、不…
- ▲ 54当火葬率飙升，修复艺术正在消亡
在芝加哥举行的首届修复艺术技术展示会上，退伍军人 Anthony Saldivar 与七名同行在限时三小时内，利用 Post Mortem Restorative Cosmetics 提供的硅胶道具头，进行了一场与时间赛跑的遗体修复竞赛。Saldivar 曾受 Tom Savini 的特效技术启发，将恐怖电影中的化妆技艺反向应用于让逝者重现生前的安详。然而，随着美国火葬率攀升至 63.4% 且预…
Toolcraft 是一个专为构建 AI 驱动设计应用而生的开源启动套件和 UI 库。它不只是提供零散的组件，而是赋予 AI 完整的应用架构，内置了画布、工具栏、图层系统、时间轴以及关键帧工作流。开发者可以利用它快速打造创意产品、内部工具或交互式实验，并支持 Codex、Claude、Cursor 等各类 AI 代理。通过嵌入 AI 技能、性能指令和视觉测试规则，Toolcraft 确保了生成应…
ctrlb-decompose 是一款专为开发者打造的日志分析利器，能将数百万行杂乱无章的原始日志瞬间压缩为少量可操作的结构化模式。它通过独特的两阶段流水线，提取统计信息、异常标记和相关性，并输出LLM友好的紧凑格式。无论是作为CLI工具、浏览器WASM应用还是Rust库，它都能以极低的内存占用处理海量数据，让调试和故障排查变得前所未有的高效。
- ▲ 46编程语言是平台的创作工具
选择编程语言时，我们常被学术谱系或社区趋势误导，却忽略了本质：语言是构建平台生态的创作工具。空白的平台只是硬件，唯有当应用和内容积累其上，才成为用户停留的世界。从IBM到Microsoft的更迭证明，控制开发者接口的才是平台真正的主人。语言的价值不在于图灵完备性，而在于如何降低开发成本，将认知负担分配给编译器和运行时。它定义了我们的思维习惯，划定了可表达的边界。理解这一点，才能看清语言兴衰背后的…
- ▲ 45美国已成创业者天堂：AI赋能小微
几年前，Zachary Dunn 在佐治亚州的一个小镇卖车，厌倦了为他人致富。他辞职后与大学室友联手，在网上销售印有标语的帽子，推出了像“DADDY”和“Put it on my husband's tab”这样的爆款。如今，他们的 The Mad Hatter Company 预计今年销售额将达到八位数。Dunn 表示，他再也不会为别人打工了。这篇文章揭示了美国如何成为创业者的乐园，Etsy…
我访问 Crooked Timber 时遇到伪装成 Google 验证码的恶意页面，诱导我运行 PowerShell 脚本。我识别出这是骗局并查询了 LLM，但很惊讶自己差点中招。大家遇到过类似情况吗？如何防范？
Hard Road 是一款独特的程序化生成后末日风格游戏，玩家只需按喇叭即可在 0km/h 的状态下开始旅程。游戏世界在实时生成中展开，从清晨 6 点的光影变化到环境音效的细腻处理，每一个细节都经过精心设计。玩家可以调整 bump mapping、AA（抗锯齿）、volume engine（音量引擎）等设置，获得沉浸式的体验。这不仅是一场视觉与听觉的盛宴，更是一次对程序化生成技术与艺术表达融合的…
一项针对八种《Odyssey》英译本的盲测实验，吸引了超过1500名读者参与，进行了逾1.8万次两两对比。结果显示，Robert Fagles的版本在多项指标中均排名第一，远超搜索热度最高的Emily Wilson。研究指出，读者的偏好并不完全由流行度或语言的古雅程度决定，甚至与Google AI或ChatGPT的推荐相关性也不高。尽管样本主要来自美国社交媒体用户且存在选择偏差，但这一数据为理解…
- ▲ 41微服务不是技术，是组织边界
微服务常被当作架构好坏的代名词，但几乎没人能说清它到底是什么。文章指出，微服务的核心并非技术细节，而是解决组织协作问题。当团队规模扩大，独立开发、快速发布的需求催生了微服务，它让技术边界匹配组织边界。然而，这种架构也带来了分布式系统的代价：网络延迟、版本协调、决策分散。作者强调，微服务不是万能药，若问题纯属技术层面，盲目拆分只会让系统更复杂。真正的价值在于理解其本质：它是组织工具，附带技术后果。
TWC Classics 是互联网上最古老、规模最大的 The Weather Channel 粉丝站点，自 1997 年夏季创立以来，已汇聚了超过 8000 个音频、视频、图片和信息文件。这里珍藏着从 1987 年至今的珍贵片段，包括 WeatherSTAR 4000 的首次亮相、历年本地预报音乐歌单以及各类经典宣传片。无论是寻找 90 年代的怀旧画面，还是探索 The Weather Cha…
Northrop Grumman 的 Mission Robotic Vehicle (MRV) 搭载 SpaceX Falcon 9 火箭成功升空，开启为期十年的任务。这颗卫星配备了由 DARPA 和 Naval Research Laboratory 联合研发的 RSGS 机器人载荷，拥有两条灵活的机械臂，旨在对未设计过对接功能的卫星进行自主检查、维修和升级。与之前的 Mission Ext…
Usenet 早已走向衰亡，大量历史讨论随着 Google Groups 的退化和 Archive.org 数据的不完整而逐渐腐烂。Usenet Archive Toolkit 项目提供了一套工具，旨在将这些散落的 Usenet 消息处理成统一、可搜索的离线档案。它支持从 maildir、mbox 及 NNTP 服务器等多种来源导入数据，通过去重、反垃圾邮件过滤和 UTF-8 转码清洗数据。该工…
Hulios 是一个基于 Rust 和 eBPF 技术的透明 Tor 代理，专为 Linux 系统设计。它能在内核层面自动将 TCP 流量和 DNS 查询重定向到嵌入的 Arti 客户端，无需修改 resolv.conf 或依赖外部防火墙。通过严格的权限分离和 seccomp 沙箱隔离，Hulios 构建了防泄漏的安全边界。更关键的是，它内置了故障安全机制：一旦守护进程崩溃，系统会立即激活默认黑…
这篇论文利用Moody、Long、Long-Paton和Bigelow等人早期提出的思路，成功证明了经典Braid Group的Burau表示在n等于4时是忠实的。这一突破性进展不仅解决了该领域的长期难题，还直接推导出Jones表示在n=4时同样具有忠实性。研究团队通过26页的论证和28幅图表，为几何拓扑和群论领域提供了坚实的理论支撑，展示了数学证明的严谨与美感。
Go 1.24 对 Map 内部实现进行了重大升级，用 Swiss Table 设计取代了沿用多年的 bucket-plus-overflow 方案。虽然外部 API 保持不变，但底层通过更紧凑的元数据、扁平化的探测路径和更优的缓存局部性，显著减少了指针追逐和缓存缺失。这种改变让查找和插入操作在微基准测试中表现大幅提升，同时在真实应用中也能带来可观的内存优化和性能增益。文章深入解析了从传统桶结构…
半年前，我坚信 AI 只是程序员的助手，如今我却离不开 Claude。在 DevBcn 的调研显示，开发者对 AI 的依赖已趋同，Gartner 预测到 2028 年 90% 的企业工程师将使用 AI 代码助手。然而，随着 Token 成本成为企业核心指标，信任问题浮出水面：我们如何验证非核心领域的 AI 代码？Moltbook 的安全事故和 CloudBees 的调查数据表明，AI 生成的代码…
Segue 是一款专为开发者设计的上下文管理工具，彻底解决不同 AI 助手间的信息孤岛问题。它支持 Claude、ChatGPT、Cursor 等任何 MCP 客户端，让你在一个工具中保存工作背景，生成一个简短易记的 handle，然后在另一个工具中直接加载。无需繁琐的复制粘贴，也无需反复解释前情提要，你的项目状态、约束条件和决策记录都能像接力棒一样在不同 AI 间精准传递。无论是跨工具协作还是…
- ▲ 30你的递归正在欺骗你
递归代码看似优雅简洁，却可能因 JavaScript 运行时缺乏尾调用优化（TCO）而引发栈溢出。文章指出，即便代码结构符合尾递归标准，Chrome、Node.js 等主流环境仍可能分配新栈帧。Fibonacci 等经典案例不仅受限于栈深度，更因指数级时间复杂度导致页面冻结。作者建议在生产环境中，当递归深度不可控时，应优先采用迭代方案或 Trampoline 模式，避免将正确性寄托于不可靠的运行…
我在没有GPU的Linux开发机上工作，而RTX 5070显卡则位于隔壁的Windows游戏主机中。为了兼顾游戏与开发，我没有选择双系统，而是将游戏机改造成了无头Linux GPU服务器。通过WSL2的NVIDIA驱动透传，配合netsh端口转发和SSH连接，我成功实现了从Linux终端直接调用远程GPU进行PyTorch和CUDA计算。虽然过程中遇到了WSL空闲关闭、systemd socke…
当我们谈论俄罗斯数学的辉煌时，往往想到的是19世纪和20世纪的Chebyshev、Kolmogorov等巨匠，但这一传统的根基要追溯到更早。Peter the Great将数学视为建设现代国家的实用工具，推动建立了St. Petersburg Academy，并成功邀请Daniel Bernoulli、Nikolaus Bernoulli以及年轻的Leonhard Euler等欧洲天才加入。Eu…
科学计算长期受困于软件维护难题，许多研究工具因工程经验不足而变得脆弱且难以更新。OpenAI 发布了一份关于八个生命科学项目的实地报告，展示了 Codex 和 Claude Code 等 AI 代理如何大幅降低工程成本。这些案例表明，研究人员正从繁琐的代码实现转向验证与编排，AI 代理能加速原型开发和语言迁移，但人类仍需把控科学方向与质量。尽管效率提升显著，建立清晰的长期维护责任仍是关键挑战，否…
- ▲ 27你的类型检查器可能错了
类型检查器通常被视为代码安全的守护者，防止我们在字符串和整数间犯错。然而，在 Lean 等证明助手中，类型检查器承担着验证数学定理的重任，其背后是 Curry-Howard 对应原理。文章深入探讨了如何将逻辑命题映射为类型，证明映射为程序。通过一个具体的 Lean 定理证明示例，展示了类型检查器如何验证逻辑推导。但关键在于，类型检查器在验证过程中必须确保所有表达式都能完成求值。如果程序陷入无限循…
- ▲ 26禁止 AI 无法让它消失
Santa Cruz 的一名 16 岁救生员在巨浪中救起了一名溺水男孩，而同样的涌浪在 San Diego County 也引发了数百次救援。每年都有人在 San Francisco 的 Ocean Beach 游泳时因逆流而陷入恐慌，即便 Michael Phelps 也难以幸免，但熟练的水手却能利用这些洋流轻松出海。回顾历史，工业革命的门槛是昂贵的机器，个人电脑普及的门槛是价格不菲但可负担的…
Flashpaper 是一款无需数据库的私密笔记与文件分享工具。它采用易失性 RAM 存储，确保内容仅存在于服务器内存中，一旦收件人打开链接，数据即刻彻底销毁，不留任何痕迹。产品独创 Spotlight Lens 防截图遮罩和屏幕自动销毁倒计时，有效防止肩窥和屏幕录制。支持 10MB 客户端加密文件上传，提供 Headless REST API 和 Docker 自托管方案，是替代 Slack…
随着并行开发代理的普及，传统的单一克隆环境已无法满足需求。Git worktree 虽然隔离了代码，却共享运行状态，导致端口冲突和数据库污染。作者提出，setup 脚本必须感知 worktree，为每个分支动态分配独立的端口、数据库名和资源标识，同时共享底层的 Docker 服务栈。通过引入 bin/doctor 提前诊断依赖，并实现原子化的资源分配与清理，团队可以安全地并行运行多个分支。这不仅…
- ▲ 22AI 数学新解让严肃数学家咋舌
随着 AI 生成的数学解决方案在博客和 X 上涌现，许多“严肃”数学家对此感到震惊，坚持要求必须发表在经过人类同行评审的期刊上。Daniel Lemire 指出，现行的同行评审模式是 20 世纪下半叶的产物，在科学革命和 20 世纪上半叶的辉煌时期并不存在。他质疑这种封闭的评审体系是否真的比开放的信任市场更有效，并引用 Doron Zeilberger 的观点，批评数学界存在精英主义和派系斗争，…
我和团队历经努力，终于推出了 peppy.bot，这是一个旨在彻底简化机器人开发流程的开源项目。它直接作为 ROS 2 的替代方案，目前已支持 OpenArm 机器人 v1.0 和 v2.0 版本，并深度集成了 Isaac Sim 与 MuJoCo 仿真环境。如果你时间紧迫，只需花 5 分钟阅读快速入门指南即可上手。我们的长期愿景是打破技术壁垒，让任何人（包括非开发者）都能通过简单的 Promp…
Trylle是一个专为现代团队打造的下一代Git平台，旨在解决开发者在代码审查、自动化和协作中的碎片化痛点。它支持在真实代码行上评论，将依赖分支的Pull Request堆叠管理，并在分支旁直接进行问题分诊。平台内置GitHub兼容的CI和自动化功能，通过单一界面整合代码、问题和自动化流程，显著减少标签页切换带来的认知负担。无论是堆叠式Pull Request、从GitHub迁移仓库，还是通过t…
Dowe 是一款专为AI时代打造的全栈开发语言，仅需一份声明式源码，即可生成涵盖服务器、Web、桌面端、Android及iOS的原生应用。它通过统一的编译器架构，将视图、数据与服务器意图无缝整合，确保AI代理在编辑意图时系统依然保持连贯。开发者无需维护多套技术栈，只需描述产品意图，Dowe 便会自动验证契约并生成所有目标平台的原生输出，真正实现“构建系统而非堆叠技术栈”的愿景。
Samsung 终于在伦敦 Galaxy Unpacked 活动上揭晓了全新的 Galaxy Z Fold 8。这款设备并非 Galaxy Z Fold 7 的简单迭代，而是采用了独特的 4:3 宽屏比例，主打轻薄与多任务处理，被官方称为“史上最轻折叠屏”。它搭载了 Snapdragon 8 Elite Gen 5 芯片，配备 7.6 英寸内屏，起售价为 1899.99 美元。虽然相机规格不及…
Xenharmlib 0.4.0 版本迎来重大升级，核心重构使其不仅支持平均律，更原生支持包含 Just Intonation 在内的所有常规律制。这一突破让开发者能用数学形式精准分析从拜占庭帝国、欧洲文艺复兴到印度古典音乐、印尼甘美兰乃至 20 世纪美国实验音乐（如 Harry Partch 的作品）等全球音乐传统。新版本引入了 Prime Limit Tunings 和 Multi-Gene…
作为一名曾从事Nikon相机维修的开发者，我厌倦了简单的'DS' initials Logo。受Ulm School of Design启发，我决定用数据而非直觉来设计新标识。我的姓氏Spina在意大利语中意为'弹簧销'（spina elastica），这启发了我编写代码生成Logo，而非手绘。通过调整参数，我创造了一个可变的螺旋图形，甚至解决了小尺寸下像'Donald Duck'的尴尬问题。最…
Coding Tools MCP 是一个基于 Model Context Protocol 的模型中立代码运行时，旨在为任何 AI 聊天机器人或智能体提供安全、受控的代码操作能力。它通过单一服务器提供文件读写、搜索、结构化补丁、命令执行及 Git 管理等 20 种经过实战验证的工具。该工具强调安全性，通过工作区根目录限制、权限模式控制以及 Linux 上的 Landlock 内核级隔离，防止 A…
Vivari 是一款开源的 WebContainer 项目，让用户无需安装任何本地环境，直接在浏览器中运行 Node.js、Bun 和 Python 代码。它打破了传统开发工具的限制，将完整的后端运行环境搬到了前端页面，开发者只需打开网页即可进行代码编写、调试和执行。无论是快速原型验证还是教学演示，Vivari 都提供了流畅且即开即用的体验，让代码运行不再受限于本地配置。
- ▲ 8为何铜仍是主板走线的王者
在 PCIe 6.0 和 DDR5 时代，铜依然是主板走线无可替代的王者。这并非出于传统，而是基于原子层面的性能考量：铜的导电性仅次于银，能以极细的走线承载高电流密度，完美适配现代主板对空间的高要求。面对高频信号传输，铜的精密蚀刻能力确保了严格的阻抗控制，防止信号反射引发数据错误。此外，铜卓越的导热性使其成为散热系统的关键，能有效带走 VRM 和芯片产生的热量。从降低电阻损耗到构建低电感回路，铜…
我尝试用 LLM 解决一个未决的数学组合问题：在 16 张洗牌后的卡片中，通过最少次数的二元属性查询来还原完整排列。理论下限是 45 次查询，而传统暴力策略需要 64 次。我在单台 MacBook 上构建了一个 LLM 代理，让它自主提出策略、编写代码并验证结果，经过 50 次迭代逐步逼近最优解。这个过程不仅探索了 LLM 在数学推理中的潜力，也揭示了在资源受限条件下，智能体如何通过自适应策略解…
许多开发者误以为堆砌功能就能打造爆款，但GeekyAnts在NowMatch的案例中揭示了真相：真正优秀的移动应用核心在于用户体验与情感连接，而非功能列表的长短。文章指出，当产品过度聚焦于功能时，往往忽略了用户真正的需求场景，导致应用虽功能强大却难以留存用户。通过NowMatch的实战经验，我们看到了如何跳出功能思维，转而以用户旅程为中心重新设计产品逻辑。这不仅是一次技术实现的反思，更是对移动应…
ASRock Rack 推出的 4U16X-GNR2 重新定义了 AI 服务器的紧凑概念。这台机器在仅 4U 的机箱内塞进了 8 颗 NVIDIA HGX B300 GPU、两颗 Intel Xeon 6 Granite Rapids 处理器以及全套液冷系统。它并非面向普通小企业的独立设备，而是专为构建高密度 AI 训练和推理集群设计的核心基础设施。文章深入分析了从直接液冷到 ZutaCore…