Code Intelligence Engine for Codebases | Dweve Reed

Žinių valdymas, pagrįstas Reed išanalizuotais atomais.

Patvirtintas vykdymo laikas su BLAKE3 grandinės vientisumu.

Įrodymai ir sertifikatai, susieti su Reed šaknimis.

Teisingai suapvalinta matematika po analizės sluoksniu.

Ištirkite, ką Reed struktūrinis skaitymas užfiksuoja, prieš pasirinkdami diegimo kelią.

keturi analizatoriai, SPPF, Merkle medis

įprasti žetonai per DFA, likusieji per skaitytuvus

BLAKE3 susieja analizę su įvestimi, gramatika, konfigūracija.

Bendras supakuotas miškas. Išlaikomi visi galiojantys analizės rezultatai.

Kaskados SLR į GLR į GLL, nuo greičiausio iki bendriausio.

UTF-8 lekseris. Išsaugoma trivia. Klaidų atkūrimas.

Pakeiskite komentarą. Visas medis pasikeičia.

Auditas reiškia perkūrimą. Brangu ir trapu.

"Jis atėjo iš repozitorijos, pasitikėk manimi."

Analizės medis gyvena RAM ir miršta su procesu.

Susietas su įvestimi, gramatika, konfigūracija.

Kodas, konfigūracija, dokumentai ir DSL.

Branduolys, gramatikos, užklausos, įrankiai.

Kai ateina klausimas, išsaugotas kvitas atsako į jį be perkompiliavimo.

Įdiegiama jūsų serveriuose, ir įrodymai tiesiog pradeda kauptis.

A ir viešas saugykla užtikrina trumpą, aiškią peržiūrą.

Jautriausiems darbams Reed veikia visai be tinklo.

Priskirta jūsų pasirinktai valstybei narei. Niekas nekerta sienos, kurios nepatvirtinote.

Jūsų pastate, už jūsų ugniasienės. Darbas niekada nepalieka patalpos.

Tuo metu nieko nebuvo išsaugota, todėl nėra į ką atkreipti dėmesį.

Trapus procesas, kuris vis tiek baigiasi rezultatu, kuriuo niekas visiškai nepasitiki.

Šaltinio patvirtinimas reiškia viso kodo bazės perkompiliavimą.

Atsakymas yra pažadas, o ne kažkas, ką galima patikrinti.

Kai Reed paskelbia šeštąjį leidimą, turint šaltinį tiesiogiai, tiekėjo pasikeitimas niekada nepaliks jūsų įrankių be paramos.

Įrodymo kvitas atsako auditoriui be perkūrimo.

Veikia įprastame CPU. Nereikia GPU parko, kurį reikėtų įsigyti ar laukti.

Veikia esamoje įrankių grandinėje be išorinės paslaugos ar mokesčio už vietą. Biudžetas yra integracijai ir veikimui, ne pasikartojančiai prieigai.

Šaltinis yra jūsų. Jei tiekėjo santykiai baigiasi, jūsų įrankiai ne.

Saugyklos istorija ir kūrimo instrukcijos lieka matomos techniniams peržiūrėtojams.

Patikrinkite analizatorių, atkurkite kūrimą ir išsaugokite kiekvieną jo išduotą sertifikatą.

Ne. Reed veikia produkto viduje ir nepriklauso nuo išorinės Reed paskyros.

Ne. Jis skaito ten, kur esate, ir nieko nesiunčia į išorę.

Ne. Jis įdiegtas ir veikia savarankiškai.

Ne. Jis nemokamas ir lieka nemokamas, be nieko, ką reikėtų pirkti vėliau.

Programa nepriklauso nuo Reed paskyros ar nuotolinės paslaugos, kad toliau skaitytų jūsų failus.

Pakeiskite vieną žodį ir mažasis kvitas nustos atitikti.

Paklausk to paties du kartus, ir atsakymas nepasikeis.

Tavo žodžiai grįžta tokie, kokius juos palikai, po daugelio metų.

Programos atsidaro taip, kaip jas palikai.

Senas failas grįžta toks, kokį jį palikai.

Kompiuteris toli skaito tą patį failą ir gauna tą patį žymę.

Jei vėliau pasikeičia nors vienas žodis, žymė nebeatitinka.

Maža žymė rodo, kad perskaitytas būtent tas failas ir niekas kitas.

Reed atidaro tavo dokumentą ir supranta, kas jame yra.

„Reed“ diegimas nėra inžinerinė programa. Jis eina peržiūros keliu, kurį jau naudojate per pirkimų, IT ir atitikties skyrius, ir niekam nereikia rašyti kodo. Tai kelias nuo pirmojo patvirtinimo iki dienos, kai „Reed“ atsako auditoriui.

Paskutinis klausimas yra, kur saugomi duomenys. „Reed“ neturi savo namų serverio ir dirbdamas nieko nepasiekia. Jis veikia jūsų pačių įrenginiuose, jūsų pasirinktame ES duomenų centre arba visiškai neprisijungęs. Jūsų duomenys lieka pagal Europos taisykles ir niekada nekerta sienos, kurios nepatvirtinote.

Visa „Reed“ egzistavimo priežastis yra vienas klausimas, kurį anksčiau ar vėliau užduos auditorius: ar tai buvo sukurta iš patvirtinto šaltinio, ir ar galite tai įrodyti. Šiandien sąžiningas atsakymas yra „pasitikėkite mumis“. „Reed“ tai paverčia įrodymu, kurį kiekvienas gali patikrinti. Štai tas pats klausimas, atsakytas senuoju būdu ir „Reed“ būdu.

Two questions decide whether a tool is worth adopting: which recurring costs does it remove, and which exposures does it reduce? Reed answers both. The left side shows the savings; the right shows the risks reduced. No code or jargon, just a case you can take to an approval meeting.

Pradėkite nuo klausimo, kurį pirkimų skyrius užduoda pirmiausia: kas patenka į sistemą ir kas ją kontroliuoja. „Reed“ veikia jūsų pačių įrankių grandinėje, saugo įrašus su rezultatais ir nesukuria jokios paslaugos priklausomybės.

Tikslinga būti atsargiems su bet kuo nauju kompiuteryje. Štai sąžiningi klausimai, kuriuos užduoda protingas žmogus, su paprastais atsakymais, kuriais galite pasitikėti. Atidarykite bet kurį, kad sužinotumėte daugiau.

Daugeliu atvejų niekada nesužinosite, kad „Reed“ yra. Tačiau jis tyliai atlieka mažus, naudingus dalykus, tokius, kurie vėliau išgelbėja nuo galvos skausmo. Štai keletas kasdienių rūpesčių, kuriais jis tyliai pasirūpina.

Galite susidurti su „Reed“ kiekvieną dieną to nepastebėdami. Jis veikia įprastuose produktuose, tokiuose kaip rašymo įrankis, svetainės forma ar asistentas, atsakantis į klausimus, ir tyliai atlieka vieną apibrėžtą užduotį. Štai keletas tokių akimirkų.

Štai dalis, kuri tyliai svarbi. „Reed“ skaito tą patį failą lygiai taip pat, nesvarbu, ar jis veikia jūsų kompiuteryje namuose, ar kompiuteryje kitoje šalyje. Atsakymas nesikeičia tik todėl, kad pasikeitė įrenginys. Jokių staigmenų, jokio skirtingo rezultato kitą dieną.

Įsivaizduokite „Reed“ kaip atidų skaitytoją, kuris dirba kompiuteriui. Kai programai reikia atidaryti dokumentą, formą ar jos pačios nustatymus, „Reed“ yra dalis, kuri teisingai jį perskaito ir supranta, kas viduje. Jūs niekada jo neliečiate. Jis tiesiog užtikrina, kad jūsų dalykai atsidarytų taip, kaip turėtų.

SLR užtikrina greitą lentelėmis pagrįstą kelią, GLL išlieka bendras daugianario blogiausio atvejo laiku, o inkrementinis peranalizavimas paliečia tik redaguotą pomedį. SIMD struktūrinis skenavimas veikia gigabaitais per sekundę jūsų turimame procesoriuje.

„Reed“ platinamas kaip „Rust“ biblioteka, CLI dvejetainis failas, kalbos serveris ir stabilus C ABI. Tas pats analizatorius, tos pačios maišos, tas pats RQL, kad ir kur būtų jūsų įrankiai.

„Reed“ užklausų kalba aprašo medžio šablonus glausta notacija. Kompiliatorius sumažina RQL iki 20 opkodų baitkodo, o atsitraukimo VM jį vykdo per išanalizuotą medį. Raskite importus, suskaičiuokite iškvietimus, suraskite reguliariąją išraišką eilutės literalėje.

Kai kurių žetonų reguliarioji išraiška negali išreikšti: įtraukų, heredoc, įdėtų komentarų, neapdorotų eilučių. „Reed“ turi aštuonis įtaisytuosius išorinius skaitytuvus ir leidžia užregistruoti savo su viena gramatikos direktyva.

„Reed“ nėra vienas analizatorius. Jis sukompiliuoja vieną RGS gramatiką į keturis variklius: SLR, LALR, GLR ir GLL, o parse_auto kaskaduoja nuo greičiausio iki bendriausio. Tada kiekvienas mazgas yra maišomas, o medis užantspauduojamas į BLAKE3 sertifikatą, susietą su įvestimi, gramatika ir konfigūracija.

Dauguma analizatorių sukuria AST ir pamiršta šaltinį. Atkurti versiją reiškia iš naujo analizuoti visą kodų bazę. Auditoriai, klausiantys „ar tai buvo sukurta iš patvirtinto šaltinio?“, neturi atsakymo, tik pasitikėjimo grandinę.

Trys komandos: sukurkite CLI iš darbo srities, išanalizuokite saugyklą, perskaitykite sertifikato šaknį. BLAKE3 šaknis jūsų šaltinio medžio terminale atsiras per kelias sekundes.

„Reed“ paverčia kiekvieną išanalizuotą kodų bazę ar konfigūracijų rinkinį stabiliu, patikrinamu įrašu. Komandos išlaiko šaltinį, analizatoriaus sutartį ir BLAKE3 šaknį, todėl audito klausimai tampa įrodymų paieška, o ne brangiu perstatymu.

„Reed“ veikia jūsų naudojamose programose. Jis atidaro dokumentus ir formas, supranta jų struktūrą ir saugo kvitą, kad tas pats failas būtų skaitomas taip pat kiekvieną kartą. Jums niekada nereikia jo nustatyti.

Reed išanalizuoja šaltinį į stabilų medį ir užantspauduoja rezultatą BLAKE3 sertifikato šaknimi. Komandos gali užklausti struktūrą kaip duomenis ir vėliau patikrinti, ar medis vis dar atitinka tą patį šaltinį ir analizatoriaus susitarimą.

Reed yra vietinis kodo skaitymo variklis Dweve Fabric. Jis atpažįsta dalis ir ryšius struktūruotame tekste ir laiko kiekvieną dalį susietą su jos tiksli vieta, todėl darbo sritis gali tiksliai reaguoti ir sukurti tą pačią struktūrą, kai niekas nepasikeitė. Reed yra publikuotas pagal Apache-2.0.

Tas pats rezultatas, kai niekas nesikeičia

Reed parodo, kaip dalys dera tarpusavyje

Darbo srities taisyklės, nustatymai ir kitas struktūruotas tekstas turi tvarką, kurią programinė įranga turi suprasti. Reed atpažįsta įvardytas dalis ir jų ryšius bei kiekvieną iš jų susieja su tikslia vieta, iš kurios ji atsirado.

Fabric gauna struktūruotą rezultatą, susietą su originaliu tekstu

Tas pats tekstas išlaiko tą pačią struktūrą

Reed laikosi to paties apibrėžto skaitymo, kai Fabric apdoroja nepakeistą struktūruotą tekstą nepakitusiomis sąlygomis. Rezultatas nesikeičia tarp paleidimų, o teksto ar jo sąlygų pakeitimas duoda kitokį rezultatą.