Programming ∀

Manashu reponi salgina ertaroq topganimda edi... Ha mayli qadar ekan )) https://github.com/intel/pcm?tab=readme-ov-file#pcm-api-documentation

Shunaqa narsa kelsa report qililar ! Scam qilishyabti…

Mani yagona qiynagan narsa aynan competitive programming uchun C++ monopoliyasi. Agar hamma platformda birxil yechim qilaman desam C++ 11 tanlab bosishim kerak bo'lyabti. Haskell codeforcesda bor ammo leetcode yoq. Scalada ham versiyalar farqli ekan. JS/TS limitlarga yetib qo'yabman(ishlagandan mano yo'q). Boshqa tomondan Haskellda qilsa ham bo'ladigan darajada. Ammo unda imperative yozishniyam o'rganishim kerak. Bu katta barier bo'lyabti. Shu bilan birga eki GHCi. Hullas haskellni o'zim uchun qayta kshf qilar ekanman cp uchun. Fikrimcha bunga xozirgi skill levelimda kompitentsiya yo'q. Aynan CP uchun C++ o'rganib bosish kerak. Autocomplatelarsiz ham yoza oladigan darajada.

Absolyutno hechkimman 🫠

I’m no one.

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 🙂