Sono arrivati a forma finale due documenti tecnici che riassumono lavoro fatto su due piani diversi dello stesso sistema. Da oggi sono disponibili in PDF.
Paper 1 — Notes from building a local AI inference system. Articolo di engineering narrativo che documenta cinque iterazioni di hardware per inferenza locale: dal primo test fallito (180 secondi, 90°C, shutdown su quattro K80 in tower standard) alla quinta revisione validata su dodici ore continue di inferenza a piena utilizzazione. Otto GPU attive sotto carico reale, range termico stabilizzato fra 35 e 52°C, zero drift sull'intera finestra. Profilo acustico compatibile con la conversazione a un metro. Disegno CAD, parti in alluminio sagomate, componenti stampati 3D, percorsi cavi vincolati al flusso d'aria. Le sezioni Engineering context affiancano la narrazione empirica con la spiegazione fisica del perché i fenomeni osservati sono coerenti con la termodinamica nota.
Paper 2 — Deterministic Artifact Verification Pipelines for AI-Generated Software Systems. Paper formale che modella la pipeline di verifica come funzione deterministica sul prodotto cartesiano artefatti × configurazioni. Cinque stadi ordinati (struttura, diff/policy, test, runtime, esposizione esterna), algoritmo VERIFY_ARTIFACT con early-exit gate, semantica HARD/SOFT/THRESHOLD, threat model, attestation crittografica. Implementazione concreta validata operativamente su oltre cento release iterate dello stesso sistema, con 2.446 funzioni di test distribuite su nove blocchi.
Perché insieme. Coprono i due estremi dello stack che il metodo presuppone: il fisico in basso, il logico in alto. Stesso principio in entrambi — l'output va validato empiricamente, non assunto. Le evidenze (termiche da una parte, di verifica dall'altra) sono parte del processo, non sottoprodotto. Nessuno dei due nasce come marketing: sono documentazione operativa costruita durante il lavoro reale.
Rapporto con gli articoli esistenti. Parti di questi contenuti vivono già qui sul Lab in forma più breve e in italiano. Per la parte hardware: Il mio primo test di inferenza locale è durato 180 secondi. e Come testo vibrazioni e raffreddamento prima di fidarmi di hardware IA costoso. Per la parte di verifica: Epistemic Software Engineering. I PDF sono la versione consolidata, in inglese, con dati completi e modello formale esteso.
Download.
→ Notes from building a local AI inference system (PDF, ~2.8 MB · 13 pagine)
→ Deterministic Artifact Verification Pipelines for AI-Generated Software Systems (PDF, ~50 KB · 17 pagine · Bilotta, Draft v1.0, marzo 2026)
I documenti sono in inglese, formato originale del lavoro. Le iterazioni future saranno aggiunte man mano.