Quinelings: Hoskinson predstavlja reproducibilne programe za AI agente

Charles Hoskinson predstavio je Quinelings 19. listopada, opisujući ih kao samoreplicirajuće digitalne životne oblike sastavljene isključivo od koda. Projekt spaja izvršive zadatke s matematičkim stvorenjima čije strukture korisnici mogu istraživati. Objavljen pod licencom Apache-2.0, stiže uz Hoskinsonovu viziju Nightframes za privatne, stalno aktivne AI agente.

How Quinelings Make Program Operations Visible

Quineling sadrži definirani zadatak, upute koje ga izvršavaju i matematički opis njegova tijela. Pojedine operacije odgovaraju dijelovima stvorenja, stvarajući vizualni indeks programa.

Odabir operacije otkriva njezine veze i, nakon izvršavanja, zabilježene ulaze i izlaze. Korisnici mogu pratiti kako se zadani podaci kreću kroz izračun i doprinose rezultatu.

Naziv se oslanja na quine, program koji ispisuje vlastiti izvorni kod. Quinelings reproduciraju cjelokupni izvor koji sadrži i njihov zadatak i vizualni dizajn. Taj se izvor može učitati u novo izvršno okruženje, ponovno pokrenuti i usporediti s izvornikom.

Projekt ove objekte naziva Living Thoughts. Pojam se odnosi na eksplicitno deklarirane, izvršive zadatke. Njihova vidljiva struktura omogućuje korisnicima pregledati upute i zapis izvođenja, umjesto otkrivanja privatnog zaključivanja jezičnog modela.

Izgled i identitet su odvojeni. Dva programa mogu izgledati slično, dok njihov točan identitet ovisi o njihovu izvoru. Namjenska matematička i RGB kodiranja pružaju dodatne načine za povrat tog izvora.

Route Planning, Task Libraries, and Program Offspring

Početna stranica demonstrira planiranje rute kao odgovor na zatvaranje mosta. Korisnici mogu usporediti dobivenu rutu, pregledati relevantne operacije i reproducirati zasebno pokretnu kopiju.

Demonstracija povezuje vidljivu promjenu okolnosti s pratljivim izračunom. Kretanje kroz animaciju ili odabir dijela tijela ne izvršava zadatak ponovno.

Drugi dostupni primjeri uključuju zbrajanje mjerenja vode, zakazivanje poslova s ovisnostima, vrednovanje ponuda i usklađivanje djelomično potvrđenih ishoda. Svaki definira ulaze koje prihvaća i izračun koji obavlja.

Eksperimentalni Ranch dodaje kompoziciju, dva programa mogu pridonijeti logikom novom “potomku” prema zadanim pravilima. Jedan dokumentirani primjer povezuje izračun prosječne količine vode sa zadatkom planiranja resursa. Rezultirajući program izračunava koliko se može dodijeliti i što preostaje, pri čemu je objedinjena logika sačuvana u njegovu izvoru.

Razvojni inženjeri mogu raditi s tim mogućnostima putem TypeScript SDK. MCP i A2A adapteri pružaju sučelja za povezivanje AI sustava s alatima projekta i razmjenu zahtjeva agenata. Podržane operacije uključuju kompiliranje, pregledavanje, verifikaciju, pokretanje i reprodukciju zadataka.

Repozitorij također uključuje Lean dokaze, Quint modele i testove implementacije. Dokumentacija razlikuje verificirana svojstva od rada koji ostaje nedokazan.

Where Quinelings Fit in the Nightframes Vision

Na događaju Midnight City Tokyo 10. listopada, Hoskinson je predstavio Nightframes kao viziju privatnih programa koji ostaju aktivni i rade prema ciljevima svojih vlasnika. Objava Input Outputa naglasila je korisničku kontrolu nad osobnim podacima, identitetom i novcem, pri čemu Midnight City pruža okruženje za istraživanje interakcija agenata.

Quinelings se bavi užim pitanjem unutar tog smjera: kako zapakirati računalni zadatak tako da se njegove upute, struktura i rezultati mogu pregledati i reproducirati. Njihova potencijalna uloga kao sastavnih dijelova većih sustava agenata zasad je konceptualna.

Trenutni prototip radi lokalno, bez povezivanja s Midnight City ili mogućnosti reproduciranja aktivnog City agenta. Njegove simulirane radnje ne mogu premještati sredstva niti obavljati vanjske poslove, a ne pruža ni automatski pristup mrežnim zaštitama privatnosti midnighta. Trajni rad i privatno izvođenje zahtijevaju zasebnu infrastrukturu.

Za razvojne inženjere u ekosustavima Cardano i midnight, dostupna početna točka je reproducibilan zadatak s pregledivim zapisom izvođenja. U primjeru zatvaranja mosta, drugi razvojni inženjer može uzeti emitirani izvor, dostaviti istu kartu i podatke o zatvaranju te provjeriti proizvodi li nova kopija istu rutu. Izračun može putovati zajedno s kodom potrebnim za njegovo ispitivanje.