Articoli più recenti per Sviluppo Software

Questo strumento migliora la conversione del codice in Rust, concentrandosi sulla sicurezza e sulla leggibilità.

Questo articolo parla dei progressi di PyLaia nel riconoscimento del testo usando modelli linguistici.

Uno sguardo alle minacce alla sicurezza poste dai Code LLMs ottimizzati per le istruzioni.

Ethraid aiuta i ricercatori a studiare compagni stellari distanti usando dati limitati.

SUGAR semplifica l'algebra geometrica per ingegneri e matematici usando Matlab.

Nuovi componenti migliorano l'efficienza della memoria e la velocità di elaborazione nella generazione 3D.

Impara a capire quando i programmi che usano la casualità smetteranno di funzionare.

Uno sguardo su come confrontiamo e analizziamo i comportamenti dei sistemi usando diverse tecniche.

Questo articolo esplora il bias nei modelli di generazione di codice in diverse lingue.

Valutare l'affidabilità dei riassunti prodotti dall'IA per migliorare la manutenzione del software.

Una panoramica delle allucinazioni di codice nei LLM e il loro impatto sullo sviluppo software.

Nuove metriche mirano a migliorare la sicurezza e la correttezza del codice con gli LLM.

Berrify rinforza la sicurezza di BPF contro le vulnerabilità Spectre senza compromettere le prestazioni.

WorkBench testa la capacità degli agenti di svolgere compiti d'ufficio realistici con un metodo di valutazione unico.

Uno studio sull'uso di Bazel per build CI più veloci.

Scopri come le stack trace possono migliorare gli sforzi per risolvere i bug nello sviluppo software.

Esplora i vantaggi della nuova unità di calcolo MI300A di AMD per applicazioni ad alte prestazioni.

Un nuovo modo per migliorare il rilevamento dei clone di codice tra i progetti software.

Un nuovo modello punta a colmare i gap legali e ingegneristici nella compliance del software.

Introdurre bug artificiali può aumentare il coinvolgimento nei programmi di bug bounty.

L'IA sta cambiando il modo in cui scriviamo e dimostriamo la correttezza del codice.

Uno sguardo al lemma di compattezza e al suo ruolo nelle funzioni di programmazione ricorsive.

Esplorando come i Modelli di Linguaggio Grandi stanno trasformando la risoluzione dei bug del software.

Core QUIC offre una soluzione flessibile per i protocolli Internet in evoluzione come QUIC.

Un nuovo metodo migliora le ricerche nei grafi concentrandosi sulle parti rilevanti.

CityJSONSeq semplifica la gestione di grandi dataset urbani in modo efficiente.

Esplorando le sfide e i ruoli futuri nella programmazione automatica con gli LLM.

Un nuovo metodo automatizzato semplifica l'integrazione dei kernel di deep learning nei modelli.

Esplorando nuovi metodi per verificare le query SQL usando teorie di tabelle e relazioni.

SCRABLE offre soluzioni automatiche per una gestione efficace delle recensioni delle app.

Una guida chiara sull'architettura software e il suo impatto sulle scelte di design.

Lo studio valuta l'efficienza energetica del codice di Code Llama rispetto alle soluzioni scritte da umani.

Esplora il concetto di rappresentare funzioni attraverso processi in informatica.

HELIX crea dataset sintetici per un'analisi migliore della somiglianza dei programmi.

L'agente SWE migliora le prestazioni degli agenti LM nelle attività di ingegneria del software con un'interfaccia specializzata.

Questo articolo esplora gli indici appresi che migliorano la velocità di ricerca del database utilizzando il machine learning.

Esaminando come le emozioni, la comunicazione e il lavoro di squadra influenzano la creazione di software.

Il software MICROSIM semplifica le simulazioni di scienze dei materiali per ricercatori e ingegneri.

Esaminando come Kotlin e Java lavorano insieme e le sfide che affrontano gli sviluppatori.

Questo articolo esplora metodi moderni per rilevare malware usando deep learning e tecnologie innovative.