Qligħ:
- Kapaċità ta 'mappa ta' bażi ta 'kodiċi barrani saff b'saff bl-AI u ssegwi karatteristika tarf sa tarf
- Kapaċità li tispjega funzjonijiet kumplessi pass pass u tissorvelja l-fluss tad-dejta
- Kapaċità li tara d-deskrizzjoni AI bħala ipoteżi u tivverifika talbiet kritiċi fil-kodiċi
L-iżviluppaturi jaqraw kodiċi aktar milli jiktbu kodiċi. Meta tibda xogħol ġdid, tieħu f'idejha servizz li tħalla xi ħadd ieħor, jew tikkontribwixxi għal librerija open source, l-ewwel biċċa xogħol tiegħek hija "x'inhu għaddej hawn?" huwa li ssib tweġiba għall-mistoqsija. L-AI tista' tnaqqas dan il-kompitu ta' skoperta għal sigħat aktar milli ġimgħat - iżda biss meta tintuża mal-mistoqsijiet it-tajba u rifless ta' verifika.
F'din l-unità, nitgħallmu nużaw l-AI bħal "gwida tal-kodiċi": immappjar ta 'bażi ta' kodiċi barrani, tittraduċi funzjoni kumplessa f'lingwaġġ sempliċi, insegwu fluss ta 'dejta, u nifhmu kif tuża librerija. Ir-regola tad-deheb hawnhekk hija li l-ispjegazzjoni tal-AI hija ipoteżi; inti tivverifikaha bil-kodiċi innifsu.
Għaliex l-Annotazzjoni tal-Kodiċi Hija Qawwija Imma Riskuża?
LLM huwa tajjeb ħafna biex jaqra biċċa kodiċi u jittraduċiha f'lingwa umana, bħal "din il-funzjoni refreshes a user's session token"; għax tgħallem mudelli minn miljuni ta’ eżempji simili. Dan huwa jiffranka l-ħin enormi, speċjalment b'funzjonijiet twal u nested.
Hawn ir-riskju: il-mudell kultant jgħidlek x'jidher li jagħmel il-kodiċi, mhux dak li fil-fatt jagħmel. Jekk l-isem varjabbli huwa isAdmin iżda l-loġika ta 'ġewwa hija maqluba, il-mudell jista' jħares lejn l-isem u jiġbed is-sommarju ħażin. Għalhekk, qabel ma tagħmel id-dikjarazzjoni l-bażi għad-deċiżjonijiet kritiċi tiegħek, għandek tiċċekkja viżwalment l-imġieba allegata fuq il-linji rilevanti. Id-deskrizzjoni tieħdok fil-post it-tajjeb; Il-kodiċi għandu l-aħħar kelma.
Attenzjoni: Tgħoddx is-sommarju ta' "dan il-kodiċi X" ta' AI bħala evidenza biss f'deċiżjoni li tinvolvi s-sigurtà jew il-fluss tal-flus. Is-sommarju huwa mappa li turi fejn għandek tfittex; Inti tagħti l-konferma fil-kodiċi.
Passi għall-Immappjar ta' Bażi ta' Kodiċi Barrani
- Ibda fl-ogħla livell. L-ewwel, tiffamiljarizza ruħek mal-istruttura tal-folder u l-punti tad-dħul (prinċipali, tnedija tal-applikazzjoni, router tad-dar). Staqsi lill-AI "x'inhuma s-saffi tal-applikazzjoni bbażati fuq din l-istruttura tad-direttorju?" staqsi.
- Track karatteristika tarf sa tarf. "Liema fajls huma attivati u f'liema ordni meta l-utent jidħol?" — li tara fluss wieħed huwa aktar istruttiv mill-qari tal-arkitettura kollha.
- Lokalizza termini. Staqsi lill-AI għal kunċetti speċifiċi għall-proġett ("inkwilin", "reġistru", "job runner") u sib l-ekwivalenti tagħhom fil-kodiċi.
- Inti ssimplifikat il-funzjoni kumplessa. Ikollok funzjoni twila spjegata pass pass, imbagħad immarka dawk il-passi fil-kodiċi.
- Ivverifika. Agħmel bidla żgħira u agħmel testijiet biex tittestja l-fehim tiegħek; It-test jgħidlek minnufih jekk il-fehim tiegħek hux ħażin.
Tliet Każijiet Mini
Każ 1 — Is-servizz li ntiret tnaqqas minn jumejn għal 3 sigħat. Żviluppatur ħa f'idejh servizz ta' rikonċiljazzjoni tal-ħlas b'4,000 linja mingħand kollega li kien sejjer. Kieku l-AI tiġbor fil-qosor il-moduli u ssegwi fluss ta 'ħlas minn tarf sa tarf; Huwa ivverifika personalment żewġ funzjonijiet kritiċi fil-kodiċi. L-iskoperta, li kienet stmata li tieħu jumejn b'"qari blind" klassiku, tlestiet f'madwar 3 sigħat bil-metodu AI vverifikat.
Każ 2 — Nassa tal-isem qarrieqi. Funzjoni waħda kienet imsejħa validateAndSave iżda s-sommarju tal-AI qal "l-ewwel tivvalida, imbagħad issalva". Meta l-iżviluppatur daħal fil-kodiċi, ra li l-iffrankar sar qabel il-verifika, u l-verifika kitbet biss lir-reġistru. Din kienet il-kawża ewlenija attwali ta' biljett tal-bug fil-produzzjoni. Jekk ma kienx hemm validazzjoni fil-kodiċi, is-sommarju falz jaħbi l-iżball.
Każ 3 — It-tagħlim tal-librerija l-ġdida aċċellerat. It-tim kien se jintegra librerija tal-kju tal-messaġġi li ma kinux familjari magħha. Staqsejt lill-AI "kif twaqqaf konsumatur f'din il-librerija, kif terġa 'tipprova f'każ ta' żball?" Huma talbu u kellhom kampjun prodott; Imbagħad qabblu l-eżempju mad-dokument uffiċjali u ffissaw differenza (API tal-verżjoni l-antika). Il-ħin tat-tagħlim maqtugħ bin-nofs.
Erba' Mudelli Kopjabbli
Immappjar tal-bażi tal-kodiċi:
Hawn taħt hawn id-direttorju/lista tal-fajls ta' proġett. 1) Oħroġ is-saffi tal-applikazzjoni (input, loġika tan-negozju, aċċess għad-dejta, eċċ.). 2) Elenka l-vjaġġ possibbli tal-fajl ta' talba "{{eżempju ta' proprjetà}}". 3) Immarka l-oqsma li m'intix ċert bihom bħala "għandhom jiġu vverifikati". {{directory_list}}
Deskrizzjoni tal-funzjoni (pass pass):
Aqsam din il-funzjoni fi gruppi ta’ ringieli u spjega bit-Tork sempliċi x’jagħmel kull grupp. Fl-aħħarnett: elenka l-input, l-output, l-effetti sekondarji (database/file/network) u każijiet edge possibbli. Iġbor l-imġieba li m'intix ċert dwarhom taħt intestatura SEPARATA "għandha tiġi vverifikata".{{funzjoni}}
Traċċar tal-fluss tad-dejta:
Minn fejn ġej il-valur "{{varjabbli/data}}", minn liema trasformazzjonijiet jgħaddi, fejn miktub? Oħloq katina tal-fluss billi tuża l-ismijiet tal-funzjonijiet fil-kodiċi. Kodiċi relatat: {{code_segments}}
Titgħallem kif tuża l-librerija:
Irrid nagħmel {{purpose}} bi {{librerija}}. Agħti eżempju minimu ta' ħidma. Kun żgur li kull funzjoni li tuża fil-fatt tappartjeni għal din il-librerija; jekk m'intix ċert, immarka "verifika mid-dokumentazzjoni uffiċjali". Verżjoni: {{verżjoni}}.
Pront dgħajjef / Pront qawwi
Dgħajjef: "Spjega dan il-kodiċi." (X'qed tistaqsi? F'liema livell? X'se tagħmel?)
Qawwija: "Qed nieħu f'idejha din il-funzjoni u se nibdel il-loġika mill-ġdid fiha. Spjega l-funzjoni pass pass, speċjalment f'każ ta' żball, iddikjara b'mod ċar kemm-il darba u f'liema intervall terġa' tipprova; immarka l-partijiet li m'intix ċert dwarhom bħala 'għandu jiġi vverifikat'. [kodiċi]"
Il-verżjoni b'saħħitha tagħti l-intenzjoni tiegħek (ser nibdel il-loġika mill-ġdid) u tiffoka; sabiex l-ispjegazzjoni ma tkunx sommarju ġenerali iżda gwida utli.
Tfittxija
AI tagħmel tajjeb
Kun żgur li tivverifika
Sommarju ġenerali tal-arkitettura
Neħħi saffi
Sekwenza attwali tas-sejħa
funzjoni kumplessa
Spjegazzjoni pass pass
Loġika inversa, effetti sekondarji
fluss tad-data
Abbozzar tal-katina
Fergħat kundizzjonali, mogħdijiet maqbuża
Użu tal-librerija
Ġenerazzjoni tal-kampjun
Awtentiċità u verżjoni tal-API
Ebda Sostitut għall-Fehim Uman
Id-deskrizzjoni AI mhix sostitut għat-tagħlim; tħaffefha. Li verament "tippossjedi" codebase tfisser li tibni mudell mentali tagħha, u dak il-mudell jaqbel biss hekk kif taqra l-kodiċi, tagħmel bidliet żgħar, u tara r-riżultat. Uża l-AI bħal parrinu jgħidlek "ħares hawn, dan huwa importanti" - imma aqra fejn tarah b'għajnejk stess.
Tip: Meta taħseb li tifhem funzjoni, staqsi lill-AI biex "jiġbor fil-qosor f'sentenza waħda"; Imbagħad qabbilha mas-sentenza tiegħek stess. Jekk żewġ sentenzi jikkontradixxu lil xulxin, jew int jew il-mudell qbiżt xi ħaġa - u taħdem fil-kodiċi.
Żbalji komuni
- Ikkunsidra s-sommarju bħala evidenza. Li tieħu deċiżjoni dwar il-kodiċi mingħajr ma tivverifika d-deskrizzjoni tfisser li taqa’ fin-nassa ta’ ismijiet qarrieqa.
- Inkullar biċċiet kbar wisq. Fil-qosor 2,000 linja f'daqqa tagħti riżultati superfiċjali u suxxettibbli għall-iżbalji; jaqsam f'biċċiet.
- Ma jiddikjarax l-iskop. Jekk ma tgħidx "x'se tagħmel" id-deskrizzjoni tibqa' ġenerali u ma tiffokax fuq in-negozju tiegħek.
- Mhux tivvalida l-istanza tal-librerija. Il-mudell jista' jsejjaħ API skaduti jew ineżistenti; Qabbel ma 'dokument uffiċjali.
- Tagħti t-tagħlim kollu bogħod. Ħidma biss bl-astratti mingħajr qatt taqra l-bażi tal-kodiċi tħallik bla sahha fl-ewwel żball reali.
Fil-qosor
AI hija gwida qawwija fl-esplorazzjoni ta 'bażi ta' kodiċi barrani: mapep arkitettura, tissimplifika funzjonijiet kumplessi, traċċa l-fluss tad-dejta, tgħallem l-użu tal-librerija. Iżda kull spjegazzjoni hija ipoteżi. Agħmel il-punt tiegħek ċar, aqsamha, u vverifika fil-kodiċi u ttestja kull affermazzjoni kritika li l-mudell jgħid (u ma jagħmilx) "għandu jiġi vverifikat." Il-gwida hija AI; Int dak li taqra l-mappa u ġġorr ir-responsabbiltà.
Kompitu ta' applikazzjoni
Agħżel modulu li m'intix familjari miegħu jew li għadek kif wiret. L-ewwel, estratt is-saffi u l-vjaġġ tal-fajl ta 'karatteristika bil-mudell "mapping bażi tal-kodiċi". Imbagħad għandek l-aktar funzjoni kritika ta 'dik il-karatteristika spjegata pass pass bil-mudell "spjegazzjoni tal-funzjoni". Fl-aħħarnett, iċċekkja personalment fil-kodiċi mill-inqas żewġ affermazzjonijiet li l-mudell immarka bħala "għandu jiġi vverifikat" u nnota jekk humiex veri jew foloz.
lista ta' kontroll
- [ ] Nitratta d-dikjarazzjoni AI bħala ipoteżi u nivverifikaha fil-kodiċi.
- [ ] Waqt li nispjega l-kodiċi, inżid l-iskop tiegħi u niffoka mal-pront.
- [ ] Niġbor fil-qosor il-bażi tal-kodiċi l-kbira billi naqsamha f'partijiet.
- [ ] Jien niċċekkja talbiet kritiċi onlajn għal nases qarrieqa ta' isem/loġika inversa.
- [ ] Inqabbel l-eżempji tal-librerija mad-dokument u l-verżjoni uffiċjali.
- [ ] Jien nuża l-AI bħala gwida biex naċċellera t-tagħlim, mhux bħala sostitut għat-tagħlim.