Speclarni kattaroq masshtabda ko’rsatib bersam balki ko’pchilikga tushunarli bo’lar.

Bugun yaxshi ideya berishgan edi. Permission control engine haqida.

Yani kimga qanday permission bor shularni check qiladigan engine. Uyoqga rule yozasiz va rulelar bo’yicha check qilsa bo’ladi kimni nimaga accessi bor. Masalan amazon cedar degan tilni va bunaqa servisni qilgan: https://docs.aws.amazon.com/verifiedpermissions/latest/userguide/what-is-avp.html

Manashuni minimal versiyasini o’ylayabman qandaydir DSL bilan.

SQLite tomonidan db aynan qanday componentlardan tashkil topgani va qanday ishlashi haqida qisqacha yozilgan ekan. Kimgadir qiziq bo’lsa o’qishni va chuquroq kiromoqchi bo’lsa db engine bilan yozib ko’rishni tavsiya etaman.

Ancha oldin fs integrated Btree va MergeTree qilib ko’rgan edim. Keginchalik bu narsa juda katta foyda berdi yani systemd journal bilan ishlayotganimda. Ko’pchilik DB ishlatishni biladi ammo juda kam odam DBlar ichkarida qanday ishlashi haqida qiziqgan bo’lsa kerak. Qiziqgan bo’lsa ham shu classic WAL, Vacum yana birbalolar.

Hullas oshxonada pishirib ko’ring qiziqroq bo’ladi hayot.


https://sqlite.org/arch.html

Github shunchalik jonimga tegdiki aynan repolarni classify qilib mirror qilishni jiddiy o'ylay boshladim.

Ertalab ishlamagan edi, boshqa narsaga chalg'ib ketdim mayli deb. Xozir kompga o'tirsam yana shu axvol.

Kuniga eng kamida 10-15 requestlarim fail bo'ladi. Pull request emas page load yoki chala yokida osilib qoladi.

hmm, agar bu memory leak bo'lsa eng yaxshi habar

Bir qiziq steriotip bor.

Toshmat aytadi, X tilni o'rgansamikan qanday tavsiya berasiz ?

Ko'p beriladigan javob: Ko'p sakrama bittasini o'rgan!

Yaqingacha o'zim ham shunday javob berganman. Ammo fikrim o'zgara boshladi.

Masalan siz biror tilda qandaydir projectlar yoza olayabsizmi ? Uje production qilyabsizmi ?

Unda yangi tilni o'rganish makesense. Ammo birnecha nuaslarni hisobga olish kerak.

1. Maqsad. Shunchaki qiziq deyish doyim ham yaxshilikga olib bormaydi, biroz qiynalsangiz tashlab qo'yasiz. O'zimda ham shunday. Shu sababli aniqroq maqsad qo'yish kerak, masalan siz falon tilda aynan nimadir qanaqa qilinishini o'rganmoqchidirsiz. Aytaylik rustda error handling. Yoki boshqa tillarda Error handlingni o'rganyabsiz va rustdan boshladingiz.

2. Code yozish kerak. Hullas 40ta maqola o'qiysizmi video dars, conference ko'rasizmi foydasiz agar code yozmasangiz. Buning sababi siz code yozganda o'zingiz detailed design qilasiz. Shunda siz biror darslikda ko'rmaydigan holatlarga duch kelishingiz mumkin aytaylik Result<Result<T>> boshida match qilib yuraverarsiz, ammo savol paydo bo'lishi mumkin balki eng boshidan bunaqa narsaga olib kelmasmiz ? Hullas code yozish oqibatida tajriba ham olasiz va eng muhim qismi shu.

Kuzatuvchilar orasida qancha odam javada yozadi bilmayman. Ammo hamma ham manabu narsani bilmasligi aniq: https://t.me/programming_everyone/4186

Buning sababi esa comfort zone xisoblanadi. Siz falon tilda nima qanday qilinishini bilib olgansiz va siz uchun ananaviy uslubga aylanib qolgan. Endi bu uslubni o'zgartirishni istamaysiz.

3. Demak agar siz yangi til o'rganishni istasangiz eng muhim narsalardan biri bu sizni comfort zonedan tashqariga olib chiqish. Agar siz hamma joyda panic, va throw qilib tashlayotgan bo'lsangiz yangi til esa bunday qilishga bermasa siz xatoliklar bilan ishlashda yangicha qarashlarga ega bo'lasiz.

Yangi til o'rganib eski ish qilish - Masalan siz Javada backend yozasiz va Haskell o'rganyabsiz. Agar haskellda ham backend, crud yozaman desangiz unda biroz zerkib qolishingiz mumkin. Shu sababli boshqa muammoni hal etishga xarakat qilib ko'rish kerak. Masalan Haskellda sodda interpreter yozib ko'rarsiz.

Yangi til, yangi domain sizdagi dunyoqarashni va tajribani yanada oshiradi. Bu ham yana boshqa prismdan ko'rish imkonini beradi.

Hulosa: Hohish, motivation bo'lsa maqsadli xarakat yaxshi. Ammo bu narsaga hamma narsa kerak degan perespektivadan qarash kerak emas. Shunchaki qotib qolmaslik uchun harakat qilish ham yetarli bazida. Shunchaki etibor qilish kerak nimadir processdan qanday natija bo'lishiga. Agar maqsad process bo'lsa unda natija bo'lmaydi. Agar sizda natija yangi dasturlash tilini o'rganish bo'lsa bunga erishishingiz imkoni past deb o'ylayman. Agar sizda natija siz uchun yangi dasturlash tilida qandaydir dastur qurish bo'lsa unda buning foydasi bo'lishi mumkin.

Misol uchun xozir Flix tilini o'rganyabman.

Maqsad nima ?

Maqsadim bu tilda production qilish emas. Asosiy sabab bu effect systemlar haqida o'rganish. Flix effect sistemalar tadbiq qilingan juda yaxshi tillardan biri xisoblanadi. Juda ko'p joyda effectlar bor lib ko'rinishida yoki til ichiga qo'shvorilgan. Flix misolida esa bu narsalar ancha osonlashtirilgan userga. Masalan effect capabilites bor bu narsa turli joylarda cheklovlar qilishga juda ham foydali. Undan tashqari monadlarni juda ham chiroyli moslashtriilgan Scala + Haskell bo'lib ko'rinadi ko'zimga. Yani scaladagi for comperhensions + haskells do notation. Bu narsa juda intuitiv syntaxga sabab.

Sodda aytganda effect sistemalarni sinab ko'rish, tushunish uchun yaxshi start point sifatida filix boshladim. Xozircha bazi oddiy primitiv samplelar yozdim endi sodda log rotation daemon qilyabman. Yani timestamp bo'yicha loglarni qarab chiqadi va eskilarini truncate qiladi.

Hullas maqsad effect sistemalar bilan yaqindan tanishuv, natija flixda log rotator. Bu narsa gitga chiqishiyam shartmas, bu narsaga notes ham kerakmas. Bu narsani aynan bugun yakunlashim ham shart emas. Shunchaki hammasi step by step ketaveradi. Manga Flix da fluend bo'lish ham qiziq emas.

Eng qiziq joyini aytaymi ?

Agar qachondir o'zim biror dasturlash tilini ishlab chiqsam va unga effect sistema qo'shishni istasam albatta flixdan biror g'oyani olaman.

Agar biror projectimda effect sistemalarga aloqador bazi muammolarga duch kelsam o'sha projectda ishlatgan ekotizimimga flixdagi g'oyani port qilishga xarakat qilib ko'raman.

Yani bunday researchlar manga long termda ham foyda beradi. Bazida biror dasturlash tilini o'rganishdan maqsad production qilish bo'lmasligi ham mumkin. Yani hamma narsa faqat production uchun, biznes uchun bo'lishi shart emas. Manashunday expirementlar sizni formada ushlab turadi, rivojlanishga yo'l ochadi. Muhimi shu maqsadingiz qandaydir output bo'lishi.

Absulute kitob.

Blya macos update qilganimdan kegin accountlardan signout qivoribti.

Absolute trash.

Full linuxga qaytish davrim kelyabti shekilli.

Aura farm time qilamizmi ?

O'zimiz qilgan va o'zimizga yoqadigan turli codelarni share qilamiz.

Ideya bunday. Masalan siz qandaydir muammoni hal qilayotganda yoki ishlayotganda umuman ish davomida turlicha code yozgansiz, turlicha qarorlar qilgansiz. Manashu narsalarni ulashing. Farqiyo'q balki qayerdadir juda creative yechim qilgandirsiz, balki code style chiroyli chiqgandir. Balki murakkab muammoni yechimini qilgandirsiz. Balki juda ham magic code yozgandirsiz. Muhim emas, muhimi bu codeni o'zingiz yozgansiz va manashundan kayf qilasiz.

Har qanday dasturlash tili mumkin. Faqat oldin biroz context bering va vaziyatni tushuntiring.

Eng muhim qismi esa hechqanaqa AI ishlatmay qilingan bo'lishi kerak.

Shunday tajriba almashamiz va discussion qilamiz.

O'zim boshlab beraman.

Hullas biz ishlatadigan database libraryda db entitiylar quyidagicha tipda bo'ladi

Entity Key Val

data Entity record =
    Entity { entityKey :: Key record
           , Entity record -> record
entityVal :: record }

Database call uchun esa library boshqa ORMlar kabi methodlar taqdim qiladi, masalan get, insert vaxakazo.


Masalan sizda User va Post degan entitylar bo'lsa ikkisiga ham bemalol get yoki getEntity ishlata olasiz. Lekin bu narsani harsafar qo'lda yozib yurish kerak. Masalan

get :: (AppState, MonadIO m) => UserId -> m (Maybe (Entity User))
get i = withPool $ DB.getEntity i

get :: (AppState, MonadIO m) => PostId -> m (Maybe (Entity Post))
get i = withPool $ DB.getEntity i

Codega etibor qilsangiz buyoqda faqat tiplar farq qilyabti. Qolgani birxil. Bu narsa ortiqcha code degani.

A manda esa boshqa ideya paydo bo'ldi. Bizda faqat tiplar farq qilyabti ekan, nima uchun biz funksiyaga aynan qaysi tipga ishlashi kerakligini tashqaridan aytmaslik kerak ?

Haskellda bu narsani qilsa bo'ladi RequiredTypeArguments bilan. Yani getById funksiya yozamiz va funksiyamiz id parametridan tashqari yana bitta argument qabul qiladi, bu argument esa tip, yani biz funksiya qaysi tip ekaniga qarab ishlaydi.

Shunda biz getById (type Entity User) i qilib userni get qilishni agar bizga post kerak bo'lsa unda type (Entity Post) berib post entitydan get qilishni amalga oshira olamiz.

Endi harsafar bir funksiyani turli tipga qo'lda yozmaymiz balki bitta funksiyani aynan berilgan tipga qarab ishlaydigan qilamiz va qaysi tip bilan ishlashi esa argumentda beriladi.

Rasmda full implementation va bu kecha qilindi, endi common primitivlarni manashunday qilib chiqishni boshladim get, select, insert.

Hozircha esimga kelgani reference qilishga https://github.com/AbduazizZiyodov/gustav/blob/legacy/python/gustav/parser.py - interpretator (legacy python implementatsiyasi)

* Pipe operator

g(x) |> f(y) = f(y, g(x))

O'zimga qiziq bo'lgani uchun qilgandim, pipe operatorini ko'rganda mavjud parse call degan funksiyani rekursiv chaqirib. Pipeni korsa, callni qayta chaqiradi hozirgi callni astsi bilan (m: g(x) va keyingi functioni parse qilguncha argument listiga hozirgi g(x) callni ASTsini append qiladi. Ishlayapdi, lekin object instance'larini metodlarini pipe qilganda aybi bor beqqa.

* Ternary expression

* Ishlatilmagan variable'lar haqida warning

Buyurtma rostdan juda tez keldi.

Ammo endi ham savollarim borda.

Blya, kechikmaslik imkoni bor ekan nega doyim kechikadi ?

Mana endi hammasi ishlayabti fudbol ko’raman deb ishlarni tez yopishgan.

Mani ichimdagi yovuzim esa aytyabti. Davay yana 10ta buyurtma qil erta kelishidan kayf qilaylik.

Forgejo orqali loyihalarimizga hissa qo‘shing!

Open Source loyihalarimiz uchun asosiy Git platforma sifatida GitHub’dan o‘zimizning Forgejo platformasiga ko‘chdik. Endilikda barcha yangi hissa qoʻshish va hamkorlik ishlari Forgejo orqali amalga oshiriladi.

Forgejodan foydalanishni boshlash uchun:

1) https://git.oss.uzinfocom.uz saytiga kiring.
2) “Kirish” tugmasini bosing.
3) “Uzinfocom Open Source orqali kirish (Keycloak)”ni tanlang.
4) Ochilgan sahifada “Ro‘yxatdan o‘tish” tugmasini bosing.
5) Akkaunt yarating.
6) Ro‘yxatdan o‘tgach, Forgejoga Keycloak orqali qayta kiring.

Shundan so‘ng siz issue yaratishingiz, pull request yuborishingiz va loyihalar rivojiga o‘z hissangizni qo‘shishingiz mumkin.

Shuningdek, git.floss.uz platformasi o‘z faoliyatini yakunlayotganini ma’lum qilamiz. Shu sababli, yaqin vaqt ichida Codeberg platformasiga ko‘chirilishi rejalashtirilgan.

AI slop vs Human slop.

Vaybkoding atrofidagi generatsiya bo'lyotgan musorxona o'z yo'liga ammo human slop ancha muammoli.

Chunki odam doyim ham o'z ustida ishlashni, xatolarini tan olish yoki qaytarmaslikni doyim ham istamaydi. Ish ketyabti hammasi yaxshi.

AI modellar xatolarni o'rgana olyabti u ijodkor yoki creative emas.

Inson creative, ijodkor kashf eta oladi.

Ammo yillar davomida xatolarni o'rganmasdan birxil uslubda yozilgan kodan qanday hulosa qilish mumkin ?

Ko'pchilik code muhim emas deyishadi. Muhim, chunki siz qilgan ishni natijasi kod va u kod turlicha bo'lishi, turli muhitda turlicha ishlashi mumkin. Tanlovlar ham juda ko'p.

Shu kodagi turli qismlar, mexanizm va abstraksiyalar esa aynan turli muammolarni hal etish uchun chiqarilgan. Vaqt o'tadi, hamma narsa eskiradi huddi shunday oldingi yechimlar ham. Ammo odamni o'zgarishi qiyin.

Agar siz yangi til yasab uni semantikasini odamga tushuntirsangiz uni hamma ham qabul qilmaydi. Buning sabablari ham ko'p, bazilar qiziqib ham ko'rmaydi.

AI sizga counter example berishi mumkin, agar siz shuni istasangiz albatta. Faqat unga enagalik qilish kerak. Nega AI xato qilsa siz erinmay detailed enagalik qilasiz bilasizmi ? Buning sabablaridan biri odamlarga enagalik arzimasligi. Yani siz nimadirni aytasiz, eshmat esa eshitadi.

Eshmat sizdan so'raydi falon narsa nima deb. Javob berasiz va bu suxbat unutiladi.

AI esa qaysidir contextda shu suxbatni mention qila oladi.

Masala eshmatning qiziqish doirasida deysizmi ?

Bo'lishi mumkin. Eshmatning o'ziga yarasha "Qadiryatlari" "G'ururi" bor. Shu sababli siz unga nimadir xato ekanini aytsangiz doyim ham qabul qilishni istamaydi. Chunki uning prioritetlari umuman boshqa siz esa ortiqcha noqulay vaziyatga solyabsiz yoki halal beryabsiz.

Haqiqat nisbiy bazida. U g'alaba qiladi deb umid qilishdan mano ham yo'q. Bu haqida o'ylab izlanish ham juda absurt narsa.

AI slop qo'rqinchili emas, shunchaki Human slop oloviga quyilgan benzin kabi jarayon.

HTTP mikkimaus.

https://en.wikipedia.org/wiki/List_of_HTTP_status_codes

Hullas RFC balo battarlar bilan hamma joyni standartlashga urunishadi. Ammo kimdir kelib standartlarizga tupurib ketadi.

Bu narsa doyim bo'lgan. Shunchalik darajadaki xatto kundalik hayotda ko'p kuzatiladi. Standartlik va nostandartlik tushunchalari shunchalik nisbiyki bazida standartga amal qilish munofiqlikga ham o'xshaydi va huddi shunday standartga amal qimaslik ham.

Standartni esa kimni quvvati bo'lsa anashu qo'yadi. Albatta o'ziga tog'irlab qo'yadi )) Masalan cloud ekotizimlar qurishni research qilayotganimda juda ko'p standartlar Amazon, Google tomonidan yoki o'shayerdagi odamlar tomonidan qilinganini ko'rgan edim. Masalan bunaqa temalar: https://www.iso.org/ics/35.210/x/
Masalan siz qandaydir container yoki VM sistema qilsangiz agar standartga javob bermasa butun infratuzulmani o'zingiz qurishizga tog'ri keladi. Lekin standartga amal qilsangiz juda ko'p overheadlar kutib turibti sizni.

Xozir esa yanada yaxshiroq ko'ryabmiz bu mavzuni masalan o'sha MCP protocoli yoki anavi TOON, TSON vaxakazolar. Masalan CSV bor edi. Yani bu narsalarndan maqsad doyim ham nimadirni hammaga tushunarli yoki yaxshiroq qilish emas balki o'ziga qulay qilish yani biznes orieted.

Bu narsa doyim actual bo'lgan codeclarni eslang. VLC + ffmpeg bo'lmagan payitda Apple va windows da alohida playerlar bo'lgan. Masalan avvalari windows playerda ochgan videoni appledagi quickTime ocholmas edi. Bu yerda tarix bilan batafsilroq tanishsangiz bo'ladi: https://youtu.be/NjqacgFnSAo?si=NMqHQmAmgkrW1ltm

Standartlarga amal qilish doyim ham muammoyingizni hal etmaydi. Maksimal impact bu sizga beriladigan infratuzulma. Masalan http orqali siz har qanday tilda yozilgan, har qanday platformada ishlaydigan dasturlar o'rtasida data transfer qila olasiz. Masalan browser va sizni custom linux serverizda ishlayotgan backend dastur. Shu sababli ham ko'pchilik standartlarga bevosita yoki bilvosita follow qilishadi. Ammo texnik tomondan qaraganda bu narsalar umuman muhim emas, agar Terry Davis biratdaka bo'lsangiz hamma narsa qilishingiz mumkin.

Hamma bilan kelisha olamizmi?

Ommaviy kelishuv qiziq masala. Masalan hech o'ylab ko'rganmisiz sizning networkda siz bilan fikrlari mos keladigan odamlar qancha ?

Albatta bunday statistikani olishni ilojisi yo'q, chunki hamma odamlarda juda ham turfa dunyoqarash va insonlar bilimi mavzusi juda ham katta. Bir kishini networki darajasida qaralsa ham xisoblash qiyin va hammaning bilim darajasi farqli.

Ammo insonlar kelishadilar. Yani sotsial integratsiyalar hammada bor va u turlicha ko'rinishda bosqichda vaxakazo. Kelishuvlar sabablari turlicha. Ammo bu yerda prioritetdagi narsalar ahamiyatga ega deb xisoblayman. Yani insonlar bilan qachon kelishuv juda yaxshi bo'ladi ? Qachonki mavzular juda cheklangan tor doirada bo'lsa. Aytaylik O'zbek taomlari. Bu borada bizni mitaqadagi juda ko'p odamlar bilan kelishuv qilish nisbatan oson, lekin shunda ham prioritetlar turlicha yani turli regionlarda ovqatlar ham turlicha tayyorlanadi va o'ziga hos ta'mga egadir. Ammo kelishuv shansi balandroq sababi ovqatni mazasi, maxsulotlar sifati va ularning organizmga beradigan foyda/zarari taxminiy. Undan tashqari boshqa tanlovlar maxsulot miqdori nisbati vaxakazo, yog'li go'sh yog'siz go'sht yoki yashil yoki qizil bulg'ori vaxakazo deganlaridek.

Kelishuvlar o'ziga yarasha qiziq narsa amaliyot desa bo'ladi chunki hamma narsa 1:1 match bo'lmaydi doyim ham. Bunda esa kompramislar qilinadi A va B. Yani ikki tomon o'zaro murosa uchun talablarining bir qismidan vos kechadi. Intelektual jamiyatda murosa qilish kundalik sotsial amaliyotlardan desak ham bo'ladi. Biz insonlar bilan komunikatsiya qilamiz va turli kelishuvlar jarayonida qaramaqarshilik chiqsa kompramisga borishimiz mumkin yani talablarimizning bir qismidan vos kechishga tayyor bo'lishimiz yoki bizga kelgan arugmentlar asosida o'z talablarimizni qayta ko'rib chiqishimiz mumkin.

Ha sezgan bo'lsangiz talablar kelishmovchiliklardagi bir omillardan biri xisoblanadi. Prioritetlar esa manashu talablarning darajasidir. Talablar esa ma'lum maqsadlar ustiga quriladi talabni o'zi ham xato bo'lishi mumkin yani maqsadga erishib bo'lmasligi mumkin. Yoki bo'lmasa talabni qondirish juda ham ko'p resurs sarf qilishi talabni qiyinlashtiradi. Resurs yetishmovchiligi esa boshqa talablarga sabab bo'ladi bu degani maqsad uchun maqsasd.

Endi qiziq narsa. Keling manashuni dasturlash tomonga buramiz. Endi savolni qayta beramiz. Ho'sh dasturlashga aloqador mavzular doirasida hamma dasturchilar bilan kelisha olamizmi ? Savolni javobi o'zi bilan.

Bu talablarga bog'liq aniqrog'i maqsadlarga. Ammo maqsad kelishuv emas kelishuv jarayon.

Kelishmovchiliklar muammo emas. Bu ham jarayon natija emas. Kelishmovchilik jarayoni kelishuvga nisbatan negative jarayon. Yani bu holda ham kelishuv potensiali yoki kelishmovchilik potensiali mavjud.

Endi bu jarayon natijaga aylanishi uchun yoki natijaga olib boradigan jarayonga aylanishi uchun xarakat qilish kerak. Buning uchun kerakli instrumentlardan biri munozara haqida aytib o'tdim. Ammo bu doyim kerakmi ? Fikrimcha bu narsa aynan qanday tarafdan qaralishiga bog'liq. Masalan political or human relationship ? Chunki siyosatda insonlar munosabati yo'q. Bu degani agar hamkasb do'stingiz bilan ishga aloqador mavzuda munozara qilsangiz boshqa. Hamkasbingiz bilan ishdagi muammoni hal etish yuzasidan qilingan munozara boshqa. Ikki holatda turli natija olishingiz ham mumkin.

V3 microarchitectureni adashmasam 2 soatdan buyon build qilyabti🥲