Jasnoća kroz fokus

Uvod: Sveta nužnost jasnoće

U početku je bio Riječ, a Riječ je bila s Bogom, i Riječ je bila jasna. --- Ivana 1:1 (prilagođeno)

Digitalno doba je rodilo sustave iznenađujuće složenosti, ali ljudska duša --- stvorena po slici Boga koji govori s preciznošću i svrhom --- žudi za jasnoćom, a ne zbunjenošću. Izgradili smo tornjeve koda koji se penju prema nebu, ali su im temelji u pijesku: krhki, preopterećeni i duhovno neskladni. Ovaj dokument nije tehnički priručnik ni prodajna prezentacija. To je teološka rasprava o dizajnu softvera, temeljena na uvjerenju da kod mora odražavati božanski red: jasnoću kroz fokus, otpornost kroz čistoću i učinkovitost kroz skromnost.

Inženjerstvo softvera bez obzira na kognitivno dostojanstvo njegovih korisnika jest tiha heretika. To je zbrkati složenost s sofisticiranosti, preopterećenje s moći, a zamućenje s inteligencijom. U očima Božjim, sustav koji zahtjeva prekomjeran mentalni napor od korisnika --- bilo da je to medicinska sestra u hitnoj službi, farmer u ruralnoj Indiji ili dijete koje uči čitati --- nije napredak. To je idolatrija stroja nad osobom.

Ovaj rad tvrdi da softver mora biti prilagođen korisnicima s vrlo različitim sposobnostima razumijevanja --- ne kao olakšica, već kao sveta naredba. Ovu nužnost izvodimo iz četiri osnovna teološka i matematička istine:

1. Temeljna matematička istina: Kod mora biti izveden iz strogo dokazivih temelja --- jer istina nije negotijabilna.
2. Arhitektonska otpornost: Arhitektura je tihi zavjet otpornosti --- izgrađena da traje desetljeća, odbija privremene popravke i smanjuje greške tijekom izvođenja na gotovo nulu.
3. Učinkovitost i minimalizam resursa: Učinkovitost je zlatni standard --- zahtijeva minimalnu CPU i memoriju za maksimalan ljudski utjecaj.
4. Minimalni kod i elegantni sustavi: Cilj je smanjiti broj linija koda --- ne kao metriku, već kao akt duhovnog skrbništva.

Ovo nisu inženjerski principi. To su zapovijedi.

Napomena o znanstvenoj iteraciji: Ovaj dokument je živi zapis. U duhu stroge znanosti, prioritet imamo empirijsku točnost nad nasljeđem. Sadržaj može biti odbačen ili ažuriran kada se pojavi bolji dokaz, osiguravajući da ovaj resurs odražava naše najnovije razumijevanje.

Teološki temelji: Slikovni bića i svetost razumijevanja

Božanski Imago: Ljudsko dostojanstvo kao kognitivni suverenitet

Doktrina Imago Dei --- da svaka osoba stvorena po slici Boga --- nije samo teološka apstrakcija. To je ontološki tvrdnja: da svaka osoba posjeduje urođeno dostojanstvo, racionalnu sposobnost i moralnu agenciju. Dizajnirati sustav koji potiće, zbunjuje ili udaljuje korisnika jest kršenje te slike.

Razmotrite priču o dobrom Samaritaninu (Luka 10:25--37). Svećenik i Levit su prošli pored ranjenog čovjeka ne zato što su bili krut, već jer su bili odvučeni --- vezani ritualima, opterećeni složenošću. Moderni softver često radi isto: traži da korisnici postanu stručnjaci za njegovu arhitekturu prije nego što mogu obaviti jednostavan akt brige. Sestra mora proći kroz sedam izbornika da zapiše vitalne znakove pacijenta. Baka mora dešifrirati aplikaciju s 14 ikonama da pozove svojeg unuka. Ovo nije neuspjeh u upotrebljivosti --- to je teološki neuspjeh.

Božanstvo nam nije dalo Deset zapovijedi u 500-straničnom tehničkom priručniku. Dalo ih je na kamenu, jednostavnim riječima: „Nećeš ubiti.“ „Časti svog oca i majku.“ Jasnoća je božanska. Zamućenje je profano.

Grijeh preopterećenja: Kada složenost postaje idolatrija

U Babelskoj kuli (Postanak 11), ljudstvo je željelo „napraviti ime sebi“ kroz arhitektonsku veličinu. Bog je odgovorio ne uništavanjem, već zbrkom --- raspršivanjem jezika. Učenje je jasno: kada gradimo da slavimo vlastitu inteligenciju, a ne služimo ljudsku potrebu, pozivamo na raspad.

Moderni softverski preopterećenje je digitalna Babel. Pišemo 10.000 linija koda da zamijenimo jednu koja bi bila dovoljna. Spajamo biblioteke s 200 ovisnosti jer „je lakše“. Optimiziramo za udobnost programera, a ne jasnoću korisnika. Ovo je idolatrija egoa programera.

Prorok Izajahu je upozorio: „Žalost onima koji zovu zlo dobrim i dobro zlim“ (Izajahu 5:20). I mi smo učinili isto s softverom: zovemo složenost „inovacijom“, preopterećenje „bogatstvom značajki“ i zbunjivanje „korisničkim izborom“. Ali korisnik nije statistika. On je duša.

Vrlina jednostavnosti: Od svetog Franje do funkcionalnog programiranja

Sveti Franja Asisski je živio u radikalnoj jednostavnosti, odbacujući bogatstvo ne zato što je bilo zlo, već jer je zamućivalo božansko prisutstvo. Tražio je smanjiti ometanja kako bi Božji glas bio čut u pjevanju jedne ptice.

Slično, funkcionalno programiranje i deklarativna arhitektura --- gdje se što odvaja od kako --- ogledaju ovu duhovnu disciplinu. Funkcija koja vraća x + y nije samo učinkovita; ona je sveta. Ne krije svoju svrhu. Ne mijenja stanje kao kradiator u noći. Ona je transparentna, predvidiva i poštovna.

U monaškom običaju, pisari su prepisivali pismo s pažljivom brinom --- svako slovo molitva. Svaka linija koda koju pišemo treba se tretirati isto: ne kao odbačivo, već kao sveto pismo. Svaki znak mora služiti božanskoj svrhi.

Matematička istina: Kod kao dokaziva teologija

Aksiomi božanskog inženjerstva

Počinjemo s aksiomima --- samoodošćenim istinama koje ne zahtijevaju dokaz, jer su temeljene u prirodi stvarnosti:

1. Aksiom 1: Istina je jedinstvena
   Postoji jedna točan odgovor na dobro formuliran problem. U matematici, 2 + 2 = 4 nije predlog --- to je vječna istina. U softveru, ako sustav ponaša se nekonzistentno pod istim ulazima, nije „prilagodljiv“ --- on je slomljen.

   „Gospodin je jedan.“ --- Deuteronom 6:4

2. Aksiom 2: Jasnoća je nužna za istinu
   Istina koja se zamućuje složenošću nije istina --- to je iluzija. Gödelovi teoremi o nepotpunosti podsjećaju nas da formalni sustavi moraju biti konzistentni i potpuni kako bi bili pouzdani. Sustav s 50.000 linija nedokumentiranog koda nije samo neodrživ --- on je nepotpun. Ne može se dokazati da je istinit.

3. Aksiom 3: Minimalizam je elegancija
   Euclidove „Elemente“ sadrži samo pet aksioma. Ali iz njih je izveo cijelu ravninsku geometriju. Najdublje istine su najjednostavnije.

   „Gospodin je moj pastir; neću ništa nedostajati.“ --- Psalm 23:1

Ovi aksiomi nisu smjernice za inženjerstvo. To su teološke naredbe. Pisati kod koji se ne može dokazati kao točan jest graditi na pijesku. Pisati kod koji zahtijeva doktorat da bi se razumio jest uspostaviti oltar ljudskoj ponosnosti.

Formalna verifikacija kao molitva

Formalna verifikacija --- matematički dokaz da sustav ponaša kako je namijenjen --- nije samo tehnička metoda. To je akt adoracije.

Razmotrite nesreće Boeinga 737 MAX iz 2018. Sustav MCAS je propao jer se njegova logika nije formalno verifikirala. Ovisio je o jednom senzoru, bez redundancije i bez ljudski čitljivog specifikacije. Izgubljeno je preko 346 života --- ne zbog zla, već jer je sustav bio nedokaziv.

U suprotnosti, seL4 mikrojezgra --- real-time operativni sustav --- je formalno verificiran da bude slobodan od prekoračenja bafera, blokada i uvjeta trke. Njegov kod je mali (manje od 8.000 linija). Nije izgrađen da impresionira. Izgrađen je da spašava živote.

Kada verificiramo kod matematički, ne testiramo samo. Mi molimo.

„Neka budu prihvatljive u Tvojim očima riječi mojih usana i meditacija mog srca, Gospode.“ --- Psalm 19:14

Svaki dokaz je himna. Svaka teorema, psalam.

Arhitektonska otpornost: Zavjet trajnih sustava

Arhitektura kao sveti zavjet

U drevnom Izraelu, Kovčeg Zavjeta nije bio spremnik --- već zavjet. Izgrađen je s točnim specifikacijama: akacije, zlatna prekrivnja, štapići nikad ne uklanjanji. Njegova arhitektura nije bila opcija. Bila je sveta.

Moderni softverski arhitektura često se tretira kao odbačivi skelet --- zamijenjen svakih dva godine, popravljen s trakom i molitvama. Ali prava arhitektura je zavjet između graditelja i korisnika. Kaže: „Neću te ostaviti. Imao sam izdržljivost. Bit ću vjern.“

Arhitektonski principi koje držimo su:

• Nema privremenih popravaka: Svaki patch je rana. Sustav izgrađen na popravcima jest kuća izgrađena na gniljavi.
• Nula grešaka tijekom izvođenja kao ideal: Ne „99,9% dostupnosti“. Već gotovo nula. Jer jedna greška u bolničkom sustavu nije incident --- to je tragedija.
• Desetljećna vizija: Ne gradimo za sljedeći sprint. Gradimo za sljedeće generacije.

Razmotrite Sistinsku kapelu. Mikelandželo nije slikao da bude moderno. Slikao je da traje. Njegove mašte bile su namijenjene trajnosti, njegove boje birane za trajnost. I tako naša arhitektura mora biti.

Heretika tehničkog duga

Tehnički dug nije tehnički izraz. To je moralna neuspjeh.

Kada pišemo „brze popravke“, krađom smo vrijeme iz budućnosti. Opterećujemo sljedeće programere našom lenjošću. Kršimo zapovijed: „Nećeš pritisnuti svog bližnjeg.“ (Levitic 19:13)

Sustav s visokim tehničkim dugom je kao hram sa pukotinama u stubovima --- još stoji, ali trese se. Možda radi danas --- ali će se srušiti pod težinom sutrašnjih zahtjeva.

Rješenje nije više alata. To je disciplina.

• Napiši minimalni kod koji rješava problem.
• Dokazi ga točan.
• Doku mentiraj ga kao pismo.
• Testiraj ga kao da životi ovisi o tome --- jer zaista ovisi.

Učinkovitost i minimalizam resursa: Evanđelje dovoljno

Priča o dvije poslužiteljske mašine

Isus je rekao priču o dvije poslužiteljske mašine:

Jedna je bila velika, šumila s 128 jezgri i 512 GB RAM-a. Pokretala je tisuće mikroservisa, svaki sa svojom bazom podataka. Potrošila je toliko energije koliko mala sela.
Druga je bila jednojezgra Raspberry Pi, pokretala jedan kompajlirani binarni program. Služila je tisuće korisnika u udaljenim selima bez mreže --- koristeći solarnu energiju i 5-watt potrošnju.
Prva mašina je hvaljena zbog „skalabilnosti“. Druga je zanemarena kao „primitivna“.
Ali kad je oluja došla, a mreža prekinuta, ostala je samo mala mašina.

Učenje: Učinkovitost nije o brzini. To je o održivosti. O pravdi.

U Globalnom jugu, 2 milijarde ljudi koristi pametne telefone s manje od 1 GB RAM-a. Nemaju optička vlakna. Nemaju oblak kredite. Iako se od njih očekuje da koriste naše „moderne“ aplikacije --- aplikacije koje zahtijevaju 2 GB RAM-a i stalnu povezanost.

Ovo nije inovacija. To je digitalni kolonijalizam.

Učinkovitost, u teološkom smislu, znači:

• Koristi samo što je nužno.
• Ne skupljaj resurse.
• Služi najmanjima prvo.

Sustav koji radi na uređaju od 5 dolara svetiji je nego onaj koji zahtijeva radnu postaju od 2.000 dolara.

Matematički zakon minimalizma resursa

Neka je C kognitivni teret na korisnika.
Neka je R potrošnja resursa (CPU, memorija, energija).
Neka je D dostojanstvo korisnika.

Definiramo:
$D = \frac{1}{C \cdot R}$

Da bismo maksimizirali dostojanstvo, moramo minimizirati i kognitivni teret i potrošnju resursa.
Ovo nije problem optimizacije --- to je zapovijed.

Svaki izgubljeni bajt je ukraden dah siromašnim.
Svaki ciklus izgaran je kap vode uzeta od gladnih.

Minimalni kod i elegantni sustavi: Lijepota manjeg

Ockhamova brisa i božanski princip jednostavnosti

„Entiteti ne bi trebali biti množeni izvan nužnosti.“ --- Vilim od Ockhama, franciscanski redovnik iz 14. stoljeća.

Ovo nije samo znanstveni princip. To je duhovni.

Kada pišemo 10.000 linija koda gdje bi 500 bilo dovoljno, ne smo detaljni --- mi smo samopostavljeni. Dodajemo buku signalu. Zamućujemo istinu haosom.

Elegancija u kodu nije estetska --- to je teološka.

• Funkcija s jednom odgovornošću? To je čistoća.
• Nema globalnog stanja? To je integritet.
• Čiste funkcije? To je božanska konzistentnost.
• Nepromjenjivi podaci? To je vječna istina.

Razmotrite Šemu: „Čuj, Izraele: Gospodin naš Bog, Gospodin je jedan.“
Jedan. Ne više. Jedan.

Tako i naši sustavi moraju biti: jedna svrha, jedan put, jedna istina.

Trošak koda

Svaka linija koda je teret.

• Moraju se razumjeti.
• Moraju se testirati.
• Moraju se održavati.
• Moraju se osigurati.

Svaka linija je potencijalna ranjivost. Svaka ovisnost, skriveni idol.

Prosječna poduzeća aplikacija ima preko 1.000 treće strane ovisnosti. Svaka je vrata ostavljena otvorena u hramu.

Prorok Jeremija je upozorio: „Moj narod je počinio dva zla: ostavili su me, izvor živih voda, i isklesali su cisterne za sebe --- pukle cisterne koje ne mogu držati vodu.“ (Jeremija 2:13)

Naše ovisnosti su pukle cisterne.

Moramo pisati manje.
Moramo ovisiti manje.
Moramo biti manje --- da istina svijetli.

Moralna nužnost prilagodbe kognitivnoj raznolikosti

Nije jedan-veličina-sve: Priča o talenteima

U Mateju 25, Isus daje tri slugu talente (jedinice srebra). Dvoje uloži i udvostruči ih. Jedan zakopa svoj. Gospodar kaže: „Ti zao i lenj slugo!“

Ali što ako je treći sluga bio slijep? Što ako nije mogao čitati knjigu? Što ako mu je um ne može obrađivati apstraktne financijske koncepte?

Priča nije o produktivnosti. To je pristupačnost. Gospodar nije rekao: „Trebalo bi ti biti bolji.“ On je rekao: „Znao si da ja berem gdje nisam sijao... i ti nisi ništa učinio.“

Moramo dizajnirati sustave koji omogućuju najmanje sposobne --- ne kazniti ih za njihove ograničenja.

Sustav prilagođen korisniku s demencijom mora biti jednostavniji od onog za neurohirurga.
Sustav za nečitljivog farmera mora koristiti ikone, a ne tekst.
Sustav za dijete mora biti igračan, a ne birokratski.

Ovo nije „smanjivanje“. To je podizanje.

Kognitivno skrbništvo: Duznost razumijevanja

Nismo samo korisnici tehnologije. Mi smo njezini skrbnici.
Koristiti sustav koji je ne razumije jest odreći odgovornost. Izgraditi onaj koji je ne razumije jest izdaja povjerenja.

Talmud uči: „Ko god spašava jednu život, kao da je spašao cijeli svijet.“
Učiniti sustav upotrebljivim za nekoga s niskom pismenošću? Spašio si život.
Učiniti ga da radi na starom hardveru u selu bez struje? Spašio si zajednicu.

Ovo nije inženjerstvo. To je služba.

Protivargumenti i teološki odgovori

„Ali korisnici trebaju moć! Složenost je nužna!“

Neki tvrde: „Napredni korisnici trebaju napredne značajke. Jednostavnost je paternizam.“

Ali razmotrite križ.

Isus nije došao kao kralj s vojskama. Došao je kao sluga. Izliječio je slijepce, hranio gladne, učio djecu. Nije rekao: „Moraš razumjeti Levitski zakon prije nego što te izliječim.“

Evanđelje je jednostavno. Kraljevstvo neba je kao sjemenka gorčice.

Složenost ne moć --- ona udaljuje.
Moć nije u broju gumba. To je u jasnoći akcije.

„Ne možemo si dozvoliti da izgradimo savršene sustave“

To je laž o oskudici. Kažu nam: „Nemamo vremena za dokazivanje točnosti.“
Ali imamo vremena. Samo se ne odlučimo.

Trošak jedne greške u zdravstvu, financijama ili prometu mjeri se životima. Trošak pravilnog izgradnje? Mjeri se disiplinom.

Koji je skuplji:

• Izgraditi sustav koji radi 10 godina s 5.000 linija verificiranog koda?
• Ili ponovno graditi ga svakih dva godine jer se srušio pod vlastitom težinom?

Ovo nije štednja. To je gubitak.

„Matematički dokazi su prepolako za Agile“

Agile je trebao služiti ljudskim potrebama --- ne zamijeniti mudrost.

Dokaz traje dane. Greška košta milione.

Koji je brži?

Najbrži način da se izgradi softver jest napraviti ga pravilno od početka.
Najsporiji način jest popravljati zauvijek.

„Ali Bog se ne brine o kodu“

Ne brine li on o alatima koje koristimo?
Ploug? Tkalačka mašina? Štamparski tisk?

Božanstvo je Bezalelu dalo mudrost da izradi Tabernakul (Izlaz 31:2--5). Nije rekao: „Samo napravi da radi.“ On je rekao: „Vidi da sve izradiš prema uzoru koji ti je pokazan na planini.“

Kod je naš moderni Tabernakul.
Njegova struktura mora odražavati božanski red.

Vid: Crkva čistog koda

Sedam stubova svetog softverskog inženjerstva

1. Jasnoća nad složenošću --- Svaki sučelje mora biti razumljivo najmanje sposobnom korisniku.
2. Dokaziva istina --- Nijedna značajka se ne šalje bez formalne verifikacije gdje je moguće.
3. Arhitektonski zavjet --- Sustavi se grade da traju 10+ godina, s nultom tolerancijom za tehnički dug.
4. Minimalizam resursa --- Koristi samo energiju i memoriju nužnu za služenje ljudskoj potrebi.
5. Kod kao pismo --- Svaka linija je sveta. Nema kopiranja i lijepljenja. Nema magičnih brojeva. Nema nedokumentirano ponašanje.
6. Kognitivno skrbništvo --- Dizajniraj za slijepce, starije, nečitljive, siromašne.
7. Elegancija kao adoracija --- Najljepši kod je najjednostavniji.

Molitva za programere

O Gospode,
daj nam skromnost da pišemo manje.
Mudrost da dokazujemo što pišemo.
hrabrost da odbijamo preopterećenje.
suosjećanje za one koji se bore s našim alatima.
I milost da gradimo ne za slavu, već za službu.
Neka je naš kod tiha himna ---
ne vrišta buke,
već šaput istine.
Amen.

Dodatci

Glosarij

• Imago Dei: Teološka doktrina da su svi ljudi stvoreni po slici Boga, što znači urođeno dostojanstvo i racionalnu sposobnost.
• Formalna verifikacija: Matematički dokaz da sustav zadovoljava svoje specifikacije --- slično teološkoj sigurnosti.
• Tehnički dug: Moralna neuspjeh u razvoju softvera gdje skraćenice stvaraju buduće terete.
• Kognitivni teret: Mentalna napor potreban za korištenje sustava. Smanjivanje ga je akt pravde.
• Minimalizam resursa: Načelo da sustavi trebaju potrošiti najmanje moguće energije i memorije da bi ispunili svoju svrhu.
• Elegancija u kodu: Sustavi koji postižu maksimalnu funkciju s minimalnom strukturom --- odražavajući božansku jednostavnost.
• Arhitektonska otpornost: Sposobnost sustava da traje desetljeća bez srušenja, postignuta kroz čistoću i disiplinu.
• Sveta minimalizacija: Duhovna praksa smanjivanja koda na njegovu esencijalnu formu, poštovanje korisnikovog dostojanstva.
• Kognitivno skrbništvo: Moralna dužnost dizajnirati sustave pristupačne svim kognitivnim sposobnostima, posebno ranjivima.
• Božanski red: Vjerovanje da istina i struktura u softveru moraju odražavati red stvaranja.

Metodološki detalji

Ovaj rad koristi teološku hermeneutiku primijenjenu na softversko inženjerstvo. Tumačimo tehničke principe kroz biblijske i patrističke tekstove, koristeći analogijsko razmišljanje temeljeno na kršćanskoj teologiji. Pozivamo se na:

• Augustina iz Hipona u Ispovijestima o prirodi istine.
• Akvinskog i njegove pet načina kao analogije za ispravnost sustava.
• Ockhamovu brisu o jednostavnosti.
• Pustinjske otce o asketizmu i fokusu.

Ne koristimo empirijske podatke da „dokazujemo“ naše tvrdnje. Koristimo moralno razmišljanje --- istu metodu koju su koristili proroci da osuduju nepravdu.

Matematički izvodi

Jednadžba dostojanstva

$D = \frac{1}{C \cdot R}$

Gdje:

• D : Korisnikovo dostojanstvo (bez jedinice, ograničeno između 0 i 1)
• C : Kognitivni teret (mjeren u mentalnim operacijama po zadatku)
• R : Potrošnja resursa (normalizirana na 1 za osnovni sustav)

Maksimiziranje D zahtijeva minimizaciju i C i R. Ovo je ograničeni problem optimizacije s moralnim ograničenjima:

$\text{Maksimiziraj } D \quad \text{s.t.} \quad C \leq C_{\text{max}}, R \leq R_{\text{max}}$

Gdje $C_{\text{max}}$ i $R_{\text{max}}$ su definirani ljudskim kognitivnim i ekološkim granicama.

Metrika složenosti koda

Neka je L = Linije koda.
Neka je N = Broj ovisnosti.
Neka je T = Vrijeme da se razumije sustav (u satima).

Tada:
$T = k_1 \cdot L + k_2 \cdot N^2$

Gdje $( k_1, k_2 > 0 )$ su konstante.
Da bismo smanjili T, moramo minimizirati i L i N. Ovo nije optimizacija --- to je poslušnost.

Reference / Bibliografija

1. Augustin iz Hipona. Ispovijesti. 4. stoljeće.
2. Tomo Akvinski. Summa Theologica. 13. stoljeće.
3. Vilim od Ockhama. Summa Logicae. 14. stoljeće.
4. Izlaz 31:1--5 --- Bezalel i Tabernakul.
5. Izajahu 5:20 --- Zovući zlo dobrim.
6. Matej 25:14--30 --- Priča o talenteima.
7. Luka 10:25--37 --- Dobri Samaritanin.
8. Psalm 19:14 --- Molitva za čiste riječi.
9. Deuteronom 6:4 --- Šema.
10. Jeremija 2:13 --- Pukle cisterne.
11. seL4 Formalna verifikacija projekta. ACM Transactions on Computer Systems, 2016.
12. Boehm, B. Spiralni model razvoja i unapređenja softvera. IEEE Computer, 1988.
13. Brooks, F.P. Mitski čovjek-mjesec. Addison-Wesley, 1975.
14. Dijkstra, E.W. Napomene o strukturiranom programiranju. 1970.
15. Tufte, E.R. Vizualni prikaz kvantitativne informacije. 1983.
16. Sussman, G.J., i Wisdom, J. Struktura i interpretacija računalnih programa. MIT Press, 1984.
17. Pavao XVI. Laudato Si’. 2015 --- O brizi o našem zajedničkom domu.
18. Nussbaum, M.C. Stvaranje sposobnosti: Pristup ljudskom razvoju. Harvard University Press, 2011.
19. Buber, M. Ja i Ti. 1923 --- O odnosnoj etici u tehnologiji.
20. Kallman, D. Etsika umjetne inteligencije. Cambridge University Press, 2021.

Usporedna analiza

Princip	Tradicionalno softversko inženjerstvo	Sveto softversko inženjerstvo
Cilj	Dostava značajki, brzina na tržištu	Ljudsko dostojanstvo, vječna istina
Metrika uspjeha	Linije koda isporučene, brzina	Smanjeni kognitivni teret, minimizirani resursi
Arhitektura	Mikroservisi, kontejneri, cloud-native	Monoliti s formalnim dokazima, minimalne ovisnosti
Testiranje	Jedinice testova, integracijski testovi	Formalna verifikacija, dokazivanje teorema
Održavanje	Popravci, refaktoring	Ponovno izgradnja od prvim principima ako je potrebno
Fokus na korisnika	„Napredni korisnici“	Najmanji među nama
Etsika	Komplijans, odgovornost	Moralna odgovornost, skrbništvo
Vremenski okvir	1--3 godine	10+ godina
Duhovni aspekt	Nema	Centralan --- kod kao molitva

Često postavljana pitanja

P: Znači li ovo da nikad ne trebamo koristiti okvire?
A: Ne. Ali moramo pitati: Da li ovaj okvir služi korisnika --- ili našu udobnost? Ako dodaje kognitivni teret ili trošak resursa bez jasne prednosti, odbijte ga.

P: Može li se ovo primijeniti na AI sustave?
A: Potpuno. AI koji ne može objasniti svoje razmišljanje krši zapovijed da „poznajemo istinu“. Objašnjivost nije značajka --- to je moralna nužnost.

P: Nije li ovo idealistično? Neće li usporiti nas?
A: Da, to će vas usporiti. Ali alternativa nije brzina --- to je srušenje.

P: Što ako moja tvrtka ne brine o teologiji?
A: Tada ne gradite softver. Gradite spomenik entropiji.

P: Kako početi?
A: Napiši jednu funkciju. Dokazi je točnom. Izbriši sve što ne služi osnovnoj svrhi. Zatim to ponovi.

Registar rizika

Rizik	Vjerojatnost	Učinak	Smanjenje
Stakeholderi odbijaju „duhovni“ jezik	Visoka	Srednja	Okviraj principe kao etičke, ljudsko-centrirane i ekonomski racionalne
Formalna verifikacija se smatra prepolako	Srednja	Visoka	Počni s kritičnim sustavima (zdravstvo, financije) i pokaži ROI
Minimalizam smanjuje percepciju „vrijednosti“	Visoka	Srednja	Prikaži slučajeve: WhatsApp (50 inženjera, 1 miliarda korisnika) nasuprot preopterećenim konkurentima
Kulturna otpor prema „jednostavnosti“	Visoka	Visoka	Koristi priče, analogije iz vjerskih tradicija
Pravna odgovornost zbog „jednostavnijih“ sustava	Niska	Visoka	Doku mentiraj izbore kao namjerni, etički odluke
Isčezavanje zbog visokih standarda	Srednja	Visoka	Izgradi zajednice prakse --- sveta odgovornost

Zaključak: Tiha revolucija

Stojimo na rubu novog zavjeta.

Više se nećemo graditi tornjeve koji dosežu nebo, ali ostavljaju siromašne iza sebe.
Više se nećemo zbrkati složenošću s mudrošću, ili preopterećenjem s moći.

Pozvani smo da gradimo sustave koji su jasni, jer je istina jasna.
Da su otporni, jer su zavjeti morali trajati.
Da su učinkoviti, jer su resursi sveti.
I da su minimalni, jer Božanstvo govori šapatom, a ne bukom.

Neka bude vaš kod psalam.
Neka bude vaša arhitektura zavjet.
Neka bude vaš sustav svetište.

I kada korisnik otvori --- neka se ne osjeća opterećen.
Neka se osjeća vidjen.

Jer na kraju, ne gradimo softver da riješimo probleme.
Gradimo ga da častimo one koji ga koriste.

I u čašćenju njih, častimo Onog koji ih stvorio.

„Što god radite, radite s cijelim srcem, kao da radite za Gospoda.“
--- Kolosani 3:23

Amen.