Programming ∀

Qanaqa qilib juda katta sonlar ustida arifmetik amallar qilishga qiziganimda aynan manashu GMP bilan tanishgan edim. PS: Lean4 ham shuni ishlatar ekan, GHCi ham shuni ishlatadi. Lekin hammasidan ham qizig'i, algorithms bo'limiga o'tsangiz juda qiziq narsalarga guvoh bo'lasiz. https://gmplib.org/manual/

Hali ko’rmadim, lekin qiziq speechlar bor deb o’ylayman https://kernel-recipes.org/en/2024/

Слайды и видео с Kernel Recipes 2024 опубликованы На прошлой неделе в Париже состоялась ежегодная конференция Kernel Recipes, посвященная разнообразным темам Linux и спонсируемая Meta, Dell, Arm, AMD и другими организациями. Слайды и видео с различных докладов о Linux и open-source теперь доступны онлайн для тех, кто хочет посмотреть интересный технический контент... Читать полностью #Phoronix @linux_potok

Man uchun manashu resurslardan boshlash, nisbatan osonroq bo'lyabti. Practice ham, theory ham bor. Logic and proofs: https://leanprover-community.github.io/logic_and_proof/index.html

Philip Wadler amakining lecturelarini ko'rib chiqaman.

Hullas o'z vaybimni topib oldim, uzoq buildlar payti, Haskell, Lean4 yana boshqa narsalarda random nimadirlar qilib o'tiribman. Kayfiyat yaxshi bo'lsa biratola nimadir o'rganaman yoki yozib ko'raman. Ko'ngil ham taskin topadi, toxicly ham biroz kamayadi 😎

My firs Lean4 code. But I could not fully use it.

Mani odam bo'lishimga sababchi bo'lgan va bo'lmagan barcha uztozlarni tabriklayman va bizdak axmoqlarga sabr qilganlari uchun minnadorman ! Infosiganlar, lo'ttibozlar bundan mustasino. Ular tezroq yo'q bo'lib ketishlari uchun harkuni duodaman !

Agar imperativ tillardagi codebaseni ko’rsam huddi yolg’onlar eshitayotgandayman. Code yozsam yolg’on gapiryotgandayman.

O'qimayman endi 😏 Alternativ topdim 😎 Rassomlik otmen yana code yozamiz bonusga business logiclar ham proof qilinadi 😁

- Bu interfeysmi ? Yoq - Bu abstract classmi ? Yoq - Static classmi ? Yoq Bu typeclass !

Face landmark detection. Qiziq fikr kelgan edi, har qanday berilgan yuz rasmidan landmark asosida har bir sub obyektlarni identity qilib emotionlarni kvalifiaktisya qilish asosida input qanchalik reallikga yaqin ekanini aniqlamoqchi edim. Lekin umuman domainni o'rganib chiqar ekanman bundan ancha effective va chiroyli yechimlarga duch kelyabman. Quyidagi maqolada aynan landmark detection haqida yozilgan: https://arxiv.org/pdf/2101.10808

Alvin Alexander juda kamtar inson, ammo communityga juda katta foyda qiladi aynan teaching bo’yicha. Masalan functional thinkingni birinchi Alvin kitobida tushunganman. FPga qiziqishimni oshishiga katta sabab bo’lgan birinchi author. Bu safar ZIO2 error handling haqida yozgan maqolasi ham juda yoqdi. https://alvinalexander.com/scala/zio-2-error-handling-decision-tree-flowchart/

Haskellerlar alohida elita ! Mavzuga kirishdan oldin sodda qiyos qilaylik. Masalan man dasturlashga endi kirib kelganimda Oracle(PLSQL)chilar alohida elita bo'lib ko'ringan edi... Oradan vaqt o'tib C chilar alohida elita bo'lib ko'rindi. Bu yerda elita huddi qandaydir ustunligi yuqori yopiq club kabi ma'noda desak bo'ladi. Huddiki u yopiq clubdagilar boshqalarni o'zidan biroz pastda deb biladi va mensimaydi. Nega Cda yozadiganlarni elita deb o'ylaganman, chunki C juda ko'p domainlarda ishlatilinadi, masalan systems engineering, kernel development, micro controllerlar vaxaakzo... Shu o'rinda turli optimizationlarga ham ishlatilinadi. Demak Cni yaxshi bilgan engineerlar faqat backendchi emas ! Turli domainlardagi engineerlar yeg'ilgan. Shu sababdan ularning hammasi bilan ham biror konsensus topish qiyin ! Masalan microcontrollerlarga yozadiganlar, database development bilan shug'ullanadiganlardan ko'ra boshqacharoq qaraydi Cga. Haskell communityda ham taqaridan qaragan odamga shunday ko'rinadi. U yerda ham faqa backendchi Haskellerlar emas, compiler engineerlar, akademiklar, quantum computingda nimadirlar qiladigan researcherlar ham ko'p. Demak turli poin of viewlar mavjud, Haskell fundamentida esa bilmizki akademiya hizmati katta, ammo backend ham yoziladi, shunday ekan tabiyki communityda turli domainda Haskelldan foydalanuvchilar serob. Agar biz har qanday communityga kirib anashu texnalogiya ga tosh otsak provakatsiya qilsak albatta javobini ham olamiz. Endi etibor qiling anashu tosh Haskellga otildi. Sizga javob turli domainlarda ishlovchi engineerlardan kelishi tabiy. Shunday ekan sizga siz bilmagan domaindagi mutaxasiss fikri kelyabti. Sizdagi huloasa esa demak faqat manashunga ekan... degan fikr bo'lishi ham mumkin, agarda o'zingiz izlanib ko'rmasangiz. Sizni fikrga turli domainlardan qarshi fikr kelganida buni tog’ri qabul qilsangiz demak bilim paydo bo’ladi, unday bo’lmaganlar esa o’zlari tushunmaganlari sababdan notog’ri talqin qiladilar. Haskell elitasi yo’q, tog’ri olimlar elitasi bor, ammo uyoqda faqat abstract math bilan shug’ullanib Haskellda code yozadiganlar emas.

Miflar mavzusini davom qilamiz, reja bo'yicha: - Haskellerlar alohida elita ! - Frameworchilardagi evangilism(Haddan oshiq muhlislik) - Math o'qish kerak !

Recommended for all niggas who need levelup 😎 https://www.youtube.com/watch?v=Aw5AGYp9QEw

Assalom alaykum!!! UzGeeks'da Frontend kuni! 📆 28-sentabr, shanba kuni Toshkent shahri Raqamli texnologiyalar vazirligi binosida "UzGeeks September2024 Frontend Day Meetup" bo'lib o'tadi. 📚 Meetup quyidagi bo'limlardan tashkil topgan: 1️⃣ "Frontend Application Architecture" - Shahzod Tursunov (Team Lead Frontend, Uzum) 2️⃣ "GPU driven Web" - Muhammadxon Najimov (Software Engineer, AiMono) 🕰 Meetup odatiy ravishda bepul bo'lib, soat 14:00 da boshlanadi, unda qatnashish uchun UzGeeks saytida ro'yxatdan o'tish kerak. Manzil: Toshkent shahar, Mirzo Ulug'bek tumani, Muminov ko’chasi, 4A(Raqamli texnologiyalar vazirligi binosida) Hamkorlar: O'zbekiston Respublikasi Raqamli texnologiyalar vazirligi Raqamli ta'limni rivojlantirish markazi Thinkland 🌐 UzGeeks.uz

Tezroq haskellni o’rganib leanga o’tish kerak. Ps: Qaytaraman FPga qiziquvchilar uchun haskell.uz doyim ochiq😊