Um novo teste pra avaliar LLMs em tarefas de programação em Java.
― 8 min ler
Informática - Linguagens de programação
RSSUm novo método melhora modelos de linguagem de código através de casos de teste eficazes e aprendizado de preferências.
― 8 min ler
O MARVeLus faz a verificação e implementação de pontes pra deixar sistemas ciberfísicos mais seguros.
― 8 min ler
Uma nova ferramenta melhora a gestão de software em tempo real para respostas imediatas.
― 6 min ler
DafnyBench avalia ferramentas de verificação de software, abrindo caminho para uma programação confiável.
― 6 min ler
Um olhar sobre como os LLMs encaram desafios de programação por meio de exemplos.
― 6 min ler
Uma abordagem bilíngue melhora a correção enquanto mantém a velocidade na programação.
― 7 min ler
Um novo sistema de tipos melhora a análise de erros de arredondamento em cálculos numéricos.
― 8 min ler
Explore como a ordem do modelo melhora os layouts dos diagramas e capta a intenção do usuário.
― 8 min ler
Este artigo explora métodos para calcular a energia do estado fundamental usando programação quântica.
― 8 min ler
A APPL facilita o desenvolvimento com grandes modelos de linguagem usando uma sintaxe intuitiva, parecida com Python.
― 2 min ler
Novos métodos melhoram a eficiência da descomputação em programas quânticos complexos.
― 7 min ler
Aprenda como a programação probabilística ajuda a analisar a incerteza nos dados.
― 6 min ler
Uma nova abordagem modular melhora a inferência variacional em linguagens de programação probabilística.
― 6 min ler
INDICT melhora a segurança e a utilidade do código usando análise de crítica dupla.
― 7 min ler
Melhorando o desempenho da programação lógica analisando o compartilhamento de variáveis e a linearidade.
― 7 min ler
Um olhar sobre álgebras uniformes e seu papel no Prolog e na programação lógica.
― 6 min ler
Um guia sobre programação com tipos, exemplos e realizabilidade.
― 8 min ler
Novos modelos melhoram a eficiência do código de software e o desempenho do compilador.
― 6 min ler
Um novo framework melhora a confiabilidade em sistemas de comunicação assíncronos por meio da gestão do tempo.
― 4 min ler
Uma nova abordagem otimiza o desempenho do kernel utilizando Ansor e Droplet Search.
― 8 min ler
Uma ferramenta pra verificar protocolos de comunicação em apps de Clojure.
― 7 min ler
Uma estrutura para verificação formal de algoritmos obliviosos para proteger dados sensíveis.
― 6 min ler
LASSI ajuda a traduzir programas de computador para uma computação científica mais eficiente.
― 6 min ler
Uma olhada nos tipos equi-recursivos e iso-recursivos na programação.
― 6 min ler
Um guia sobre o papel do Yul nos contratos inteligentes do Ethereum.
― 7 min ler
Uma nova ferramenta melhora a mesclagem do Git analisando dependências de código.
― 6 min ler
Este artigo apresenta uma estrutura para geração automática de testbenches usando LLMs.
― 5 min ler
Qrisp simplifica a programação quântica com ferramentas fáceis de usar e abstrações de alto nível.
― 8 min ler
Um novo framework garante que as otimizações do compilador mantenham a correção do programa.
― 8 min ler
Uma olhada no código inacessível e seu impacto na eficiência da programação.
― 7 min ler
Novos métodos buscam melhorar as habilidades de raciocínio dos modelos de linguagem.
― 6 min ler
Explorando programação coreográfica com efeitos algébricos pra melhorar o desenvolvimento de aplicações distribuídas.
― 6 min ler
Aprenda como os universos de tipo afetam a alocação de memória em linguagens de programação.
― 7 min ler
Uma olhada em frameworks modulares no desenvolvimento de ferramentas de análise binária.
― 7 min ler
Um novo design de linguagem tem como objetivo melhorar o raciocínio e a clareza no desenvolvimento de software.
― 9 min ler
Uma nova abordagem pra melhorar a segurança em protocolos de finanças descentralizadas.
― 6 min ler
Explore como verificadores de término ajudam programas a completar suas tarefas sem laços infinitos.
― 5 min ler
Uma abordagem formal pra garantir confiabilidade em sistemas de fluxo de dados com estado, tipo Apache Flink.
― 8 min ler
Explorando o uso de estudos de caso pra enriquecer o aprendizado de linguagens de programação.
― 9 min ler