Programming ∀

Aytgancha agar qiziq bo’lsa 18-noyabrda pgconf.uz ga borselar bo’ladi. PS: Mani o’rnimga ham borilar :)

Yaxshi yozilgan ekan saryogdek ketyabti. Garbage Collection for Systems Programmers https://bitbashing.io/gc-for-systems-programmers.html

Manabuni eshitadurg’on havo bo’lyabtiku🆗 Leetcoderlar linkedlistni reverse qiling tez. https://castbox.fm/va/2532558

Mani fikrimcha yaxshi engineer manashu narsalar ustida ishlay oladi. Shunda uning uchun uncha muncha muammo oson bo’ladi:) Ps: bugunga yetadi tarqal tarqal ! Borib practice qilamiz endi😊

DB logicni repository layerga yozamiz. Shunda database o'zgarsa ham faqat bitta layerda code o'zgaradi. Shunaqa deganlar uchun savol: Database o'zgardimi ? Nimaga o'zgartirmoqchisizlar axir 🙂 O'zi nega DBda logic yozyabsizlar axir ? Cracking Cocking coding interviewers to'plamidan 😊

Manimcha endi nima uchun anavi tresh o’quv markazlarni yomon ko’rishim va hammasini infosigan deyishimni sal bo’lsa ham tushunyabsizlar. O’quv markazingizdagi uztozni bilimidan tayinli community bilimi aniq ustun !

Agar siz FPdagi basic conceptlarni ham o'rganolmayotgan bo'lsangiz demak sizda self study bilan yetarlidan ko'p muammo bor. Aytmoqchi bo'lganim bunaqa narsalarda resurslar ham ko'p communitylar ham yordam beradi. Maqsad FPni qiyin deyishda emas buni o'rniga boshqa har qanaqa narsani qo'yishingiz mumkin qachonki community doyim yordam bersa va ko'p resurslar bo'lsa. Shunday ekan ishoninglar siz o'rganishni istayotgan judayam ko'p mavzularda sizga ustoz kerak emas. Yaxshilab xarakat qilib ustingizda ishlashingiz yetarli.

MAANG inteview masalasiga kelsak. Uyoqda bularni zo'r bilib ishlamay yurgan tayinli impact qilmaganlar qalashib yotibti. Chunki kapitalizm shunaqa, tashqariga hamma narsani zo'r deb ko'rsatishadi ammo ichkari molxonadan iborat)) Nu hotya qiziq projectlar bo'ladi buni rad qilolmaymiz. Lekin ular shuncha yil o'tib karantindan kegingina gibrit yoki remote modellarni ko'rib chiqishdi. Yani rivojlanish va bazi policylarni o'zgartirish masalaalari ularda ancha sekin...

Manimcha uncha buncha kompaniya va projectlar uchun Algo&DS biladiganlar keramas. Chunki default leetcode zadrodlar oddiy relase pipeline haqida tayinli narsa bilmaydi. Engineering culture haqida tayinli narsa bilishmaydi, biror muammoni ayt desangiz formal description yozib berisholmaydi. Bunaqa toifa xozir qalashib yotibti. Qachon so'ngi marotaba formal describe qildingiz muammoni ? Man turli projectlarda va turli rolelarda ishlaganman lekin har safar algo interviewdan o'taman lekin hechqachon in-order tree yozmayaman. Tree kerakmi package... Chunki anashu companiy siyosati shunaqa. Unda manga nafik kere zadrod bo'lib ? Undan ko'ra man formalized relase qilay va downtimelar kamaysin va workflow yaxshilashsin. MAANG qiladiku ? Sizni kompaniyadan algo interviewdan o'tsam MAANG beradigan salary berasizmi ? Bo'lmasa ko'zingizni qattiq yumingda hiring processni kompaniyangiz va projectingizga biroz moslashtiring. Hullas copy paste qilmang sizga keragini qiling. Projectingiz highload bo'lib ketsa maksimum kuber ishlatasizku axir )) Man ko'rmaganman birorta o'rtacharoq companydagi engineerlar harbaloni tuning qilib customized qibtashaganini... Undan ko'ra stackowserflow ishlatishni o'rganilar, githubga issue yozishni o'rganilar. Shu payitgacha Algo DSni yo'l yo'lakay organib kelganamn va man bilgan juda ko'p engineerlar shunaqa qilgan man hurmat qilganlarim ham. Chunki ular R&D qilishni eplay oladi. Oddiy muammoyizni googlega yozolmasangiz nima qialsiz Algo ds haqida o'ylab. DTM ga o'xshaydi hiring processlar ham hamma tayyorlanadi va shablon savollar bo'ladi. Manga qimmatli engineer problem solvingni aniq bir sistematikaga sola olgan engineer. Fundamental bilimlari baqquvat engineer. Git stashni zo'rga eplaydigan leetcoder emas ))

Man bilgan companylarni 99% qismida hiring deyarli birxil. Ammo hamma companiyalar turli domainlarda ishlashadi. Sal g'alati emasmi ?

Overall bizni sohadagilar uchun hiking juda zo'r hobby ekan tavsiya etaman. Agar extreme qiziq bo'lsa unaqalariyam bor. Masalan manga extreme juda qiziq. Lekin hali juda extreme joylarga bormadim, ammo xavfliroq yo'llardan ham yurdik sal adashsangiz sirg'anib tushib ketasiz lekin eplasa bo'ladi. Lekin barbir man uchun eng yuqori daraja bu BASE jumping. Bu yerda tezlik 300-350km/h bo'lar ekan. Ammo bu aniq maqsad emas xozircha maqsad parashutdan sakrash taxminan 7-8km balandlikdan sakrab ko'rishni reja qilyabman. Qisqasi hamkasblarga tavsiya agar balandlikdan qo'rqmasangiz va adrenalin kerak bo'lsa manashu ikki sportdan birini sinab ko'ring. https://youtu.be/WIVQR4O6uFU?si=6x32C-6nZ57YQt87

Adashib haqiqatlarni aytvoray dedim🤭

Lean juda ham elegant qilingan ekan. Masalan haskellda bunaqa emas inheritance juda ko'p type classlarda. 3-rasmda shuni ko'rishingiz mumkin. Buyoqda esa har bir operation uchun alohida typeclass qilingan. Tog'risi hatto typeclasslardagi inheritance ham odamni qiynab qo'yadi bazida.

Xozircha Dependent Type Theoryga keldim lekin juda sodda tushuntirilgan ko'p narsalar. Overall bugun ertalabdan o'zim uchun yangi point of viewlar paydo bo'la boshladi. Tavsiya etaman: https://lean-lang.org/theorem_proving_in_lean4/title_page.html

Bu yerda Js, py va phpchikar haqida bitiklar topdim. Ammo manosiga tushunmadim tillar hayvonga o’xshatilgan deb umid qilaman🤔

Toshlarga bitib keldim FP haqida:)

Umuman olganda 3 yilda anchagina ko’p devops tools chiqib ketibti 🤷 Masalan kuberda qiryuzmillard narsa🥲 Qaysi kerak qaysi kerak emas ajratish qiyin. Bittasi argocd desa bosqasi flux deydi. Bittadi helm desa boshqasi kustomize deydi. Yana devtools yasaydiganlarda 2 trend kuzatdim. 1. Harbaloga Go ishlatishadi. 2. Biror toolni yaxshilash o’rniga yangicha tool qilishadi(xazil va chin) Juda ko’p projectlar tupo marketing qanaqadir jiddiy impact bermaydi🫠 CNCF qilayotgan bazi projectlari yoqdi. Ammo boshqa bazi devtools ishlab chiqaradiganlarni productlaridan extiyot bo’lish kerak. Ancha oldin ko’rgan bazi bordak projectlarim ham biroz tartiblanibti. Ammo monopolyga doir muammolar haliyam actual🥲 Yana monopol certicationlardan tortib OSS contributorlarni rossa ishlatib buyoqda soqqani qilayotgan companylargacha hammasi manashu yerda😏 Hullas devops stuffga qaytganim bir tomondan hursand qilgan bo’lsa boshqa tomondan qattiq o’yga cho’ndirdi)) Juda ko’p devtools scam bo’lib ko’rinyabti ko’zimga🫠 Developerlar skill issuesini yopamiz deb qilishgan.

Yana bir fikr kelyabti. Achitecture must be Open source. Mani fikrimcha aynan manashu narsa learning va optimizing purpose uchun juda ham effektiv. Massalan qandaydir tizim o'zining arxitekturasini ochiq qildi deylik. Aynan shunaqa tizim ustida ishlayotgan boshqalar o'z fikrlarini bildirishlari yoki shunaqa tizim qurmoqchi bo'lganlar o'rganishlari mumkin.

Qiziq maqola ekan, Lean4 bilan salgina tanishganimdan kegin aynan amazon ham shundan ko'p foydalanishiga guvoh bo'lgan edim. Kegin @keilambda TLA+ kabi narsalardan ham foydalanishini aytdi )) Fikrimcha dasturlash sohasida aynan manashunaqa narsalarga extiyojlar ko'payabti. Chunki mavjud bo'lgan traditional yechimlar doyim ham o'zini oqlamayabti. Masalan mani tajribamda bir tizim uchun architecturedan tortib hamma narsani documented qilish va uni doyim update qilib yurish juda qimmatga tushgan edi. U yetmaganidak turli dunyo qarashdagilar turlicha tushunadi. Masalan requirements bo'yicha QA test qiladi ammo fichani bug deydi... Yoki yozilgan testlarda exeptionlar barbir chiqadi. Prooflar bunaqa muammolarning davosi. Ammo ko'pchilik learning curve deb bunaqa narsalardan uzoq turadi. Lekin business uchun aynan manashunaqa yechimlar arzonroqga ham tushadi deb o'ylayman. Masalan architectlar uchun TLA+, Alloy6 kabi toolar juda ham foydali instrument. Sababi siz qanaqadir diagramlar bilan emas balki aniq propositionlar bilan define qilasiz tizimni. Diagramlar sizga aniq muammoni ko'rsatmaydi siz shunchaki UML chizasiz. Ammo UML shunchaki rasm u bilan nimadirni isbotlash yoki tekshirish qiyin yani inson faktoriga asoslangan. Ammo biz 21 asrdamiz, xozirda hamma narsa juda complex bo'lib ketgan. Barcha edge caselar inson miyyasiga sig'maydi. Shu sababdan bizga boshqacharoq narsa kerak. Bu narsalar bizni xato qilishdan saqlashi yoki xatoyimizni ko'rsatishi kerak. Fikrimcha bunaqa point of view bizga ancha qulayroq va effektivroq deb bilaman. TLA+ at amazon: https://awsmaniac.com/how-formal-methods-helped-aws-to-design-amazing-services/ Lean4 at amazon: https://www.amazon.science/blog/how-the-lean-language-brings-math-to-coding-and-coding-to-math