Informazioni sul servizio
TradottoSvilupperò sistemi ad alte prestazioni su Terra e Lua, oltre a generatori di codice per il tuo compito. Terra è un compagno a basso livello tipizzato staticamente per Lua: Lua è utilizzato per la metaprogrammazione, e Terra genera codice macchina nativo tramite LLVM. Di conseguenza, ottieni velocità a livello C e la flessibilità di un linguaggio di scripting. Questa combinazione è inestimabile quando hai bisogno di generare codice specializzato a runtime, fondere cicli caldi o incorporare un linguaggio di dominio senza sovraccarico dell'interprete.
Cosa faccio:
— Kernel JIT per calcoli numerici: operazioni su matrici, elaborazione di segnali, cicli di simulazione, specializzati per forma dei dati, tipo e processore target.
— Generatori di codice: metaprogrammi Lua che producono funzioni Terra ottimizzate dai tuoi schemi, modelli e configurazioni.
— DSL incorporate: sintassi pulita ad alto livello che si compila direttamente in Terra nativa con staging e valutazione parziale.
— Interoperabilità e binding: collegare Terra a librerie C/C++, accesso tramite Lua o ABI C puro, integrazione con Node o servizio Socket IO.
— Ottimizzazione: SIMD, srotolamento dei cicli, layout della memoria e lavoro sulla cache, oltre a benchmark che confermano il miglioramento della velocità.
Ottieni codice pulito, documentato e testato, script di build riproducibili, report di benchmark e una breve panoramica affinché il tuo team possa sviluppare i generatori da solo. Correttezza prima, poi velocità — ogni kernel viene fornito con test. Descrivi il tuo compito, hardware target e vincoli, e proporrò una soluzione veloce e manutenibile.
Cosa faccio:
— Kernel JIT per calcoli numerici: operazioni su matrici, elaborazione di segnali, cicli di simulazione, specializzati per forma dei dati, tipo e processore target.
— Generatori di codice: metaprogrammi Lua che producono funzioni Terra ottimizzate dai tuoi schemi, modelli e configurazioni.
— DSL incorporate: sintassi pulita ad alto livello che si compila direttamente in Terra nativa con staging e valutazione parziale.
— Interoperabilità e binding: collegare Terra a librerie C/C++, accesso tramite Lua o ABI C puro, integrazione con Node o servizio Socket IO.
— Ottimizzazione: SIMD, srotolamento dei cicli, layout della memoria e lavoro sulla cache, oltre a benchmark che confermano il miglioramento della velocità.
Ottieni codice pulito, documentato e testato, script di build riproducibili, report di benchmark e una breve panoramica affinché il tuo team possa sviluppare i generatori da solo. Correttezza prima, poi velocità — ogni kernel viene fornito con test. Descrivi il tuo compito, hardware target e vincoli, e proporrò una soluzione veloce e manutenibile.