Programming ∀

Shuni tushunib yetdimki agar kimdir yaxshiroq dasturchi bo'lishni hohlasa birinchi dasturlash tili sifatida quyidagilarni tanlamasligi kerak. 1. JS - Tupoy 2. Python - Tupoy 3. C++ - Undan ko'ra Birinchi C o'rganib kegin o'tsa yaxshiroq, bo'lmasa mutant paradigmasi bilan sizni chalg'itadi. 4. PHP - Php fil emas aslida mamont, eski va qoloq til. 5. C# - Java clone shu sabab biratola java. 6. Go - Soddaligi uchun, agar C background biroz bo'lsa ok. Hullas popular scriipt tillardan interpreterlardan uzoqroq turishi kerak. Mani fikrimcha birinchi til va undagi expirementlar davomiligi 1 yildan ham ko'p bo'lishi mumkin. Shu sababdan birinchi tilda yaxshi foundation qilish kerak. Ahir sizning maqsadingiz dasturlashni o'rganishku ish topish emas. Manimcha birinchi til sifatida mos keladigan tillar quyidagilar. 1. C - Sodda ammo yalang'och til, memory nima ekani ham tushunasiz )) 2.

Result of cooking. Bola rezultat qilibtiku ammo xalta qilibti jsda yozib.

Lifehack: Yoqtirgan ichimligizni oling, kochaga chiqib dayding. Bunaqa havo doyimam bo’lmaydi, daraxt ko’p joylarda havo juda zo’r bo’lyabti. Variyantlar: Kosmonaftlar, Paxtakor, G’afur G’ulom va Abdulla Qodiriy metrolar o’rasidagi daraxtzorlar.

Keyingi qismlarda devtoolkits, kanban, agile haqidagi mavzularda mini interviewlar olamiz 😎

Coocking time 🚬

Tog'risini ayting, kanban, agile statuslariga qachalik amal qilasiz ? Man ko'pincha tupurib qo'yaman 🫠 Halal beradi ishlaganiga statuslarni o'zgartirish ham boshqasiyam

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.