Yana bir qiziq narsa topib oldim.

https://itsfoss.gitlab.io/post/sosreport--a-tool-to-collect-system-logs-and-diagnostic-information/

Sosreport ideyasi huddi bizni qilmoqchi bo'lgan narsalrga juda o'xshar ekan.

https://www.youtube.com/watch?v=rkZzg7Vowao

Leslie Lamport - TLA+ tilining avtori.

Lamport amakida hammasi zo'r. Faqat shu syntax bilan azoblash xizmati qilganlar ))

TLA+ haqida: https://lamport.azurewebsites.net/tla/tla.html

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.

Vaybkoderlarni boshqa vaybkoderlar qanaqa qilib tech interview qilar ekan-a?

Realtime video calling ham presentation qilingan ekan...

https://www.youtube.com/watch?v=B6rKUf9DWRI

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

Mani javobim esa.

Common guys, bu kundalik ishingiz.

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.

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.

Leaked data ichida manam bormanmi deyman 🥲

Cooked endi chetdan call bo’lmaydi

Hullas banklar leak bo’lmasa bo’lgani hammasi nazorat ostida.

AGAR supportga yozib 2FA o’chirishmasa.


Steamda ham skinlarim qolmagan mobodoga.

zoomrada investment bo'limi ochilgan ekan kirib aylanib yurib down qilib qo'ydim.

Kechirilar 😢

Shuni invest qilmoqchi edim ahir.

yana qanaqa investment platformlar bor load test qilib beraman ?

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.