Adesso

Su cosa lavoro

• Far ripetere le prove a una persona esterna. Lo zip di verifica è pronto. Prima di darlo a qualcuno lo provo io da una cartella estratta, come lo farebbe un estraneo.
• Un confronto su un modello vero fra due macchine. Eseguire --hash su Qwen3-0.6B Q4_K_M su due computer e vedere se le tre impronte coincidono. Per ora ho solo le prove con i modelli di prova.
• La lettura del prompt in VELA-G. Oggi è al 65-85% di llama.cpp (il 27 ottobre era al 23-45%). Il tempo ormai è quasi tutto nel prodotto matrice-vettore: il prossimo passo è un kernel Q4_K e Q6_K ancora più efficiente, sempre con risultati identici bit per bit.

Cose che non ho ancora fatto

• Provare ARM e macOS: la versione portatile compila, ma non l'ho mai eseguita lì.
• Allargare le prove di determinismo a più modelli e a modelli veri.
• Altre famiglie di modelli in VELA-G.
• Una cache dei calcoli che resti fra una conversazione e l'altra.
• Un test di velocità del PC al momento dell'installazione di NEXUS.
• BUD: dati e tokenizzatore, poi BUD-M0 e BUD-μ (vedi Dove voglio arrivare).
• Decidere con quale licenza distribuire il pacchetto di verifica.

Cosa può aiutare

Mi serve soprattutto chi esegua le prove su un computer diverso dal mio, in particolare ARM, macOS o un processore AMD, e mi dica che cosa stampa. Se il risultato è uguale, lo scrivo qui. Se è diverso, è l'informazione più utile che io possa ricevere.

Come si esegue è spiegato in Prove e risultati.