代码托管平台GitHub近期推出了一项名为code-scanning autofix的测试功能，该功能结合了GitHub Copilot和CodeQL技术，旨在检测并自动修复JavaScript、TypeScript、Java和Python等编程语言中的安全漏洞。这一创新工具...

Lapdev是一款自托管应用程序，能够在任何地方创建远程开发环境。它能够从单一机器扩展到全球服务器舰队。通过使用Devcontainer开放规范来定义开发环境即代码，Lapdev能够助力开发者在新项目中快速上手，无需在他们的...

Meta公司近日发布了一个名为Torchtune的原生PyTorch库，专门用于精细调整语言模型。该库旨在为开发者提供更为便捷的工具，以便在PyTorch框架中进行语言模型的微调工作。通过Torchtune，开发者可以更容易地实现模型性...

像Claude这样的大型语言模型(LLMs)能够为解析代码生成有效的模糊测试工具，这一过程传统上需要大量的人力投入。尽管LLMs通常在精确度上不足以进行静态分析，但它们似乎非常适合创建模糊测试工具，因为模糊测试的随机...

Stability AI 公司的研究科学家 Robin Rombach，作为开发 Stable Diffusion 模型的关键人物，近日宣布离开公司。这一消息在技术团队经历了一年变革之后引起了业界的广泛关注。Rombach 在公司所扮演的角色及其对模型...

Redis 宣布，自 7.4 版本起，所有未来版本的 Redis 将采用源代码可用许可模式发布。这意味着 Redis 将不再使用三条款式伯克利软件发行许可，而是转为采用 Redis 源可用许可和服务器端公共许可的双许可模式。新的许可...

GritQL是一个用于搜索和修改源代码的声明式查询语言，它利用Rust语言和查询优化技术，能够扩展至超过1000万行代码的庞大代码库。GritQL内置模块系统包含超过200种标准模式，支持对多种目标语言进行重写，包括JavaScr...

近日，GitHub上出现了一个新的项目LlamaGym，该项目专注于通过在线强化学习方法对大型语言模型（LLM）代理进行微调。大型语言模型在近年来取得了显著的进展，但如何进一步提升其性能，尤其是在特定任务上的表现，成...

Quiet-Star是一个推理框架，旨在增强语言模型生成正确输出的能力。该框架的代码已经公开，同时发布了一个每个令牌8步的模型。Quiet-Star通过优化模型的推理过程，提高了生成文本的准确性和相关性，对于自然语言处理...

本文由前OpenAI科学家撰写，深入探讨了SORA技术及其生成视频的潜在成本。SORA是一种先进的视频生成技术，通过复杂的算法和大量的数据处理，能够创建出高质量的视频内容。文章详细介绍了SORA的工作原理，包括其如何处...