Programming ∀

Playground otmen. Metals bilan hammasi hal bo'lib ketti. Bazida atayin playgroundlarda qilamanda tezroq ishni bitirgani. Xozir esa project setup qilib sbt config qilib chiqguncha ham ancha vaqt ketdi. Barbir o'sha gap Chichqoq chrome !

Firefox ham ishlayabti. Chome chichqoq !

Safarida ishlayabti eng qizig'i.

WTH ? Chrome o'zidan o'zi ishlamayabti. Masalan scala playground ochilmayabti https://scastie.scala-lang.org/

Looplarsiz faqat recursion bilan hayotimni tassavur qilolmas edim. Taxminan 6 oy oldin. Xozir esa loop yozolmaydigan darajaga keldim 🫠 Looplarsiz ham baxtliman ammo Algo & DS qaytarish kerak practice qilmaganim uchun ancha narsalar esimdan chiqib ketibti. Endi qaytangi qiziq ham bo'lyabti harbaloni recursionda qilib o'tiraverman 😊

Juda qiziq Q&A thread topib oldim. https://stackoverflow.com/questions/3870088/a-monad-is-just-a-monoid-in-the-category-of-endofunctors-whats-the-problem

Google meetda qiziq narsa paydo bo’libti huddi zoom kabi ko’rinib turadi. Yaxshi tomoni mic videolar paneli ham bor ))

Godagi channellar haqida: https://www.youtube.com/watch?v=KBZlN0izeiY

Dasturlashdan ham ko'proq qiziq bo'lyabti aynan Matematikadagi bazi fieldlar. 1. Logic(Yuqorida aytilganlar) 2. Lambda Calculus 3. Type Theory 4. Category theory 5. HoTT 6. Topology Umuman pure mathematicsdagi juda ko'p mavzular judayam qiziq va hayratlanarli darajada go'zal. Sekin sekin o'tirib o'rganish kerak skill issuelarni yopish kerak.

Propositional Logic: Propositions and connectives First-Order Logic: Quantifiers ∀∃ Second-Order Logic: Quantifiers over functions and predicates Higher-Order Logic: Quantifiers over functions of functions and predicates of predicates Type Theory: Types Classical Logic: - LEM, DNE, EFQ - Propositional & FOL Constructive Logic Modal Logic Fuzzy Logic Temporal Logic Separation Logic Linear Logic Quantum Logic @keilambda

QIziq narsalar esimga tushib ketdi. Birpaytlar aynan o'zimni runtime tizimimni yozmoqchi edim. Ideya ham bor edi xozirgi docker containerlardan va boshqa container systemlardan ancha farqli dealogyda. Ammo bazi skill issuelarimni yopishim kerakligini tushunib to'xtatgan edim. Mana endi specni o'qib bazi narsalarni tushunyabman sekin sekin. Spec asosida qilmoqchi bo'lganimni sababi runtime va imagelarni bemalol K8s yoki openshiftda ham ishlatish mumkin edi. Agar kimgadir qiziq bo'lsa tanishib chiqishingiz mumkin umuman shu org ichida containerization qanday ishlashi, arxitekturasi haqida ham ma'lumotlar ko'p edi. Research qilishga arziydi chunki youtubeda yo'q bunchalik complicated mavzular. https://github.com/opencontainers/runtime-spec/blob/main/spec.md

AI dasturchilar ishini olishi ertak bo’lsa ham cloud ertak emas 🙂

Afsuski bu paranoya emas !

Yaqin yillarda backendchi degan pozitsiya kamayib ketadi. Bunga asosiy sabab serverless. AWS lambda yoki cloud function kabi narsalarda kichik directionlar yozib o’tiramiz. Bu narsa biz bilgan yoki tushungan low code dan ancha boshqacha. DevOps ham qaysidir manoda button bosadigan soha bo’lib qoladi. Bu haqida maniyam hayolimga ideyalar kelgandi kegin bilsam katta researchlar ham qilinayotgan ekan ))

What P vs NP is actually about https://vasekrozhon.wordpress.com/2024/08/18/what-p-vs-np-is-actually-about/

Multi-tenancy and policy-based framework for Kubernetes. https://github.com/projectcapsule/capsule #Kubernetes #MultiTenancy #PolicyManagement

Shuni tushunib yetyabmanki agar o'z vaqtingizga egalik qila olasangiz shunda boshqa resurslaringdan to'liq foydalanishga imkoniyatlar ochiladi. Taxminan 2-3 haftadan buyon R&D perfomance tushib ketganini sezyabman. Rejamdagi biror narsani qilaman deyman-u ammo mayda narsalar bilan ovora bo'lib qolaman. Kegin etibor berdimki, kuning ba'zi muhim vaqtlarida, qopol aytganda miyya davay ishlimiz degan payitida man miyyaga nagruzka bermayman, kegin miyya zerikadi va keginroq ishlagisi ham kelmay dangasalik qiladi. Distiplina deymizmi yoki masuliyatlilik deymizmi bilmadimu ammo bir narsani tushundim. O'z vaqtimizga egalik qilishni, har bir narsaning kerakligiga yarasha resurslar ajratishni o'rganish kerak. Buni bazilar time management deydi. Manga farqiyo'q nima management. Lekin har bir narsaga ajratilinayotgan vaqt va resurslarni nazorat qilmasligim oqibatida o'zim yoqtirmagan yoki umuman qiziq bo'lmagan qanaqadir fignyalarniga vaqtim ketyabti.

Bazi voqealar miyyangizni boom qivorsa bazilari fiklashga majbur qiladi. Bugun sinfdosh do’stimning to’yi edi. Ammo boshqa sinfdoshim otalari dunyodan rihlat qilibtilar. Janozani qoldirib bo’lmaydi ! Ammo to’yga janozadagi kayfiyat bilan yoki janozaga toydagi kayfiyat bilan ham borib bo’lmaydi. Qadar ekan shunday kunniyam ko’rdik, random holatlar va force majorlar orasida manga eng tasirlilaridan biri shu bo’lyabti. Miyya ham hissiyotlar ham xozir o’lik va o’chiq.

Yegor aka ko’p masalada haq. Konstruktiv bo’lolmaydiganlar bilan baxs qilish foydasiz. Ahir biz ularning shaxsiy psixologi emasmizku hammasini eshitib ohirida tavsiya va motivation beradigan. Tupoylarga tolerant bolsak tupoy bo’lamiz. Biz majburlashimiz kerak, ulardan kelgan inputni keskin filter qilish kerak. Huddi gh issuelar kabi. Yozma ko’rinishda formal izohlab yozishga majburlash kerak. Agar odam o’z fikrini formal ko’rinishda bayon qilolmasa demak u bilan baxs foydasiz.