JR TwitGram 🥂

Description
Opinions, observations, photos, videos and personal thoughts by Jakhongir Rakhmonov.

Main IT channel: https://t.me/jakhonrakhmonov
Advertising
We recommend to visit

?? 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

2 months ago

Endi PHP hater topish qoldi holos.

2 months ago

STREAM!!!

PHP Hater PHPni o’rganishga harakat qiladi.

Qalay?

2 months ago

Biz esa bitta so’z bilan qutilishga harakat qilamiz:

Java?

2 months, 1 week ago

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.

2 months, 1 week ago

Dasturlash tillari haqida hozirgi hulosalarim quyidagicha.

  1. 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.

  2. 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.

  3. Go, Kotlin -> Spektrumning o’rtasida. Tez, type system yaxshi, bosh og’riq Rustchalik ko’p emas.

2 months, 1 week ago

Eminem qo’shig’ini eshitib o’tirsam, polvon kelib:

👶: “dada, ges huz bek”

desa bo’ladimi 🥲

2 months, 2 weeks ago

O, code compile bo’ldi. Bo’pti, yaxshi qolinglar.

2 months, 2 weeks ago

Bitta gap: victim mindset

2 months, 2 weeks ago

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.

5 months, 1 week ago
We recommend to visit

?? 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