Code Intelligence Engine for Codebases | Dweve Reed

Reedin atomien varaan rakennettu tiedonhallinta.

Varmennettu suoritusympäristö BLAKE3-ketjun eheydellä.

Todisteet ja sertifikaatit, jotka liittyvät Reedin juuriin.

Oikein pyöristetty matematiikka jäsennyskerroksen alla.

Tutustu siihen, mitä Reedin rakenteellinen lukeminen tallentaa, ennen kuin valitset käyttöönoton tavan.

Taulukkopohjainen, ei takaisinpalautusta.

tavalliset tokenit DFA:n kautta, loput skannereiden kautta

BLAKE3 sitoo jäsentämisen syötteeseen, kielioppiin ja konfiguraatioon.

Jaettu pakattu metsä. Kaikki kelvolliset jäsennökset säilytetään.

Laskeutuu SLR:stä GLR:ään GLL:ään, nopeimmasta yleisimpään.

UTF-8-lekseri. Triviaali säilytetään. Virheiden palautus.

Auditointi tarkoittaa uudelleenrakentamista. Kallista ja haurasta.

Jäsennyspuu elää RAM-muistissa ja kuolee prosessin mukana.

Vain muokatut alipuut käydään uudelleen läpi.

Sidottu syötteeseen, kielioppiin ja asetuksiin.

Kun kysymys tulee, säilytetty kuitti vastaa siihen ilman uudelleenrakennusta.

Asentuu omille palvelimillesi, ja sitten todisteet alkavat yksinkertaisesti kertyä.

A ja julkinen repo tekevät lyhyen ja selkeän katselmoinnin.

Kaikkein arkaluontoisimmissa töissä Reed toimii ilman verkkoyhteyttä.

Sidottu valitsemaasi jäsenvaltioon. Mikään ei ylitä rajaa, jota et ole hyväksynyt.

Rakennuksesi sisällä, palomuurisi takana. Työ ei koskaan poistu huoneesta.

Silloin ei säilytetty mitään, joten ei ole mitään mihin viitata.

Hauras prosessi, joka päättyy silti tulokseen, johon kukaan ei täysin luota.

Lähteen vahvistaminen tarkoittaa koko koodikannan uudelleenrakentamista.

Vastaus on lupaus, ei jotain, jonka kuka tahansa voi varmistaa.

Kun Reed julkaisee kuudennella kierroksella, lähdekoodin täysi omistus tarkoittaa, että toimittajan vaihtuminen ei koskaan jätä työkaluasi vaille tukea.

Todistekuitti vastaa auditoijalle ilman uudelleenrakennusta.

Toimii tavallisella suorittimella. Ei tarvitse hankkia tai odottaa GPU-klusteria.

Toimii olemassa olevassa työketjussa ilman ulkoista palvelua tai käyttäjäkohtaista mittaria. Budjetti on integraatio ja käyttö, ei toistuva pääsymaksu.

Lähdekoodi on sinun hallussasi. Jos toimittajasuhde päättyy, työkalusi eivät pääty.

Säilön historia ja rakennusohjeet pysyvät teknisesti tarkasteltavissa.

Tarkasta jäsennin, toista rakennus ja säilytä jokainen sen tuottama sertifikaatti.

Ei. Reed toimii tuotteen sisällä eikä ole riippuvainen ulkoisesta Reed-tilistä.

Ei. Se lukee siellä, missä olet, eikä lähetä tietoja mihinkään.

Ei. Se tulee sisäänrakennettuna ja toimii itsenäisesti.

Ei. Se on ilmainen ja pysyy ilmaisena, eikä myöhemmin ole mitään ostettavaa.

Sovellus ei ole riippuvainen Reed-tilistä tai etäpalvelusta lukeakseen tiedostojasi.

Vaihda yksi sana, niin pieni kuitti lakkaa täsmäämästä.

Kysy sama asia kahdesti, niin vastaus ei muutu.

Sanasi palaavat sellaisina kuin ne jätit, vuosienkin jälkeen.

Sovellukset aukeavat niin kuin jätit ne.

Vanhat tiedostot palaavat sellaisina kuin jätit ne.

Kaukana oleva tietokone lukee saman tiedoston ja saa saman leiman.

Jos yksikin sana muuttuu myöhemmin, leima ei enää täsmää.

Pieni leima osoittaa, että se luki juuri sen tiedoston eikä mitään muuta.

Reed avaa asiakirjasi ja ymmärtää, mitä sen sisällä on.

Reedin käyttöönotto ei ole tekninen projekti. Se seuraa jo käytössä olevaa hyväksyntäpolkua hankinnan, IT:n ja vaatimustenmukaisuuden kautta, eikä kenenkään tarvitse kirjoittaa koodia. Tämä on reitti ensimmäisestä hyväksynnästä siihen päivään, kun Reed vastaa tilintarkastajalle.

Viimeinen kysymys on, missä data sijaitsee. Reedillä ei ole omaa palvelinta, eikä se ota yhteyttä mihinkään työskennellessään. Se toimii omilla koneillasi, valitsemassasi EU:n datakeskuksessa tai täysin offline-tilassa. Tietosi pysyvät EU:n sääntöjen alaisina eivätkä koskaan ylitä rajaa, jota et ole hyväksynyt.

Koko syy Reedin olemassaoloon on kysymys, jonka tilintarkastaja ennemmin tai myöhemmin kysyy: onko tämä rakennettu hyväksytystä lähdekoodista, ja voitko todistaa sen. Tänään rehellinen vastaus on "luota meihin". Reed muuttaa sen todisteeksi, jonka kuka tahansa voi tarkistaa. Tässä on sama kysymys vastattuna vanhalla tavalla ja Reedin tavalla.

Kaksi kysymystä ratkaisee, kannattaako työkalu ottaa käyttöön: mitkä toistuvat kustannukset se poistaa ja mitkä riskit se vähentää? Reed vastaa molempiin. Vasen puoli näyttää säästöt; oikea puoli näyttää vähennetyt riskit. Ei koodia tai ammattislangia, vain perustelu, jonka voit viedä hyväksyntäkokoukseen.

Aloita kysymyksestä, jonka hankinta kysyy ensimmäisenä: mitä järjestelmään tulee ja kuka sitä hallitsee. Reed toimii omassa työkaluketjussasi, säilyttää kuitit tulosten mukana eikä tuo palveluriippuvuutta.

On reilua olla varovainen uuden asian kanssa tietokoneella. Tässä ovat rehelliset kysymykset, joita järkevä ihminen kysyy, ja selkeät vastaukset, joihin voit luottaa. Avaa mikä tahansa lukeaksesi lisää.

Useimmiten et edes huomaa, että Reed on olemassa. Mutta se tekee pieniä, hyödyllisiä asioita taustalla, sellaisia asioita, jotka säästävät sinut päänsäryltä myöhemmin. Tässä on muutama arkinen huoli, joista se huolehtii huomaamattomasti.

Voit kohdata Reedin päivittäin huomaamatta sitä. Se toimii tavallisissa tuotteissa, kuten kirjoitustyökalussa, verkkolomakkeessa tai avustajassa, joka vastaa kysymyksiin, ja suorittaa hiljaa yhden rajatun tehtävän. Tässä on muutama tällainen hetki.

Tässä on osa, jolla on hiljaa merkitystä. Reed lukee täsmälleen saman tiedoston täsmälleen samalla tavalla, olipa se omalla tietokoneellasi kotona tai tietokoneella toisessa maassa. Vastaus ei muutu vain siksi, että kone vaihtui. Ei yllätyksiä, ei erilaista tulosta eri päivänä.

Ajattele Reediä huolellisena lukijana, joka toimii tietokoneen puolesta. Kun sovelluksen täytyy avata asiakirja, lomake tai omat asetuksensa, Reed on osa, joka lukee sen oikein ja ymmärtää, mitä sen sisällä on. Et koskaan koske siihen. Se vain varmistaa, että asiasi avautuvat niin kuin pitää.

SLR ohjaa nopeaa taulukkopohjaista polkua, GLL pysyy yleisenä polynomisessa pahimmassa tapauksessa, ja inkrementaalinen uudelleenjäsennys koskettaa vain muokattua alipuuta. SIMD-rakenteellinen skannaus toimii gigatavuissa sekunnissa jo omistamallasi suorittimella.

Reed toimitetaan Rust-kirjastona, CLI-binäärinä, Language Serverina ja vakaana C-rajapintana. Sama jäsennin, samat tiivisteet, sama RQL, missä työkalusi sijaitsevatkin.

Reed Query Language kuvaa puurakenteita tiiviillä merkinnällä. Kääntäjä alentaa RQL:n 20-opkoodin tavukoodiksi, ja peruuttava VM suorittaa sen jäsennetyn puun yli. Etsi tuonteja, laske kutsuja, paikanna regex merkkijonoliteraalin sisällä.

Jotkin tokenit, joita regex ei voi ilmaista: sisennykset, heredocit, sisäkkäiset kommentit, raakamerkkijonot. Reed sisältää kahdeksan sisäänrakennettua ulkoista skanneria ja antaa sinun rekisteröidä omasi yhdellä kielioppidirektiivillä.

Reed ei ole yksi jäsennin. Se kääntää yhden RGS-kieliopin neljäksi moottoriksi, SLR, LALR, GLR ja GLL, ja parse_auto laskeutuu nopeimmasta yleisimpään. Sitten jokainen solmu tiivistetään ja puu sinetöidään BLAKE3-sertifikaattiin, joka on sidottu syötteeseen, kielioppiin ja asetuksiin.

Useimmat jäsentimet tuottavat AST:n ja unohtavat lähdekoodin. Rakennuksen toistaminen tarkoittaa koko koodikannan uudelleenjäsentämistä. Tilintarkastajat, jotka kysyvät "onko tämä rakennettu hyväksytystä lähdekoodista?", eivät saa vastausta, vain luottamusketjun.

Kolme komentoa: rakenna CLI työtilasta, jäsennä repositoriosi, lue sertifikaatin juuri. Lähdepuusi BLAKE3-juuri on terminaalissasi sekunneissa.

Reed muuttaa jokaisen jäsennetyn koodikannan tai asetusjoukon vakaaksi, tarkistettavaksi tietueeksi. Tiimit säilyttävät lähdekoodin, jäsenninsopimuksen ja BLAKE3-juuren, joten tilintarkastuskysymyksistä tulee todistehakuja kalliiden uudelleenrakennusten sijaan.

Reed toimii käyttämiesi sovellusten sisällä. Se avaa asiakirjoja ja lomakkeita, ymmärtää niiden rakenteen ja säilyttää kuitin, jotta sama tiedosto luetaan samalla tavalla joka kerta. Sinun ei tarvitse koskaan määrittää sitä.

Reed jäsentää lähdekoodin vakaaksi puuksi ja sinetöi tuloksen BLAKE3-sertifikaatin juurella. Tiimit voivat käsitellä rakennetta tietona ja varmistaa myöhemmin, että puu vastaa edelleen samaa lähdettä ja jäsentimen sopimusta.

rakenteellista tekstiä samalla tavalla joka kerta

Reed on paikallinen koodinlukumoottori Dweve Fabricin sisällä. Se tunnistaa osat ja suhteet rakenteellisessa tekstissä ja pitää jokaisen osan sidottuna tarkkaan paikkaansa, joten työtila voi vastata tarkasti ja tuottaa saman rakenteen uudelleen, kun mikään ei ole muuttunut. Reed on julkaistu Apache-2.0-lisenssillä.

Työtilan säännöt, asetukset ja muu jäsennelty teksti sisältävät järjestyksen, joka ohjelmiston on ymmärrettävä. Reed tunnistaa nimetyt osat ja niiden suhteet ja pitää jokaisen yhteydessä tarkkaan alkuperäiseen kohtaan.

Fabric vastaanottaa jäsennellyn tuloksen, joka on sidottu alkuperäiseen tekstiin

Reed noudattaa samaa määriteltyä lukutapaa aina, kun Fabric käsittelee muuttumatonta jäsenneltyä tekstiä muuttumattomissa olosuhteissa. Tulos ei vaihtele ajosta toiseen, ja muutos tekstiin tai sen olosuhteisiin tuottaa erilaisen tuloksen.