近日，Zig的新C编译器Aro在GitHub上发布。Aro是基于Zig语言的全新C编译器，旨在提供更好的错误处理和代码生成。与LLVM不同，Aro使用现代的代码生成技术，可以在编译时检测出更多的错误，并提供更好的诊断信息。此外...

OpenAI的ChatGPT在代码生成方面的表现有所不同，成功率根据任务难度和编程语言的不同，范围在1%以下到89%之间。这表明ChatGPT在某些方面可能具有较高的编程能力，但在其他方面可能稍显不足。这主要取决于所使用的编...

研究人员已经开发出一种新的流程，以改进Web2Code指令调谐。这个过程涉及到创建新的网页图像-代码配对，优化现有的网页代码生成数据，创建新的文本问题-回答配对，以及优化现有的网页理解数据。这个新进程的开发，不...

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

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亿个参数。每个模型都有经过预训练...