Zero

Mis on Zero?

Zero on Verceli eksperimentaalne programmeerimiskeel, mis on loodud spetsiaalselt maailma jaoks, kus AI-agendid kirjutavad koodi. Selle asemel, et redigeerida lähteteksti, päringuvad ja parandavad agendid semantilist programmigraafikut, samal ajal kui kompilaator kontrollib iga muudatust. Inimesed lihtsalt küsivad tulemusi ja vaatavad vajadusel üle loetavad koodiprojektsioonid. Keel on nullist üles ehitatud agentipõhiseks kodeerimiseks, rõhuga märkide tõhususel, kiiretel ehitustel, väikesel mälukasutusel ja nullil sõltuvustel.

Kellele see on mõeldud

• AI-agentide arendajatele — kes ehitavad tööriistu ja töövooge, mis vajavad kompilaatoripõhist, graafipõhist programmiesitust teksti parandamise asemel.
• Insenerimeeskondadele, kes uurivad agentipõhist kodeerimist — kes soovivad keelt, kus kompilaator valideerib iga muudatuse enne, kui see programmipoodi jõuab.
• Eksperimentaalse infrastruktuuri varastele kasutuselevõtjatele — kes on valmis murrangulisteks muudatusteks ja soovivad Zero't kasutada ainult turvalistes keskkondades, mitte tootmissüsteemide vastu.

Peamised omadused

Graaf-kui-programm arhitektuur

Programm on semantiline graaf, mitte lähtetekst. Sümbolid, kutsed, tüübid, efektid, sõlme ID-d ja graafihäšid moodustavad programmiandmebaasi, mida agendid päringuvad ja parandavad. Loetavad .0 projektsioonid jäävad inimeste ülevaatamiseks ja harvadeks käsitsi muudatusteks.

Kontrollitud parandused vaikimisi

Graafiparandused sihivad semantilisi sõlmi ja välju, mida kaitsevad graafihäšid ja oodatud väärtused. Aegunud või kehtetud muudatused ebaõnnestuvad enne, kui need poodi jõuavad, nii et kompilaator tabab automaatselt kuju, tüübi ja aegunud oleku probleemid.

Tihedam agentitsükkel

Traditsiooniline tsükkel kirjutab teksti ja käivitab seejärel tööriistu, et teada saada, mida muudatus tähendas. Zero paneb kompilaatori tsüklisse, nii et muudatus on kontrollitud muudatus graafis — vähendades agentide jaoks oletamist ja iteratsioonitsükleid.

Sisseehitatud käitusaja piirangud

Zero eesmärk on jääda väikeseks, kiireks, selgeks ja sõltuvusteta. Disain seab esikohale märkide tõhususe, väikese mälukasutuse, kiire käivituse, kiired ehitused ja madala latentsuse — ilma käitusaja eesmärke leevendamata.

Mis paistab silma

Zero pöörab paradigma ümber: graaf on programm ja kompilaator on agendi turvavõrk.

See on põhimõtteline nihe tekstipõhiselt kodeerimiselt graafipõhisele programmeerimisele. Selle asemel, et agendid genereeriksid koodi, mida tuleb parsida ja mõista, annab Zero neile struktureeritud, päringuva programmiandmebaasi koos sisseehitatud valideerimisega. Kompilaator kontrollib iga parandust graafihäšide ja oodatud väärtuste vastu, muutes aegunud või kehtetud muudatused võimatuks enne nende maandumist. Agentipõhiseid kodeerimisvooge ehitavatele meeskondadele tähendab see vähem vaikseid tõrkeid ja usaldusväärsemaid autonoomseid muudatusi.

Tasub uurida, kui…

Ehitate AI-agentide kodeerimistööriistu ja soovite keelt, mis on loodud masinapõhiseks redigeerimiseks, või olete uudishimulik, kuidas kompilaatori omanduses olevad programmigraafikud saavad asendada tekstipõhist lähtekoodihaldust. Zero't tasub uurida ka siis, kui hindate käitusaja tõhusust — märkide ökonoomiat, kiireid ehitusi ja nullil sõltuvusi — ning olete valmis eksperimentaalseks, murranguliste muudatustega varajaseks väljalaskeks. Alustage alustamisjuhendist, seejärel süvenege graafiarhitektuuri ja kompileerimistee lehtedesse, et mõista, miks programmiandmebaas on oluline.