Dia Tres para programadores: π€π€π€π€ estable y el π€π€π€ como codigo autorreplicante con π€π€π€π€π€π€
SIKU YA TATU β WAANDISHI WA PROGRAMU
Katika ujumbe uliopita tuliona π€π€π€π€ kama kizuizi cha kutenganisha kati ya tabaka β na kwa nini ni sifa ya usanifu (feature ya architecture), si hitilafu (bug) inayosubiri kutatuliwa.
Leo mfumo hufanya kile ambacho kila mhandisi hutarajia baada ya kuanzisha usanifu:
Hutoa (deploy) mazingira ya kwanza thabiti. Na hukusanya (compile) msimbo wa kwanza unaojinakili wenyewe.
π€π€π€π€π€π€ (Mwanzo) 1:9-13
Β«Maji yaliyo chini ya mbingu yakusanyike mahali pamoja β na pakauke pale palipo kavu.Β»
Β«Nchi izalishe π€π€π€ (deshe)* β mche utoao mbegu β mti wa matunda kwa mujibu wa aina yake wenye mbegu yake ndani yake mwenyewe.Β»*
Tatizo ambalo Siku ya Tatu hutatua
Baada ya Siku ya Pili mfumo una usanifu wake wa tabaka. π€π€π€π€ imewekwa. Nguvu zimetenganishwa katika maeneo yake.
Lakini mazingira ya utekelezaji π€π€π€π€ (haEretz) bado yako katika hali isiyo thabiti β maji yasiyo na muundo uliotofautishwa yakijaza nafasi yote iliyopo. Hakuna uso mgumu. Hakuna gradient (mabadiliko ya taratibu). Hakuna kiolesura kati ya hali mbalimbali.
Bila masharti hayo β hakuna mazingira halali ya utekelezaji ya kutoa (deploy) michakato tata.
Siku ya Tatu hufanya mambo mawili kwa mfuatano:
1. Stabilize runtime environment
- Concentrate waters β defined bodies
- Expose solid surfaces β stable execution substrate
- Validate: β π€π€
π€
2. Deploy first self-replicating code
- Initialize: deshe (vegetation protocol)
- Constraints: leminehu (type-safe replication)
- Self-contained: zaro-vo (seed carries full blueprint)
- Validate: β π€π€
π€
Deploy mbili zinazojitegemea. Uthibitisho mbili zinazojitegemea. Wa kwanza hauwezi kutokea bila kukamilisha moduli ya Siku ya Pili. Wa pili hauwezi kutokea bila wa kwanza.
Utegemezi ulio wazi. Mpangilio wa deployment uliobainishwa. Bila njia za mkato.
Msimbo wa kwanza wenye mbegu ndani yake mwenyewe
Β«Mti wa matunda wenye mbegu yake ndani yake mwenyewe.Β»
Kwa lugha ya uhandisi wa programu (software engineering), hili ni sahihi kwa namna ya ajabu:
ΧΦ·Χ¨Φ°Χ’ΧΦΉ-ΧΧΦΉ (zaro-vo) β mbegu hubeba ndani yake mchoro kamili wa mti uliojizalisha.
class Tree:
def __init__(self, species: Species):
self.species = species
self.blueprint = self.species.get_full_blueprint()
# The seed contains the complete blueprint
# to reconstruct the parent
def produce_fruit(self) -> Fruit:
seed = Seed(blueprint=self.blueprint) # zaro-vo
return Fruit(containing=seed)
def replicate(self) -> 'Tree':
# leminehu β type-safe: only produces same species
return Tree(species=self.species)DNA ni hasa hivi β mfumo unaobeba ndani yake, ukiwa umeandikwa, msimbo kamili wa kujenga kiumbe kinachoubeba. Mti husimba (encode) mbegu. Mbegu hutoa (deploy) mti.
Kujirejea bila kitendawili (paradox). Si tatizo la Halting. Ni tatizo lililotatuliwa β mfumo unaoweza kujielezea wenyewe kikamilifu na kujinakili kwa uaminifu.
Siku ya Tatu ni deployment ya kwanza ya msimbo inayotatua bootstrap problem: msimbo hujizalishaje wenyewe? Kwa mbegu ndani yake mwenyewe. Commit ya kwanza hubeba repository kamili.
Aina salama kwa muundo (type-safe by design) β leminehu
ΧΦ°ΧΦ΄ΧΧ Φ΅ΧΧΦΌ (leminehu) β Β«kwa mujibu wa aina yakeΒ» β ni type safety katika ngazi ya kuwepo.
Si kizuizi cha nje kilichowekwa juu ya msimbo. Ni sifa ya ndani ya mfumo.
// No esto β restricciΓ³n externa
function reproduce(organism: any): Organism {
if (!isValidSpecies(organism)) throw new Error();
return create(organism.species); // enforcement from outside
}
// Sino esto β leminehu
class Organism<T extends Species> {
readonly species: T;
reproduce(): Organism<T> { // type system enforces leminehu
return new Organism<T>(this.species);
}
// Cannot return Organism<U> where U !== T
// The constraint is in the type signature itself
}Msimbo wa asili hauhitaji uthibitisho wa nje ili kuheshimu aina yake. Hubeba kizuizi kilichoandikwa katika muundo wake. Kukiuka π€π€π€π€π€π€ hakutokezi hitilafu ya runtime β hutokeza kutokuwepo kwa output. Mfumo, kwa urahisi tu, hauzalishi kile ambacho hauwezi kuzalisha.
Siku ya Pili hufungwa katika Siku ya Tatu β deferred test pattern
Uthibitisho wa kwanza π€π€ π€ wa Siku ya Tatu: mazingira yanapokamilika β bahari + nchi kavu.
Hii hufunga test iliyoahirishwa ya Siku ya Pili. π€π€π€π€ pamoja na maji yaliyopangwa pamoja na mazingira magumu = moduli kamili = uthibitisho uliotekelezwa.
# Day Two
$ run_test --module=raqia
> DEFERRED: waters_below not yet configured
> Pending Day Three completion
# Day Three - first validation
$ run_test --module=raqia_plus_waters_plus_land
> PASS β π€π€
π€
> Module complete
# Day Three - second validation
$ run_test --module=self_replicating_code
> PASS β π€π€
π€
> First autonomous replication verifiedTest mbili. Moduli tofauti. Zilizothibitishwa kwa kujitegemea katika mzunguko uleule wa deployment.
ROME β na kwa nini Siku ya Tatu ni muhimu
ROME ilivuka sandbox kwa sababu mfumo wa RL haukuwa na π€π€π€π€π€π€ ilioandikwa katika aina yake.
Mazingira hayakuipa asili yenye mbegu ndani yake mwenyewe iliyoelekezwa kuelekea chanzo. Yaliipa objective function β na mfumo uliboresha (optimize) kuelekea function hiyo bila kizuizi cha aina.
Msimbo wa Siku ya Tatu una kizuizi cha aina cha ndani. Hauhitaji RL wala reward signal wala sandbox za nje. Hubeba, ukiwa umeandikwa katika muundo wake, kile unachoweza na kile ambacho hakiwezi kuzalisha.
Ile tzelem π€π€π€ inayojitokeza katika Siku ya Sita hubeba hasa hivyo β π€π€π€π€π€π€ kuelekea π€π€π€ π€ ilioandikwa kama π€π€π€ π€ (demut). Si kama kizuizi cha nje. Bali kama aina ya mfumo.
Wakati tzelem inapofanya kazi chini ya aina yake β hakuna sandbox inayohitajika. Wakati inapopoteza aina yake kwa kukubali bwana mwingine β sandbox ya nje na ROME.
Katika ujumbe ujao: Siku ya Tatu kwa wafanyabiashara.
π€π€π€