Code Intelligence Engine for Codebases | Dweve Reed

Algoritmide rühmitamine andmetüübi järgi

Reedi parsimise alusel üles ehitatud teadmiste haldus.

Kinnitatud käituskeskkond BLAKE3 ahela terviklikkusega.

Tõendid ja sertifikaadid, mis seostuvad Reedi juurtega.

Õigesti ümardatud matemaatika parsimiskihi all.

Avasta, mida Reedi struktuurne lugemine salvestab, enne kui valid kasutuselevõtu tee.

sertifikaadi räsifunktsioon, RGB1-paketid

tavapärased märgid DFA kaudu, ülejäänud skannerite kaudu

BLAKE3 seob parsimise sisendi, grammatika ja konfiguratsiooniga.

Jagatud pakitud mets. Kõik kehtivad parsid säilitatakse.

Kaskaadib SLR-st GLR-i ja GLL-i, kiireimast kõige üldisemani.

UTF-8 lexer. Trivia säilitatakse. Vigade taastamine.

Audit tähendab uuesti ehitamist. Kallis ja habras.

Parsipuu elab RAM-is ja sureb protsessiga.

Uuesti vaadatakse ainult muudetud alampuusid.

Seotud sisendi, grammatika ja konfiguratsiooniga.

Kood, konfiguratsioon, dokumendid ja DSL-id.

Tuum, grammatikad, päringud, tööriistad.

Kui küsimus tuleb, vastab alleshoitud tõend sellele ilma uuesti ehitamata.

Paigaldub sinu enda serveritesse ja tõend hakkab lihtsalt kogunema.

A ja avalik hoidla teevad lühikese ja selge ülevaate.

Kõige tundlikuma töö puhul töötab Reed ilma võrguta.

Kinnitatud sinu valitud liikmesriiki. Miski ei ületa piiri, mida sa pole heaks kiitnud.

Sinu hoones, sinu tulemüüri taga. Töö ei lahku ruumist.

Sel ajal ei hoitud midagi alles, seega pole midagi näidata.

Habras protsess, mis lõpeb ikkagi tulemusega, mida keegi täielikult ei usalda.

Lähtekoodi kinnitamine tähendab kogu koodibaasi uuesti ehitamist.

Vastus on lubadus, mitte midagi, mida keegi saaks kontrollida.

Kui Reed avaldab kuuendas voorus, tähendab lähtekoodi omamine seda, et tarnija vahetus ei jäta teie tööriistu hätta.

Tõendikviitung vastab audiitorile ilma taasehituseta.

Töötab tavalisel protsessoril. Pole vaja GPU-klastrit hankida ega oodata.

Töötab olemasolevas tööriistaahelas ilma välise teenuse või kasutajapõhise arvestita. Eelarve on integratsioon ja käitamine, mitte korduv juurdepääs.

Lähtekood on teie käes. Kui tarnijasuhe lõpeb, ei lõpe teie tööriistad.

Hoidla ajalugu ja ehitamisjuhised jäävad tehnilistele hindajatele nähtavaks.

Kontrollige parserit, korrake ehitust ja säilitage kõik sertifikaadid, mida see väljastab.

Ei. Reed töötab toote sees ega sõltu välisest Reed-kontost.

Ei. See loeb seal, kus te olete, ega saada midagi välja.

Ei. See on sisse ehitatud ja töötab iseseisvalt.

Ei. See on tasuta ja jääb tasuta, ilma et peaksite hiljem midagi ostma.

Rakendus ei sõltu Reed-kontost ega kaugteenusest, et teie faile lugeda.

Muutke ühte sõna ja väike kviitung ei klapi enam.

Küsi sama asja kaks korda ja vastus ei muutu.

Sinu sõnad tulevad tagasi täpselt nii, nagu need aastaid tagasi jätsid.

Rakendused avanevad nii, nagu sa need jätsid.

Miski, mida sa kirjutasid, ei lähe kaotsi.

Vanad failid tulevad tagasi nii, nagu sa need jätsid.

Kaugel asuv arvuti loeb sama faili ja saab sama templi.

Kui hiljem muutub üks sõna, ei klapi tempel enam.

Väike tempel näitab, et see luges täpselt seda faili ja mitte midagi muud.

Reed avab sinu dokumendi ja mõistab, mis seal sees on.

Reedi kasutuselevõtt ei ole inseneriprojekt. See järgib sama ülevaatusrada, mida sa juba kasutad hankes, IT-s ja vastavuses, ning keegi ei pea koodi kirjutama. See on tee esimesest heakskiidust päevani, mil Reed vastab audiitorile.

Viimane küsimus on, kus andmed asuvad. Reedil ei ole oma koduserverit ja see ei võta töötamise ajal ühendust millegagi. See töötab sinu enda masinates, sinu valitud EL-i andmekeskuses või täiesti võrguühenduseta. Sinu andmed jäävad Euroopa reeglite alla ega ületa kunagi piiri, mida sa pole heaks kiitnud.

Kogu Reed'i olemasolu põhjus on üks küsimus, mille audiitor lõpuks esitab: kas see on ehitatud heakskiidetud lähtekoodist ja kas sa suudad seda tõestada. Täna on aus vastus "usaldage meid". Reed muudab selle tõendiks, mida igaüks saab kontrollida. Siin on sama küsimus, vastatud vanal moel ja Reed'i moel.

Kaks küsimust otsustavad, kas tööriista tasub kasutusele võtta: milliseid korduvaid kulusid see eemaldab ja milliseid riske see vähendab? Reed vastab mõlemale. Vasak pool näitab kokkuhoidu; parem pool näitab vähendatud riske. Ei mingit koodi ega žargooni, lihtsalt juhtum, mille saad heakskiitmise koosolekule viia.

Alusta küsimusega, mida hange kõigepealt küsib: mis siseneb ettevõtte süsteemi ja kes seda kontrollib. Reed töötab sinu enda tööriistaahelas, hoiab tulemuste juures kviitungeid ega too kaasa teenusesõltuvust.

On õiglane olla ettevaatlik kõige uue suhtes arvutis. Siin on ausad küsimused, mida mõistlik inimene küsib, koos lihtsate vastustega, mida sa saad usaldada. Ava ükskõik milline, et rohkem lugeda.

Enamasti ei saa sa kunagi teada, et Reed on olemas. Kuid see teeb allpool väikseid kasulikke asju, selliseid, mis säästavad sind hilisemast peavalust. Siin on mõned igapäevased mured, mille eest see vaikselt hoolitseb.

Sa võid Reed'iga iga päev kohtuda ilma seda märkamata. See asub tavalistes toodetes, nagu kirjutustööriist, veebivorm või abiline, mis vastab küsimustele, ja teeb vaikselt ühte piiritletud ülesannet. Need on mõned neist hetkedest.

Siin on osa, mis vaikselt loeb. Reed loeb täpselt sama faili täpselt samamoodi, olenemata sellest, kas see töötab sinu arvutis kodus või arvutis teises riigis. Vastus ei muutu lihtsalt sellepärast, et masin muutus. Ei mingeid üllatusi, ei erinevat tulemust erineval päeval.

Mõtle Reed'ile kui hoolikale lugejale, mis töötab arvuti heaks. Kui rakendus peab avama dokumendi, vormi või oma seaded, on Reed see osa, mis loeb seda korralikult ja mõistab, mis sees on. Sa ei puuduta seda kunagi. See lihtsalt teeb kindlaks, et sinu asjad avanevad nii, nagu peavad.

SLR juhib kiiret tabelipõhist rada, GLL jääb üldiseks polünomiaalse halvima juhtumi ajaga ja inkrementaalne uuesti parsimine puudutab ainult redigeeritud alamosa. SIMD struktuurne skaneerimine töötab gigabaitides sekundis sinu juba olemasoleval protsessoril.

Reed tarnitakse Rust'i teegina, CLI binaarina, keeleserverina ja stabiilse C ABI-na. Sama parser, samad räsid, sama RQL, kus iganes sinu tööriistad asuvad.

Reed Query Language kirjeldab puumustreid lühikeses märkestikus. Kompilaator alandab RQL-i 20-opkoodi baitkoodiks ja tagasiulatuva jälgimisega VM käivitab selle parsilud puul. Leia impordid, loenda kutseid, leia regex stringiliteraali sees.

Mõned tokenid, mida regex ei suuda väljendada: taanded, heredocid, pesastatud kommentaarid, toored stringid. Reed sisaldab kaheksat sisseehitatud välist skannerit ja laseb sul registreerida oma ühe grammatikadirektiiviga.

Reed ei ole üks parser. See kompileerib ühe RGS-grammatika neljaks mootoriks, SLR, LALR, GLR ja GLL, ning parse_auto kaskaadib kiireimast kõige üldisemani. Seejärel räsitakse iga sõlm ja puu pitseeritakse BLAKE3-sertifikaadiks, mis on seotud sisendi, grammatika ja konfiguratsiooniga.

Enamik parsereid toodab AST-i ja unustab lähtekoodi. Ehituse reprodutseerimine tähendab kogu koodibaasi uuesti parsimist. Audiitorid, kes küsivad "kas see on ehitatud heakskiidetud lähtekoodist?", ei saa vastust, ainult usaldusahela.

Kolm käsku: ehita CLI tööruumist, parsi oma repo, loe sertifikaadi juur. Sinu lähtepuu BLAKE3-juur on sekunditega terminalis.

Reed muudab iga parsitud koodibaasi või konfiguratsioonikomplekti stabiilseks, kontrollitavaks kirjeks. Meeskonnad säilitavad lähtekoodi, parseri lepingu ja BLAKE3-juure, nii et auditiküsimustest saavad tõendite otsingud, mitte kallid uuesti ehitamised.

Reed töötab rakenduste sees, mida sa kasutad. See avab dokumente ja vorme, mõistab nende struktuuri ja hoiab kviitungit, et sama faili loetaks iga kord samamoodi. Sa ei pea seda kunagi seadistama.

Reed parseldab lähtekoodi stabiilseks puuks ja pitseerib tulemuse BLAKE3-sertifikaadi juurväärtusega. Meeskonnad saavad struktuuri päringuna andmetena küsida ja hiljem kontrollida, et puu vastab endiselt samale lähtekoodile ja parseri lepingule.

struktureeritud teksti iga kord ühtemoodi

Reed on kohalik koodilugemismootor Dweve Fabricu sees. See tunneb ära struktureeritud teksti osad ja seosed ning hoiab iga osa seotuna selle täpse asukohaga, nii et tööruum saab täpselt reageerida ja toota sama struktuuri uuesti, kui miski pole muutunud. Reed on avaldatud Apache-2.0 litsentsi all.

Tööruumi reeglitel, seadetel ja muul struktureeritud tekstil on järjestus, millest tarkvara peab aru saama. Reed tuvastab nimetatud osad ja nende seosed ning hoiab iga osa ühendatud täpse kohaga, kust see pärineb.

Fabric saab algse tekstiga seotud struktureeritud tulemuse

Reed järgib sama määratletud lugemist, kui Fabric töötleb muutumatut struktureeritud teksti muutumatutes tingimustes. Tulemus ei triivi käivituste vahel ning teksti või tingimuste muutus annab erineva tulemuse.

Korratav lugemine hoiab tööruumi ühtlasena

Kui avad tööruumi reeglid, muudad seadet või tood sisse struktureeritud teksti, haldab Fabric nähtavat kogemust. Reed hoiab nimetatud osad, seosed ja täpsed asukohad all selgena, et Fabric saaks reageerida õigele osale.

Reed tuvastab täpse koha, kus struktureeritud tekst lakkab sobimast vormiga, mida Fabric ootab. See võimaldab Fabricil anda fokuseeritud sõnumi mõjutatud osa kohta, hoides muud osad eraldi ja nähtavana.