All Stories
Codestral 25.08
Mistral AI为世界领先的企业提供了一整套集成编码解决方案，帮助企业在开发、审查和测试阶段将时间缩短50%。该解决方案克服了传统AI编码工具在企业环境中应用的限制，如部署约束、定制化不足、架构碎片化、缺乏统一可观测性和控制以及与内部工具链的不兼容性。Mistral的解决方案通过Codestral、Codestral Embed和Devstral等组件，...
Jul 31, 2025哈德利天文望远镜 - 易于组装、高性能的牛顿式望远镜
本文介绍了Kissner Optik提供的望远镜套件，包括螺丝/镜子套件。文章详细介绍了望远镜的组装方法、所需材料、注意事项以及如何使用。此外，还提到了官方Discord服务器、新的说明书以及推荐的望远镜配件。文章强调了安全使用望远镜的重要性，并讨论了望远镜的性能和适用范围，如行星观测和天文摄影。最后，文章还提到了项目的更新日志、设计理念以及如何支持项目开发者。
Jul 31, 2025Anaconda 完成 1.5 亿美元 C 轮融资
Anaconda公司宣布在Insight Partners的领导下完成了超过1.5亿美元的C轮融资，并得到了Mubadala Capital的支持。截至2025年7月，Anaconda已实现盈利，年收入达到1.5亿美元。Anaconda作为Python的主要发行平台，拥有超过21亿次下载和5000万用户。该公司推出了AI平台并与Databricks建立了合作...
Jul 31, 2025硅正进入智能手机电池，带来巨大的能量提升
Enovix公司推出了一种新型锂离子电池，该电池使用硅作为阳极，可能拥有目前任何商业电池中最高的能量密度。这种电池已送至一家领先的智能手机公司，预计今年晚些时候将在手机上首次亮相。传统的锂离子电池通常使用石墨作为阳极，而硅的理论能量密度是石墨的约10倍。Enovix的AI-1电池克服了硅在充电时膨胀的问题，其能量密度超过900瓦时/升，比当前主要智能手机型号...
Jul 30, 2025SensorLM: 学习可穿戴传感器的语言
随着可穿戴设备（如智能手表和健身追踪器）的普及，它们持续记录我们的生活数据，包括心率、步数、健身和睡眠等。这些数据对于个性化健康和福祉具有巨大潜力。然而，由于缺乏将传感器记录与丰富描述性文本相结合的大规模数据集，我们难以理解这些数据的实际意义。为了解决这个问题，SensorLM模型被提出，它是一系列传感器-语言基础模型，通过在超过5900万小时的跨模态传感器...
Jul 30, 2025我们的1亿美元B轮融资
Oxide公司宣布完成1亿美元的B轮融资，由USIT领投，所有现有投资者参与。自公司成立以来，Oxide共筹集了8900万美元。本轮融资将使Oxide成为一家具有变革性的公司。公司创始人回顾了自2019年以来的发展历程，强调了对云计算市场的坚定信念和自主研发的技术优势。Oxide通过自主研发硬件和软件，构建了从芯片到操作系统的完整技术栈，包括自己的主板设计、...
Jul 30, 2025Opsqueue：适用于重负载的轻量级批量处理队列——现在开源
本文介绍了 opsqueue，一个由 Rust 编写的开源队列系统，适用于批处理操作。opsqueue 轻量级、易于扩展，并支持高吞吐量。它采用生成-执行模式，允许生产者生成操作并将其放入队列，消费者从队列中提取操作进行处理。opsqueue 支持灵活的优先级策略，并优化了数据存储和传输效率。该系统已成功应用于生产环境，并展示了其稳定性和可扩展性。
Jul 30, 2025Moneybadger 和 Peach Payments 合作，实现比特币支付功能。
Peach Payments 与 MoneyBadger 合作，使商家能够接受比特币和其他加密货币支付。这项合作标志着南非比特币和加密货币支付的普及，预计将吸引更多年轻、技术娴熟的消费者。Peach Payments 计划将这种支付方式扩展到非洲其他地区，以提供统一的支付解决方案。
Jul 30, 2025启动 HN：Lucidic（YC W25）- 在生产环境中调试、测试和评估 AI 代理
Lucidic AI 是一款AI代理可解释性工具，旨在帮助用户观察和调试AI代理。该工具通过一行代码即可集成，并提供了日志记录、累积趋势分析、内置或自定义评估和分组故障模式等功能。Lucidic AI 由斯坦福AI实验室的研究人员开发，旨在解决传统LLM可观察性平台无法捕捉的代理复杂性。它提供了自动转换日志为交互式图形可视化、时间旅行功能、轨迹聚类和自定义评...
Jul 30, 2025Fast
本文探讨了软件速度的重要性，指出快速软件能够改变用户行为，提高开发效率，并使远程工作成为可能。文章强调了快速软件的几个优点：减少认知摩擦、体现简洁性、增强用户体验和乐趣。同时，文章也提到快速软件的相对性，以及当前工具与未来开发者体验之间的差距。最后，文章展望了未来软件优化趋势，认为这将解锁新的能力和用例。
Jul 30, 2025AI编码平台Base44存在严重漏洞，允许未经授权的访问。
Wiz Research 发现了 Base44 平台的一个严重漏洞，该漏洞允许攻击者通过提供非秘密的 app_id 值来绕过所有认证控制，从而访问用户构建的私有应用程序。Base44 是一个流行的 vibe coding 平台，它允许用户使用自然语言提示构建应用程序。Wiz Research 在发现漏洞后立即向 Base44 和 Wix 披露了这个问题，Wi...
Jul 30, 2025我们开发了一个开源的群体分析工具，它节省了数百万的资金。
Doist 开发了 Bitmapist，一个基于位图技术的开源群体分析库，用于高效处理和分析大量用户事件数据。Bitmapist 通过 Redis 位图存储数据，实现实时查询和低内存消耗。该工具帮助 Doist 在新功能发布、A/B 测试、决策制定等方面节省了大量成本，并提高了数据分析效率。Doist 将 Bitmapist 开源，方便其他团队使用，共同推动...
Jul 30, 2025Web可嵌入的通用Lisp
Daniel Kochmański获得NLnet资助，致力于提升WebAssembly集成和ECL项目。项目包括四个主要里程碑：实现与Web环境的交互协议、集成浏览器中直接开发Common Lisp代码的工具、将ECL移植到WASI系统接口、以及为ECL实现虚拟文件系统扩展。前两个里程碑着重于在浏览器环境中使用ECL，预计一年内完成。项目还包括开发可重用组件...
Jul 29, 2025《Dario Amodei的诞生》
本文讲述了 Anthropic 公司 CEO Dario Amodei 的故事。Amodei 是一位 AI 领域的领军人物，他坚信 AI 发展速度远超人们的认知，并积极推动 AI 技术的发展和应用。他曾在 OpenAI 工作，领导开发了 GPT-3 等重要模型。由于对 AI 安全性的担忧，Amodei 离开了 OpenAI 并创立了 Anthropic 公司...
Jul 29, 2025使用 Biff 结构化大型 Clojure 代码库
本文介绍了作者对阅读应用Yakread的全新重构和开源过程。在重构过程中，作者尝试了Biff框架的新特性，并针对代码库规模增长带来的管理挑战进行了优化。主要的新架构方法包括：使用XTDB的物化视图来提高查询效率；通过编写纯函数和状态机来分离应用逻辑和副作用，便于测试和可观察性；以及使用Pathom来分离模型和视图代码，提高代码的可读性和可维护性。
Jul 29, 2025