À propos du service
TraduitJe vais développer des systèmes haute performance sur Terra et Lua, ainsi que des générateurs de code pour votre tâche. Terra est un compagnon de bas niveau à typage statique pour Lua : Lua est utilisé pour la métaprogrammation, et Terra génère du code machine natif via LLVM. En conséquence, vous obtenez une vitesse de niveau C et la flexibilité d'un langage de script. Cette combinaison est inestimable lorsque vous devez générer du code spécialisé à l'exécution, fusionner des boucles chaudes ou intégrer un langage de domaine sans surcharge d'interpréteur.
Ce que je fais :
— Noyaux JIT pour les calculs numériques : opérations matricielles, traitement du signal, boucles de simulation, spécialisées pour la forme des données, le type et le processeur cible.
— Générateurs de code : métaprogrammes Lua qui produisent des fonctions Terra optimisées à partir de vos schémas, modèles et configurations.
— DSL intégrés : syntaxe propre de haut niveau compilée directement en Terra natif avec mise en scène et évaluation partielle.
— Interopérabilité et liaisons : connexion de Terra aux bibliothèques C/C++, accès via Lua ou ABI C pur, intégration avec Node ou service Socket IO.
— Optimisation : SIMD, déroulement de boucles, agencement de la mémoire et travail de cache, plus des benchmarks confirmant l'accélération.
Vous obtenez un code propre, documenté et testé, des scripts de construction reproductibles, des rapports de benchmark et un aperçu bref afin que votre équipe puisse développer les générateurs elle-même. La correction d'abord, puis la vitesse — chaque noyau est accompagné de tests. Décrivez votre tâche, le matériel cible et les contraintes, et je proposerai une solution rapide et maintenable.
Ce que je fais :
— Noyaux JIT pour les calculs numériques : opérations matricielles, traitement du signal, boucles de simulation, spécialisées pour la forme des données, le type et le processeur cible.
— Générateurs de code : métaprogrammes Lua qui produisent des fonctions Terra optimisées à partir de vos schémas, modèles et configurations.
— DSL intégrés : syntaxe propre de haut niveau compilée directement en Terra natif avec mise en scène et évaluation partielle.
— Interopérabilité et liaisons : connexion de Terra aux bibliothèques C/C++, accès via Lua ou ABI C pur, intégration avec Node ou service Socket IO.
— Optimisation : SIMD, déroulement de boucles, agencement de la mémoire et travail de cache, plus des benchmarks confirmant l'accélération.
Vous obtenez un code propre, documenté et testé, des scripts de construction reproductibles, des rapports de benchmark et un aperçu bref afin que votre équipe puisse développer les générateurs elle-même. La correction d'abord, puis la vitesse — chaque noyau est accompagné de tests. Décrivez votre tâche, le matériel cible et les contraintes, et je proposerai une solution rapide et maintenable.
