Masalan hamma cho'qqini zabt etishni istaydi, buning uchun borini berishga xarakat qiladi. Albatta bu metafra ammo juda ham kam odam aslida jarayon qanday bo'lishi, natija qanaqa bo'lishi haqida tassavurga ega bo'lmagani uchun faqat cho'qqiga chiqish uchun kerakli narsalarga ega chiqishni istashadi.

Agar mavzuga biroz chuquroq qarasak natija qanday bo'lishi yoki shunga olib boradigan yo'lni ham analiz qilmaydilar. Cho'qqiga chiqish yaxshi natija bo'lgani bilan, u yerda bo'lish va omon qaytish boshqa boshqa narsalar.

Masalan siz cho'qqiga chiqolmasangiz demak 2ta hulosa qilishimiz mumkin.

1. Shunchaki eplay olmadingiz va taslim bo'ldingiz.
2. Ma'lum nuqtaga borib tushundingizki sizdagi energiya yetmaydi tirik qaytishga, shu sababli qaytdingiz.

Ushbu ikki variant bir biridan tubdan farq qiluvchi moral. Birinchisi shunchaki siz bu cho'qqiga mos kelmaslgizni, uni zabt etishga moral, intelekt yetmasligini o'zingiz ham tushunganingizni anlatadi shu sabab taslim bo'ldingiz katta extimol bilan bu mavzuga qaytmasangiz ham kerak. Ikkinchi variant esa siz cho'qqini zabt etishdan ko'prog'ini reja qilganizni, ammo yetarlicha kompitensiyaga ega emasligizni sezib katta risk qilmaganizni anglatadi tirik qaytish ham muhim chunki hayot ekansiz demak yana imkon bo'ladi come back uchun va shunga tayyorlanasiz.

Ushbu misol bizga intelekt va moralning uyg'unligida natijani reja qilishdan tortib amal qilishingizgacha bo'lgan processni ham nazorat qila olishingizni aks etadi. Ikkinchi misolni man ko'proq professionalism ham degan bo'lar edim. Cho'qqini zabt etish mavzusida biroz chuquroq fikr yuritishimizni o'zi ham biz ikki taqdirni ko'rishimiz mumkin. Bunaqa variantlar juda ham ko'p, taslim bo'lish doyim ham to'liq fail degani emas bu yaxshiroq ham chunki yarim yo'lda o'lib ketish optioni ham bo'lishi mumkin edi. Bizni tirik qoldirishi mumkin bo'lgan barcha variantlar yagona mantiqiy jarayonga sabab bo'lsa biz aniq rivojlanamiz. Ushbu jarayon xatolardan hulosalar, hulosalar bizni intelekt va moralni yaxshilamasligi mumkin ammo bor resurslardan qanday tog'ri foydalanishga o'rgatadi eng kamida bu esa tajriba degani moral va intelektdagi muammolarni bazi qismini aynan tajriba to'ldirishi mumkin.

Xozirda rivojlanishga aynan manashu prismdan qarayman. Intelekt ustida ishlash, moralni anglash, u bilan ishlay olish va albatta tajriba qilish.

mongodb cooked, ceosi survoribti metaga.

va stock choq -16% xozir adashmasm 20%gacha tushibti.

Mongodb o'zi toza biznes uchun qilingan narsa edi yani eng boshidan biznes reja qilingan.

What does logic have to do with Java?

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

Creative memory management.

An illustrated history of the calculator.

https://blog.coredump.cx/p/a-brief-history-of-counting-stuff

Orwell has nothing to do with it.

Typescriptda bunaqa mazahizm qilsa bo'ladi.

JSchialrga IQtest.

typeT misolidaka agar FromNumber<n> berilsa type level N bo'lishi kerak. Real misol:
FromNumber<1> -> Succ<Zero>

Kegin huddi shuni teskarisi ToNumber<T> . Bu yerda type leveldagi raqamni ham rostmana raqamga o'girish kerak.

O'zi TSdagi literal tiplar evaziga siz masalan bunaqa qilib tip elon qila olasiz let one:1

ToNumber<T> kakraz manashu literal tip qaytarishi kerak. Endi Add<A, B> ni yozsangiz kifoya :)

Bugun ozgina yoshlikni esladim 🥸

Yana bir prikol narsa aytaymi ?
Manashu literal tiplar evaziga typescriptda daje tiplar bilan parser yozsa bo'ladi. Mikkimaus frankenshteyn parser chiqsa kerak o'ziyam, nu eplasa bo'ladi ozgina xarakat qilsa.

masalan tassavur qiling

type R = Parse<"1 + 1"> manashunaqa yozilgani bemalol Result<Add<Succ<Zero>>,Succ<Zero>>> qilish mumkin.

Tabiy intelektingiz bilan qilib ko'ring.

Send him 2-3 years Haskell and forget.

Shu basic arithmetic interpeterni kamida 20+ marotaba turlicha tilda turlicha uslublarda yozishga xarakat qilganman hammasi ham yemagan.

Har safar tulircha, ammo bitta narsa. Mana typescript ham bor endi check listda.

Hulosalarga kelsam.

Effekti zaif karoche :) kuchliroq tiplarga o'tirib qolib bo'lganman.

Buyoqda hamma mikkimaus kod, bug bilan birga: https://gist.github.com/lambdajon/1b7ad0e08a7a82087c045cf5ad7117cf

Shu bilan yana birnecha yil bu typescript temasiga qaytmasam kerak.

Haskell, Rust, Nix temasida qiziquvchilar ancha ko'payibtiku 👍

cpp