在机器学习中，形状错误是一种难以调试的问题，通常只有在运行模型时才能发现。通过将形状检查作为类型，您可以消除大部分这种挑战，并更快地开发。Jaxtyping 是一个库，它使用 JAX 的类型系统来提供形状检查，从而...

Google的Big Vision项目是一个研究和生产最先进的视觉系统的重要工具库。最近，他们添加了权重分片，使得在多节点系统上的训练更加容易。这个新功能可以将模型分成多个子模型，分别在不同的节点上进行训练，最后再将...

技术债务是一种关于过去决策和捷径累积的后果的比喻。本文探讨了这个比喻，以了解技术债务与代码关系较小，与软件开发中出现的挑战所产生的选择和妥协有更多的关系。它关注于新兴技术债务，这是由于不断变化的系统需...

上周推出的 Coffee 可以通过插入现有的代码库来帮助前端开发中的 AI 流程。该项目专注于基于 Coframe 团队从利用 AI 生成 80% 以上前端的经验中获得的一流 DX。Coffee 将使用人工智能来改进前端开发工作流程，从而使...

codapi-js是一个方便快捷的工具，能够将静态代码示例转换成轻量级的小型沙盒，从而能够嵌入产品文档、在线课程或博客文章中。它可以创建任何编程语言、数据库或软件的沙盒。它大多数沙盒需要Codapi服务器，但JavaScr...

研究人员提出了一个新颖的框架，将人工智能程序视为心理研究中的参与者。该框架有三个步骤：在一系列实验中测试程序的推理能力，测试其对自身推理方式的理解，并且如有可能，检查程序源代码的认知适应性。虽然目前的...

本文包含几个新的人工智能发展故事。这些故事涵盖了人工智能领域的竞争、行业就业现状、人工智能战略、Sourcegraph的Cody AI编码助手正式上线等。多年来致力于为其代码添加注释的工程师们为大型语言模型推理其代码提...

FunSearch是一种人工智能系统，可以与特别训练的大型语言模型进行交互，创建生成数学问题解决方案的计算机程序。该系统会检查这些解决方案是否优于已知的解决方案，如果不是，它会向LLM提供反馈，以便下一轮改进。它...