软件行业是一个学徒制行业，学习的唯一途径是通过实践。行业发展迅速，开发者必须持续学习。培养一名合格的软件工程师需要数年的时间。资深的软件工程师不仅仅是编写代码，他们还需要能够理解、维护、解释和管理在生...

Racket 语言是一种通用的编程语言，它可以用于教育、研究和工业开发。它的设计目标是提供一种简单、统一的编程模型，以及一组强大的工具和库，可以轻松地构建大型软件系统。Racket 语言具有强大的元编程能力，可以用...

微软开发的TypeSpec是一种新型API定义语言，它借鉴了TypeScript的语法，提供了一种比JSON或YAML更简洁、易读的方式来编写OpenAPI。TypeSpec通过允许将API模式定义为可复用组件，解决了OpenAPI的冗长和缺乏可复用组件...

EvoEval是一套全新的基准测试工具，专为评估大型语言模型（LLMs）的编码能力而设计。该测试套件采用了比以往更加严格的测试标准，以确保对LLMs编程能力的全面检测。EvoEval的发布意味着开发者和研究人员现在可以更准...

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

Rust编程语言近年来越来越流行，而现在Cranelift代码生成器也加入了这个生态系统。Cranelift是一个基于LLVM的代码生成器，它的目的是为多种语言提供通用的代码生成器。Rust作为一种系统级编程语言，需要高效的代码生...

谷歌推出了一系列新的AI语言模型Gemma，这些模型是基于类似Gemini的技术构建的免费开源模型。Gemma模型可在桌面或笔记本电脑上本地运行，有两个模型，一个有20亿个参数，另一个有70亿个参数。每个模型都有经过预训练...

Magic正在构建一款AI软件工程师，并获得更多资金来支持这一过程。该公司最近获得1.17亿美元的资金，以帮助开发人员自动生成代码。Magic的平台使用AI技术，可以自动完成大量编码工作，从而节省时间和减少人为错误。该...