?? O'zbekistondagi N1 Akkaunt Savdo Kanali!
‼️ Eslatma: Kanalimizga Joylanayotgan Akkauntlarning Barchasi Turnirda Yutilgan!
? Kanalga Joylangan Xar Bir Akkauntga "SENATOR" Shaxsan O'zi Javob Beradi!
✍️Admin: @deSENATOR_AKKS ✅ Org ‼
©️SENATOR PUBGM
Last updated 1 year, 1 month ago
🔔 Reklama: @Edurekadmin
Ta'limda nima yangiliklar?
O'zbekiston ta'lim sferasidagi eng oxirgi va eng dolzarb yangiliklarini aynan shu kanaldan topasiz!
© Kanaldan to'liq yoki qisman ma'lumot olinganda manba ko'rsatilishi shart!
📩 @Edu_murojaatBot
Last updated 1 month, 1 week ago
Kun davomida eng sara va so'nggi yangiliklar tafsiloti bilan YO'L-YO'LAKAY tanishtirib boramiz.
Voqea va hodisaga guvoh bo‘ldingizmi, videolaringizni bizga yuboring: @yyuzbot
Reklama bo‘yicha: @zorzorads
Instagram sahifamiz: https://bit.ly/3wlZDZH
Last updated 2 weeks, 1 day ago
Endi PHP hater topish qoldi holos.
STREAM!!!
PHP Hater PHPni o’rganishga harakat qiladi.
Qalay?
Biz esa bitta so’z bilan qutilishga harakat qilamiz:
Java?
Menimcha dasturlash haqiqiy “engineering” hisoblanishi uchun zo’r type system bo’lishi shart.
Hozir ko’pchilik dasturlarda “tahminan ko’p holatlarda ishlasa kerak” degan darajaga olib chiqilsa bo’ldi. Buzilib qolsa osmon uzilib yerga tushmaydi ko’p holatlarda.
Lekin bu haqiqiy engineering emas.
Siz yashab turgan uyni ham shunday qursa nima deb o’ylaysiz? “Aka, yashab turavering. Hudo hohlasa yaxshi bo’ladi. Tahminan qo’ldan kelgacha qurdik. Lekin 100% garantiya bera olmaymiz.” desa?
Shuning uchun ham bu narsalar haqiqiy engineeringa asoslanadi. Haqiqiy engineeringda qurilgan narsa ishlashiga isbot bor.
Dasturlashda esa yo’q. Shuning uchun ham dasturlash hozircha haqiqiy engineering emas.
Bu tarafga endi sekin sekin yuryapti.
Automated reasoning, verification, prop testing degan narsalar bor. Ular yordamida yozilgan kodni ishlashiga qaysidir darajada “garantiya” bersa bo’ladi.
Amazondagi men ishlayotgan jamoa ham Automated Reasoning bilan shug’ullanadi. Biz yozgan Cedar tili masalan shu tushunchalardan foydalanib yozilgan. Yani uni ishlashiga matematik isbotlar mavjud.
AI rivojlangan sari ham bu narsalarning muhimligi oshib boradi. AI yozgan kodlarni isbotlash uchun.
Type System ham qaysidir manoda shu isbotlarning bir qismi. Compiler kodingiz ishlashiga type systemdan foydalanib garantiya bera oladi.
Dasturlash tillari haqida hozirgi hulosalarim quyidagicha.
Python, PHP, Ruby -> Spektrumning chap tarafida. Tezda qanaqadir loyiha qilish uchun zo’r lekin kuchli type system yo’qligi sababli jiddiy loyihalar uchun eng zo’r variant emas.
Rust -> Spektrumning o’ng tarafida. Type system juda zo’r, lekin bosh og’riq ko’p. Tilni yaxshi biladiganlar ko’p emas, natijada jamoa yig’ish qiyin.
Go, Kotlin -> Spektrumning o’rtasida. Tez, type system yaxshi, bosh og’riq Rustchalik ko’p emas.
Eminem qo’shig’ini eshitib o’tirsam, polvon kelib:
👶: “dada, ges huz bek”
desa bo’ladimi 🥲
O, code compile bo’ldi. Bo’pti, yaxshi qolinglar.
Bitta gap: victim mindset
Student bo’lish qanday maza! 4 yil vaqting bor. Hohlagan sohada expert bo’lib olsa bo’ladi. Tashvishlar ko’p emas, bosh og’riq kam.
?? O'zbekistondagi N1 Akkaunt Savdo Kanali!
‼️ Eslatma: Kanalimizga Joylanayotgan Akkauntlarning Barchasi Turnirda Yutilgan!
? Kanalga Joylangan Xar Bir Akkauntga "SENATOR" Shaxsan O'zi Javob Beradi!
✍️Admin: @deSENATOR_AKKS ✅ Org ‼
©️SENATOR PUBGM
Last updated 1 year, 1 month ago
🔔 Reklama: @Edurekadmin
Ta'limda nima yangiliklar?
O'zbekiston ta'lim sferasidagi eng oxirgi va eng dolzarb yangiliklarini aynan shu kanaldan topasiz!
© Kanaldan to'liq yoki qisman ma'lumot olinganda manba ko'rsatilishi shart!
📩 @Edu_murojaatBot
Last updated 1 month, 1 week ago
Kun davomida eng sara va so'nggi yangiliklar tafsiloti bilan YO'L-YO'LAKAY tanishtirib boramiz.
Voqea va hodisaga guvoh bo‘ldingizmi, videolaringizni bizga yuboring: @yyuzbot
Reklama bo‘yicha: @zorzorads
Instagram sahifamiz: https://bit.ly/3wlZDZH
Last updated 2 weeks, 1 day ago