All Stories
您现在可以禁用 Zed 中的所有 AI 功能。
Zed编辑器旨在成为世界上最好的代码编辑器，并强调提供一流的AI辅助功能。然而，考虑到用户的不同需求，Zed允许用户在设置中禁用AI功能。编辑器支持多种隐私保护措施，如使用自己的API密钥、本地AI模型以及与Anthropic的零保留协议。Zed还提供了一个开源版本，允许用户根据个人喜好进行定制。公司致力于为所有用户提供最佳的开发体验，无论他们是否选择使用A...
Jul 23, 2025为什么选择 Elixir？常见误解
本文深入探讨了为什么Elixir是构建现代、可扩展、可维护应用程序的理想选择。文章从Elixir的并发、容错、轻量级进程等特性出发，阐述了其在现代SaaS应用、实时功能、API等方面的优势。此外，文章还介绍了Elixir生态系统中的成熟库和框架，如Phoenix框架和Ash框架，以及Elixir在机器学习领域的应用。最后，文章强调了Elixir在开发者生产力...
Jul 23, 2025美国人工智能行动计划
美国正致力于在全球范围内实现人工智能（AI）的领先地位。赢得这场竞赛将为美国人民带来新的繁荣时代、经济竞争力和国家安全。为此，特朗普总统在其第二任期的初期指导制定了人工智能行动计划。该计划基于加速创新、建设AI基础设施以及在国际外交和安全领域领先的三项支柱，是美国在竞赛中获胜的路线图。
Jul 23, 2025Toad – 终端中通用的代理编程用户界面
本文作者对Anthropic和Google推出的基于终端的AI编码代理感到不满，认为它们在用户体验和界面设计上存在缺陷。作者曾创立Textualize公司，专注于终端应用程序，并指出其产品在解决终端界面问题方面具有优势。作者开发了名为Toad的UI原型，旨在展示如何构建流畅、无卡顿的终端AI编码代理。Toad使用Python和Textual库构建，能够实现平...
Jul 23, 2025逆向工程 GHA 缓存以提高性能（2024）
本文介绍了如何在代码中使用Depot的API来设置项目和在Depot基础设施上运行Docker构建作为服务。Depot最近推出了Depot-hosted GitHub Actions runners，这些runners带来了额外的缓存速度提升，不仅限于加速Docker构建。文章分享了关于GitHub Actions缓存内部工作原理的见解，以及如何将这些知识应...
Jul 23, 2025逆向工程 GitHub Actions 缓存以使其快速
本文介绍了Blacksmith团队如何通过逆向工程GitHub Actions缓存，开发了一个更快、无需修改用户代码的缓存替代方案。他们首先分析了GitHub Actions缓存的工作原理，并使用MinIO作为后端存储。通过在虚拟机内部设置代理服务器，将请求重定向到自托管的服务器，从而实现了无缝的用户体验。此外，他们还解决了与Azure SDK兼容性问题，并...
Jul 23, 2025Lumo：以隐私优先的人工智能助手
本文介绍了Lumo，一款以隐私为首要考虑的AI助手。Lumo旨在解决当前大型科技公司利用AI进行数据收集和监控的问题，通过不保留用户聊天记录、使用端到端加密、不共享数据等方式保护用户隐私。Lumo提供多种功能，如文件上传、网络搜索、文件分析等，旨在帮助用户提高工作效率，同时确保个人数据安全。Lumo是Proton隐私生态系统中的一员，由非营利组织Proton...
Jul 23, 2025Hyperpb: 更快的动态 Protobuf 解析
本文介绍了 Buf 公司推出的 hyperpb，这是一个全新的动态 Protobuf 解析器。与标准 Go 解析器 dynamicpb 相比，hyperpb 的速度提升了 10 倍，甚至比使用生成代码解析还要快 3 倍。hyperpb 还在几乎所有基准测试中与 vtprotobuf 的生成代码持平或胜出。它支持处理和验证大量任意流式数据，并能够进行客户端验证...
Jul 23, 2025创始人电影公司旨在以爱国主义、Palantir 和艾茵·兰德的理念重塑好莱坞。
美国保守派政治反动波及媒体，一些人正寻求进入好莱坞以改变其自由倾向。保守派长期以来一直试图通过文化影响来改变美国电影产业，尽管进展有限。然而，一些主流电影如《壮志凌云：独行侠》和《黄石》获得了保守派的认可。近期，与软件公司Palantir关系密切的一群人计划成立一个新的制作公司Founders Films，旨在制作具有民族主义倾向和政治色彩的电影。该公司计划...
Jul 23, 2025Cerebras推出Qwen3-235B，每秒处理1.5k个token。
Cerebras Systems今日宣布，其推理云平台现已提供搭载Qwen3-235B的全面支持，该模型具有131K的上下文支持。这一突破性的进展将前沿智能与前所未有的速度相结合，成本仅为闭源模型的十分之一，从而彻底改变了企业AI的部署。Qwen3-235B在科学、编码和通用知识基准测试中与Claude 4 Sonnet、Gemini 2.5 Flash和D...
Jul 23, 2025CARA - 高精度绳索驱动的机器人狗
CARA的编程过程包括创建关节归位序列、推导运动学方程以及实现行走步态。首先，通过旋转每个关节至物理极限并检测电流变化来确定其相对位置。接着，推导了逆运动学、正运动学和旋转运动学方程，用于轨迹规划和计算关节角度。步态实现采用圆周形步轨迹，以实现平滑的起落和自然的步态外观。行走时，采用对角腿同时移动的 trotting 序列，包括摆动相和支撑相两个阶段。转向时...
Jul 23, 2025构建更好的AI工具
本文探讨了人类学习的方式和知识转移的有效方法，并指出当前AI工具开发存在方向性问题。作者认为，人类学习并非简单地将信息存储在脑中，而是在努力提取信息的过程中学习。有效的学习方式是过程学习，而非单纯的知识学习。文章强调，人类在创新方面不如累积迭代，且更擅长集体学习和创新。作者批评了当前AI工具开发的反模式，如直接使用AI进行操作和提供无关信息等。文章提出了“边...
Jul 23, 2025我们离《星际迷航》中的技术还有多远？——如何了解我们与《星际迷航》科技的接近程度指南
本文探讨了2025年人类科技发展现状，重点分析了《星际迷航》中提出的科技设想，并评估了其实现的可能性。文章强调，根据现有的物理规律，以下技术已基本实现或即将实现：全息甲板和紧急医疗全息投影。文章还介绍了生物技术、计算机、防御、全息与虚拟现实、材料科学、机器人与仿生学以及交通等领域的技术发展情况。最后，文章引用了《星际迷航：下一代》中的名言，鼓励人们勇于探索未...
Jul 23, 2025苹果的液态玻璃：当美学胜过功能
设计不仅仅是关于美学，更重要的是功能。当设计失败时，我们会感到立即的挫败感，即使我们并不意识到这是一个设计问题。这些时刻不仅仅是烦恼，它们是设计失败的表现，是更深层次问题的症状。每一个都代表了设计思维的失败，创作者失去了对最终使用他们产品和系统的真实人类的关注。
Jul 23, 2025