Artigos mais recentes para Programação

Esse artigo analisa os principais fatores que afetam a legibilidade do código de teste pra uma melhor manutenção de software.

Um novo método melhora a geração de código aproveitando o contexto específico do projeto e o feedback do compilador.

Um sistema de handles melhora a gestão de memória e reduz a fragmentação em linguagens não gerenciadas.

O TGMM facilita a detecção de código semelhante em várias linguagens de programação.

Novos benchmarks revelam os pontos fortes e fracos dos modelos de linguagem de programação.

Uma ferramenta pra analisar problemas de memória em código C.

O CoderUJB avalia o desempenho de LLM em tarefas de programação Java do mundo real.

Um estudo sobre como os LLMs lidam com variações em pedidos matemáticos.

Estudo explora como diferentes níveis de dicas ajudam programadores iniciantes a aprender.

Um novo modelo melhora a análise de código WebAssembly através da compreensão de dados mistos.

O Effector ajuda a explicar os efeitos regionais em modelos de aprendizado de máquina pra ter insights melhores.

Explorando como os tutores de IA melhoram a experiência de aprendizado de programação para os alunos.

Um novo método automatiza a análise de saídas de programas probabilísticos.

Um novo método pra acelerar a correção de modelos Stateflow e reduzir custos.

Uma análise de como os desenvolvedores implementam soluções arquitetônicas em projetos de código aberto.

O GATlab facilita a modelagem matemática para pesquisadores e engenheiros.

Um novo método usa LLMs pra automatizar a correção de bugs e a adição de recursos.

Um novo método ajuda os iniciantes a entenderem melhor o código em tutoriais de machine learning.

Esse sistema melhora o controle e o acompanhamento de dados na programação.

Um novo método usa LLMs pra melhorar a eficiência da correção de programas.

AniFrame torna a programação de arte acessível para iniciantes com uma abordagem fácil de usar.

Um novo conjunto de dados pra melhorar a geração de código usando visuais.

Este estudo avalia como os LLMs respondem a perguntas sobre código de programação.

Usando IA pra simplificar a criação de código PowerShell pra cibersegurança.

Uma nova abordagem para limites de erro usando créditos de erro para programas complexos.

A competição CHC mostrou os avanços nos solucionadores e suas aplicações na verificação de programas.

Este artigo analisa falhas em quatro jogos clássicos do Super Mario e sua importância.

Analisando o comportamento e a finalização de laços de restrição linear na programação.

Uma olhada no TopKAT e seu papel na análise de programas de computador.

Aptly permite que qualquer um crie aplicativos mobile usando uma linguagem simples, quebrando barreiras no desenvolvimento de apps.

Aprenda a determinar quando programas que usam aleatoriedade vão parar de rodar.

Analisando como exemplos humanos impactam o aprendizado de máquina para tarefas de programação.

Aprenda como o dialeto Transform do MLIR melhora a eficiência de computação e a clareza do código.

A IA tá mudando a forma como a gente escreve e prova a correção do código.

Uma abordagem completa pra analisar programas, independente da linguagem de programação.

Aprenda como a monitorização preditiva ajuda a encontrar bugs cedo no desenvolvimento de software.

Explorando a conexão entre lógica de separação e segurança criptográfica através da independência.

O GeckoGraph simplifica a compreensão de tipos polimórficos através de representação visual.

Uma nova maneira de criar problemas de programação que sejam fáceis pra iniciantes, mas que ainda sejam desafiadores.

Este artigo analisa técnicas para diferenciar entre código gerado por humanos e código gerado por IA.