Quinelings: Hoskinson presenta programmi riproducibili per agenti IA

Charles Hoskinson ha presentato Quinelings il 19 ottobre, descrivendoli come forme di vita digitali autoriplicanti fatte interamente di codice. Il progetto combina task eseguibili con creature matematiche le cui strutture gli utenti possono esplorare. Rilasciato sotto la licenza Apache-2.0, arriva insieme alla visione Nightframes di Hoskinson per agenti IA privati e sempre attivi.

Come i Quinelings rendono visibili le operazioni di un programma

Un Quineling contiene un task definito, le istruzioni che lo eseguono e una descrizione matematica del suo corpo. Le operazioni individuali corrispondono a parti della creatura, creando un indice visivo del programma.

Selezionare un'operazione ne rivela le connessioni e, dopo l'esecuzione, gli input e output registrati. Gli utenti possono seguire come i dati forniti si muovono attraverso un calcolo e contribuiscono al risultato.

Il nome si richiama a una quine, un programma che emette il proprio codice sorgente. I Quinelings riproducono il sorgente completo che contiene sia il loro task sia il design visivo. Quel sorgente può essere caricato in un nuovo ambiente di esecuzione, eseguito di nuovo e confrontato con l'originale.

Il progetto chiama questi oggetti Living Thoughts. Il termine si riferisce a task esplicitamente dichiarati ed eseguibili. La loro struttura visibile permette agli utenti di ispezionare le istruzioni e il registro di esecuzione, invece di cercare di svelare il ragionamento privato di un modello linguistico.

Aspetto e identità sono separati. Due programmi possono sembrare simili, mentre le loro identità esatte dipendono dal loro sorgente. Codifiche matematiche e RGB dedicate forniscono ulteriori modi per recuperare quel sorgente.

Pianificazione dei percorsi, librerie di task e discendenti dei programmi

La homepage dimostra un pianificatore di percorsi che risponde alla chiusura di un ponte. Gli utenti possono confrontare il percorso risultante, ispezionare le operazioni rilevanti e riprodurre una copia eseguibile separatamente.

La dimostrazione collega un cambiamento visibile nelle circostanze a un calcolo tracciabile. Scorrere l'animazione o selezionare una parte del corpo non esegue di nuovo il task.

Altri esempi disponibili includono l'aggregazione di misurazioni dell'acqua, la pianificazione di job con dipendenze, la valutazione di offerte e la riconciliazione di esiti parzialmente confermati. Ognuno definisce gli input che accetta e il calcolo che esegue.

Il Ranch sperimentale aggiunge la composizione: due programmi possono contribuire con la propria logica a un nuovo “discendente” secondo regole specificate. Un esempio documentato collega un calcolo della media dell'acqua a un task di budgeting delle risorse. Il programma risultante calcola quanto può essere allocato e cosa rimane, con la logica combinata preservata nel suo sorgente.

Gli sviluppatori possono lavorare con queste capacità tramite un SDK TypeScript. Gli adattatori MCP e A2A forniscono interfacce per collegare i sistemi di IA con gli strumenti del progetto e scambiare richieste degli agenti. Le operazioni supportate includono compilare, ispezionare, verificare, eseguire e riprodurre task.

Il repository include anche dimostrazioni in Lean, modelli Quint e test di implementazione. La documentazione distingue le proprietà verificate dal lavoro che rimane non dimostrato.

Dove si inseriscono i Quinelings nella visione Nightframes

A Midnight City Tokyo il 10 ottobre, Hoskinson ha presentato Nightframes come una visione per programmi privati che restano attivi e lavorano verso gli obiettivi dei loro proprietari. Il resoconto di Input Output ha sottolineato il controllo degli utenti su dati personali, identità e denaro, con Midnight City che fornisce un ambiente per esplorare le interazioni tra agenti.

I Quinelings affrontano una questione più circoscritta in quella direzione: come incapsulare un task computazionale affinché le sue istruzioni, la struttura e i risultati possano essere esaminati e riprodotti. Il loro ruolo potenziale come componenti di sistemi di agenti più ampi resta concettuale.

L'attuale prototipo gira in locale, senza una connessione a Midnight City o la capacità di riprodurre un agente City in esecuzione dal vivo. Le sue azioni simulate non possono spostare fondi né svolgere lavoro esterno, e non fornisce accesso automatico alle protezioni di privacy di rete di midnight. Operazione persistente ed esecuzione privata richiedono infrastrutture separate.

Per gli sviluppatori negli ecosistemi Cardano e midnight, il punto di partenza disponibile è un task riproducibile con un registro di esecuzione ispezionabile. Nell'esempio della chiusura del ponte, un altro sviluppatore può prendere il sorgente emesso, fornire la stessa mappa e gli stessi dati di chiusura e verificare se una nuova copia produce lo stesso percorso. Il calcolo può viaggiare insieme al codice necessario per esaminarlo.