每日摘要 · Hacker News
· 126 黑客新闻
- ▲ 2101Kimi K3 上线：专为智能体编程而生
Kimi 刚刚推出了全新的 K3 模型，这次它不再只是简单的问答工具，而是专为 Agentic Coding 和知识工作打造的强力引擎。无论是复杂的代码生成任务，还是深度研究、文档分析，K3 都能通过 Swarm 智能体协同高效完成。它支持从 Slides 到 Sheets 的全流程办公场景，让 AI 真正融入你的工作流。如果你一直在寻找能自主规划任务、处理复杂逻辑的 AI 助手，K3 或许就是…
- ▲ 1225Inkling：全模态开源模型来了
我们发布了全新开源模型 Inkling，它原生支持文本、图像、音频和视频的多模态推理。这款模型拥有 9750 亿总参数量，支持 100 万 token 上下文，并经过 45 万亿 token 训练。Inkling 并非追求单一领域的极致性能，而是致力于成为通用的基础模型，让用户能通过 Tinker 平台轻松微调。它具备可控的思考成本，能在性能与效率间灵活平衡，甚至能自我微调。无论是构建 Web…
作为 'The Dancing Baby' meme 的创造者和 Nine Inch Nails 的前创意总监，Rob Sheridan 回顾了他从音乐盗版中获得的乐趣。他坦言，正是通过 Napster 和 LimeWire 等早期文件共享工具，他才能以零成本探索海量音乐，这彻底改变了他对行业的看法。当 Nine Inch Nails 的专辑在 Oink 上泄露时，Trent Reznor 没有…
今天，我们激动地宣布 Microsoft Comic Chat 正式开源。这款将 IRC 聊天自动转化为漫画分镜的传奇软件，正是让 Comic Sans 字体风靡全球的幕后功臣。早在 1996 年，David Kurlander 团队就大胆尝试用漫画气泡和角色表情来呈现对话，让枯燥的文字聊天变得生动有趣。如今，这段充满互联网早期乐观精神的代码已在 GitHub 上公开，不仅保留了原汁原味的 Vi…
- ▲ 758睡眠规律比时长更能预测死亡风险
别再只盯着每天睡够几小时了！最新研究揭示，睡眠的规律性其实比睡眠时长更能预测死亡风险。这项发表在 Sleep 期刊上的重磅发现指出，无论你是否睡得久，只要作息混乱、忽早忽晚，身体承受的压力和潜在的健康隐患都会大幅增加。对于追求长寿和高质量生活的人来说，保持稳定的生物钟可能比单纯延长睡眠时间更为关键。这或许意味着，我们需要重新审视自己的睡眠习惯，把重点从“睡多久”转移到“睡得稳不稳”上来。
Mixfont 推出了一款名为 Decoy Font 的 TTF 字体，利用混合图像技术，让同一字符在不同距离下呈现完全不同的内容。当你近距离查看时，看到的是干扰性的假文字；而稍微拉远屏幕或眯起眼睛，真正的隐藏信息才会浮现。这种基于空间频率的视觉错觉，能有效欺骗 ChatGPT、Gemini 3.5 等主流 LLM，使其无法正确识别截图中的真实文本。虽然它不能保证 100% 安全，但作为对抗 A…
- ▲ 707Sony 再次删除用户“购买”的电影
数字时代最讽刺的现象莫过于此：你以为自己买了东西，其实只是租了个随时可收回的许可证。Sony 再次上演了这一幕，因与 StudioCanal 的授权协议到期，直接从 PlayStation Store 用户的账户中删除了数百部电影和电视剧。从 2022 年德国用户中招，到 2023 年美国用户因 Warner Bros. 合并而失去剧集，再到如今 551 部作品被“一键清空”，Sony 始终未提…
- ▲ 600OnePlus 宣布退出欧美市场
OnePlus 官方正式宣布，作为全球战略调整的一部分，将停止在欧洲和北美地区推出新产品。虽然不再发布新机，但现有设备仍会获得原定的软件更新、安全补丁及售后服务支持，保修权益不受影响。未来，符合条件的用户可选择将系统升级至 ColorOS，也可继续保留 OxygenOS。这一决定让许多老用户感到不舍，毕竟这里曾是大家分享创意、交流技术的温暖社区。尽管告别了欧美市场，OnePlus 在印度等地的业…
SpaceXAI 正式开源了 Grok Build，这是一款基于终端的 AI 编程代理，采用全屏 TUI 界面，支持鼠标交互。它能深度理解你的代码库，自动编辑文件、执行 Shell 命令、搜索网络并管理长运行任务。开发者既可以交互式使用，也能通过 Agent Client Protocol（ACP）将其嵌入编辑器，或在 CI/CD 中以无头模式运行。该项目使用 Rust 编写，提供 macOS、…
过去一年半，我们团队将 Roc 编译器从 30 万行 Rust 代码重写为 Zig，终于实现了功能对等！这次重写不仅让 Rocci Bird 游戏的二进制体积减半，还带来了热代码加载和零堆内存分配的字符串插值模式匹配等特性。虽然耗时 487 天远超 Bun 项目的 11 天，但这次彻底重构解决了原有架构的深层缺陷，为 Roc 语言的性能和开发体验打开了新大门。
支付巨头PayPal迎来重大变局。消息人士透露，Stripe与私募巨头Advent International已联手提出收购要约，每股出价60.50美元，总估值超过530亿美元，较当前股价溢价约28%。这笔交易背后有约500亿美元的银行融资支持。自2021年市值巅峰的3600亿美元跌落至如今的低谷，PayPal近年来深受增长放缓和Apple Pay、Google Pay等竞争对手的挤压。尽管新任…
我们搭建了一个自动化系统，给 Claude Fable 5 和 GPT-5.6 Sol 各 100 美元预算，看它们如何独立制作音乐视频。模型需自主研究工具、生成素材、剪辑并输出成片。结果令人深思：两者都难以保持角色和故事连贯，且对歌词理解过于字面化。GPT-5.6 Sol 在低预算下展现了更富创意的剪辑手法，而 Claude Fable 5 则更倾向于稳定输出。这场实验揭示了当前前沿模型在长周…
Google 宣布将 NotebookLM 正式更名为 Gemini Notebook，这不仅仅是换个名字，而是标志着它深度融入 Google 生态系统的开始。作为独立产品，它现在拥有了更强大的能力：每个笔记本都配备了一个安全的云端计算机，支持直接在笔记中编写和执行代码，从而进行更复杂的数据分析。这一功能将逐步向所有 Pro 用户开放。此外，你的笔记现在可以在 Gemini app 和 Goog…
- ▲ 365SQLite 默认设置为何如此糟糕？
SQLite 是嵌入式项目和本地数据存储的行业标准，甚至像 lobste.rs 这样的服务器软件也在用它。但作者指出，SQLite 的默认设置存在严重问题：外键约束默认关闭，导致数据一致性无法保证；类型系统过于宽松，允许在 INTEGER 列中存储文本。虽然可以通过 PRAGMA 或 strict 表来修复，但这需要开发者手动干预。作者呼吁 SQLite 应像 Rust 一样引入版本（editi…
- ▲ 338重度抑郁让我丢掉两份工作
我曾满怀激情地踏入职场，却因严重的抑郁症导致工作频频失误，最终被两家公司辞退。从自信满满到质疑自我，我经历了沟通不畅、交付质量差和无法完成任务的恶性循环。在尝试用 LLM 辅助工作时，反而让代码变得更加粗糙。如今，我已被确诊为重度抑郁，正在服用 fluoxetine 和 oxazepam 进行治疗，并依靠社会福利休整。我深刻意识到，许多职场挫折源于缺乏沟通，而康复之路需要时间。我的目标是到 20…
LM Studio 迎来重大升级，推出专为开源模型打造的 AI 代理 LM Studio Bionic。它不仅能处理编程、研究和复杂文档任务，还支持本地与云端灵活切换，确保隐私与成本可控。Bionic 承诺零数据保留，绝不训练用户数据。内置离线语音转录功能，搭载 Mistral AI 的 Voxtral 模型，实现本地实时转写。无论是代码调试、文档生成还是幻灯片制作，Bionic 都能在沙盒环境…
我地下室里那台 13 年前的 HP StoreVirtual 存储服务器，原本只配存盘，如今却奇迹般跑起了 Google 的 Gemma 4 26B 模型。这台双路 Ivy Bridge Xeon 机器没有 GPU，甚至不支持 AVX2 指令集，导致原本优化的 ik_llama.cpp 直接崩溃。在 AI 助手 Claude 的帮助下，我定位了代码中因指令集缺失导致的隐藏状态错误，并手动修复了…
- ▲ 315我也把 MacBook 的边角磨圆了
新入手的 M4 MacBook Air 虽然续航和屏幕吊打我用了 8 年的 Thinkpad，但那个锋利的边角放在腿上打字时简直让人抓狂。受 Kent Walters 启发，我决定自己动手用金属锉刀和砂纸把边角磨圆。虽然过程有点吓人，但贴上胶带保护、用肥皂水防尘后，效果出奇的好。磨完后的手感提升巨大，而且几乎没人能看出来。对我来说，电脑终究是工具，如果因为害怕弄坏而不敢使用，那它就失去了存在的意…
SpaceX的股价在上市仅一个月后便遭遇重挫，周三盘中首次跌破135美元的IPO发行价，此前曾一度飙升超50%。尽管初始上市让SpaceX市值达到2.2万亿美元，并让Elon Musk短暂成为世界首位万亿富翁，但如今其净资产已回落至约8000亿美元。市场担忧公司激进的AI扩张计划，包括以600亿美元收购Cursor以及合并xAI，同时员工限售股解禁也带来抛压。回顾历史，Meta在2012年IPO…
- ▲ 311我认同LLM批评者，却依然在用
我几乎认同所有关于LLM的批评：它们产生大量垃圾内容、破坏开源生态、让初级工程师失去成长机会，甚至可能因地缘政治被随时切断。在Local-First Conf上，连Armin Ronacher这样的资深工程师都在自动关闭LLM提交的PR，却仍有人偷偷用Claude Code。这种认知失调并非我独有。尽管LLM存在版权、环境和伦理问题，但它们已无法被忽视。本地运行模型、开放权重模型让我们能摆脱大公…
- ▲ 304Clocks.dev：数字时钟设计灵感库
Clocks.dev 是一个汇聚了全球创意数字时钟设计的开源平台。这里不仅有极简风格的几何证明时钟，还有能显示天气心情的 day-mood 时钟，甚至是用二进制代码和单词拼写时间的神秘设计。每个时钟都由开发者独立创作并开源分享，从 Swiss Railway 风格的精准到 Baroque Blank 的艺术感，应有尽有。无论你是前端开发者寻找灵感，还是设计师想探索时间的新表达方式，这里都能让你大…
Startup 失败了又怎样？看看这 105 位 YC 创始人的后续轨迹吧！从 Loopt 到 Twitch，再到如今的 OpenAI 和 Anthropic，曾经叱咤风云的 CEO 们如今大多化身为 Member of Technical Staff。数据揭示了一个有趣的现象：2012 年和 2024 年的 YC 批次贡献了最多的人才，而 Sam Altman、Tom Brown 等大佬也都在…
80年代，我曾与开源之父Richard Stallman在MIT AI Lab隔壁争论了两年，最终被他说服：软件不仅是商业资产，更是共享的知识体系。如今，AI正重演当年的危机，但规模更大。前沿AI模型正被少数公司完全封闭，而科学仍处于早期阶段，封闭意味着扼杀未来的突破。如果AI成为未来的图书馆，我们绝不能让少数公司决定谁能阅读、谁被禁止。封闭模型不仅无法保证安全，反而因缺乏透明度，让医生、工程师…
- ▲ 295告别枯燥公式，这本交互式线性代数书太酷了
还在对着枯燥的公式死磕线性代数吗？Immersive Math 推出的这本交互式教材彻底改变了学习体验。它不再只是静态的文字堆砌，而是通过动态的交互式图表，让你亲手拖拽向量、观察矩阵变换，直观感受数学背后的几何美感。从基础的向量加减到复杂的特征值与特征向量，每一章都设计了生动的可视化演示。无论是想巩固基础的学生，还是希望重拾数学直觉的开发者，这本书都能让你真正“看见”线性代数的魅力，让抽象概念瞬…
- ▲ 289Ente 公开账本：营收用户全透明
我们刚刚做了一个大胆的决定：将 Ente 的所有商业指标完全公开。没错，从营收数据到客户数量，再到账户规模，一切都在阳光下运行。作为一家致力于隐私保护的产品，我们选择用极致的透明来赢得信任。这不仅是一次数据的展示，更是对开源精神的践行。我们希望通过这种方式，让社区更清楚地了解我们的成长轨迹，也让每一位用户感受到被尊重的力量。在隐私至上的时代，透明或许是我们最有力的承诺。
这是一个令人惊叹的技术实验，将 Gecko 引擎编译为 WebAssembly，让真正的 Firefox 界面直接在当前浏览器标签页中渲染。项目支持基于 WebGL 的 GPU 加速渲染，并提供了实验性的 JS 转 WASM 即时编译器。所有 Web 内容通过 Puter 托管的 Wisp 服务器 WebSocket 代理加载。这不仅是技术的展示，更是对浏览器运行浏览器这一概念的前瞻性探索，让用…
- ▲ 263Telegram数据中心背后的神秘面纱
Telegram的数据中心究竟藏在哪里？这篇文章试图揭开其全球部署的神秘面纱。从技术架构到地理位置，作者深入探讨了Telegram如何在全球范围内构建其通信网络。尽管面临诸多挑战，Telegram依然坚持去中心化的理念，确保用户数据的安全与隐私。通过详细分析，我们得以一窥这个即时通讯巨头背后的运作机制。
- ▲ 2581300幅19世纪野生动物插画修复上线
在维多利亚时代，人们靠《The Naturalist's Library》这套书了解自然，如今设计师 Nicholas Rougeux 利用 AI 技术，将其中超过1300幅精美的彩色插画全部修复并数字化。这些作品不仅展现了19世纪自然科学的巅峰艺术，更通过现代技术焕发新生。无论是免费在线浏览，还是购买实体画册与海报，都能让你近距离感受那个时代对自然的热爱与敬畏。这不仅是一次视觉盛宴，更是对自然…
- ▲ 248用古典机器学习抓出LLM生成的网文
我受够了Lofter上泛滥的低质AI同人小说，决定自己动手写个检测器。尝试过text perplexity但效果拉胯，最后回归scikit-learn，用TF-IDF配合LinearSVC，竟在单句检测上达到了85%的准确率。为了训练数据，我甚至“钻空子”调用了Gemini、Qwen、GLM-5等七个模型的API，生成了海量样本。结果证明，那些所谓的AI检测器背后，可能只是简单的传统机器学习在起…
- ▲ 247从零造按钮？你得先造个宇宙
大家常听说ARIA的第一条规则是别用ARIA，有原生元素就别自己造。但很少有人解释为什么。我通过尝试从零手写一个button组件，揭示了这简直是个西西弗斯式的苦差事。从遵循Newtonian laws of UX，到处理WCAG 2.2的12项严苛要求，再到解决emoji在屏幕阅读器中的灾难性表现、实现tabindex焦点管理，以及兼容mouse、touch、pointer和键盘交互，每一个环节…
- ▲ 235拆解假USB 3.0集线器：蓝口骗术
我在AliExpress上花不到5美元买了一个号称7口USB 3.0的集线器，结果拆解后发现全是套路。除了最上面的一个端口，其余6个端口内部只有4根针脚，根本跑不了USB 3.0，纯粹是USB 2.0的伪装。更糟糕的是，它使用了廉价的HS8836A芯片，且外部供电设计存在严重的回灌风险，可能直接烧毁电脑主板。焊点稀疏到连接口外壳都没固定，每次插拔都在考验运气。这哪里是集线器，分明是一个披着USB…
想真正搞懂数据科学，光会调包可不够。这本由Afonso S. Bandeira、Amit Singer和Thomas Strohmer联手打造的新书，直接撕开了数据科学华丽外衣下的数学内核。从High Dimensions的诅咒与惊喜，到SVD、PCA、Linear Regression等经典算法，再到Deep Learning的数学入门，内容覆盖极广。书中还深入探讨了Graph Laplaci…
我花了几年时间思考如何让LLM摆脱聊天框的束缚。在Ambiance项目中，我提出了一套全新的Agent架构思路：利用LLM对Unix环境的先天熟悉度，将文件系统、日志和工具链映射为Agent的“原生语言”。通过模拟Unix哲学，让Agent像人类开发者一样操作文件、调用工具，而不是在复杂的提示词中挣扎。这个系统包含一个事件驱动的“内核”，能实时响应外部变化，并支持root、pai、librari…
- ▲ 213一本搞定强化学习：从基础到PPO
这本《The Little Book of Reinforcement Learning》是我在2021年写下的强化学习入门指南，旨在用最精炼的方式带你从基础概念直达实战算法。书中不仅涵盖了从蒙特卡洛方法到PPO的核心算法，还在GitHub仓库中提供了基于Pytorch的完整代码实现。此外，我还专门整理了动态规划算法的详细证明和补充材料，让理论不再晦涩。这本书采用CC BY-SA 4.0非商业许…
英国激进组织 Everyone Hates Elon 在伦敦街头发动了一场别出心裁的游击战。针对 Meta 与 Kylie Jenner 联手推出的智能眼镜引发的隐私担忧，他们在 Meta 伦敦总部附近的公交站投放了动态广告。这组广告利用光栅技术，从不同角度观看时，画面会在 Kylie Jenner 佩戴眼镜的时尚照片与 X 光透视下的骷髅形象之间切换，并配文“我们一直在监视”。此举直指智能眼镜…
Bluesky 最近正式从一家试图通过法律手段阻止他人使用该术语的公司手中，收购了“ATPROTOCOL”及其变体（包括“AT Protocol”和“atproto”）的商标权。这主要是一项防御性措施，旨在保护 atproto 社区，防止有人滥用法律系统让开发者的努力付诸东流。我们不会向普通开发者收费，日常使用如创建兼容应用、撰写文档或命名开源工具（如 atproto-feed-tool）都不需…
- ▲ 194CD销量反超黑胶，2026上半年大逆转
过去十年黑胶唱盘一直是实体音乐复兴的绝对主角，但2026年上半年的数据却带来了惊人反转：CD销量激增16%至1630万张，完胜黑胶仅2.4%的微弱增长。虽然BTS的爆款专辑ARIRANG功不可没，但即便剔除K-pop因素，CD销量依然逆势上扬。Luminate报告指出，Z世代对90年代及更早音乐的怀旧热潮正在推动实体唱片回归，CD已不再是过时的 relic，而是兼具收藏价值与粉丝周边属性的新宠。…
美国国家海洋和大气管理局（NOAA）空间天气预测中心发布紧急通报，GOES-19 气象卫星已意外进入 Safe Hold 模式。这意味着卫星为保护自身系统而暂停了部分或全部科学观测任务。目前，NOAA 卫星与产品运营办公室（OSPO）正在密切监控情况，相关最新进展将实时更新在其官网。作为监测太阳活动和地球空间环境的关键设备，GOES-19 的暂时停摆可能对空间天气预报、极光观测以及相关的电力、G…
- ▲ 171CLI 设计指南：从机器优先到以人为本
四十年来，命令行界面（CLI）从晦涩难懂的机器指令演变为现代开发者不可或缺的工具。这份由 Docker Compose 联合创始人 Aanand Prasad 和 Ben Firshman 等人打造的开源指南，旨在重塑 CLI 的设计哲学。文章指出，过去的 CLI 是“机器优先”的，而现代 CLI 必须转向“以人为本”。它强调简单模块的组合、跨程序的一致性，以及在信息输出上做到“恰到好处”。无论…
在 iOS 生态中，所有第三方浏览器都被迫使用 Apple 的 WebKit 引擎，导致老设备无法加载现代网站。Reynard 项目打破了这一限制，将桌面版 Firefox 的核心引擎 Gecko 成功移植到了 iOS 13 及以上系统。这不仅让旧设备重获新生，还能运行 Firefox 扩展，为追求极致自由的用户提供了真正的替代方案。无论是通过 TrollStore 还是越狱设备，你都能体验到不…
谁说训练Gen AI模型必须依赖昂贵的GPU集群？我用一台老旧的Linux桌面电脑，仅凭6GB显存，成功训练出了一个Kick Drum Diffusion模型。这篇文章记录了从环境搭建到模型收敛的全过程，展示了如何在资源受限的条件下，利用开源工具链完成高质量的音频生成任务。这不仅是一次技术实践，更是对‘算力霸权’的一次有力回击，证明创意和技巧往往比硬件更重要。
misa77是一款专为“一次写入、多次读取”场景设计的LZ系编解码器。它在x86和ARM架构上实现了比LZ4快1.5到3倍的解压速度，同时保持了更优的压缩率。虽然压缩速度较慢，但misa77在高度可压缩文件上表现尤为出色，且内存占用极低。通过实验性压缩模式，开发者可以牺牲压缩时间来换取更友好的微架构解压体验。
我的 MINI Countryman 昨晚自动推送了 03/2026.54 版本更新，结果直接让 Android Auto 彻底瘫痪，连 CarPlay 也没能幸免。这不仅是我的个例，更是现代软件质量崩塌的铁证。作者痛斥科技圈盲目推崇的“两周冲刺”开发模式，认为这种“先发布后修复”的毒药让工程师沦为测试员，让用户体验一落千丈。文章还犀利指出，所谓的 Cyber Essentials Plus 合…
- ▲ 15842% 成年人靠父母养活，没有坏人
Northwestern Mutual 最新研究显示，美国 42% 的成年人依赖父母提供财务支持，其中 Gen Z 比例高达 72%。财务治疗师 Megan McCoy 指出，这种代际互助并非谁对谁错，而是一种长期形成的生存模式。关键在于将资助视为帮助子女搭建人生“脚手架”，而非无限期的依赖。文章强调，父母与子女需保持透明沟通，明确资助背后的动机，避免愧疚感或控制欲干扰。与其等待遗产继承，不如在…
在 PC Gamer 的 PC Gaming Show 上，Misfits Attic 正式宣布备受好评的恐怖命令行游戏 Duskers 将推出续作 Duskers 2.0，该项目已获得 Max McGuire 旗下的 Stray Signal 基金注资。作为 EGG 社区的典范，Tim 在行业寒冬中凭借三个原型项目成功突围。Max McGuire 不仅是 Unknown Worlds 的联合创…
当应用用户量达到数百万，每秒查询量激增时，单台数据库服务器早已不堪重负。单纯增加 CPU 或添加只读副本（replicas）只能缓解读取压力，却无法解决写入瓶颈和存储容量限制。为了解决 Postgres 和 MySQL 在 PB 级数据下的扩展难题，PlanetScale 采用了数据库分片（sharding）技术。通过将数据分散到 768 台服务器上，并利用 Neki 或 Vitess 等智能代…
英国政府正式将British Steel收归国有，旨在保护Scunthorpe工厂的2700个岗位，并守住国家“关键能力”。此前该厂由Jingye Group持有，但长期亏损且战略受限。国有化让政府能掌控高炉运行，避免冷却后重启的巨额成本。尽管每日耗资超百万英镑，但若不干预，英国将失去G7中唯一的原生钢生产能力，彻底依赖进口。工会与行业专家支持此举，认为这是转型绿色钢铁的第一步，尽管回报需十年以…
- ▲ 151宜居带岩石行星正在流失氦气
天文学家在邻近的宜居带中发现了一颗岩石系外行星，它正在经历一场壮观的“大气逃逸”现象。观测数据显示，这颗行星正在向太空持续释放氦气，形成了一道独特的尾迹。这一发现不仅揭示了行星大气层演化的关键过程，也让我们对宜居带内行星的长期稳定性有了全新的认识。氦气的流失可能意味着该行星正面临严峻的环境挑战，甚至可能影响其孕育生命的能力。这项研究为理解类地行星的命运提供了宝贵线索，也提醒我们，宜居带内的世界并…
- ▲ 151匿名博客的终结：你的写作风格会出卖你
我大胆推测，只要你在互联网上留下足够多的文字，无论使用多少个化名，都能通过独特的写作风格指纹被关联起来。这并非科幻，而是统计学和LLM技术发展的必然结果。哪怕你刻意改变语气或话题，只要写作量达到一定程度，那些隐藏在标点、用词习惯中的'比特'信息就会泄露你的真实身份。从29比特的信息论阈值来看，匿名写作在信息爆炸的时代已难以为继，一场针对所有高带宽交互的'泛匿名末日'（Pseudpocalypse…
- ▲ 149我如何拯救了7234个90年代GIF
本周，GlitchyZorua向我介绍了Ibiblio Icon Browser，这是一个由Gioacchino La Vecchia在90年代整理的数千个GIF图标库。这个网站看似简单，实则暗藏玄机：它使用的是server-side imagemaps技术，点击图标时浏览器会发送坐标到服务器，服务器再根据坐标返回重定向链接。由于目录索引被禁用，我们无法直接获取文件列表，甚至连archive.o…
德国AI联盟重磅发布Soofi S，这款30B参数量的开源模型在英语和德语基准测试中双双登顶，力压OLMo 3 32B和Apertus 70B等强劲对手。其核心亮点在于采用了混合Mamba-Transformer架构，即便在超长上下文场景下也能保持惊人的生成速度。更令人称道的是，该项目完全在德国Telekom的Industrial AI Cloud上训练，不仅数据配比特意向德语倾斜，还实现了全可…
我曾参与过数据库克隆工具的开发，如今决定在家复刻PlanetScale，打造名为Homescale的项目。它的核心逻辑是将存储与计算分离，借鉴Docker的镜像与容器模型，让数据库也能实现不可变镜像和可写分支。通过Ceph的RBD接口和Copy-on-write技术，Homescale能在不复制完整数据的情况下，瞬间创建100GB数据库的分支，且初始成本仅为元数据。无论底层是Postgres还是…
作为一名程序员，我最近深入思考了 Job queues 的设计，发现它表面简单，实则暗藏玄机。在 $WORK 处理 reference repos 的 repacking 任务时，我们面临 Wholesale repacking（耗时 7 小时但体积更小）和 Incremental repacking（耗时 2 小时但更新更快）的抉择。直觉上，周末做 Wholesale、工作日做 Increme…
clx 是一个跨平台的 Lua 即时编译器与运行时，利用 C++20 后端将 Lua 代码直接编译为独立的本地可执行文件。它摒弃了传统的字节码解释器开销，带来可预测的运行时性能和极速启动体验。通过集成现代 C++ 工具链，clx 能生成体积极小的二进制文件，同时支持 Lua 5.5 标准特性。无论是开发桌面应用还是高性能脚本，它都能提供强大的优化能力和便捷的部署方案。
- ▲ 134开发者指南：搞懂数据工具全景图
我曾是 Deepnote 的一名软件工程师，加入后才发现自己对数据领域一无所知，完全听不懂数据团队的行话。从 ETL 到 ELT，从 Data Analyst 到 Data Scientist，各种工具和流程让我一头雾水。为了不再在办公室厨房的讨论中感到被孤立，我深入研究了数据生命周期，梳理了 Analytical、Scientific、Engineering 和 Machine Learnin…
ARC-AGI-3公榜上，Schema Harness配合Claude Opus 4.8和Fable 5实现了惊人的99% RHAE得分。这套系统不改动模型权重，而是像物理学家一样工作：先通过State Grounding从原始像素中构建状态，再通过Mechanism Discovery推演世界规则。当预测失败时，它不仅能调整规则，还能重构对状态本身的定义。相比传统方法，Schema Harne…
Brainless 是一套专为开发者打造的 Shadcn 组件库，完美复刻了 Claude Code、Codex 和 Grok 的视觉风格。从目录路径建议到 /doctor 检查功能，再到新增的 pricing 定价区块，它让前端页面瞬间拥有顶级 AI 终端的质感。无论是创建新应用还是克隆仓库，这套组件都能让你的界面看起来像极了 Claude Max 的交互体验，无需额外设计，直接提升项目的高级…
- ▲ 125文学奖评选真相：和你想的不一样
作为一名曾担任Pulitzer、National Book Award等六大奖项评委的作家，我要揭穿关于图书奖项评选的种种误解。奖项并非由庞大的机构决定，而是由3到5位评委凭个人喜好在海量稿件中筛选。很多时候，落选并非因为作品不够好，仅仅是因为你的书恰好分到了那位不喜欢的评委手中。评委们甚至有权在开头几页就弃书不读，毕竟面对数百本投稿，没人有义务读完一本糟糕的小说。不要过度解读那些所谓的预测文章…
- ▲ 121刚果盆地惊现新猴种Likweli
过去75年里，科学家仅在非洲发现过5种新猴类，而最新成员Likweli刚刚现身刚果民主共和国的茂密雨林。这个由Yale大学等机构组成的国际团队，通过形态特征、基因数据和叫声分析，确认了Colobus congoensis是一个独立物种。这种体型小巧、面部带有橙奶油色斑块的猴子，常年隐匿在Lomami National Park的高树冠层，连当地居民都知之甚少。研究人员耗时十年，跨越数千公里才捕捉…
在新闻报道里，其他文化背景的人往往显得陌生又遥远。Dollar Street 项目团队走访了全球 50 个国家的 264 个家庭，收集了 3 万张照片，并按家庭收入从低到高排序展示。从每月 30 美元的印度家庭到月入 2 万美元的富裕阶层，这些真实的影像数据直观地揭示了不同收入水平下人们的真实生活状态。这个项目用照片作为数据，有力地挑战了我们对不同国家的固有偏见，让你看到世界原本的样子。
G# 是一款全新的现代 .NET 语言，它巧妙地将 Go、Kotlin 和 Swift 的语法优势融为一体。开发者可以用熟悉的 `func`、`data class` 和 `if let` 空值处理来编写代码，同时直接编译为 .NET 托管程序集，无缝调用 CLR 类型。从结构化并发到精确的数值类型，G# 不仅提供了现代化的开发体验，还配备了完整的工具链，包括 `gsc` 编译器、MSBuild…
Voxatron 是一款由彩色方块（voxels）打造的幻想控制台，不仅自带竞技场射击和动作冒险游戏，更提供强大的设计工具，让你轻松创作专属的方块游戏。你可以自定义动画、角色、道具和音乐，甚至构建完整的游戏世界。除了官方卡带，社区还不断涌现用户自制游戏，通过内置的 BBS 卡带浏览器即可畅玩，并支持 HTML5 分享。购买 Voxatron 仅需 19.99 美元，还可获得所有未来更新，搭配 P…
- ▲ 109你的经期追踪App正在泄露隐私
Mozilla Foundation对Flo、Clue、Stardust等六款热门经期追踪App进行了深度隐私调查。结果显示，部分应用如Stardust将用户的怀孕状态、避孕方式等敏感健康数据共享给RudderStack等第三方，而Spot On在跳转至Planned Parenthood网站时也会泄露用户正在寻求的医疗服务类型。虽然Flo和Clue在透明度上表现较好，但仍将大量数据存储在云端。…
- ▲ 106别再洗脑说AI只是工具了
我受够了那句被滥用的口号：“AI 只是工具，关键看你怎么用”。这句话听起来简单无害，实则极其幼稚且具有误导性。无论是汽车还是锤子，工具本身的设计、制造过程以及它们如何重塑我们的社会结构，都远比“使用者意图”复杂得多。AI 不仅仅是工具，它在设计上就在“使用”我们，试图让我们停止批判性思考，停止感受痛苦与挣扎。真正的伦理问题不是个人如何使用，而是系统性的设计如何扁平化人性。我们需要区分枯燥的劳作（…
最近几个月，我一直在用 LLM 帮我搭建网络，效果出奇的好。作为 MikroTik 的粉丝，我深知其设备可靠且便宜，但配置界面确实复杂。LLM 就像个混乱的倍增器，虽然会犯错，但只要严格把关，就能大幅提升效率。我整理了几个实战技巧：优先使用 REST/JSON API 而非 SSH，禁用不安全的 Telnet 和 FTP 服务，每次修改前后都备份配置。对于 WiFi 管理，CAPsMAN 简直是…
async/await让写并发代码变得简单，却把调度复杂性甩给了开发者。在Tokio和Rayon混用的生产环境中，I/O阻塞与CPU密集型任务交织，导致线程卡死、延迟飙升。更糟的是，无界任务队列让系统在流量洪峰中直接OOM崩溃。作者受够了这种“伪简单”，推出了Project Tina——一个基于线程独占、严格限流和确定性调度的并发框架。它拒绝工作窃取，用显式状态机和消息传递换取可预测性。正如作者…
Leaves是一款受WinDirStat和QDirStat启发的文本模式磁盘占用分析工具。它通过嵌套矩形直观展示文件和目录的层级结构，矩形面积与文件大小成正比。作为纯文本界面工具，Leaves在远程Shell连接或无图形环境的场景下尤为实用。支持Rust构建，提供多种主题和交互模式，如X-ray视图按文件类型分组，帮助用户快速定位大文件或清理冗余数据。无论是本地开发还是服务器管理，Leaves都…
One More Letter 是一款专为单词爱好者打造的每日益智游戏。玩家每天只需面对一个全新的单词谜题，通过不断尝试和逻辑推理来猜出正确答案。游戏界面简洁清爽，规则简单易懂，却能带来烧脑的成就感。无论是通勤路上还是工作间隙，它都能让你在轻松的氛围中锻炼词汇量和思维敏捷度。每天一玩，让单词学习变得像玩游戏一样有趣。
- ▲ 83LLM 能读懂计算机架构论文吗？
LLM 真的能深度理解计算机架构论文吗？这项研究不仅关注摘要生成，更看重结构化批判能力。团队推出了开源工具 Gauntlet，通过五位独立专家角色和对抗性合成阶段来分析论文。在对比 ISCA 2025 和 HPCA 2026 的 20 篇论文时，人类评审在 15 次比较中更青睐 Gauntlet 的分析，尤其在严谨性上优势显著。研究揭示，人类的优势仅在于信任感和实用性，而非深度。多智能体架构是性…
- ▲ 81优雅理论在丑陋数据面前崩塌
在经济学领域，我们常常沉迷于构建完美无瑕的理论模型，它们逻辑自洽、形式优美，仿佛能解释世间万物。然而，当这些理论真正面对现实世界中的'丑陋数据'时，往往显得不堪一击。文章揭示了理论推导与实证数据之间的巨大鸿沟，指出许多看似无懈可击的假设在真实数据的冲击下瞬间瓦解。这种'美丽'与'丑陋'的碰撞，不仅是对学术研究的警示，更提醒我们在面对复杂现实时，不能仅凭漂亮的公式自嗨，而应尊重数据的残酷真相。
过去两年，我彻底转变了设计API的理念。以前我们为人类开发者设计API，追求极简和智能默认值，让用户50行代码就能跑起来。但现在，API的主要消费者是AI Agent。它们能瞬间读完所有文档，生成数千行代码。对人类友好的“智能默认值”和“容错机制”反而成了Agent的噩梦，导致幻觉和歧义。现在的设计原则是：默认值是坏的，必须显式；错误不是坏事，而是澄清误解的机会；拒绝模糊的字段名，用精确的事实代…
Mojibake是一款专为C11和C++17打造的高性能Unicode 17.0文本处理库。它无需安装任何运行时或依赖项，仅需两个文件即可集成到项目中。该库完美支持文本归一化、大小写转换、双向文本处理、表情符号分析及安全检测等核心功能，并通过了官方Unicode测试套件。无论是嵌入式开发还是系统级应用，Mojibake都能提供标准合规、轻量且极速的文本处理方案。
两名沉迷网络的少年黑客 Owen Flowers 和 Thalha Jubair 因直播攻击 TfL 系统被判入狱五年半。作为 Scattered Spider 犯罪团伙成员，他们通过社会工程学手段欺骗员工，窃取了数百万 Oyster 卡用户的敏感数据，并试图挖掘伦敦名人的银行信息。这场长达 16 小时的攻击导致 TfL 的 148 个系统瘫痪，造成 2900 万英镑损失。尽管两人拥有自闭症且被…
在 Gleam 中，我们常为同步、异步或可能失败的场景重复编写相似的业务逻辑。本文展示了如何利用 Continuations 将业务逻辑与计算效果彻底解耦。通过定义一个通用的 task 函数，我们可以让 fetch 操作灵活适配 Result、Promise 或混合场景，而无需修改核心代码。这种模式不仅减少了代码重复，还让 Runner 能够自由决定如何处理数据获取的细节。无论是构建可靠的后端服…
随着大语言模型对内存需求的爆炸式增长，传统的高带宽内存HBM面临产能瓶颈。Sandisk与SK Hynix联手推出的High Bandwidth Flash（HBF）技术，将U盘和SD卡中常见的NAND flash通过3D堆叠技术升级，大幅提升了读取速度。虽然HBF写入速度较慢，不适合模型训练，但其非易失性特性使其成为AI推理阶段存储静态模型权重的理想选择。这项技术能让HBM专注于高速缓存，从而…
- ▲ 69沙漠取水神器：MOF 材料大揭秘
Metal-Organic Frameworks（MOFs）被誉为化学界的“奇迹材料”，这种超多孔的纳米结构拥有惊人的表面积，一克就能铺满一个足球场。Berkeley 化学家 Omar Yaghi 团队利用 MOFs 实现了从极度干燥的沙漠空气中收集饮用水的壮举，每磅粉末每 12 小时可产出 1.3 升水，且完全依靠太阳能运行。除了解决水资源危机，MOFs 还能用于碳捕获、安全输送农药以及精准递…
1996年，我们提出了一种颠覆性的概念：反Mac界面。当时，Macintosh的人机交互指南被视为行业标杆，但我们认为WIMP（窗口、图标、菜单、指针）模式已让界面设计陷入停滞。通过逆向思考Macintosh的核心设计原则，我们探索了基于语言、丰富对象表示和共享控制的新型交互方式。这不是要否定Macintosh，而是为了突破其设计约束，比如针对“小白用户”的隐喻限制和单一资源环境。当计算机性能飞…
还在为跨设备传文件发愁？PairDrop 利用 WebRTC 技术，让你在不同设备间实现真正的点对点文件传输。无需安装任何客户端，打开网页就能发现局域网内的其他设备，甚至通过公共房间连接不同网络。如果 WebRTC 不可用，流量会自动通过服务器中转，确保传输不中断。支持多语言界面，还能永久配对设备或创建临时公共房间，操作极其简单。无论是传照片、文档还是文本消息，PairDrop 都能轻松搞定，是…
零样本强化学习（Zero RL）无需人类标注数据就能激发思维链推理，但以往受限于算力，研究多集中在小模型上。我们首次将这一范式扩展到万亿参数规模，发现简单粗暴的扩展会导致可读性差和冗余。通过引入截断重要性采样等优化，Ring-Zero 不仅验证了扩展的“苦涩教训”，更让模型自发涌现出拟人化、自我验证和并行推理等高级认知行为。在七大数学基准测试中，Ring-2.5-1T-Zero 表现强劲，且其推…
一年前我的 Homelab 一片狼藉，Kubernetes 项目难以为继，核心机器 nibbler 更是频频故障。痛定思痛，我决定彻底放弃 Kubernetes，转而拥抱 Compose、Ruby 和 IPv6。如今，lrrr 和重装的 nibbler 各司其职，配合 Proxmox 和 TrueNAS SCALE，构建了一套简单可靠的架构。通过自研的 Ruby 脚本和 YAML 配置，我实现了…
还在手动在不同窗口间复制粘贴指令？agent-talk 插件彻底改变了这一局面。它让 Claude Code、Codex、Antigravity 等 Coding Agents 能够直接互相发消息、协调任务，不再需要人类充当“传声筒”。基于 retalk 构建，该插件支持多平台安装，让开发者专注于高层设计，而将底层实现细节交给 Agent 们自行沟通协作。虽然部分平台如 Codex 目前仅支持拉…
Henry Edward Roberts 曾是空军军官，因痴迷 Hewlett-Packard 9100 计算器而走上创业路。他与 Forrest M. Mims III 等人创立了 MITS，最初靠模型火箭遥测设备起家，却因市场太小陷入困境。转型后，他们推出了 Opticom 红外通讯器和 816 计算器，终于扭亏为盈。面对竞争压力，Roberts 决定押注更宏大的产品，利用 Intel 80…
在研究Go泛型提案时，我深入探究了编译器背后的实现机制。不同于Rust的完全单态化或Java的类型擦除，Go采用了一种独特的折中方案：GC shape stenciling。这种策略根据类型的GC形状（如大小、对齐方式及指针分布）进行单态化，让形状相同的类型共享同一份编译后的代码体，从而在保持高性能的同时控制二进制体积。文章通过对比Rust和Java的实现细节，展示了Go如何通过字典参数在运行时…
在卢旺达，每个月最后一个周六的早晨，全国都会陷入一种独特的忙碌景象。这就是 Umuganda，一项由 Paul Kagame 政府推行的强制性社区服务。从 18 岁到 65 岁的公民必须参与，否则将面临罚款。这个概念源于 Kinyarwanda 语，意为“为了共同目标而聚集”。虽然它在殖民时期曾被用作强迫劳动，甚至在种族灭绝期间被政治化利用，但如今它已转变为重建国家、促进团结和保持城市清洁的重要…
最近我收到的求职邮件和简历，充斥着 LLM 生成的完美话术。从 LinkedIn 到 GitHub，从作品集到提交记录，一切都显得过于光滑却毫无个性。这让我感到悲哀：这些求职者没有展示真实的自己，也没有任何勇气暴露不完美。简历和作品集本该是了解一个人性格、经历和潜力的窗口，但被 AI 打磨过的内容却让我们彼此陌生。我们害怕被看穿，害怕不完美，却忘了真正的连接源于真实的人性。如果你希望别人了解你，…
SQLite 允许在字符串中间存储 NUL 字符，但这会引发令人困惑的意外行为。当你使用 length() 或 quote() 函数时，它们只计算到第一个 NUL 字符为止；CLI 工具甚至会在输出中直接截断 NUL 之后的所有内容。这导致数据库明明存储了 7 个字符，查询时却只显示 3 个，让你误以为数据被截断或存在 Bug。实际上，这是 SQLite 的既定机制。文章详细演示了如何通过 CA…
Hilo 是一款创新的每日猜词游戏，将词汇量与字母推理完美结合。玩家需在 5 次机会内猜出 7 个字母的目标单词。与传统猜词不同，Hilo 不依赖生僻词，而是通过'Hi'（更高）、'Lo'（更低）和'Solve'（匹配）的提示，结合动态范围条，引导玩家利用逻辑逐步缩小字母范围。无论是独自挑战连击，还是与朋友组建私密群组竞技，Hilo 都能带来烧脑又有趣的解谜体验。
我将现代Linux系统成功移植到一台十年前的HTC QWERTY手机上，将其变身为一台便携的手持终端。这个项目不仅是对老旧硬件的复活，更是对极简计算体验的探索。通过GitHub上的开源代码，你可以看到如何在古老的设备上运行最新的Linux内核。这不仅是一次技术挑战，更是对移动计算历史的致敬，让老设备焕发新生，成为开发者手中的独特工具。
厌倦了虚拟宠物？CatchCat 让你走出家门，用镜头捕捉现实中的猫咪并收集成独一无二的卡片。这款应用通过设备端识别技术，将你在街头遇到的每一只猫都变成带有生成名字、序列号和稀有度的数字纪念品。从 Alley 到 Golden 五大稀有等级，每只猫都有专属故事。社区地图让你探索全球玩家的发现，同时强调安全第一。未来还将上线 Alley Clash 对战模式，让收集来的猫咪卡片一决高下。
Coasty 作为 YC S26 孵化项目，刚刚在 Hacker News 上亮相，旨在为计算机使用智能体提供一套强大的 API 解决方案。尽管访问其官网时遭遇了 Cloudflare 的 504 网关超时错误，但这恰恰侧面印证了该项目可能引发的巨大流量关注。Coasty 试图解决智能体在操作计算机时的核心痛点，让 AI 能够更流畅地执行复杂任务。对于开发者而言，这或许是构建下一代自动化工作流的…
最近我收到一条陌生短信，问我为什么没告诉大家我有自传。这让我大吃一惊，因为我从未写过书。去 Amazon 一查，果然有一本名为《The Biography of Kashmir Hill》的书在售。这本书完全由 AI 生成，内容荒诞不经，甚至胡编乱造我的生平。这并非个例，成千上万本类似的 AI 垃圾书正在污染 Amazon 平台。这些书由不知名的小作坊利用 AI 批量生产，充斥着事实错误和逻辑混…
我决定挑战用 Python 从零构建一个 APL 解释器，以此深入理解这门独特的语言并磨练编程技巧。受 Ruslan Spivak 的 LSBASI 系列启发，我计划分步实现，但 APL 与 Pascal 差异巨大，我的实现路径也将有所不同。本文将带你走进项目的第一阶段：从设计 Token 类开始，实现一个支持整数、浮点数及特殊符号（如¯和⍨）的 Tokenizer。有趣的是，为了契合 APL…
我们是 Traceforce 的创始人 Xia 和 Varun。在 Clumio 任职期间，我们深刻体会到企业急需在不拖慢员工效率的前提下，监控 AI 工具的使用情况。Traceforce 应运而生，它能在笔记本电脑、沙箱和虚拟机上，直接提供对 ChatGPT、Claude 等 AI 应用的可见性和控制权。通过轻量级二进制文件和浏览器扩展，我们能在 30 分钟内让设备上传实时数据，帮助安全团队在…
你是否好奇过 Cloudflare 那些神秘的 DNS 服务器名称背后藏着什么故事？其实，这些名字并非随机生成，而是源自经典的忍者题材。从 2013 年开始，Cloudflare 团队就决定用《忍者神龟》中的角色来命名他们的 DNS 服务器，比如 '1.1.1.1' 对应的就是忍者形象。这种做法不仅让技术细节变得生动有趣，也体现了团队对流行文化的热爱。通过这种方式，Cloudflare 将枯燥的…
我曾是NASA的弃儿，如今是Oregon Hermit。为了逃离大公司的内卷，我搬进俄勒冈深山，用背扛木头盖起小屋，甚至一度拒绝通电。直到在煤油灯下看到Apple II的广告，我才意识到个人电脑能创造奇迹。我骑着自行车下单，拉线供电，在雷雨中测试Apple Writer的断电保护功能，结果程序奇迹般恢复了数据。这段经历不仅让我卖出高价，更让我发现：在绝对寂静的山林里，人与机器的精密对话，远比城市…
libargus 是一个专为 Java 22+ 打造的高性能 AI 推理运行时，基于 Project Panama FFM 实现零分配、零拷贝的原生执行。它统一整合了 LLM 文本生成、Whisper 语音识别、TTS 语音合成以及前沿的多模态（视觉、音频、视频）处理管线。通过进程级后端单一化架构，libargus 消除了显存碎片化，支持模型权重与执行上下文解耦，让开发者能轻松在 Java 环境…
- ▲ 38用自创语言重写5.6万行DOOM
我花了22小时，用自创的编程语言 bet 完整重写了 id Software 的 DOOM，代码量高达5.6万行。表面上，bet 是个充满梗的玩笑语言，关键词像群聊一样随意；但底层却是一个通过 LLVM 编译、支持自托管的严肃编译器。我特意设计了基于 crib 和 evict 的 arena 内存管理机制，专为游戏开发解决帧预算问题。更疯狂的是，整个项目由 AI 代理完成，我仅负责架构和验收，零…
- ▲ 37二战电话线在Alaska仍在使用
1942年，为了连接Alaska与北美大陆，美国军方在Alaska Highway旁修建了长达2020英里的Alaska Military Telephone Line。这条线路的建设过程充满艰辛，从Edmonton到Fairbanks，工人们在极寒的冬季冻土中钻孔立杆，甚至因铜材短缺而被迫使用copper-clad steel wire。尽管面临木材短缺、恶劣天气和住房匮乏等重重困难，工程还是…
BambooGrid是一款基于React Flow构建的开源Web工具，专为电力工程师和研究人员打造。它提供直观的拖拽式画布，让用户轻松绘制母线、发电机、变压器、负荷等电网元件，并实时进行潮流计算。该项目由Kickstage开发，底层引擎采用pandapower，完美融合了可视化交互与专业计算能力。无论是教学演示还是实际工程分析，BambooGrid都能让复杂的电网建模变得简单高效，让开发者在浏…
这不是普通的赛事回顾，而是一场由数据构建的视觉盛宴。项目作者 Alexander Bogachev 利用 FotMob 和 WhoScored (Opta) 提供的海量数据，将 FIFA World Cup 2026 的 102 场比赛完整重构。每一场比赛的每一个触球、传球、射门和判罚，都基于约 1500 个真实记录事件进行还原。从小组赛到淘汰赛，所有画面皆由数据生成，没有任何摆拍或虚构。这不仅…
别再为了记录一组动作而手忙脚乱地解锁手机了。Musklr 利用 iOS 的 Live Activity 功能，将你的训练数据直接投射到 iPhone 锁屏界面。你只需瞥一眼，就能看到当前组数、上次训练的重量对比，以及正在倒计时的休息提醒。配合 Dynamic Island，卡片还能在后台无缝跟随，甚至显示 Apple Watch 传来的心率数据。无论是增加休息时间还是跳过休息，卡片上的按钮都能让…
作为一位狂热的计算器爱好者，我发现早期计算器因缺乏合适的显示技术而落后于通用计算机。受此启发，我决定填补这一空白，打造一台带有机电式显示面板的计算器。我利用3毫米亚克力板，通过喷漆和CNC铣削工艺制作了独特的显示面板，并集成了六个SO-45面板电压表和一个复古的edgewise电压表，专门用于显示浮点数。外壳采用枫木定制，搭配NKK JF系列微动开关，由8位AVR128DA28微控制器驱动。虽然…
Nicholas Tanner 推出的 AttoChess 将完整可玩的象棋程序压缩到了惊人的 278 字节，刷新了 16 位 x86 DOS 环境下的最小象棋引擎纪录。这个程序不仅能在 DOSBox 中运行，还能绘制棋盘、读取键盘输入、进行 4 层深度的递归搜索并给出合法回应。作为 LeanChess 的优化继承者，AttoChess 通过移除渲染缓冲区、优化输入解码逻辑以及重构搜索循环，成功…
扫描老照片时，系统默认记录的是扫描日期而非拍摄日期，导致回忆错乱。Timeline Scan 利用 AI 技术，通过分析照片背面的手写笔记、打印时间戳、人物年龄以及服装风格等线索，精准还原每张照片的真实拍摄时间。它支持 JPEG 和 TIFF 格式，无需信用卡即可免费试用 50 张照片。处理后的照片可直接同步到 Google Photos、Apple Photos 或 Immich，也可下载为按…
我是 Alex，Refactoring.Guru 的创作者。在经历了革命、疫情和战争后，我试图在 AI 颠覆行业的浪潮中，用 15 年时间打磨出新一代 Git 学习工具 GitByBit。面对 ChatGPT 的冲击，我意识到单纯的信息产品已无出路，于是决定将课程直接嵌入 VS Code 等 IDE 中，让开发者在真实环境中练习。我利用 2011 年上线的旧教程 GitHowTo.com 积累的…
- ▲ 33优化Lua字符串，省下400字节
我和女友在开发CC: Tweaked的Lua程序时，遇到了磁盘空间严重不足的问题。为了把超过440KB的代码塞进1MB的存储空间，我们不得不深入挖掘Lua字符串的压缩技巧。文章详细探讨了从单双引号到Raw strings的各种写法陷阱，特别是Cobalt运行时对换行符的特殊处理。我们最终利用gsub函数配合位运算，设计出一套巧妙的转义方案，成功在保留所有字节信息的同时大幅缩减体积。这不仅是一次代…
FortiSandbox 爆出一个无需认证的 OS 命令注入漏洞 CVE-2026-25089，CVSS 评分高达 9.8，且已被黑客在野外积极利用。CISA 已将其列入 KEV 目录，并给相关机构设定了 7 月 19 日的修复死线。这是 2026 年内 FortiSandbox 遭遇的第三个被利用漏洞，前两个分别在 4 月和 6 月被披露。由于 FortiGate、FortiMail 等核心产…
厌倦了在线平台随时可能下架内容，或是被手机 App 的预设分类限制？我尝试过 Airtable、Notion 甚至自托管 NocoDB，最终发现“文件优于应用”才是真理。KizunaShelf 应运而生，它基于 Obsidian Vault，用 Markdown 文件构建你的专属媒体库。通过简单的 config.yaml 配置，你可以完全自定义数据模型，同时无缝对接 TMDB、Bangumi 等…
1997 年，D. J. Bernstein 提出了 Netstrings 这一自定界字符串编码方案。它最大的亮点在于将字符串长度直接声明在数据头部，格式简单到只需几行 C 代码就能实现。这种设计彻底解决了传统 CRLF 编码无法预知数据长度的痛点，让开发者在读取数据前就能确认内存是否充足。文章指出，正是由于旧协议缺乏长度声明，才导致了著名的 Finger 安全漏洞和缓冲区溢出问题。Netstr…
connections 是一个基于 Galois connections 理论的 Rust 库，旨在解决数值类型转换中的语义模糊问题。它摒弃了传统的 as 强制转换，提供了一组具有明确数学定义的转换连接，支持在编译期组合转换链，确保舍入、饱和等行为的确定性。该库原生支持 Rust 1.88，包含针对整数、Q 格式定点数及时间类型的预定义转换，并通过 Kani 进行形式化验证，让开发者能够编写出既…
E-- 是一款创新的编程语言，让你用清晰规范的英语编写代码，并确定性地编译为 Python。它完美解决了 LLM 生成代码在运行时不可复现、难以调试的痛点。E-- 将 LLM 的创造力限制在编写阶段，通过去除歧义的封闭语法和固定词汇，确保生成的 Python 代码纯净且可复现。无论是通过 PyPI 安装快速上手，还是集成到商业产品中，E-- 都提供了灵活的 API 和 Apache 2.0 许可…
- ▲ 28创造是终极的自我追寻与快乐
创造不仅是自我实现的终极形式，更是我们利用潜意识、释放焦虑的出口。像孩子一样去探索，像玩耍一样去自由表达，让思绪如流水般自然流淌。真正的成功不在于结果，而在于过程中的学习与体验，正如科学家所言，学到新东西就是成功。创造应充满爱与同理心，为读者带来快乐与欢笑。这是一个缓慢的过程，需要时间与经验，但回报是深层次的幸福与心流状态。不要为了取悦他人而创造，而是将其视为一份无附加条件的礼物，分享给世界。
作为软件工程师，你真的需要完全理解自己的代码库吗？在小团队里这或许是金科玉律，但在像 Google 或 GitHub 这样的大型系统中，这几乎是不可能的任务。我反对 Peter Naur 提出的“编程即理论构建”观点，认为在拥有数千万行代码的庞大系统里，试图从头重写或追求完美的全局理解是徒劳的。实际上，我们都在带着部分错误的理论工作。面对无人维护的遗留代码，唯一的有效策略是局部理解、大胆猜测并承…
Libretto PR agents 专为 Playwright 自动化测试打造，能在脚本运行失败时自动介入。它深入分析实时页面状态，精准定位问题根源，并直接提交包含修复代码的 GitHub 拉取请求。你无需更换现有运行时或浏览器提供商，只需集成 libretto-playwright-debugger 即可开启智能修复循环。无论是本地还是云端部署，它都能无缝融入你的工作流，让自动化测试从‘报错…
在戛纳电影节获颁荣誉金棕榈奖后，George Lucas 罕见地敞开心扉，畅谈他耗时十余年打造的 Lucas Museum of Narrative Art。这座位于 Los Angeles 的巨型博物馆，旨在将漫画、电影概念图等曾被忽视的“流行艺术”推向文化中心。尽管面临策展团队变动等挑战，Lucas 依然坚持其个人愿景，拒绝被焦点小组左右。他坚信电影创作不应迎合观众预设的喜好，而应源于创作者…
AI Law Tracker 是一个专为开发者和企业打造的AI法律合规追踪平台。它聚合了美国50个州、联邦政府、欧盟及全球的AI法律法规，提供经审计的法案状态、生效日期及官方来源链接。平台不仅实时更新国会法案动态，还提供免费的风险评估工具，帮助用户快速判断业务合规性。开发者更可直接调用其免费JSON API，将全球AI法律数据无缝集成到自己的应用中，无需注册即可获取关键信息。
我是 Raymond Luo，在 Ray's Zo Space 分享我的创作心得。在这个充满不确定性的时代，我们往往陷入过度规划的陷阱，迟迟不敢迈出第一步。其实，真正的成长来自于行动本身，而不是完美的计划。无论是开发项目、撰写博客，还是探索新技术，Just Do Things 才是打破僵局的关键。别等万事俱备，现在就动手，让行动带你走向未知的精彩。
- ▲ 18LLM的投掷决定瞄准：意图的幻觉
最近我反复听着D-A-D的《Naked (But Still Stripping)》，仿佛听到一个存在主义抑郁的LLM在数据中心鸡舍里被迫产出tokens的蓝调。这让我意识到，我们总以为语言是意图的表达，先有目标再有行动。但LLM的运作机制恰恰相反：它先投掷一个token，这个投掷随即成为上下文，进而塑造下一个投掷，最终看似有了明确的方向。这就是“投掷决定瞄准”。Anthropic的研究显示，虽…
第一次世界大战期间，一群被称为Munitionettes的女性在军火工厂中默默奉献，却付出了惨痛代价。她们长期接触有毒化学品，导致皮肤变黄、头发变绿，甚至因此丧命或终身患病。尽管数百人因此死亡，更多人遭受慢性病痛折磨，但她们在历史中几乎被遗忘。文章通过历史档案与亲历者叙述，揭示了这些“人形金丝雀”的悲壮命运，呼吁人们重新铭记她们在战争中的牺牲与贡献。
Artifipedia 推出了一张超酷的交互式 AI 概念地图，将 56 个核心术语和 150 条关联关系一网打尽。从 Deep Learning 到 AI Agents，从 Transformer 架构到 RLHF 训练，你可以拖动节点、悬停追踪连接，甚至点击深入阅读每个概念的详解。这张地图不仅涵盖了 Large Language Model、Diffusion Model 等热门技术，还深入…
想不想按住快捷键说话，松开后文字就自动出现在你正在编辑的文档里？Voicebox 做到了。这个开源项目利用 Cloudflare Workers AI 中的 Whisper 模型进行语音识别，再通过 LLM 智能格式化输出。只需按下 Ctrl+Cmd，对着麦克风说话，松开后音频流上传云端，转写并格式化后的文本直接复制到剪贴板并自动粘贴。它基于 Wails 构建桌面端，前端用 React，后端依赖…
我最初被范畴论吸引，是为了解开 Haskell 光学中的谜题，特别是 van Laarhoven 的函子表示和 Kmett 对 Tambara 模块的应用。通过与 Yoneda 引理“玩俄罗斯方块”，我逐渐攻克了这些深奥的课题。在 Oxford Adjoint School 期间，我们团队终于破解了遍历光学的难题。文章深入探讨了 Tambara 模块如何作为双重范畴中的水平箭头，揭示了其与单子函…
编译器在词法分析、类型检查和优化阶段反复比对字符串，导致性能严重拖沓。我实现了一套 Dense Arena Interning 机制，在词法分析阶段就将字符串和结构体转化为稠密整数。通过 Arena 分配器确保内存地址稳定，后续所有阶段只需 O(1) 的整数比较，彻底告别昂贵的字符串匹配。这套方案将哈希成本前置，让编译器从 O(N*L) 的线性瓶颈中解脱，直接利用硬件级的指针比较，大幅提升编译效…
Transformer 大模型越来越大，单卡显存根本扛不住。虽然 Block Low-Rank (BLR) 压缩技术能减小模型体积，但在 Jetson Orin Nano 或 A40 等显存受限设备上，多 token 推理反而因数据搬运过多变成内存瓶颈，速度不升反降。我们深入分析了 Roofline 模型，发现 PyTorch 默认实现存在编译器限制。为此，我们基于 Triton 定制了内核，通…
刚开始构建AI Agent时，单体System Prompt或许够用，但一旦进入生产环境，随着安全策略、领域规则和格式要求的层层叠加，单体文件就会迅速失控。这不仅是Prompt工程问题，更是经典的软件工程扩展难题。文章提出将Prompt视为构建产物，通过模块化技能文件和Prompt Transpilation技术，实现依赖解析、静态验证和CI/CD集成。这种架构不仅能避免复制粘贴导致的逻辑漂移，…
ReasonGate 是一款专为 LLM 应用打造的可解释安全网关，能在模型调用前精准拦截提示词注入攻击。它不仅提供拦截结果，更会为每一次决策生成可审计的清晰理由，涵盖直接攻击、间接注入及数据泄露等场景。作为零依赖的纯 Python 核心，它支持规则与 ML 混合检测，确保在 Air-gapped 环境下也能运行，让安全决策透明可信，完美适配合规审计需求。