Programming ∀

Miyyamdagi omborda SQL yotibti chang bosib…

Laptop yoki PC umuman device olayotganda aynan RAM ko’proq olavering. Masalan 16GB olasiz. Ammo OS o’zidan 10GB qoladi.

Haskell powered 🤩 https://serokell.io/blog/haskell-in-production

Pulim dofiga bo’lib ketda hammangizni miyyangizga kelgan axmoqona g’oyalarga invest qilaman 🙂

ICTweek nima 🤔 Jamu jam bo’lib nimani qoyil qilishadi ? Umman reason nima shunda ? Texnologiya sohasidagi biznesmi ?

Bugun type level haqida biroz puzzle yeg’ildi 🙂 Darslikdan tashqariga chiqdim bugun ham o’tlab kettim )) https://serokell.io/blog/type-families-haskell

Bu videoni ko'rganimdan kegin hayotimda yangi chapter ochildi )) Bu chapterni "Beauty in purity" deya nomlayman )) Hullas neuroscience da anchadan buyon yechilmagan muammoni category theory bilan qanday yechishgani haqida juda ham qiziq video. https://www.youtube.com/watch?v=4GJ4UQZvCNM

It bo’lur eshak bo’lur AI bo’lmas odamiy ))

GPTga ishonmay qo’yishdimikan 🤔 Yana yulduz bo’laman deyabtiku bu ))

Ho’sh, AI ichidagi matematika man o’ylaganchalik qiyin emas ekan. Man asosan probobility qismlarini ko’rdim. 2 kunlik tanishuv bunaqa hulosaga sabab bo’lmasa kerak deb o’ylagan edim. Ammo asosiy masala biror narsani tushunish. Math formulalarni yaxshi tushunmasam ham asoslar tushunarli bo’ldi ayniqsa juda kichik impelentationlar esa yanayam yaxshi tassavur uyg’oydi))

How much pure logic did the code you wrote come up with? If you say that, I will tell you how clean your architecture is. Bob amakining clean architecture haqidagi fikrlaridan kegin bunday ideologylar birmuncha g'alati ko'rinishi tayin. Lekin unaqa emas. Ammo clean code va clean architecture ideyasiga aynan purity tomondan qarash qaysidir ma'noda ko'proq maqsadli va manfatli. Purityni oshirish uchun esa side effectlarga alohida etibor qilishingiz kerak bo'ladi. Agar shunaqa tomondan qarasak FP bizga anchagina ko'p imkoniyatlarni ochadi. Hamma joyda side effectlar bor, yani hamma modern applarda tonnalab side effect. Ammo shunga yarasha modern yechimlar ham ko'payabti. Bizdan yagona boshlang'ich talab esa bularni o'rganib chiqish.

Zsh ishlatadiganlar buni yaxshi tushunadi 🙂 Ho'sh man cp degan dir ochdim. Ammo unga faqat `cd cp qilib kirishim mumkin )) Ammo aliaslar, commandlar nomi bo'lmagan dirlarni shunchaki ocha olaman. Bu ham huddi dasturlashdagi builtin keywordlarga o'xshaydi. Juda ko'p tillarda unaqa namming bera olmaysiz bo'lmasa semanticni buzib qo'yasiz. Ho'sh endi savol, zsh holatida manashu holat bug bo'ladimi yoki ficha ? Hollywar ochish maqsadim emas. Biz juda ko'p holatda aynan shunaqa muammolarga duch kelamiz va hamma turlicha fikrlashi, yechim qilishi mumkin.

Shunday qilib factorial usecaseni ko'rib o'rganib yana bir mavzuda shuni ishlatilishni ko'rdik, kegin esa aynan shu mavzu asosida qanaqadir muammochaga yechim qildik, Factorial o'rgandik, Binomial coefficientni o'rgandik va Binomial distrubution asosida yechim qildik. Qisqasi katta puzzlening kichik qismilarini tog'ri joylarga qo'yib chiqdik va dofominga bo'kib qoldik hammasi ishlaganidan.

Matematika o'rganishning eng yaxshi yo'lini topdim. Qandaydir masalan oddiy factorial. Buni o'rganish oson ammo biroz qiynlashtiramiz masalan: Binomial coefficientni aynan factorial bilan yasab ko'ramiz. Kegin pascal uchburchagini yasab ko'ramiz. Hullas manashunaqa davom etsak bo'ladi. Biz eng basic narsalarni yasashni o'rganib bo'lganimizdan kegin esa Binomial Distribution bilan aynan biror real muammocha uchun probability qilib ko'rsak bo'ladi.

Bizda ko'pchilik pul topishni o'rganishga qiziqadi. Ammo adashadilar... Hammaning o'z vaji mavjud va hammaga pul kerak. Katta to'y, mashina, uy, yana birbalolar. Ammo oddiy masalalarda esa umuman etiborsizlik qilishadi, masalan sog'lom ovqatlanish... Ayni maqsadi pul topish bo'lgani uchun ham juda katta scam bo'lyabtilar deb bilaman. Masalan hamma trendagi sohalarni infobiznesga aylantirganlar, hamma infosiganlar ayni shunaqalar ustidan soqqa qilishyabti. Bugun bir qancha talabalar bilan suhbatlashib qoldim. Birinchi savolim nega aynan Shu univerga kirdingiz ? Javoblarning hammasi esa notog'ri edi: Kontrakt arzon ekandan tortib chetga chiqish imkoni mavjudligigacha. Kegin biroz trolling qilib yana savol berdim. Kontraktdan tejalgan pulga yaxshi sandiq olmoqchimisiz ? Diplomni chang bostirmaslik uchun )) Suhbatimiz qizidi va aynan uztoz tanlash mavzusida savol berib qolishdi. Savolga javobim: Siz qanday ustoz tanlashni so'rayabsiz ? Lekin manzil va makonda adshdingiz )) Bu savolni universitetga kirishdan oldin berish kerak edi, sizga 4 yil davomida dars beradiganlar kim ekaniga qiziqishingiz kerak edi. Manimcha xozir qanday ish topish haqida ham savol berasiz. Ammo keling undan oldin ish uchun kompitensiyasingiz bo'lishi uchun nimalarni reja qilganingiz haqida gaplashamiz )) Akalar sizni 4 yil vaqingiz bor. Hamma talabalik qaytib kelmaydi u davrlar boshqacha edi deb romantizatsiya qiladi. Sho'xligingiz va hamma axmoqliklar maktab, litseyda qoldi. Endi sizni 4yil emas umirbot talabalik kutmoqda shu sababdan manashu 4 yil umringizni behuda sarflamasdan shundan keyingi talabalik uchun tayyorlanish deb biling. Inson yashashi uchun ko'p narsa kerak emas, lekin ko'p bilim kerak. Puli ko'p aqli yo'qlardan o'rnak olmang )) Ularning puli gapiradi moddiyat shaydolari esa buni haqiqat deb qabul qiladilar. Akalarning biroz asablari buzuldi va hamma gaplar esdan chiqib devorlarni bo'yashni davom qildik )))

Ko’pchilik gitni fichalarini bilmasdan turib asosiy funksiyonaldan tashqari hechnima kerakmas deydi. Doyim qaytaraman shu gapni: Hard learning for easy working !

Intel демонстрирует улучшение до 48% для оптимизированного под AVX-512 PostgreSQL В предстоящем релизе серверной базы данных PostgreSQL 17 есть некоторые начальные оптимизации AVX-512, которые выглядят довольно неплохо согласно находкам Intel... Читать полностью #Phoronix @linux_potok

lifeRoutine d | todayDeath d = endLife | otherwise = eat . sleep . code . lifeRoutine

Yana bir narsani aniq ko’proq targ’ib qilish kerak yani static analayserlar ishlatishni. So’ngi payitlarda exploitlar juda ko’payib ketyabti. Undan tashqari yana ancha sabablar bor…