Savdogarlar o’zi nima sotayotganini bilmaydi ko’pincha.
Biror texnika dokondan aynan falon narsa kerak desam, agar ularda bo’lmasa darxol boshqasini o’tkazishga urinadi.
Biror texnika dokondan aynan falon narsa kerak desam, agar ularda bo’lmasa darxol boshqasini o’tkazishga urinadi.
Vaybkoderlarni boshqa vaybkoderlar qanaqa qilib tech interview qilar ekan-a?
😁13
Programming ∀
Sosreport ideyasi huddi bizni qilmoqchi bo'lgan narsalrga juda o'xshar ekan.
Hammasidan qiyini bizni bollarni mentali yomon buzulyabti.
Hullas crash detectorni tekshirishimiz uchun atayin crash qiladigan testcaselar ishlab chiqishimiz kerak.
Bollar esa siqilyabti chunki ular atayin crash bo'ladigan code yozishlari kerak...
Hullas crash detectorni tekshirishimiz uchun atayin crash qiladigan testcaselar ishlab chiqishimiz kerak.
Bollar esa siqilyabti chunki ular atayin crash bo'ladigan code yozishlari kerak...
😁4❤1
Karantindan kegin bizda ham startuplar mavzusi aktualasha boshlandi va xozirgi ko'rinishga keldi.
Mani startuplarga qiziqishim ham aynan karantindan kegin tugadi )) Sababi oddiy manga startuper bo'lishdan ko'ra vaqtimni dasturlashda ko'roq tajriba qilish va o'zimga qiziq turli mavzularda research and development qilish qiziq.
Xozir bazilarni ko'ngli aynashi mumkin startup desa )) Lekin juda tor domaindagi startuplar mavzusi bizda unchalik katta axamiyatga ega emas xozircha. Buning sabablari ko'p, masalan akademiya va industry yaxshi integratsiya qilinmagani.
Man startuplardan ko'radigan perespektiva aynan tor sohalarga computingni integratsiya qilish. Masalan kimyo, biologiya, fizika kabi sohalarda ham xisoblashga talablar ko'p bo'lgan mavzularni topsa bo'ladi.
Yoki bo'lmasam aynan IT o'ziga aloqador tor doiradagi mavzular bo'lishi mumkin.
Nega tor sohalar actual deyabman ?
Masalan siz marketplace startup qildingiz. Bu yerda sizni raqobatchilar ko'p lekin potensial mijozlar ham ko'p. Bunday loyihani rivojlantirish uchun juda ko'p marketing va boshqa sotsial harakatlar qilishingiz kerak undan tashqari texnik tomondan ham juda ham tezlik bilan yangiliklar kerak. Bu narsalar sizni doyim birqancha jiddiy tradeofflarga solaveradi. Masalan bunaqa savollar: Marketinga katta pul ajratgan afzalmi yoki texnik infratuzulmaga ?
Tor doiralarda esa doyim ham marketing muhim bo'lmaydi. U yerda asosiy masala research va bazida nazariyani amaliyotga aylantirishdan iborat. Buning uchun manashunday izlanuvchilar bilan networking qilish ham kerak. Hodim topishingiz ham oson emas bazida. Qizig'i sizdaka muammo raqobatchilaringizda ham bor )). Bazi mavzularda ishingiz akademiklarga tushadi. Bunday integratsiyalar ta'limga ham yaxshi boost beradi undan tashqari kimdir shunchaki birovning narsasi yoki konsepsiyasini copy paste qilolmaydi chunki mavzu yetarlicha murakkab bo'ladi.
Mani startuplarga qiziqishim ham aynan karantindan kegin tugadi )) Sababi oddiy manga startuper bo'lishdan ko'ra vaqtimni dasturlashda ko'roq tajriba qilish va o'zimga qiziq turli mavzularda research and development qilish qiziq.
Xozir bazilarni ko'ngli aynashi mumkin startup desa )) Lekin juda tor domaindagi startuplar mavzusi bizda unchalik katta axamiyatga ega emas xozircha. Buning sabablari ko'p, masalan akademiya va industry yaxshi integratsiya qilinmagani.
Man startuplardan ko'radigan perespektiva aynan tor sohalarga computingni integratsiya qilish. Masalan kimyo, biologiya, fizika kabi sohalarda ham xisoblashga talablar ko'p bo'lgan mavzularni topsa bo'ladi.
Yoki bo'lmasam aynan IT o'ziga aloqador tor doiradagi mavzular bo'lishi mumkin.
Nega tor sohalar actual deyabman ?
Masalan siz marketplace startup qildingiz. Bu yerda sizni raqobatchilar ko'p lekin potensial mijozlar ham ko'p. Bunday loyihani rivojlantirish uchun juda ko'p marketing va boshqa sotsial harakatlar qilishingiz kerak undan tashqari texnik tomondan ham juda ham tezlik bilan yangiliklar kerak. Bu narsalar sizni doyim birqancha jiddiy tradeofflarga solaveradi. Masalan bunaqa savollar: Marketinga katta pul ajratgan afzalmi yoki texnik infratuzulmaga ?
Tor doiralarda esa doyim ham marketing muhim bo'lmaydi. U yerda asosiy masala research va bazida nazariyani amaliyotga aylantirishdan iborat. Buning uchun manashunday izlanuvchilar bilan networking qilish ham kerak. Hodim topishingiz ham oson emas bazida. Qizig'i sizdaka muammo raqobatchilaringizda ham bor )). Bazi mavzularda ishingiz akademiklarga tushadi. Bunday integratsiyalar ta'limga ham yaxshi boost beradi undan tashqari kimdir shunchaki birovning narsasi yoki konsepsiyasini copy paste qilolmaydi chunki mavzu yetarlicha murakkab bo'ladi.
🆒3👏2❤1⚡1
Yana ham soddaroq aytsak - qiymati emas qadri baland loyihalardan yaxshi startup chiqadi.
Qiymatni suniy ravishta oshirsa bo'ladi ammo qaripastligicha qolaverishi mumkin.
Masalan xozir har qanday AI agentdan oson vos kechishingiz mumkin. Kompaniyalar ham agar hohlasa bazi narsalardan oson vos kechishi mumkin. Birnecha bor qatnashganman A servis o'rniga B servisni integratsiyasida.
Lekin bazi yechimlar haqiqatdan takrorlanmas va ularning qadri baland. Shunchaki vos kecha olmaysiz.
Masalan Absint Lubis eda kompaniyalarini birinchi bor eshityabsiz ammo ularning mijoz yoki hamkorlari ro'yxatini qarasangiz hayratga tushasiz ))
Absint - Critical realtime tizimlarni formal verifikatsiya qilish uchun software ishlab chiqadi.
Lubis eda - Harware design digital systems verification related mavzuda model checkerlar va prooflar ustida ishlaydi.
Ha bunday kompaniyalar qilish uchun shu mavzularda shug'ullanadigan odamlarni to'plash kerak, bizda esa xozircha bunaqa odamlar yo'q desa ham bo'ladi. Fikrimcha markaziy osiyoda ham bundaylar juda kam bo'lsa kerak.
Qizig'i ham shunda, xozirda progressiv rivojlanayotgan paytimizda bunday mavzularga yetib borishimiz imkoni baland. Ammo ishni boshlash uchun kerakli hechnima yo'q, venture fondlar bu mavzularni tog'ri baholab pul ajratmasligi ham mumkin. Lekin long termda qarasangiz umuman tesha tegmagan bozor, researchni o'zingiz boshlaysiz, ochiq maqolalardan o'rganib nimadirlar sinab ko'rsangiz bo'ladi. Hohlasangiz aynan bir mavzuda PHD topib keginchalik tezisni startupga aylantirasiz. Lekin shuncha sayi harakatga arziydi agar yaxshi mavzu topilsa. Bozor yo'q degani paydo bo'lmaydi degani emas, talabni siz paydo qilishingiz mumkin. Agar tor sohalarda bo'lsangiz shundoq ham hamma uchun qilmayabsiz yechimni bu esa o'ziga yarasha katta imkoniyat degani.
Masalan formal methods related researchalar ham juda ko'p sohalarga integatsiya qilingan. Ayniqsa xozirda talab juda oshib boryabti, masalan Lean4 degan tilni LLM bilan integatsiya qilib LLMlar bergan outputlarni tekshirishyabti. O'ylaymanki yana boshqa juda ko'p mavzular huddi shunaqa. Ha bular ancha niche sohalar va katta mexnat talab etadi. Lekin natijasi arziydi chunki qadri baland qiymati suniy ravishta oshirilishi qiyinroq.
Qiymatni suniy ravishta oshirsa bo'ladi ammo qaripastligicha qolaverishi mumkin.
Masalan xozir har qanday AI agentdan oson vos kechishingiz mumkin. Kompaniyalar ham agar hohlasa bazi narsalardan oson vos kechishi mumkin. Birnecha bor qatnashganman A servis o'rniga B servisni integratsiyasida.
Lekin bazi yechimlar haqiqatdan takrorlanmas va ularning qadri baland. Shunchaki vos kecha olmaysiz.
Masalan Absint Lubis eda kompaniyalarini birinchi bor eshityabsiz ammo ularning mijoz yoki hamkorlari ro'yxatini qarasangiz hayratga tushasiz ))
Absint - Critical realtime tizimlarni formal verifikatsiya qilish uchun software ishlab chiqadi.
Lubis eda - Harware design digital systems verification related mavzuda model checkerlar va prooflar ustida ishlaydi.
Ha bunday kompaniyalar qilish uchun shu mavzularda shug'ullanadigan odamlarni to'plash kerak, bizda esa xozircha bunaqa odamlar yo'q desa ham bo'ladi. Fikrimcha markaziy osiyoda ham bundaylar juda kam bo'lsa kerak.
Qizig'i ham shunda, xozirda progressiv rivojlanayotgan paytimizda bunday mavzularga yetib borishimiz imkoni baland. Ammo ishni boshlash uchun kerakli hechnima yo'q, venture fondlar bu mavzularni tog'ri baholab pul ajratmasligi ham mumkin. Lekin long termda qarasangiz umuman tesha tegmagan bozor, researchni o'zingiz boshlaysiz, ochiq maqolalardan o'rganib nimadirlar sinab ko'rsangiz bo'ladi. Hohlasangiz aynan bir mavzuda PHD topib keginchalik tezisni startupga aylantirasiz. Lekin shuncha sayi harakatga arziydi agar yaxshi mavzu topilsa. Bozor yo'q degani paydo bo'lmaydi degani emas, talabni siz paydo qilishingiz mumkin. Agar tor sohalarda bo'lsangiz shundoq ham hamma uchun qilmayabsiz yechimni bu esa o'ziga yarasha katta imkoniyat degani.
Masalan formal methods related researchalar ham juda ko'p sohalarga integatsiya qilingan. Ayniqsa xozirda talab juda oshib boryabti, masalan Lean4 degan tilni LLM bilan integatsiya qilib LLMlar bergan outputlarni tekshirishyabti. O'ylaymanki yana boshqa juda ko'p mavzular huddi shunaqa. Ha bular ancha niche sohalar va katta mexnat talab etadi. Lekin natijasi arziydi chunki qadri baland qiymati suniy ravishta oshirilishi qiyinroq.
Absint
AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software.
⚡3🔥1😁1
Hullas banklar leak bo’lmasa bo’lgani hammasi nazorat ostida.
AGAR supportga yozib 2FA o’chirishmasa.
Steamda ham skinlarim qolmagan mobodoga.
AGAR supportga yozib 2FA o’chirishmasa.
😁11
zoomrada investment bo'limi ochilgan ekan kirib aylanib yurib down qilib qo'ydim.
Kechirilar 😢
Kechirilar 😢
🤣8
Forwarded from shakhzod's lab (Shaxzod Qudratov)
1. Essentials of Compilation - https://t.me/haskelluz/42505/42929
2. Parser Combinators - https://t.me/haskelluz/42505/42930
3. Scrap your Boilerplate - https://t.me/haskelluz/42505/42931
2. Parser Combinators - https://t.me/haskelluz/42505/42930
3. Scrap your Boilerplate - https://t.me/haskelluz/42505/42931
Telegram
kei in Haskell O'zbekiston
[Meetup 2026] Essentials of Compilation: An Incremental Approach
https://www.youtube.com/watch?v=Ni4B8KpRca4
Code:
- Master branch: https://github.com/haskelluz/m26-eocia.ml
- Solutions branch: https://github.com/haskelluz/m26-eocia.ml/tree/lvar
Slides:…
https://www.youtube.com/watch?v=Ni4B8KpRca4
Code:
- Master branch: https://github.com/haskelluz/m26-eocia.ml
- Solutions branch: https://github.com/haskelluz/m26-eocia.ml/tree/lvar
Slides:…
10 soat mazza qilganmiz, meetupga borib bunchalik mazza qilganimni eslolmayman.
O'ziyam juda qiziq bo'ldi.
4 soatda compiler yozdik va 1.5 soat parsing combinatorlar bilan tanishdik yani parsing uchun bir texnikani o'rgandik kegin GHC generics bilan boilerplate codeni kamaytirish haqida gaplashdik.
Essentials of Compilation mavzusini ko'rishni hammaga tavsiya etaman.
O'ziyam juda qiziq bo'ldi.
4 soatda compiler yozdik va 1.5 soat parsing combinatorlar bilan tanishdik yani parsing uchun bir texnikani o'rgandik kegin GHC generics bilan boilerplate codeni kamaytirish haqida gaplashdik.
Essentials of Compilation mavzusini ko'rishni hammaga tavsiya etaman.
🔥10
Programming ∀
Ayniqsa xozirda talab juda oshib boryabti, masalan Lean4 degan tilni LLM bilan integatsiya qilib LLMlar bergan outputlarni tekshirishyabti.
Lean4: How the theorem prover works and why it's the new competitive edge in AI
https://venturebeat.com/ai/lean4-how-the-theorem-prover-works-and-why-its-the-new-competitive-edge-in
https://venturebeat.com/ai/lean4-how-the-theorem-prover-works-and-why-its-the-new-competitive-edge-in
Venturebeat
Why the open-source programming language is becoming a key tool to inject rigor and certainty into AI systems.
Theorem proverlar g'oyasi kechagina paydo bo'lib qolgan narsa emas.
Man bilganim Automath project eng birinchi teorem proverlardan batafsil: https://automath.win.tue.nl/
Umuman olganda bu mavzular asosida juda ko'plab ishlar qilib kelinyabti. Theorem proverlar katta tarixga ega bo'lsada haligacha juda aktiv izlanishlar qilib kelinyotgan sohalardan.
Umuman olganda bu sohalar ham raqamli dunyoning bir ustuni desak bo'ladi. Mavzular atrofida juda ham ko'p qiziq tadqiqotlar mavjud. Hozirgacha SAT solverlar o'rtasida raqobat bor, kim tez ishlaydigan SAT solver qilishga musobaqalashadi: https://satcompetition.github.io/
Man bilganim Automath project eng birinchi teorem proverlardan batafsil: https://automath.win.tue.nl/
Umuman olganda bu mavzular asosida juda ko'plab ishlar qilib kelinyabti. Theorem proverlar katta tarixga ega bo'lsada haligacha juda aktiv izlanishlar qilib kelinyotgan sohalardan.
Umuman olganda bu sohalar ham raqamli dunyoning bir ustuni desak bo'ladi. Mavzular atrofida juda ham ko'p qiziq tadqiqotlar mavjud. Hozirgacha SAT solverlar o'rtasida raqobat bor, kim tez ishlaydigan SAT solver qilishga musobaqalashadi: https://satcompetition.github.io/
automath.win.tue.nl
The Automath Archive
The Automath Archive contains historical articles and other documentation concerning the Automath project, a project aimed at designing a language for expressing complete mathematical theories in such a way that a computer can verify the correctness.