2 kundan beri to'xtamay yomg'ir yog'yapti. Yerda loqal ko'lmakcha ham yo'q. To'g'ri barpo etilgan shaharning ko'zga ko'rinmas belgisi.

@lazizabdullaev

- Did you enjoy the company weekly meeting?
- Yes.
- Correct answer.

@lazizabdullaev

Singapurdagi "Turkish restaurant" mexanizmi qanday ishlashini tushundim. Ko'chada bir turk turib turkiy xaridorlarni jalb qiladi, ichkarida esa malaysialiklar: "Pintu, kelaver", - deb kutib oladi.

@lazizabdullaev

? If I had to give one piece of advice to people in their 20s who want to build something great, it would be: “Never drink alcohol.” ? ? I haven’t drunk alcohol in nearly 20 years, but I’ve seen many successful people ruin themselves with it. Alcohol clouds…

? If I had to give one piece of advice to people in their 20s who want to build something great, it would be: “Never drink alcohol.” ?

? I haven’t drunk alcohol in nearly 20 years, but I’ve seen many successful people ruin themselves with it. Alcohol clouds your mental clarity and intuition for days after consumption. While it might lift your mood temporarily, it’s like taking out a loan — you’ll pay it back with interest. The short-term pleasure brings long-term misery ?‍?

? I know it’s hard not to yield to social pressure: humans have evolved to copy the behaviors of those around them. But the habits of the majority are self-destructive — most people around us drink alcohol, eat fast food, and have passive lifestyles. And that’s fine. If you want to achieve something extraordinary, however, you’ll boost your chances by keeping both your mind and body healthy ?

Ba'zi tanishlarim Singapurda mashina minish niyat yo'qmi deb so'rab qolishadi.

O'zim Singapurda bo'lsam ham niyat bu yerda emas, niyat Toshkentda, Yevropada yoki Amerikada aylanib yurgandir ?️️️️️️

PS: Bu narxlarni GM ko'rmasin ?**

@lazizabdullaev

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