Ruka hadi maudhui makuu
Mafunzo ya AI

Chunguza Miradi ya Jev na Unda Mchakato wa Maamuzi wa Kikalibu Uliowekwa Aina

Mafunzo haya yanaeleza muundo wa Jev wa maamuzi uliowekwa aina, yanatambulisha primitives zake kuu za maswali, na yanaonyesha jinsi ya kuchagua SDK, miunganisho, mifano na zana za tathmini kutoka kwenye saraka ya Awesome Jev. Pia utajifunza mbinu za kivitendo za kuelekeza, kuweka alama, kuthibitisha, kuweka vizuizi, kusawazisha na kutumia njia mbadala za kuaminika.

Chunguza Miradi ya Jev na Unda Mchakato wa Maamuzi wa Kikalibu Uliowekwa Aina

Awesome Jev Inatoa Nini

Awesome Jev ni saraka iliyochaguliwa na kuthibitishwa kwa vyanzo ya miradi iliyoundwa kwa kutumia Jev, modeli ya System One ya TypeSafe AI. Badala ya kuwa SDK yenyewe, hazina hii huwasaidia wasanidi programu kugundua rasilimali rasmi, wateja wa jumuiya, zana za wasanidi, miunganisho ya mtiririko wa kazi, maonyesho, utekelezaji upya, na miradi ya tathmini.

Jev imeundwa kwa maamuzi ya programu yenye mipaka badala ya uzalishaji wa maandishi yasiyo na muundo maalum. Huchanganya hali ya programu isiyo na muundo na maswali yenye aina, kisha hurejesha majibu yenye vikwazo pamoja na uwezekano unaohusishwa. Msimbo wa programu hubaki na jukumu la kuamua cha kufanya na majibu hayo.

hali ya programu + maswali yenye aina
→ majibu yenye vikwazo + uwezekano
→ mantiki bainifu ya programu

Saraka hii hupendelea miradi yenye msimbo wa chanzo wa umma, matumizi dhahiri ya Jev, vizuizi vilivyoandikwa, na ushahidi unaoweza kurudiwa. Maingizo yaliyoorodheshwa yalikaguliwa mara ya mwisho tarehe 18 Septemba 2026, lakini mfumo huu wa ikolojia unaelezwa kuwa mpya na unaobadilika haraka.

Elewa Misingi ya Maamuzi

Kabla ya kuchagua mradi, tambua aina ya uamuzi ambao programu yako lazima ifanye. README inaangazia misingi mitatu ya maswali.

  • Choice: Huchagua kutoka kwenye seti yenye mipaka ya majibu yanayowezekana. Hii inafaa kwa uainishaji, uelekezaji, upangaji wa kipaumbele, na uteuzi wa hatua.
  • Score: Hutoa tathmini yenye mipaka inayoweza kusaidia kupanga kwa viwango, kuweka vipaumbele, na kufanya tathmini kwa kutumia rubriki.
  • Noul: Huwakilisha uamuzi wa kihakika wa ndiyo, hapana, au haijulikani. Inaweza kusaidia uthibitishaji, udhibiti wa maudhui, ukaguzi, na vizuizi vya ulinzi.

Misingi hii ni muhimu wakati matokeo yanayoruhusiwa yanaweza kufafanuliwa mapema. Jev haijawekwa kama mbadala wa jenereta ya maandishi ya matumizi ya jumla.

Mzunguko wa Dhana wa Uamuzi

README haitoi sintaksia mahususi ya SDK, kwa hiyo msimbo ufuatao ni pseudokodi ya dhana badala ya mfano unaoweza kutekelezwa moja kwa moja.

state = collect_relevant_program_state()
question = define_typed_question(
  allowed_answers = ["route_a", "route_b", "abstain"]
)

result = ask_jev(state, question)

if result.probability >= validated_threshold:
    apply_deterministic_action(result.answer)
else:
    request_human_review()

Mfumo muhimu ni kwamba Jev inapendekeza uamuzi wenye mipaka pamoja na uwezekano, huku msimbo wa kawaida wa programu ukitekeleza viwango vya juu, ruhusa, na athari za pembeni.

Chagua Mahali pa Kuanzia

Anza na nyenzo rasmi kabla ya kutumia muunganisho wa jumuiya.

  1. Soma utangulizi wa System One na Jev ili kupata maelezo kuhusu kiolesura cha modeli, madai yaliyochapishwa, maonyesho, na tahadhari.
  2. Tumia nyaraka rasmi kukagua dhana, misingi, maelezo ya API, mifumo, na maagizo ya sasa ya SDK.
  3. Tembelea TypeSafe AI kwa muhtasari wa bidhaa na mahali pa kuanzia kwa ufikiaji wa mapema.
  4. Chagua SDK rasmi ya TypeScript na JavaScript au SDK ya Python kulingana na teknolojia za programu yako.

SDK ya JavaScript na TypeScript hutoa aina za majibu zinazotambuliwa kiotomatiki. SDK ya Python inasaidia matumizi ya kulandanishwa na yasiyolandanishwa. Kwa kulinganisha watoa huduma, kiunganishi rasmi cha System One cha Python hutoa kiolesura cha pamoja kwa watoa huduma wa Jev na LLM.

Usakinishaji na Usanidi

Awesome Jev ni katalogi, kwa hiyo haina muda wa utekelezaji wa pamoja wa programu wala amri ya jumla ya usakinishaji. Usanidi hutegemea SDK au mradi unaouchagua. Tumia mchakato huu ili kuepuka kutegemea dhana zilizopitwa na wakati.

  1. Chagua utekelezaji unaodumishwa. Pendelea SDK rasmi kwa muunganisho wa kwanza, kisha zingatia wateja wa jumuiya unapohitaji lugha au mfumo mahususi.
  2. Fungua hazina uliyochagua. Fuata README yake kwa usakinishaji wa kifurushi, uthibitishaji, vigezo vya mazingira, na mahitaji ya matoleo.
  3. Angalia nyaraka za sasa za API. Thibitisha waundaji, sehemu za ombi, aina za majibu, na tabia ya shughuli zisizolandanishwa.
  4. Unda swali dogo lenye aina. Anza na seti ndogo ya matokeo yanayoeleweka kwa pamoja.
  5. Rekodi majibu na uwezekano. Hifadhi ushahidi wa kutosha wa kutathmini usahihi, viwango vya juu, muda wa kusubiri, na hali za kujizuia.
  6. Ongeza vidhibiti bainifu. Usiruhusu jibu la kihakika pekee kuanzisha hatua isiyoweza kutenduliwa au yenye athari kubwa.

Wateja wa Lugha na Mifumo Mbadala

Saraka hii inajumuisha miunganisho ya jumuiya kwa mazingira kadhaa. Mifano ni pamoja na typesafe-go kwa Go, jev kwa Elixir na OTP, na laravel-typesafe-jev kwa Laravel. Watumiaji wa Python wanaweza pia kuchunguza jevclient isiyolandanishwa.

Miradi hii ni hazina tofauti zenye maagizo na leseni zake za usanidi. Kujumuishwa katika Awesome Jev si ridhaa kutoka kwa TypeSafe AI.

Jenga Mtiririko wa Kawaida wa Jev

Hatua ya 1: Bainisha Kazi yenye Mipaka

Chagua uamuzi wenye nafasi ya matokeo iliyowekewa mipaka. Kazi nzuri za kuanzia ni pamoja na kugawa ombi linaloingia kwenye foleni, kukadiria rekodi kwa kutumia vigezo, kuangalia ikiwa ushahidi unaunga mkono dai, au kupanga mkusanyiko mdogo wa watahiniwa.

Ufafanuzi wa kimawazo wa uelekezaji unaweza kuwa hivi:

State:
  ombi linaloingia, muktadha wa akaunti, metadata ya sera

Typed Choice:
  billing | technical_support | abuse_review | unknown

Application rule:
  elekeza tu wakati jibu lililochaguliwa linapofikia kiwango kilichojaribiwa

Hatua ya 2: Toa Hali Husika

Toa taarifa zinazohitajika kwa uamuzi bila kutarajia modeli ibuni ukweli uliokosekana. Weka sheria za sera na vikwazo muhimu wazi. Ikiwa hatua inayofuata inahitaji data ambayo haipo, elekeza mtiririko kujizuia au kupandisha suala kwa ukaguzi badala ya kubahatisha.

Hatua ya 3: Uliza Swali lenye Aina

Tumia Choice kwa uainishaji wenye chaguo chache, Score kwa tathmini yenye mipaka, au Noul kwa ukaguzi wa aina ya ndiyo, hapana, au haijulikani. Fuata nyaraka za SDK uliyochagua kwa muundo kamili wa ombi.

Hatua ya 4: Tafsiri Uwezekano

Jibu linalofuata schema linathibitisha tu kwamba matokeo yanafaa muundo ulioombwa. Halithibitishi kwamba uamuzi ni sahihi. Chukulia uwezekano uliorejeshwa kama ingizo la sera iliyojaribiwa kwa mifano yenye lebo.

if confident and action_is_allowed:
    continue_workflow()
elif review_is_available:
    send_to_human()
else:
    stop_safely()

Hatua ya 5: Weka Utekelezaji kuwa wa Kiamuzi

Tumia msimbo wa kawaida kutekeleza ruhusa, mabadiliko halali ya hali, mipaka ya kasi, na ukaguzi wa usalama. Utenganishaji huu ni muhimu hasa kwa udhibiti wa maudhui, utekelezaji wa msimbo, miito ya zana, vifaa halisi, na shughuli nyingine zenye athari kubwa.

Tumia Jev katika Kesi za Kawaida za Matumizi

Uelekezaji wa Kisemantiki

Kwa uelekezaji wa HTTP, hono-jev-router huelekeza maombi ya Hono kwa kuzingatia maana. tiershift inalenga uelekezaji wa modeli unaozingatia sera kwa TypeScript na Python, huku jev-codex-router ikichagua modeli ya Codex, hoja, na mipangilio ya kasi kwa kila zamu.

Uchujaji wa Data na Upangaji wa Kipaumbele

jev-curate huchuja na kukadiria mitiririko ya Parquet na JSONL. jevlogs hupanga kwa kipaumbele kumbukumbu za OpenTelemetry kabla ya uchanganuzi wa gharama kubwa zaidi. Chaguo zinazolenga hifadhidata ni pamoja na kiendelezi cha PostgreSQL pg-jev na jevsql kwa uchujaji, upangaji, uainishaji, na ukadiriaji wa mtindo wa SQL kwa kutumia vihisishi vya lugha asilia.

Ajenti na Vidhibiti vya Usalama

Miradi inayolenga ajenti inaonyesha jinsi maamuzi yenye aina yanavyoweza kuwekwa kati ya modeli na zana zake. jev-guard huteua matokeo ya ruhusu, uliza, au kataa kwa miito ya zana. winnow hutathmini matokeo ya zana kabla ya kuyaongeza kwenye muktadha wa Claude Code, na Canny hurekodi ushahidi na kupinga madai ya ukamilishaji yasiyoungwa mkono.

Mifumo hii huwa imara zaidi wakati safu ya uamuzi haiwezi kupita idhini ya kiamuzi. Matokeo ya ruhusa yanapaswa bado kukaguliwa dhidi ya sera halisi za programu kuhusu ruhusa na usalama.

Mifumo Shirikishi na ya Wakati Halisi

Saraka hii inajumuisha michezo na majaribio ya roboti yanayotenganisha uamuzi wa uwezekano na sheria za kiamuzi za ulimwengu. typesafe-snake hufanya uamuzi mmoja wenye aina kwa kila tiki ya mchezo huku msimbo ukizalisha hatua halali. heist-one hutumia Jev kuwatathmini walinzi huku msimbo wa kiamuzi ukidhibiti ulimwengu wa mchezo. jev-drone huchunguza maamuzi ya kimkakati ya polepole katika jaribio la quadrotor la MuJoCo.

Vidokezo vya Juu kwa Maamuzi Yanayoaminika

Weka Viwango kwa Kutumia Data Yako Mwenyewe

Usinakili kiwango cha uaminifu kutoka kwenye onyesho lisilohusiana. Kusanya mifano yenye lebo kutoka kwenye mazingira unayolenga na upime kinachotokea katika viwango tofauti. jevcal imeorodheshwa kama zana ya kuweka viwango vya uaminifu na kukagua mabadiliko.

Pima Hatari ya Kujizuia na Muda wa Mwitikio

Ruhusu mfumo kujizuia wakati uaminifu hautoshi. Kisha pima usahihi wa maamuzi yaliyokubaliwa pamoja na uwiano wa visa vilivyotumwa kwenye njia mbadala. jev-benchmarks hutoa tathmini inayoweza kurudiwa, ikilenga ulinganifu wa viwango, hatari ya kujizuia, na muda wa mwitikio.

Linganisha Mbinu za Kufanya Maamuzi

Tumia ulinganisho unaodhibitiwa unapoamua kama Jev inafaa kwa kazi fulani. Janus hupima wakati wa kutumia Jev dhidi ya miundo mingine na kuelekeza ipasavyo. Mradi wa typesafe-ai-benchmark hutoa lango la LLM linaloiga muundo wa matokeo wa System One kwa kazi za ulinganisho.

Shughulikia Taxonomia Kubwa Kwa Kujirudia

Taxonomia inapokuwa kubwa kuliko kikomo cha moja kwa moja cha chaguo za modeli, gawanya uamuzi katika hatua zenye mipaka badala ya kuwasilisha nafasi ya matokeo isiyodhibitiwa. jev-tree inaonyesha uteuzi wa kujirudia kwenye taxonomia kubwa.

Unganisha Uthibitishaji wa Kimuundo na Kisemantiki

Uthibitishaji wa schema wa ndani na uamuzi wa kisemantiki hutatua matatizo tofauti. zod-jev huunganisha uthibitishaji wa muundo wa Zod na uthibitishaji wa kisemantiki wa Jev. Hata ukiwa na tabaka zote mbili, thibitisha utendaji wa kazi kwa kutumia data wakilishi.

Hifadhi Ushahidi

Kwa kila uamuzi, zingatia kurekodi toleo la hali ya ingizo, swali lililoainishwa, majibu yanayoruhusiwa, jibu lililochaguliwa, uwezekano, kizingiti, njia ya kurejea, na hatua ya mwisho ya kiubainifu. Hii huwezesha ukaguzi, uchanganuzi wa makosa, urekebishaji, na ugunduzi wa mabadiliko ya utendaji.

Onyo muhimu: Matokeo yanayokidhi schema si lazima yawe uamuzi sahihi. Thibitisha kwa data yako, rekebisha vizingiti, weka hatua zenye athari kubwa nyuma ya ukaguzi wa kiubainifu, na toa njia ya kurejea kwa mwanadamu.

Chunguza Uzalishaji Huru Kwa Uangalifu

Saraka pia inaunganisha violesura huru vinavyofanana na Jev na utekelezaji wa wazi, ikiwemo openjev-sglang, jevmlx, openvons, na openjev. Hivi vimeelezwa wazi kuwa juhudi huru badala ya matoleo rasmi ya TypeSafe.

Unapotathmini uzalishaji huru, thibitisha ulinganifu wa API, mahitaji ya modeli, usaidizi wa maunzi, utekelezaji wa vizuizi, urekebishaji wa uwezekano, modali zinazotumika, na vikwazo vilivyochapishwa. Miundo inayofanana ya matokeo haihakikishi tabia inayolingana.

Changia Mradi

Ikiwa umeunda mradi wa Jev, soma CONTRIBUTING.md ya hazina na fungua ombi la mabadiliko. Miradi midogo inakaribishwa ikiwa msimbo wake wa umma unaonyesha wazi mzunguko thabiti wa uamuzi wa Jev. Andika kuhusu kazi, matokeo yaliyoainishwa, ushughulikiaji wa uwezekano, vidhibiti vya kiubainifu, vikwazo, na hatua za kuunda upya.

Awesome Jev imetolewa chini ya CC0 1.0 Universal. Kila mradi uliounganishwa huhifadhi leseni yake, kwa hiyo kagua masharti ya mradi huo kabla ya kutumia au kurekebisha msimbo wake.

Hitimisho

Awesome Jev ni ramani ya kivitendo ya mfumo wa ikolojia wa System One unaochipuka. Anza na nyaraka rasmi na SDK ya lugha yako, jenga uamuzi mmoja wa aina wenye mipaka, na uendelee kuweka utekelezaji chini ya udhibiti wa kiubainifu. Kabla ya kutumia katika uzalishaji, tathmini data wakilishi, rekebisha vizingiti, pima kujizuia kutoa majibu na muda wa kusubiri, na hifadhi njia salama ya kurejea kwa mwanadamu kwa hali zisizo na uhakika au zenye madhara makubwa.