Hacker News Digest
· 120 黑客新闻
我妻子在Uniqlo店里发现了一件印有神秘代码的T恤，背面竟然是一串经过混淆处理的Bash脚本。作为技术爱好者，我立刻被这个彩蛋吸引，决定破解它。经过一番折腾，包括使用Android的圈选搜索、Tesseract以及Claude进行OCR识别，我成功还原了这段Base64编码的脚本。解码后，这竟然是一个由Akamai为'Peace for All'活动设计的趣味程序，能在终端中播放彩色的正弦波动…
农业机械巨头 John Deere 终于向监管压力低头。在美国联邦贸易委员会（FTC）的强力介入下，双方达成了一项具有里程碑意义的和解协议。这意味着 John Deere 的机主将正式获得维修自家设备的合法权利，不再被厂商的封闭策略所束缚。这一胜利不仅打破了长期以来厂商对维修市场的垄断，也为整个“维修权”运动注入了强心剂。从此，农民和独立维修店将能更自由地获取零部件和技术支持，不再被迫依赖官方渠…
- ▲ 1022Chatto开源：打造极致轻量的自托管聊天应用
我激动地宣布，耗时一年研发的团队聊天应用Chatto正式开源，任何人都可以免费自托管。Chatto主打极致轻量与响应速度，内置端到端加密的音视频通话及屏幕共享功能，所有数据完全加密且无第三方追踪。你可以选择自行部署，也可以等待即将推出的Chatto Cloud托管服务，后者提供欧洲基础设施、自动扩缩容及零停机升级，且承诺无广告、无订阅费、无数据锁定。目前Chatto已稳定至0.4版本，预计6到1…
OpenAI正式推出GPT-5.6系列模型，包括旗舰版Sol、均衡版Terra和性价比版Luna。Sol在Agents' Last Exam中创下53.6分新高，大幅超越Claude Fable 5，同时成本仅为后者的四分之一。该系列在编程、网络安全及科研领域均实现State-of-the-art表现，并引入ultra模式协调多Agent并行工作。无论是处理复杂代码还是生成专业文档，GPT-5.…
欧盟议会意外通过Chat Control 1.0，允许对私人通讯进行无嫌疑的大规模扫描，尽管多数投票议员反对。这项措施将实施至2028年，影响Instagram、Discord、Gmail等平台的直接消息，但端到端加密的WhatsApp等仍被豁免。前议员Dr. Patrick Breyer严厉批评此举是民主的闹剧，不仅无法有效保护儿童，反而阻碍了真正的永久性儿童保护法规的通过。幸存者指出，无差别…
- ▲ 77118 Words: 每日单词挑战游戏
18 Words 是一款每日更新的单词挑战游戏，玩家需要在有限提示下猜出由18个字母组成的神秘单词。游戏支持暂停、恢复、分享分数和邀请好友对战，同时提供练习模式和历史存档功能。开发者通过简洁的界面和有趣的机制，让语言学习变得轻松有趣，适合喜欢文字游戏的用户日常锻炼词汇量。
SpaceXAI 今天正式推出了 Grok 4.5，这是他们迄今最强大的模型，专为编程、智能代理任务和知识工作打造。Grok 4.5 在 DeepSWE、Terminal Bench 等多个基准测试中表现优异，甚至在 Harvey 法律代理基准上排名第一。它不仅在代码生成上表现出色，还能高效处理 Excel、PowerPoint 和 Word 等办公任务。训练过程使用了数万个 NVIDIA GB…
OpenAI 正式推出 GPT-Live，这是新一代语音模型，采用全双工架构，能同时听和说，让对话像真人一样自然流畅。GPT-Live 不仅能用“mhmm”等语气词回应，还能在后台调用 GPT-5.5 处理复杂任务，同时保持对话不中断。相比旧版，它在响应速度、打断处理和复杂推理上都有显著提升。现在全球 ChatGPT 用户已可使用 GPT-Live-1 和 GPT-Live-1 mini，未来还…
- ▲ 674Bun 用 Rust 重写：告别内存泄漏
Bun 最初是用 Zig 从零构建的，凭借其对底层性能的控制，我在一年内就打造出了这个功能庞大的工具。然而，随着项目规模扩大，Zig 在混合管理垃圾回收与手动内存时暴露出的稳定性问题日益严重，导致各种 use-after-free 和内存泄漏频发。尽管我们引入了 Address Sanitizer 和 Fuzzing 等严格测试，但手动审查每一处内存分配依然让人夜不能寐。为彻底解决这些隐患，我们…
TypeScript 7.0 正式登场，这次我们彻底重构了底层，用 Go 语言打造了原生端口，带来惊人的 10 倍速度提升！无论是编辑器里的自动补全、查找引用，还是运行 tsc 构建项目，延迟都大幅降低，反馈循环快得惊人。实测数据显示，在 vscode、sentry 等大型项目中，构建时间缩短至原来的十分之一，内存占用也显著下降。Slack、Vanta 等团队已率先尝鲜，报告称 CI 检查时间从…
Cloudflare 推出了一个超酷的新功能 Drop，彻底改变了我们部署网站的方式。你不需要再折腾复杂的服务器配置，也不必担心繁琐的构建流程。只需将包含 HTML、CSS 和 JS 的文件夹或 zip 压缩包直接拖入页面，你的网站就能瞬间上线并实时预览。无论是开发测试还是快速分享，Cloudflare Drop 都能让你秒级完成从本地代码到在线站点的飞跃，真正实现了‘拖拽即部署’的极致体验。
Mistral AI 推出了全新的 Robostral Navigate 模型，这是专为具身智能导航打造的 8B 参数模型。它仅凭单个普通 RGB 摄像头，无需 LiDAR 或深度传感器，就能让机器人在复杂环境中自主导航。在 R2R-CE 基准测试中，该模型在未见过的场景下取得了 76.6% 的成功率，不仅超越了其他单目方案，甚至打败了依赖多传感器的高级系统。通过全仿真数据训练和高效的 toke…
- ▲ 421FAANG模拟器：逃离职场内卷
厌倦了没日没夜的加班和无尽的职场内卷？这款名为ESCAPE THE RAT RACE的FAANG life sim游戏，带你沉浸式体验在FAANG大厂工作的真实日常。从高压的绩效考核到复杂的办公室政治，游戏用幽默讽刺的笔触，还原了科技巨头背后的生存法则。你将在虚拟世界中做出关键抉择，看看自己能否真正逃离这场永无止境的“老鼠赛跑”，还是最终沦为系统的一部分。这不仅是一款游戏，更是一次对现代科技职场…
运行了 23 年的科幻 MMO 巨作 Eve Online，其核心引擎 Carbon 终于开源了！Fenris Creations 在 GitHub 上公开了代码，旨在通过社区协作提升信任并激发创新。核心开发总监 Ben Hunter 表示，虽然引擎代码本身并无秘密，但开放能让更多人参与修复漏洞、构建新应用。项目主要采用 MIT 许可，允许自由商用和分叉，但游戏经济系统仍保留私有。为了应对开源后…
作为 Zig 社区的一员，我亲眼见证了 Bun 从充满潜力的开源项目变成 VC 背书的商业公司。Jarred 早期对 Zig 的感激令人感动，但随着他转向追求快速退出，代码质量急剧下滑，管理风格也变得糟糕透顶。Bun 团队滥用断言、忽视技术债务，甚至将未经审查的 LLM 生成代码混入项目，这让 Zig 社区深感忧虑，担心被贴上“AI 生成垃圾代码”的标签。当 Bun 最终被 Anthropic…
欧盟议会刚刚通过紧急程序，准备在7月9日对是否恢复已失效的Chat Control 1.0规则进行关键投票。这项临时法规原本允许Gmail、Facebook Messenger等平台自愿扫描用户私密消息以检测CSAM，但在今年4月已正式过期。尽管欧洲议会在3月曾投票拒绝延期，欧盟理事会仍试图通过新法规形式将其复活。反对者Patrick Breyer警告这是前所未有的立法复活尝试，若要通过需绝对多…
腾讯正式推出了 Hy3，这是其 Hy 项目的重要升级版本。作为腾讯在 URL 技术领域的最新探索，Hy3 旨在解决当前网络架构中的关键痛点，提升数据传输效率与安全性。文章深入解析了 Hy3 的核心机制，展示了它在实际场景中的强大表现。对于关注网络协议和前端性能优化的开发者来说，这是一次不容错过的技术洞察。腾讯通过 Hy3 再次证明了其在基础技术领域的持续创新能力，为行业树立了新的标杆。
Flint 是 Microsoft Research 推出的面向 AI 时代的可视化中间语言。它让 AI 智能体能通过简洁的语义化描述，自动生成美观且专业的图表，无需手动配置繁琐的坐标轴或缩放参数。Flint 支持 46 种图表类型，并兼容 Vega-Lite、ECharts 和 Chart.js 三大主流渲染引擎。开发者只需定义数据语义和图表类型，Flint 编译器即可自动推导最优布局与样式，…
尽管GitHub用户数仍在飙升，但Ghostty、Zig等重磅项目却悄然出走。频繁宕机、微软的政治立场以及AI Copilot的过度整合，让许多开发者感到不适。从技术故障到意识形态分歧，这场从GitHub向Codeberg及自托管方案的迁移潮，或许才刚刚开始。
OpenAI 正式推出 ChatGPT Work，这不再是一个只会回答问题的聊天机器人，而是能独立搞定复杂任务的智能代理。基于最新的 GPT‑5.6 模型，它能跨应用收集信息，自主完成从数据整理到生成 PPT、文档甚至 Web 应用的完整工作流。无论是将销售对话转化为概念验证，还是把月度财务结算从几天压缩到几小时，ChatGPT Work 都能通过 Scheduled Tasks 在你离开电脑时…
Meta Superintelligence Labs正式推出Muse Spark 1.1，这是继Muse Spark之后的重大升级。这款多模态推理模型专为Agent任务打造，在工具调用、电脑操作、代码生成及多模态理解方面表现卓越。它不仅能零样本泛化到新工具，还能高效编排多Agent系统，将端到端延迟降至最低。Muse Spark 1.1支持100万token的上下文窗口，能主动管理记忆并压缩关…
面对 RAM 价格飙升和供应短缺，Meta 想出了一招：用自研的 Vistara 定制桥接芯片，把退役服务器里的旧内存条拆下来，直接装到新服务器上。原来 Meta 有 40% 的服务器性能受限于内存不足，而旧 DIMM 的寿命却比整机长一倍。通过 CXL 接口，这些旧内存能和新内存混用且几乎不牺牲性能。在苹果建议用中国芯片、内存危机可能持续到 2027 年的背景下，Meta 这种“变废为宝”的硬…
- ▲ 287LLM 倦怠症：被 AI 写作套路逼疯
我每天花数小时与 LLM 交互，从 Claude Code 到 Codex，工作模式已彻底转变为设计代码、向 LLM 描述需求、审查其产出。虽然效率提升，但最近几个月我开始对 LLM 的输出感到厌倦。那些重复的虚假假设、幻觉、夸张的断句以及滥用 ✨ 和 🚀 等表情符号，让我产生了强烈的抵触情绪。这不是工具不稳定带来的挫败，而是对千篇一律的写作风格和错误模式的深度疲劳。即使我仍在坚持使用，这种日…
- ▲ 277蜘蛛毒液灭蜂螨，蜜蜂安然无恙
蜜蜂养殖正面临Varroa mites（瓦螨）的严重威胁，这种寄生虫会摧毁整个蜂群。最新研究发现，利用Spider venom（蜘蛛毒液）可以精准杀死Varroa mites，同时完全不会伤害到Honeybees（蜜蜂）。这项突破为养蜂业提供了一种天然的解决方案，无需依赖化学药剂，既环保又高效。未来，这种生物防治手段可能彻底改变蜜蜂保护策略，让蜂群在自然生态中重获生机。
一个名为 pgrust 的项目正在用 Rust 语言重写 Postgres，目前已实现与 Postgres 18.3 的磁盘兼容，并成功通过了超过 46,000 个回归测试用例。该项目旨在利用 Rust 的安全性和 AI 辅助编程，让 Postgres 的内部架构更容易被修改和扩展。虽然目前尚未达到生产环境标准，且部分扩展如 PL/Python 尚不兼容，但其路线图已规划了多线程内核、内置连接池…
传奇歌手 Bonnie Tyler 于 75 岁高龄离世，这位以沙哑嗓音著称的威尔士巨星，用一首 Total Eclipse of the Heart 征服了全球听众。从 Neath 的普通女孩到美国 Billboard 冠军得主，她不仅是首位在美国登顶的威尔士艺人，更被赞誉为“女版 Rod Stewart”。尽管职业生涯长达 50 年，她始终保持着对音乐的热爱，直到生命最后一刻。她的故事激励了…
这是一个用纯 C 语言编写的微型引擎，能在仅 25GB 内存的消费级电脑上流畅运行 GLM-5.2（744B 参数 MoE 模型）。它通过零依赖设计和从磁盘流式加载专家模块的技术，将庞大的模型拆分处理：核心部分驻留内存，其余专家按需读取。无需 GPU 或 Python 环境，支持原生 MTP 推测解码和智能缓存，让普通开发者也能在本地体验前沿大模型的强大能力。
- ▲ 261美军后勤的脆弱脊梁：下一场战争将崩溃
过去二十年，美军为了在安全环境下高效作战，过度优化了后勤体系，却忽视了未来高强度对抗的残酷现实。文章指出，现代战争胜负的关键不再是谁的武器更先进，而是谁能承受持续打击并维持补给。从二战德军的冒进，到俄乌战场上俄军因燃料和弹药短缺而瘫痪的惨痛教训，历史反复证明：没有生存能力的后勤，再强大的机动部队也只是待宰的羔羊。面对无处不在的无人机和精确打击，美军必须彻底摒弃“铁山”式的集中囤积模式，转向分散、…
我们正式推出 SWE-1.7，这是目前训练出的最强模型，以极低的成本实现了前沿级智能。基于 Kimi K2.7 基座，我们突破了所谓的“后训练天花板”，证明强化学习（RL）能带来远超预期的能力提升。通过优化熵保持策略、跨三洲的多集群训练架构、高质量数据筛选以及长周期任务的自我压缩技术，SWE-1.7 在 FrontierCode 等基准测试中表现卓越，性能直逼 GPT-5.5 和 Opus。现在…
为了给儿子准备第一部手机，我避开了昂贵的专用儿童机，也拒绝了收费的第三方应用。意外发现 iOS 17 中为认知障碍人士设计的 Assistive Access 功能，竟能将 iPhone 完美改造成“儿童傻瓜机”。通过该模式，我可以彻底屏蔽 Safari 等浏览器，只保留 Calls、Messages、Maps 等六个核心应用，且系统会阻止链接跳转，杜绝孩子误触上网。无需额外付费，旧款 iPho…
在遍布全球的330多个数据中心里，Cloudflare的许多内部服务需要读写同一份控制平面状态，且必须保证强一致性。然而，互联网环境充满不确定性，传统如Raft这类依赖Leader和超时机制的共识算法，在面对网络延迟波动时往往导致服务不可用。为此，Cloudflare研究团队推出了Meerkat，一个基于QuePaxa算法构建的全新分布式共识服务。Meerkat允许所有副本随时写入，无需等待超时…
OpenAI 正式收回了对 SWE-Bench Pro 的推荐。我们深入审计发现，该基准测试中约 30% 的任务存在严重缺陷，包括测试过于严格、提示词描述不清以及覆盖率不足等问题。这些问题导致评估结果无法真实反映模型的软件开发能力，甚至可能误导安全决策。此前我们曾建议社区转向 SWE-Bench Pro 以替代有缺陷的 SWE-bench Verified，但经过自动化管线筛选和资深工程师的人工…
- ▲ 2202026年12月将不再引入闰秒
IERS刚刚发布Bulletin C 72，正式确认2026年12月底不会引入闰秒。这意味着协调世界时UTC与国际原子时TAI之间的差值将继续保持在-37秒，直到另行通知。闰秒的调整通常发生在6月或12月底，具体取决于UT1-TAI的变化情况。这一决定对全球时间同步系统至关重要，确保了UTC与地球自转时间的精确对齐。对于依赖高精度时间同步的技术领域，这一消息无疑带来了稳定性和可预测性。
Yamanote.fun 将东京山手线 30 个车站的报站音、门铃和列车运行声完美融合，打造出沉浸式的听觉旅程。项目巧妙区分了外环与内环的专属旋律，让用户在 30 分钟内以双倍速度体验虚拟环游。无论是怀念东京之旅的旅客，还是喜爱城市声音的爱好者，都能在此找到独特的听觉记忆。支持离线播放与深色模式，随时随地开启你的山手线之旅。
我是 Alan Bellows，Damn Interesting 的创始人。过去二十年，我靠兼职工程工作养活这个网站，但现在全职工作成了常态，兼职机会几乎绝迹。面对互联网上泛滥的 AI 垃圾内容，我决定发起一次特别的众筹实验。目标很明确：筹集相当于我过去兼职收入的资金，让我能全职回归，在未来 12 个月里继续创作长文。这与覆盖日常开销的 Give a Damn 捐赠系统不同，这次是为了让我有时间…
作为一个并非火车迷的玩家，我在Running Train里找到了前所未有的沉浸感。这款由单人团队Novatetsu Games打造的日本列车模拟游戏，在Steam上收获了如潮好评。最让我着迷的，不是操控列车，而是开启自由视角，看着它自动运行。游戏构建了一个虚构却无比真实的日本世界，40公里的轨道上，从电线杆的逻辑连接到路边的车流、神社，甚至海浪拍打岸边的细节都令人叹为观止。即便不驾驶，仅作为“模…
还在为满屏杂乱的 PDF、Word 和电子书发愁吗？DocuBrowser 能帮你把一堆文档瞬间变成可搜索的智能知识库。它利用本地 AI 模型，不仅能进行关键词搜索，更能理解语义，即使你找不到原文中的确切词汇，也能精准定位目标。点击标题即可获取 AI 生成的摘要，无需联网，无需 API 密钥，所有数据都在你的本地机器上运行。支持 PDF、DOCX、EPUB 等多种格式，还能自动识别并过滤敏感个人…
- ▲ 166LinkedIn沦陷：AI内容泛滥成灾
我们推出了Chrome扩展来对抗社交媒体上的AI垃圾内容，数据结果令人震惊。在所有被标记为AI生成的内容中，近三分之二来自LinkedIn。长文内容重灾区，每四篇长文中就有一篇是纯AI生成。有趣的是，人们更愿意在关联真实身份的LinkedIn上使用AI代笔，而在Reddit等匿名平台上则更倾向于人类创作。尽管LinkedIn声称要打击AI内容，但其高管的公告本身可能就是AI写的。面对全网AI内容…
在与伊朗的冲突中，美军损失了数十架价值超过10亿美元的MQ-9 Reaper无人机，这一惨痛代价迫使五角大楼重新审视其装备策略。面对敌方日益强大的低成本防空系统，依赖每架造价3000万美元以上的昂贵无人机已难以为继。美军正紧急向业界征集方案，寻求大量廉价且可消耗的“猎杀”型无人机，意图通过数量优势压倒敌方防御，即便承受巨大战损也在所不惜。这一转变明显借鉴了乌克兰在俄乌冲突中的实战经验，即利用低成…
- ▲ 164GLM 5.2 记账准度媲美人类会计师
我们实测了开源模型 GLM 5.2 处理英国中小企业季度增值税申报的能力。结果令人震惊：它仅花费 2.73 美元，耗时 68 分钟就处理了 59 笔交易，最终申报金额与人类会计师的基准结果仅相差 7 便士。虽然模型在“创始人股份”的会计分类上犯了有法律风险的错误，且偶尔混淆“零税率”与“免税”概念，但其整体表现已接近专业水平。这项测试证明，AI 在合规性任务上的成本仅为传统外包服务的不到 1%，…
Rust 开发者们注意，你的测试流程该升级了。Cargo-nextest 这款下一代测试运行器，速度最快可达 cargo test 的 3 倍，彻底告别漫长的等待。它不仅拥有清爽美观的界面，让测试通过率一目了然，更提供了强大的测试隔离机制和专为 CI 设计的功能。你可以像管理牲畜一样管理测试，自动识别并终止慢速测试，支持压力测试和自定义重试策略。无论是记录回放、跨平台运行，还是集成测试覆盖率和调…
- ▲ 153美国建国圣地曾是瑞典秘密殖民地
站在 Philadelphia 市政厅俯瞰，谁能想到这片被视为“美国诞生地”的土地，曾属于一个鲜为人知的瑞典秘密殖民地 New Sweden？从 1638 年到 1655 年，这个最小、最隐秘的欧洲殖民地不仅引入了标志性的 log cabin，还带来了 Lutheran Christianity 和独特的原住民外交策略。尽管仅存续 17 年，New Sweden 却在 Delaware Vall…
我们让 Grok 4.5、GPT-5.5、Claude Opus 4.8 和 Claude Fable 5 用完全相同的提示词，从零构建三个独立应用：3D 魔方、粒子引力沙盒和打砖块游戏。结果令人意外：Claude 系列在复杂的 3D 魔方任务中首试即胜，GPT-5.5 的粒子效果最迷幻，而 Grok 4.5 虽然魔方首秀翻车，但在速度和成本上完胜全场。数据显示，Grok 4.5 的响应速度是其…
在拉斯维加斯参加 Formula One 赛车时，我半开玩笑地向 eBay Motors 提议用平台零件组装一辆全新的 WWII Jeep。没想到这个玩笑成真，eBay 不仅赞助了项目，还要求我完成从 LA 到 Utah 的 900 英里越野挑战。面对从零开始组装 1000 多个零件、仅两周备车期的极限压力，我几乎崩溃。但这辆由 eBay 零件打造的 Willys MB 不仅成功上路，更让我在绝…
在Databricks，我们不再盲目追求最贵的模型。通过在数百万行代码库上进行的内部基准测试，我们发现OpenAI、Anthropic以及开源模型GLM 5.2各有千秋。有趣的是，模型每Token的价格往往无法反映真实任务成本，大模型反而可能更省钱。此外，工具框架（Harness）的选择对效率和成本影响巨大，简单的Pi框架在特定场景下表现优异。我们建议根据任务难度灵活切换模型，而非默认使用顶级模…
- ▲ 123内部服务 TLS 证书的正确打开方式
别再给内部服务配自签名证书了，那只会让客户端报错不断。我分享了一套利用 split-horizon DNS 和 WAF 的完美方案：通过 NetBird 实现 DNS 分流，让内部流量解析到内网 IP，外部流量解析到公网 IP。这样既能直接用 Let's Encrypt 签发受信任的证书，又能通过 nginx 绑定 VPN 接口实现访问控制。配合 acme.sh 自动续期，彻底告别 TLS 配置…
- ▲ 117Unicode转写规则竟能图灵完备
你可能以为Unicode的转写规则只是用来把
- ▲ 115打造极速 MPMC 队列：有界等待的艺术
继上一篇长文后，我尝试设计一种能在多线程间高效共享缓冲区的无锁数据结构。虽然早期版本误称其为 wait-free，但经 Reddit 用户 matthieum 指正后已修正为有界等待模型。该队列基于 ticket lock 机制，利用两个 AtomicUsize 计数器和环形缓冲区，通过位运算优化索引计算，避免了昂贵的取模操作。实测表明，这种设计消除了 CAS 循环，极大降低了缓存争用。本文详细…
OpenMandriva 社区近日遭遇了一场令人痛心的内部破坏事件。知名开发者 Davide Beatrici 因不满团队对其朋友被踢出聊天群的处理，滥用管理员权限，恶意删除了 GitHub 上我们维护了十年的核心仓库，并发布了会导致系统崩溃的空包。这次事件源于社区内部的人际冲突，从最初的言语霸凌升级到对开源项目的实质性破坏。我们决定公开透明地披露此事，旨在警示开源社区在信任与权限管理上需更加谨…
我最近发现 WordPress 里藏着一个只针对左撇子用户的诡异 Bug。当我用右手拇指滚动页面时一切正常，但左撇子用户用左手拇指滚动时，左侧的回复链接会被误触，导致评论框突然弹出，严重打断浏览体验。这个由 2017 年引入的 touchstart 事件监听器引发的缺陷，竟然在七年后才被我修复。虽然修复代码只是删除了几行，但这反映了开发者群体中普遍存在的“右撇子偏见”。正如评论者所言，我们常忽视…
- ▲ 101远程证明：如何确保主机未被入侵？
一台主机接入你的网络，看起来像是你集群的一部分，但它真的可信吗？它运行着你的软件，甚至开始处理流量，但内部是否已被攻击者控制？大多数系统一旦将主机纳入信任边界，就默认其始终安全，却忽略了中间可能发生的各种风险。远程证明（Remote Attestation）利用TPM技术，通过加密方式远程验证主机的硬件、固件、内核、文件系统是否处于预期状态。它不仅能检测恶意驱动和rootkit，还能在启动失败时…
厌倦了 Pi 繁琐的初始配置？LazyPi 让你只需一条命令，就能瞬间拥有 60+ 社区精选技能、67 种主题以及 MCP 和子代理等高级功能。它完美继承了 Pi 的极简主义，同时填补了功能空白，提供持久记忆、成本追踪和自动研究等实用工具。无需查阅文档或手动折腾，LazyPi 为你精心挑选并安装所有必备组件，让你立即获得激动人心且高效的使用体验。无论是开发新手还是资深极客，都能通过 LazyPi…
初次看到 Lisp 代码时，满屏的括号和奇怪的缩进让人忍不住问“这到底是什么？”。我也曾如此，但当你跨过陡峭的学习曲线，就会发现 Lisp 能解锁其他语言无法企及的能力。Paul Graham 提出的 Blub paradox 解释了为何习惯了弱语言的人难以理解 Lisp 的强大。Lisp 被称为“可编程的编程语言”，通过宏（macro）机制，你不仅能写代码，还能扩展语言本身。代码即数据（cod…
MechCommander 1 有个让人抓狂的 bug：所有重型武器都被强制塞进机甲的左臂，一旦左臂被毁，机甲基本就废了。虽然平时很难精准打中左臂，但一旦中招确实很搞心态。受 Vana 启发，我花了一天时间研究代码，利用 Ghidra 反编译工具深入分析了游戏逻辑，终于搞清楚了武器分类规则，并成功修复了这个 bug。原来 Desperate Measures 扩展包里的武器全被误判为小型武器，而…
想象一下，一个能实时模拟四人对战场景的AI模型，它基于1万小时的Rocket League游戏数据训练而成。MIRA不仅能理解你和对手的操作，还能以20fps的流畅度实时生成动态画面，仿佛置身于真实的多人竞技中。虽然它无法完全替代原版游戏，但这种基于公开Bot数据构建的交互式世界模型，为游戏AI和模拟技术开辟了全新可能。点击链接即可体验这个由AI驱动的Rocket League梦境，感受科技与娱…
- ▲ 83AI 如何颠覆软件重写的经济账
AI 正在彻底改变软件重写的经济逻辑。我发现，AI 的输出质量不只取决于你的提示词，更取决于代码库本身的清晰度。对于拥有清晰、通用模式的流行技术栈，AI 能直接调用海量训练数据，效率极高；而面对私有语言或混乱的遗留系统，AI 不得不消耗大量上下文去“学习”规则，导致成本飙升且质量下降。重写代码库不再仅仅是技术升级，更是为了构建一套能发挥 AI 优势的清晰模式。你是在用 AI 解决问题，还是在浪费…
- ▲ 80PostHog 开源：代码全公开
PostHog 正式宣布将其核心代码开源，在 GitHub 上创建了 posthog-foss 仓库作为只读镜像。这个仓库自动同步自主仓库，但剔除了所有专有代码，让社区能自由查看和使用。从提交记录看，团队不仅整合了 AI 辅助开发工具如 GitHub Copilot 和 Claude，还优化了 CI/CD 流程，甚至为 Cursor 的云端代理准备了开发环境。这一举措标志着 PostHog 在开…
FableCut 是一款完全在浏览器中运行的专业非线性视频编辑器，其核心创新在于将整个时间线暴露为单一的 JSON 文档。这意味着你不仅可以像使用 Premiere 一样通过界面剪辑，还能让 AI 代理（如 Claude Code）直接通过 MCP 或 REST 接口操控剪辑过程。项目零 npm 依赖，仅需一个 Node 服务器即可启动。它支持多轨道剪辑、实时波形、关键帧动画、AI 背景移除以及…
analog.watch 是一款充满趣味的读时挑战游戏，旨在测试你读取模拟时钟的速度与准确度。游戏提供每日挑战模式，全球玩家面对同一谜题，每天仅有一次尝试机会，更有专家模式供高手切磋。在自由玩法中，你只需输入 HH:MM 格式的时间，即使答案接近也能获得积分，且没有时间限制。无论你是时间管理爱好者还是逻辑游戏玩家，都能在这里享受挑战自我的乐趣。
电子邮件认证领域迎来重大突破，DKIM2 和 DMARCbis 两大新标准正式落地。DKIM2 彻底解决了转发破坏签名、邮件重放攻击等顽疾，将单一的签名验证升级为完整的可验证保管链。DMARCbis 则作为 DMARC 的继任者，引入了动态 DNS 树遍历并淘汰了失效标签。Stalwart 邮件服务器成为首个全面支持这两项新协议的平台，用户无需安装即可在浏览器中体验全新的邮件安全验证机制。这不仅…
想体验编程机器人却不想先买硬件？Petoi 推出的 Bittle X Robot 模拟器让你直接在浏览器中就能搞定。无需安装任何 SDK 或配置复杂的开发环境，打开网页就能实时操控这款机器人。从加载仿真资产到实时运行，整个过程流畅自然，让开发者能专注于算法逻辑而非硬件调试。这种在浏览器中即可运行的可编程机器人模拟器，大大降低了入门门槛，让 AI 和机器人技术的探索变得更加触手可及。
写邮件的核心不是语法，而是速度、清晰度和判断力。好的邮件能让读者在几秒内抓住重点、快速决策，甚至无需解释就能直接转发。文章提出18条实用规则：开篇即点明诉求，坏消息优先说，用最少字数表达，避免讽刺和暗示，用具体事实代替模糊描述。每封邮件只专注一件事，明确下一步行动和截止时间，区分事实、判断与建议。即使使用AI起草，也要确保内容具体、有人味，拒绝套话。邮件应能在单屏内读完，主题行要帮助快速分类。最…
- ▲ 67美国试图用计算机解决政治的60年
过去六十年里，公众一直被告知计算机将彻底改变政治格局。Fenwick McKelvey 的新书 SimPolitics 深入挖掘了从 1960 年代到 1980 年代末，程序员、顾问和学者如何联手构建模型，试图用模拟技术赢得选举、预测政变甚至规划未来。这本书揭示了将政治简化为电子表格般可计算问题的历史尝试，对比了美国国内选举模拟与国际事务模拟之间的隐秘联系与冲突。在 AI 和科技被吹捧为政治救世…
Context.dev 获得 Y Combinator 支持，专为 AI 原生软件打造一站式网络数据 API。它让开发者无需自建爬虫，即可实时抓取网页内容、提取结构化数据、获取品牌视觉资产及公司信息。从 Mintlify 到 SiteGPT，众多团队已用它替代 Firecrawl 等旧方案，将 GitHub 仓库秒变品牌文档，或将网站内容转化为 AI 知识库。无论是为 LLM 注入实时上下文，还…
我是Mitchell Hashimoto，曾打造Vagrant、Terraform等知名工具，如今正用Zig语言构建Ghostty终端模拟器。离开Hashicorp后，我想重拾对底层系统的掌控，探索GPU编程与桌面级性能。Ghostty最初只是我的个人实验，却意外成为许多开发者日常使用的工具。我坚信终端不应只是命令行窗口，而应成为高效、可组合的应用平台。面对标准化缺失的现状，我希望推动n-scr…
1981 年，Nintendo 推出的 Donkey Kong 不仅引爆了街机市场，更意外地成为了 Atari 衰落的转折点。当时 Atari 本有机会获得 Nintendo Famicom 的北美发行权，却因 Coleco 在 Adam 电脑上发布 Donkey Kong 版本而心生芥蒂，最终导致这笔价值百万的交易流产。Atari 错失良机后，只能眼睁睁看着 Nintendo 凭借 NES 席…
最近我动手为 Pi 浏览器开发了一个原生的 Telegram 客户端。Pi 浏览器虽然轻量，但缺乏对 Telegram 的原生支持，这促使我尝试用 JavaScript 和 Telegram 的 API 自行构建。整个过程充满挑战，从处理网络请求到适配 Pi 的界面风格，每一步都需要精细调试。最终，这个客户端不仅能在 Pi 上流畅运行，还保留了 Telegram 的核心功能。这次经历让我深刻体会…
Ruby 不仅仅是一门编程语言，更是一个充满活力的社区。这篇文章是一份实用指南，教你如何从零开始创办并维持一个本地的 Ruby Meetup。从寻找第一个场地、发布活动到邀请演讲者，再到建立独特的社区文化，文中涵盖了所有关键步骤。作者强调，第一次活动哪怕只有五个人参加也完全没问题，重要的是让参与者感到开心并愿意再来。通过直接邀请、保持活动频率和持续推广，你的 Meetup 终将成为本地开发者不可…
- ▲ 51叙利亚光伏爆发重塑中东能源格局
在长达多年的内战和电网崩溃后，叙利亚反而意外成为了中东太阳能普及率最高的国家。从Damascus到Aleppo，屋顶上密密麻麻的太阳能板并非政府规划，而是民众在每日仅4小时供电的绝望中，自费安装中国制造的廉价光伏板和电池自救的结果。这种自下而上的“屋顶革命”，让可再生能源占比迅速攀升至全国发电能力的三分之一，远超许多海湾国家。文章指出，这种在危机中诞生的分布式能源模式，不仅解决了生存用电问题，更…
我构建了 Atlas，将 850 万篇研究论文映射为一张可交互的动态图谱。每个圆点代表一篇论文，色彩区分 Computer Science、Physics 等学科领域。通过时间轴与热力图，你可以直观探索从 2007 到 2026 年的学术演进脉络。支持按引用量、发表年份及学科筛选，轻松定位前沿成果。无论是追踪领域热点还是挖掘经典文献，Atlas 都能让海量数据变得清晰可读，为研究者提供全新的探索…
- ▲ 47电网瓶颈：AI 基建的真正拦路虎
OpenAI 与 Softbank 联手打造的 Stargate 项目耗资超 400 亿美元，却面临严峻挑战：不是缺钱，而是缺电。随着 AI 算力需求爆发，数据中心的电力消耗呈指数级增长，但电网接入流程严重滞后，平均等待时间已从 20 个月激增至 55 个月。Jensen Huang、Mark Zuckerberg 和 Sam Altman 等科技巨头纷纷警告，未来 AI 的规模将直接受限于电力…
这家米兰科技巨头Bending Spoons最近低调上市，市值一度突破250亿美元。它不像传统私募那样卖资产，而是长期持有并改造收购的品牌，包括AOL、Vimeo、Evernote和WeTransfer等。通过引入AI技术、调整定价策略和裁员，Bending Spoons让许多老牌互联网产品焕发新生，但也引发争议。尽管用户流失率稳定，其激进的运营风格让不少创始人不满。如今，它手握超过5亿月活用户…
Dale Weiler 在文章中犀利地指出，绝大多数整数在程序中根本不需要表示负值，比如数组索引和循环计数。尽管 Google C++ Style Guide 等权威指南因担心下溢风险而建议避免使用无符号整数，但作者认为这种担忧往往源于错误的编程习惯。文章深入剖析了反向循环、数值差值计算以及数组索引等常见场景，证明通过简单的技巧（如利用无符号下溢的确定性），无符号整数不仅能避免有符号整数溢出带来…
- ▲ 45美国救护车为何天价？
Jagdish Whitten 在 San Francisco 遭遇车祸后，因担心费用放弃呼叫救护车，最终却被医院强制转院，收到来自 American Medical Response 的 12873 美元天价账单。这并非个例，美国每年有数百万人面临类似的“意外账单”。文章指出，救护车服务并非简单的运输，而是像金融衍生品中的“救援期权”。真正的痛点在于 Medicare 和保险公司沿用了过时的按…
面对大表查询变慢的痛点，单纯优化 SQL 往往不够，深入理解索引内部机制才是关键。本文带你拆解 PostgreSQL 中 B-Tree 索引的底层逻辑，从 Lehman and Yao Algorithm 算法基础，到数据在磁盘上的物理存储结构。我们将探讨 PostgreSQL 如何通过页面结构、ctid 定位以及元数据管理，实现高效的数据检索。无论是理解节点灵活性、高度管理，还是掌握索引文件的…
- ▲ 41计算中位数：我偏爱的面试题
我在技术面试中从不问那些低价值的谜题，而是偏爱像“计算中位数”这样看似简单却暗藏玄机的题目。这道题不仅能像 Fizz Buzz 一样快速验证候选人的编程基本功，还能引出排序策略、API 设计、边界条件处理等深层讨论。从奇偶数分支的陷阱到统计学中中位数优于平均值的原理，再到如何利用 Python 标准库中的 statistics 模块，这道题给了候选人充分展示调试能力和知识广度的机会。
常春藤名校的学生本该聪明绝顶，却因竞争压力纷纷转向AI作弊。布朗大学的Roberto Serrano教授因怀疑学生利用生成式AI在期中考试中作弊，果断将期末考试改为线下形式。结果令人震惊：原本平均分高达96分、40人满分的“神迹”瞬间崩塌，线下考试平均分直接腰斩。这场风波不仅揭露了AI作弊的普遍性，更引发了对学术诚信与教育本质的深刻反思。当技术成为捷径，我们是否正在失去真正的学习能力？
Apache Shiro 团队正式发布了备受期待的 3.0.0 版本，这次更新凝聚了超过两年的开发心血。新版本将最低运行环境提升至 JDK 17，全面拥抱 Jakarta EE 9/10/11+ 标准，并适配 Spring 6/7+ 及 SpringBoot 3/4+ 等主流框架。在安全性上，团队采取了“默认加固”策略，启用了不区分大小写的路径匹配和 CORS 预检请求，并新增了 NoAcces…
Wire 团队决定将核心容器从 Cloudflare Durable Objects 迁移到自研架构。这并非因为可靠性问题，而是受限于四个结构性瓶颈：向量索引无法内嵌导致网络延迟、计算与数据无法同地部署、无法按需独占资源以及无法自托管。新架构采用 Fly Machines 和 Bun 运行时，将 SQLite 与 sqlite-vec 结合，实现了计算与数据的本地化。迁移后，检索召回率从 78.…
- ▲ 35我与行善仙人掌走私犯的公路之旅
Ran Fowler 在墨西哥沙漠发现了一种名为 Agave shawii 的珍稀多肉植物，其独特的尖刺让他为之倾倒。尽管墨西哥严格限制出口，且将植物带入美国未申报属违法行为，甚至可能面临牢狱之灾，Fowler 仍忍不住从母株上掰下一株幼苗带回加州。两年后，这株植物茁壮成长，Fowler 再次踏上墨西哥之旅，试图寻找更多同类。这次旅程不仅是一次植物猎人的冒险，更引发了关于盗采是否可能具有道德正当…
Anthropic 推出了 Claude 的反思功能，帮助用户追踪和可视化自己的使用模式。通过查看过去 1 到 12 个月的对话数据，你可以了解自己在哪些任务上依赖 AI，哪些更适合亲力亲为。该功能还结合 4D AI Fluency Framework，提供关于委托、描述、判断和勤勉方面的实用建议，助你提升与 AI 协作的效率。同时，系统会定期抛出如“即使 Claude 更快，你仍想自己完成的一…
最近我发布了去中心化 P2P 应用 Kiyeovo 的初版，其中群聊功能的设计让我绞尽脑汁。在去中心化世界里，没有中央服务器意味着没人能回答“谁在群里”或“消息顺序”等基础问题。我评估了 Signal、Matrix 的服务器方案，也考虑过 MLS 和固定成员制，最终选择了“单一创建者”模式：只有创建者能邀请或踢人，配合基于 DHT 的追加日志和分时段密钥轮换。虽然这引入了单点故障风险，但确保了在…
巴西人偏爱冗长的名字，连开国皇帝Dom Pedro I的名字都长得惊人。我的原名Roberto Antonio Ferreira De Almeida有五个词，导致我的信用卡上出现了各种奇怪的缩写组合，每次在酒吧点第二杯啤酒时都尴尬不已。申请美国公民身份时，我决定抓住机会改名。我选择了大家熟悉的昵称Beto，并将姓氏简化为Dealmeida。如今，我的驾照上终于印上了Beto Dealmeida…
- ▲ 27麦克斯韦方程组是如何被发现的
这段视频深入回顾了麦克斯韦方程组从诞生到简化的传奇历程。故事从迈克尔·法拉第的实验直觉开始，到詹姆斯·克拉克·麦克斯韦如何用20个复杂的四元数方程构建电磁理论，再到奥利弗·亥维赛将其精炼为如今我们熟知的4个矢量方程。视频不仅揭示了科学发现背后的数学演变，还探讨了奥斯特、韦伯等先驱的贡献，以及人类如何通过数学语言解读宇宙最深层的奥秘。这是一次穿越时空的智力之旅，让你重新认识那些塑造现代文明的公式。
Git 统治了二十年，但面对 AI Agent 成为代码主要生产者的未来，它必须进化。文章指出，单纯的代码记录已不够，必须将 Agent 的会话日志、提示词和决策过程作为核心资产存入仓库，构建“语义记忆层”，让 Agent 不再重复犯错。同时，Git 应回归去中心化初心，摆脱单一中心化托管平台的瓶颈，通过分布式网络支持海量 Agent 并行协作。未来，开发者将不再是直接写代码，而是指挥一支 Ag…
你是否受够了 Git 合并冲突和损坏的 Godot 场景？作为艺术家，或许你正被陡峭的学习曲线劝退；作为程序员，你可能被迫花费大量时间处理团队的 Git 问题而非编写代码。Lilith Duncan 在 GodotCon 2026 上带来了 Backstitch，一款专为 Godot 打造的开源插件。它像 Google Doc 一样支持实时协作，提供可视化差异对比、版本回滚和分支合并功能，且无需…
过去几年，企业从对 AI 的观望实验，迅速转向大规模生产部署，随之而来的是成本失控、模型碎片化和治理缺失的严峻挑战。John Dickerson 指出，真正的竞争壁垒已不再是单一模型的能力，而是谁能构建可靠的控制层。面对数十个模型和多个供应商的复杂环境，我们需要像管理云基础设施一样管理 AI。Mozilla 推出的开源项目 Otari，正是为了解决这一痛点，提供路由、成本透明度和合规治理，让组织…
Devthropology是一款专为开发者打造的工具，旨在为GitHub仓库提供更深层次的洞察。它通过分析代码库的结构、贡献者活动以及项目健康度，帮助用户快速理解项目的核心价值与潜在风险。无论是维护开源项目还是评估第三方依赖，Devthropology都能提供直观的数据可视化与 actionable insights。只需登录即可访问仪表盘，开启你的代码探索之旅。
Vanguard-Map 是一个在浏览器中运行的实时 3D 多域战术情报地图，能够追踪全球船只、航班、卫星、海底电缆以及太空天气。它不仅支持时间轴拖动和场景回放，还具备基于物理的异常检测功能。通过整合 AIS 数据、卫星轨迹和空间天气信息，Vanguard-Map 为用户提供了前所未有的全球动态视野，让复杂的战术情报分析变得直观且触手可及。
Galena, Kansas的名字源自其核心资源——方铅矿（galena）。1877年铅矿的发现引爆了区域采矿热潮，使其成为涵盖Missouri、Kansas和Oklahoma的“tri-state mining area”核心，巅峰期人口超3万。Missouri-Kansas-Texas Railroad（MKT）作为交通命脉，不仅运送工人和物资，更将矿石运往冶炼厂。然而，这场持续百年的繁荣在…
- ▲ 21别再抱怨订阅，直接付钱吧
网上最没用的评论大概就是“我讨厌订阅制”了。作为独立开发者，我认为订阅模式是 iPhone 用户和开发者双赢的最佳方案。订阅让利益一致：你为价值付费，我才有资金维护基础设施并持续改进 App。如果你不想付钱，那就别用；如果你爱用却只想要一次买断，那价格可能高达 200 美元，而且开发者可能随时消失。别再幻想 1995 年的软件模式了，现在的软件需要持续维护、更新 API 和适配新系统。与其在网上…
Onboard-CLI 是一款基于 AST 解析和本地优先的命令行工具，专为帮助开发者快速理解大型复杂代码库而生。它利用 tree-sitter 深度解析 Go、JavaScript、Python 等多种语言代码，生成直观的结构拓扑图，并通过 React Flow 在本地浏览器中呈现交互式可视化画布。除了可视化，Onboard-CLI 还能通过 Git hooks 强制执行架构边界规则，实时检测…
Benedict Evans 指出，当前 AI 行业正深陷算力供应危机，但这只是暂时的。随着千亿美元级别的数据中心 capex 涌入，以及推理效率的飞速提升，市场正从供不应求走向新的平衡。核心问题在于：基础模型能否维持高定价权，还是最终会像宽带一样沦为低毛利的商品基础设施？目前所有迹象都指向后者。未来，是少数巨头垄断定价，还是 LLM 变成像数据库一样的通用组件，取决于 ROI 能否量化、前沿模…
酒吧库存盘点别再被昂贵的 SaaS 平台割韭菜了。Open Source Barware 是一款由调酒师亲手打造、完全免费且开源的库存管理系统，基于 GPLv3 协议发布。它无需订阅、没有厂商锁定，甚至不需要 AI 也能完成语音盘点、数据核对和流程处理。你可以选择将发票照片交给 AI 识别，也可以完全本地运行。这个项目旨在把时间还给调酒师，让库存管理回归简单。从智能库存表到差异追踪器，所有功能都…
- ▲ 17别让机器统治你：如何跟随鼓手
在电子音乐制作中，人类往往被迫跟随机器的节拍，但我想反其道而行之。我开发了 DrumMate，让鼓手成为真正的主宰，让所有乐器跟随他们的速度、动态和感觉。我发现，鼓点不是时钟，而是线索；简单的时钟除法可行，但乘法需要预测。通过构建一个由演奏引导的自由运行时钟，利用相位锁定环技术，系统能平滑地适应鼓手的微妙变化，而非生硬地跳跃。最关键的教训是“滑行”机制：当鼓手表现复杂时，系统不应放弃，而应基于最…
Helium不仅仅是一个浏览器，更是一场关于透明、隐私和同意的实验。我们公开了所有源代码，包括远程组件，且所有仓库的提交历史清晰可读，拒绝模糊的“Bug修复”记录。构建过程完全透明，发布版本不可篡改，绝不包含任何专有二进制文件。在用户体验上，Helium没有广告、没有诱导性设计，也不会在你未明确同意前产生任何网络流量。我们的法律文档同样在GitHub上公开，接受公众监督。我们坚信，用户不是被收割…
Frugon是一款免费、开源且完全在本地运行的LLM成本分析工具。它能深入你的LLM调用日志，精准定位账单漏洞，并智能推荐将哪些请求路由到更便宜的模型。无需上传任何数据，Frugon直接在你的机器上完成计算，确保数据隐私。无论是Agent开发者还是AI团队，都能通过简单的命令行操作，快速生成节省方案，轻松优化每月开支。
AccessLumens 发布了 2026 年美国地方政府网站无障碍现状报告。在 ADA Title II 合规截止日期过后，我们扫描了 221 个大型城市政府网站，发现 42% 仍存在关键无障碍障碍。研究揭示了 CMS 供应商（如 CivicPlus、Granicus、WordPress）对无障碍风险的决定性影响，指出即使平均分高达 93 分，仍有大量居民因关键功能缺失而被拒之门外。这份报告为…
Abralo 是一款原生跨平台桌面应用，专为开发者打造，让你能在一个窗口内同时运行多个 Claude Code 智能体。它解决了传统终端界面信息过载、难以监控多任务进度的痛点，提供比终端更自然、更清晰的视觉体验。你可以实时查看每个智能体的状态、监控 Token 消耗速率，并直观判断哪些任务需要人工介入。应用体积极小、启动飞快，完全免费支持同时运行 4 个智能体，无需注册账号，完美适配 macOS…
大家都知道 Postgres 的 HOT 更新能悄悄回收空间，但真正的清理还得靠 VACUUM。这篇文章带你用 pageinspect 等工具，逐字节观察 VACUUM 在页面上的真实运作。你会发现，VACUUM 并非一步到位，而是分三步走：先扫描堆页回收死元组数据，再清理索引项，最后才释放行指针。特别是当表带有索引时，死元组的行指针会先标记为 LP_DEAD 占位，直到索引清理完成才会真正释放…
这项研究揭示了婴儿在出生后第一年内，大脑对音乐的感知与身体自发运动之间的发展差异。研究人员利用 EEG 和 markerless pose estimation 技术，对 79 名 3 个月、6 个月和 12 个月大的婴儿进行了观察。结果显示，所有年龄段的婴儿大脑都能识别音乐结构，但直到 12 个月大时，婴儿才会对音乐表现出更复杂的摇摆或拍手动作。有趣的是，没有任何年龄组的婴儿能真正跟随音乐节奏…
The Field Equation 带来了一场视觉革命，它将静态的 Shader 几何折叠成一个仿佛拥有生命的呼吸体。在这个交互体验中，用户不再是旁观者，而是通过拖拽、滚动和参数调整，直接操控着 FIELD tiles 的形态与色彩。从 kaleido 的六重对称到 chaos 参数的微妙扰动，每一个数值的变化都让画面随之律动。这不仅仅是一个网页特效，更是一次对数字生命形态的探索，让冰冷的代码…
Arcaide 是一款让代码架构‘活’起来的可视化工具。它通过生成多层调用图，帮助开发者直观地探索和理解复杂的代码结构。无论是 Go 还是 Java 项目，你只需输入仓库链接，就能立刻看到代码间的依赖关系和调用链路。Arcaide 支持添加你自己的 GitHub 仓库，让抽象的架构设计变得清晰易懂，是重构代码、学习开源项目或进行技术评审的得力助手。
我是 Christian，Frigade 的联合创始人兼 CTO。我们打造了一款运行在已认证网页应用内的浏览器智能体，它能自动监控应用调用自身 API 的行为，并将其转化为智能体工具。这相当于一个随宿主应用变化而自动更新的 MCP 服务器。无需触碰源代码，你就能构建出深度集成各类产品的 AI 助手，远超传统点击操作和 RAG 的能力。从 Jira 到 Spotify，我们的智能体都能通过自动生成…
还在为 Rubiks Cube 的复杂步骤头疼吗？Speedcube 提供了一个强大的在线求解器，能瞬间帮你破解 3x3x3 Cube 的难题。这个工具不仅支持自定义打乱和最大步数限制，还能在 GitHub 上找到开源代码。无论是速拧爱好者还是编程开发者，都能在这里找到乐趣。从记录世界纪录到学习算法，Speedcube 让解谜变得简单又有趣。
Lucid 是一款创新的Web工具，让你能直接‘阅读’语言模型在生成回答前的内部思维过程。通过独特的 Jacobian lens 技术，Lucid 逐层解析模型在 J-space 中的概念流动，展示那些模型‘知道’却未说出的想法。无需安装或注册，用户只需输入提示词，即可在浏览器中观察 Qwen 或 Pythia 等开源模型的概念激活情况，甚至查看被‘隐藏’的潜在推理路径。这不仅是一个调试工具，更…
- ▲ 11去中心化悖论：协调为何走向集权？
这篇文章借美国建国250周年之际，重新审视“州际体系”的运作逻辑。作者 Trent MacDonald 指出，经典的自由主义理论虽然推崇去中心化的优势，如竞争、退出机制和实验精神，但现实却充满了悖论。成功的联邦体系在规模扩大时，为了应对日益复杂的协调需求，往往会自发地产生集权压力。这种集权并非单纯的外部强加或制度失败，而是系统成功协调后的涌现属性。随着内部管辖单位的激增，系统需要统一的标准和更强…
LastShelf 旨在让家人在艰难时刻不再手忙脚乱。它提供分步指导，帮助家庭成员快速找到关键文件、医疗意愿、人寿保险、账户访问权限及重要账单，无需翻找抽屉或保险箱。创始人 Schuyler Brown 因父亲患癌的经历而创建此产品，希望避免他人在医疗紧急状况下承受寻找文件的额外压力。LastShelf 能自动发现重要账单，整合关键文档与联系人，并为受信任的联系人提供清晰的行动指南，确保在意外发…
虽然 Rust 正在 Linux 内核中逐渐普及，但 C 语言依然是主流，这也带来了缓冲区溢出等内存错误风险。KASAN（Kernel Address Sanitizer）是内核开发者的必备工具，能精准捕获越界访问和释放后使用问题。本文不教如何使用，而是深入 KASAN 内部，解析其编译时插桩与影子内存（shadow memory）机制。通过 virtme-ng 搭建测试环境，我们亲眼目睹 KA…
2026 年 3 月，我们推出了 Knock Agent，一个能管理所有客户消息资源的 AI 代理。起初我们尝试为每个 API 功能单独设计工具，但很快发现这种方式无法扩展，会迅速撑爆上下文窗口。受 Vercel 启发，我们转而采用“文件优于工具”的策略：给代理一个包含账户内容的虚拟文件系统，并赋予它 bash 脚本能力。代理通过探索文件系统获取上下文，直接修改文件并调用 API 持久化变更。为…
Pattern Collider 是一个由 Aatish Bhatia 与 Henry Reich 联手打造的互动工具，让你轻松生成并探索准周期平铺图案。它基于 Nicolaas Govert de Bruijn 的多网格方法，通过调整平行线组的偏移和角度，创造出无限不重复却局部重复的精美图案。你可以像玩拼图一样，点击线条或瓦片，实时观察图案变化，甚至保存和分享独特的 URL。从经典的 Penr…
在阿姆斯特丹的 Hortus Botanicus，一个晴朗的春日，锅炉房却冒出烟雾。面对分散在五个独立系统中的数据孤岛，我不得不手动拼凑时间戳，才查明是热泵通信故障导致燃气锅炉误启动。这并非偶然，而是商业软件刻意制造的壁垒：数据被厂商锁定，系统互不兼容。如今，借助 EU Data Act 赋予的数据权，以及 Home Assistant 这一开源平台，我们终于能打破僵局。通过将数据统一并接入 M…
Ergo 是一个非营利组织，致力于在线发布长篇哲学讲座，全程无广告、无付费墙。他们邀请像 LEE BRAVER、DAVID ALBERT、TIM ROUGHARDEN 等顶尖思想家，从笛卡尔到尼采，从量子力学到无穷大，从斯宾诺莎的爱之理论到康德的道德哲学，深入浅出地讲解哲学核心议题。无论你是哲学小白还是资深爱好者，都能在这里找到启发。这些课程不仅涵盖经典哲学史，还深入探讨科学、技术、语言与意识的…
在 Blogomatano 上，Chris Kiehl 分享了一段关于 Euglenid 运动的视频，展示了 Spirocuta 这种生物令人咋舌的移动方式。Wikipedia 将其归类为 Spirocuta，但亲眼目睹它们移动时，你会觉得这简直违背常理。它们不像传统生物那样依靠鞭毛划动，而是仿佛把自己像液体一样“倾倒”到新位置。这种奇特的运动机制让人大开眼界，仿佛看到了自然界中隐藏的另一种物理…
GitHub 内部曾面临严峻挑战：14000 多个仓库中，超过一半没有明确归属。这导致在秘密扫描修复等安全工作中，我们常常因找不到负责人而陷入困境。在短短 45 天内，我们利用 GitHub custom properties 和自动化流程，为所有活跃仓库验证了所有者，并将 8000 个废弃仓库归档。通过强制新仓库在创建时即指定归属，我们将所有权变成了系统的基础设施，彻底消除了“无主仓库”带来的…
过去十年，我打造了 Exercism，帮助开发者精进技能，却遗憾地发现大量零基础用户因平台不匹配而流失。这让我意识到，编程教育的核心应是‘有趣的解决问题’，而非枯燥的语法记忆。于是，我启动了 Jiki 项目，基于我童年通过构建游戏自学编程的经历，从第一天起就让用户动手制作真实项目。在 2025 年的 Bootcamp 中，我测试了自创的 JikiScript，发现节奏过快，于是决定在 Jiki…
我们致力于开发首个面向4-9岁儿童的数学与阅读AI导师Ello。对于5岁的孩子来说，2秒的延迟就足以让注意力涣散，学习就此中断。传统的Agent工具循环因推理预算导致3-4秒的延迟，根本无法满足实时教学需求。为此，我们抛弃了标准模式，构建了自定义架构，将生成与执行解耦，实现毫秒级响应。同时，我们引入异步的planner代理在对话间隙预判学生下一步行动，并预生成回复分支。这套架构让AI不仅能快速回…
各位网站开发者和决策者请注意，ReCaptcha 其实是个巨大的谎言。Google 将其包装成验证用户的工具，实则是免费为自家 LLM 收集数据的训练方案。它本质上是一个机器人试图证明你也是机器人，完全不适合用于真人验证。这种强迫用户玩糟糕小游戏的做法，纯粹是在浪费大家宝贵的时间。好消息是，完全没必要继续使用 ReCaptcha，市面上有很多优秀的免费替代品，比如 hCaptcha，它们才是真正…
Kastra是专为AI系统设计的运行时授权层，能在AI执行任何操作前（如调用API、运行命令或生成代码）进行毫秒级策略检查。它不是事后监控工具，而是主动拦截层，确保只有符合策略的动作才能执行。无论是个人开发者在本地构建智能体，还是全球银行部署联邦级AI应用，Kastra都能提供统一的策略语言、可审计的决策记录和无缝的集成体验，让AI行为真正可控、可追溯。
Sighthound 是一款基于 Tree-sitter 构建的静态应用安全测试工具，专为开发者提供高效的源代码漏洞扫描服务。它利用 AST 感知规则，支持模式匹配与污点分析，能够精准追踪从源到汇的数据流。该工具支持 Python、JavaScript、TypeScript、Java、PHP、C#、Go、Ruby 及 HTML 等多种主流语言，并具备多文件并行扫描能力。无论是自动检测还是自定义规…