Programming ∀

Bir narsaga qoyil qolamanda bizdagi ko'plab softwarelardagi Security bilan ishlaydiganlarni kallasi ishlamaydi. Nega bilasizmi ? Chunki random parollar qo'yishga majbur qiladi. Bu esa nifiga secure emas. Jazosi bruteforce, deyarli hamma payment aplardan tortib boshqasigacha shunaqa policy qilishyabti o'zlaricha )) Qaytangi odamlarni ma'lum buzilganroq so'zlar asosidagi parollar qo'yishga o'rgatish kerak. Masalan Yemagan password: tLSzvrT14Gr7BCA YeganPassword: Tra$shP@ssword

A Verified Implementation of Dijkstra's Algorithm https://github.com/fetburner/coq-dijkstra

FP bilan tanishgan do'stlaring suhbati.

Fedoradagi nvidia driverlar deb window server crash bo’lib qolyabti ekan. Mobodo sizda gnome desktop shunchaki qotib qolsa, mos versiyani topishingiz kerak. Manda nvidia reinstalldan kegin ishladi xozircha.

cpu split va xorg-x11 😏

Tog’risi nixosdan kegin boshqa distrolar uje asabimga tegyabti. Mana yana bir surprise. Payshanba kuni buzib qo’yudim x serverni😏 undan oldin Bugzilla ishlamagandi. Blyaaa nima bo’lyabti linux distrolarga🥲

Hamma O'zbekning missiyasi O'zbekistonni dunyoga tanitish! Shunda dunyoning missiyasi O'zbekistoni tanimaslikmi ? PS: Mantiqni izlab kelgan hayollar turkumidan.

Man ko'p narsani Trash desam, haterim postni trash desa demak hater trash degani trash deydigan odam.

Bugun kunim stackowerflow va github bilan o'tdi )) Lekin qiziq reference topib oldim. https://stackoverflow.com/questions/2811006/what-is-a-good-buffer-size-for-socket-programming

3. Biror narsada to'xtab qolsangiz, savollar bo'lsa albatta @haskelluz ga yozsangiz ham bo'ladi ))

Internshipga qiziqib rus tili barier bo'layotganlar diqqatiga: 1. Sizlar learningni qilish bilan baravar rus tilini ham o'rganselar bo'ladi. 2. Shu post commentida qiziqadiganlar bir birini topib bitta uzkiy kurugcha qilib birga o'rganib bir birilarga yordam berselar bo'ladi. Tasklarni ham birga tarjima qivolasizlar. Ohirida bir birilarni ishilarni ham review qiselar bo'ladi.

Haskelldan internship bor, agar qiziq bo'lsa bosingizlar. Bu yerda roadmap ham study group ham hammasi bor. Qilgan ishlarizni review ham qildirsez bo'ladi, faqat rus tilida. Nu lekin tavsiya etaman. Bular aniq gradelarga ham bo'lib chiqishyabti va shunga mos resurslar ham bor. Qisqasi yaxshi imkoniyat foydalanib qoling 😊 https://t.me/haskell_tg/21

Keldi o'sha kunlar 😇😇😇

Failureology. Haskellda contribution qilishni hohlagan loyihalarimni hammasida hali biror taskni o'zini boshlamasdan turib muammolarga duch kelyabman. Manashu narsa manga skill issuelarimni aniq ko'rsatib beryabti. Nafaqat fundamental balki umuman biror mavzudagi yetishmaydigan bilimlar ham. Lekin jarayon juda qiziq, masalan Grpclib orqali ancha narsalarni o'rgandim. Ammo bittayam issueni yopa olmadim. Mana shunaqa momentda bilinadi skill issuelar. Nimadir qilishni hohlaysiz ammo dofiga muammo bo'ladi. Kimdir eplolmay tashlab ketadi yana kimdir eplaydi. Ammo o'zim uchun yaxshi hulosalar qila boshladim. Bularni ham albatta share qilaman. Lekin bunaqa muammolar hali boshlanishi nafaqat haskellda umuman dasturlash olamida ! Xatolar bizni tarbiya qiladi ! Nima yaxshiroq va qadrliroq ekanini o'rgatadi !

Jiyanlarim negadir man bilan prank qilishni yoqtiradi. Erinmasdan hamma raqamga call qilib chiqibti. Telegramimdan ham yozib chiqgan odamlarga. Endi o'ylanib qoldim, hamma routine ishlarimni shularga qildirsamikan-a?

Haskeller project manager…

Top 5 keraksiz hodimlar ! 1. HR - Fikrimcha HR umuman kerak emas, shunchaki bitta sodda portal qilinadi va shunga CV yuboriladi, kegin interview boshlanadi, masalan CV review uchun kompaniyadagi birqancha top engineerlarni ovoz berishi bilan hal etsa bo'ladi qolgani esa interview. 2. Scrum master - Umuman keraksiz odam, nima qilayotganini o'ziyam bilmaydi xatto ) 3. Project Owner - Kerakmas ! Owner alohida yana kimdirlar alohida bo'lishi juda absurt. 4. Project Manager - Kerakmas 5. Service Expert/System anatilik - Kerakmas, sababi TZ yozolmaydi yozsa ham juda abstract qivoradi. Alternativ yechim: Aytaylik bitta project bo'r: Bitta manager kerak umrida code yozgan va technical backgroundga ega bo'lgan odam. Bemalol spec yozishni, analizlar qilishni biladi hullas havoni gapirmaydigan odam biznesni ham technical mavzularni ham biladi va eplaydi. Lekin eng asosiy masuliyati shu management bilan aloqador masalalar. Solution architect - Managerni aksi, yani businessni tushunadi ammo technical qarorlar qabul qiladigan va yaxshi technical backgroundga ega odam. Qolgani engineerlar Hulosa: Manager business va dasturning rivojlanishi haqida qayg'uradi, bozorni or'ganadi vaxakazolar qiladi va dastur uchun aniq Spec yozadi. SA uni ko'radi technical ko'rinishga o'giradi spec va real implementation bog'lanadi. Dasturchilar esa realizatsiya qilishadi va ohirida SA review qiladi o'sha MVPni. Tugadi!

Rasmdagi profile egasi quyidagi maqolaning ham egasi: https://arxiv.org/pdf/2409.05977 Hali yoshman deb o'ylaydiganlar uchun...