近日，GitHub上开源了Whitesmiths C编译器的代码库，这一编译器是C语言发展史上最早的商业编译器之一，具有重要的历史意义。Whitesmiths C编译器诞生于20世纪70年代末，由Whitesmiths公司开发，是早期C语言生态系统...

ExtensityAI团队在GitHub开源了SymbolicAI项目，这是一个基于神经符号系统（Neuro-Symbolic）架构设计的组合式可微分编程库，旨在为大语言模型（LLMs）提供结构化推理能力。该项目通过将符号逻辑与神经网络梯度优化...

OCaml科学基金会近日推出Learn OCaml公开学习平台，该平台通过交互式编程练习帮助开发者掌握这一函数式编程语言的核心概念。平台采用独特的渐进式学习路径设计，用户可直接在浏览器中编写和测试OCaml代码，无需配置...

OpenAI近期在其API中新增了两项重要功能：深度研究（Deep Research）和Webhooks。深度研究功能基于经过后期训练的o3和o4-mini模型，这些模型同样为ChatGPT的深度研究提供支持，并支持MCP（多任务控制协议）和代码解...

FLUX.1 Kontext [dev]作为一款拥有120亿参数的开源模型，突破性地在消费级硬件上实现了媲美商业闭源软件的图像编辑性能。该模型采用FLUX.1非商业许可协议开放权重，为学术研究和非商业应用提供免费访问权限。技术亮...

谷歌近日发布了具有重大意义的新开源权重模型Gemma 3n，该模型采用多模态设计，专为设备端优化。Gemma 3n能够接受文本、图像和音频作为输入，展现了强大的跨模态处理能力。为推广该模型，谷歌与AMD、Axolotl、Docker...

埃隆·马斯克旗下人工智能公司xAI宣布，其对话式AI产品Grok即将集成高级代码编辑器功能。这一突破性更新允许用户直接在Grok环境中编写、运行和调试代码，并通过自然语言交互实现代码修改与错误排查。技术截图显示，该...

一篇题为《Writing a basic Linux device driver when you know nothing about Linux drivers or USB》的技术文章近期引发开发者社区广泛关注。该教程以零基础视角切入，详细解析了Linux设备驱动的核心架构和USB协议...