Programming ∀

Ba'zi tanishlarim ChatGPT'ning matematikadagi ko'rsatkichlari nisbatan pastroqligiga qarab, yuqoridagi xabarga tanqidiy qarash bildirishdi. Ta'kidlash joizki, AlphaProof yoki AlphaGeometry modellari, GPT'dan farqli ravishda, umumiy "language model" emas balki matematik isbotlashga ixtisoslashgan model hisoblanib, ularga masalani tushuntirish uchun maxsus funksional dasturlash tili - Lean ishlatiladi. PS: Lean dasturlash tili (proof assistant) ning kelajagi borga o'xshaydi. Birinchidan, Microsoft Research xodimi tomonidan boshlanib hozirda boshqa xomiylar topishga ham ulgurgan. Ikkinchidan, https://lean-lang.org/publications/ sahifasida aynan Lean dasturlash tili bo'yicha yozilgan ishlarni ko'rishingiz mumkin. @lazizabdullaev

Agar qanaqadir product companyga qo’shilsam boshlig’im nari borsa codingdan pensiyaga chiqgan engineer bo’lar ekan. Undan o’rnak olsam maksim 10 yildan kegin pensiyaga chiqaman. O’zish uchun mandan ko’proq humanism talab qiladi. Agar biror orgga qo’shilsam va u yerdagi boshlig’im crazy bo’lsa. Demak manam shunga xarakat qilamam. O’sish uchun mandan crazy skill talab qilinadi va skill issuelarim bilan yuzimga shapaloq urishadi :) Huddi bola tarbiyasiga o’xshar ekan. Sizni corp tarbiyalasa korparat bo’lasiz. Sizni crazy community tarbiyalasa shunaqa bo’lasiz.

Xozir shu haqida gaplashgan edik 😂😂😂 Qarasak chiqdi. Suxbat: https://t.me/rustlanguz/14749/27307

Rust 1.80 https://blog.rust-lang.org/2024/07/25/Rust-1.80.0.html

Kechagi esga olingan toifadagi “hamkasblar” CRUDologydan tashqariga chiqganida.

OOP haqida.

Tresh markazlardagi kunlik darsni shunaqa tassavur qilaman. https://www.youtube.com/watch?v=uc6M4fffw8U

Hullas akalar vahima qilib dramma qilmasdan jimgina darsingizni qiling. Hammasi gapiraveradi siz o’zingizga javib bering )) Slabok bolishni hohlamasangiz shunga yarasha xarakatizni qilavering 🙂 Hammada learning turlicha. Bazilar tez bazilar sekin o’rganadi estimationlar yemagan narsa. Axmoq gumanitarlar oylab topgan safsata.

Ko’pchilik tildagi qanaqdir syntax sugarga ham hursand bo’lib ketadi. Ammo ishoning ular holva :)

So’ngi so’z: Kerak bo’lsa quantum computingdan ish topasiz agar slabok bo’lmasayz va hammayoqni unwrap qilmasayz :)

Qanaqadir non standart sohada ish topishni hohlasez mehnat qilish kerak. Masalan Rust. Aynan xozir haypda. Lekin sayoz bilimlilar hammayoqni unwrap qilgan :) Yaxshi rustocean bunaqa candidateni ko’rib reject beradida. Kegin boshlanadi drammalar, rustda ish yoq community toxic LGBTQ+ vaxakazo bla bla bla

Ish topa olmaysan ! Shu gapni doyim eshitaman. Nega bunaqa gaplar sababsiz ishlatilinadi ? Boya bir tanishim aytyabti. San qiziqayotgan mavzularda ish topolmaysan. Sababi hamma joyda ham kerak bo’lmaydi. O’shanda aytgan fikrimni yana aytib ketish o’rinli deb bildim. Hosh, o’zim ishlab yurgan stackdq aynan nodejsda ish topolmayotgan yuzlab hamkasblarimni ko’rdim. Tech interview uchun topshirilgan CVlar orasida internshipdan seniorgacha hamma levellar reject olganini ko’rdim. Reject uchun ham juda ko’p sabablar bor. Shuni bilamanki bu holat faqat nodejsda emas. Bu kategoriyadagi hamma til/platformlarda bor. Hamma bilgan popular joylarda qaytangi hammasi kasha bo’lib yotibti. Raqobat bor lekin yo’q. Nodejschi new gen nest/expressdan uyog’iga o’tolmaydi. Communitylar betartib va zerikarli. Natijani emas sabablarga ozgina ko’z tashlaymizmi ? Holat tushunarli bo’lishi uchun jusa ko’p kuzatiladigan holatlarni olamiz. Tipichniy PHPchilar til emas frameworklar ustida baxs qiladi. Eng qizig’i hamma frameworklari bir ishni bajaradi. Ularni chegarasi async PHP. Tipichniy pitonchilar. Async code yozgani bilan nima bolayotganiga qiziqmaydi. Ko’pchiligi pitondagi liblar bilan nimadirlar qilib ML/AI/Data engineer statusida bovoladi. Ularning chegarasi o’z qo’llari bilan biror kichkina qismning analogini yozish. Tipichniy nodejschilar npmdagi liblarga ishonadilar. Raqam juft ekanini bilishga ham lib, baxona esa community katta. Kattalashyotganida hissangiz bor desa tushunmaydilar. Ularning chegarasi liblarsiz concurrent code yozish :) va mutationlarsiz code yozishlari. Java/C# chilar instant legacy. Ularning chegarasi o’zlari biror tayinli narsa o’ylab topishlari 😀 Bu hammaga ham tegishli emas ammo communityning katta qismida shunaqalar yeg’ilgan. Raqobat bor lekin yo’q ekaniga sabab ham shu sayoz bilimlar )) Industry faqat copy paste and CRUD emas. CRUDchilikda talablar ham shunga mos bo’ladida ))

Thunks, Sharing, Laziness: The Haskell Heap Visualized – Joachim Breitner https://www.youtube.com/watch?v=I4lnCG18TaY

Yaqin orada FPchi akalar ham kopayadi mentorlar relocate qilsa 😇

Yandex va tinkoff stajirovkalarida scala ham bo’lishi mumkin 🙂 Tinkoff kelsa balki Haskell ham bo’lar 😇 Endi aniq bosish kerak. Aynan bankga doir bo’lmagan projectlar ham bo’ladi. Masalan tinkoff travel scalada yozilgan.

Бета-драйвер NVIDIA 560 для Linux имеет улучшения Wayland и по умолчанию открытые модули ядра GPU NVIDIA выпустила новую бета-версию, чтобы вы могли протестировать все последние функции и исправления. Итак, вот что нового в версии бета-драйвера NVIDIA 560.28.03 для Linux. Читать полностью #GamingOnLinux @linux_potok

Bilgichlar bormi ? Xozir bazi applarda screenshot olsa qora bo’lib qolyabti. App o’chirib qo’ygan shu imkoniyatni. Shunaqa narsani disable qilsa bo’ladimi ? Appdan screenshot kerakda.

Oxirgi paytlarda 1-2 ta o'zi ham tushunmaydigan conference yoki hackatonlarda qatnashib, o'zini zo'r mutaxassis deb hisoblaydiganlar ko'payib ketayapti. Umrida bir qator kod yozmagan IT project managerlar, matematikani bilmaydigan AIchilar, bittagina prezentatsiya bilan falon so'm yutib olgan ixtirochilar, umrida startup qilib ko'rmagan startup maslahatchilar, ... . 2-3 tasi bilan gaplashib ko'rdim, nuqul osmondan keladi, lekin gapida ma'no yo'q. Lekin shular mediaga chiqib oddiy xalq tushunmaydigan 2-3 ta termin qo'shib gapirsa odamlar "o'g'lim/qizim shunga o'xshasin" deb comment yozadi. Menga nima, o'zlarini xursand qilib yuraversin deyman-u, lekin hamma e'tibor shularda bo'lgani uchun aslida qo'lidan ish keladigan yoshlar soyada qolib ketayapti. Aslida shu qo'lidan ish keladigan qatlam haqli bo'lgan imkoniyatlar haligi "mutaxassis"larga berilib, bir tiyinga qimmat ishlarga sovurilib ketayapti. Bu postni ko'rolmaslik deb hisoblasangiz, mayli, shunday bo'lsin.

Qayerdan bunaqa shitposting idealar keladi bilmadim ( Aynan kuryerlik qiladigan odamlar bilan gaplashsangiz. Bir gapni aytadi. Aka yandexmi, uzumi, expressmi tupurganim bor hammasiga. To’lovni yaxshi qilsin tamam. Uyga biror taom zakaz qilsam ham bazida boshqa kompaniya sumkasi bilan kelishadi kuryer akalar. Undan ko’ra eshik tagiga buyurmani qo’yib eshikni taqqilatib ketish madaniyatini o’rgatsa yaxshi bo’lar edi hurmarli “gumanitar”larimiz. Qabul qiluvchi diyim turlicha holatda bo’lishi mumkin.