Artigos mais recentes para Programação

Modelos de linguagem grandes melhoram o teste diferencial no desenvolvimento de software.

Estudo explora análise estática pra melhorar a conclusão de código em nível de repositório.

Esse estudo avalia como LLMs podem melhorar o teste de mutação no desenvolvimento de software.

Um novo sistema de tipos melhora a análise de erros de arredondamento em cálculos numéricos.

Analisando as limitações de grandes modelos de linguagem em entender relações de código.

O TreeInstruct ajuda os alunos a depurar com métodos de questionamento eficazes.

Aprenda como a programação probabilística ajuda a analisar a incerteza nos dados.

Um estudo sobre como automatizar a geração de títulos pra melhorar as respostas dos desenvolvedores.

Um novo sistema de revisão de código ajuda os alunos a receber um feedback melhor em programação.

Melhorando o desempenho da programação lógica analisando o compartilhamento de variáveis e a linearidade.

Celebrando boas práticas de programação com perfumes de código para quem tá aprendendo Java.

Ferramentas de IA estão mudando a educação em programação, impactando o aprendizado e a confiança dos alunos.

LASSI ajuda a traduzir programas de computador para uma computação científica mais eficiente.

Métodos simplificados superam agentes complexos na resolução de problemas de software.

Um novo benchmark aborda os desafios na recuperação de código para desenvolvedores.

Explorando como os videogames podem ensinar habilidades essenciais de programação de forma eficaz e divertida.

Qrisp simplifica a programação quântica com ferramentas fáceis de usar e abstrações de alto nível.

Um estudo sobre LLMs dando feedback para a educação em programação.

Um olhar sobre os métodos de análise de WebAssembly para execução segura.

Explorando programação coreográfica com efeitos algébricos pra melhorar o desenvolvimento de aplicações distribuídas.

Novos métodos melhoram a eficiência na geração de código e a acessibilidade para programadores.

Um jogo de estratégia onde os jogadores programam trabalhadores pra chegar no trabalho deles no meio de obstáculos.

Explorando o uso de estudos de caso pra enriquecer o aprendizado de linguagens de programação.

Um estudo sobre como ensinar cibersegurança em cursos de programação de computador.

Um novo método combina LLMs com técnicas tradicionais de desmontagem para uma análise eficaz.

Explorando vulnerabilidades presentes em código gerado por modelos de linguagem.

A IA generativa tá mudando a forma como a gente ensina programação pros alunos.

A lógica é uma base firme pra aprender de boa em ciências e engenharia.

Explorando a complexidade de estado na teoria dos autômatos e suas implicações para o processamento de linguagem.

Um método que traduz linguagem simples em programas executáveis para pessoas que não são programadoras.

Uma estrutura pra avaliar as habilidades dos LLMs em tarefas relacionadas a dados com interpretadores de código.

Haskelite ajuda a galera nova a entender Haskell através de rastros de avaliação bem claros.

Esse framework melhora a eficiência da ciência de dados ao converter código Python em SQL.

O Graphitron facilita o processamento de gráficos baseado em FPGA com uma linguagem de programação fácil de usar.

Uma olhada nas ferramentas de IA e como elas se alinham com as práticas de engenharia de software.

O MuTT simplifica a programação de robôs prevendo com precisão os movimentos e otimizando as tarefas.

Um novo método melhora a localização de bugs através de fragmentação dinâmica e aprendizado de exemplos difíceis.

CSLS foca na estrutura do código pra detectar vulnerabilidades melhor.

Um novo método prevê bugs em software analisando dados passados.

Um programa pra ensinar verificação de modelos pra desenvolver software confiável.