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.
Programming ∀
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...
muhim bo'lgan deyarli hamma crashlar yeg'ilyabti endi :)
🔥1
Ishlab turgan applarni ham g'arazli yo'llar bilan crash qilyabman 🎮
Please open Telegram to view this post
VIEW IN TELEGRAM
🗿4🔥2
Hullas 3ta devaysim xozir actual.
1. PC - Ram ECC bo'lmaganiga memory corruptionlar handle qilinmaydi.
2. Laptop Nixos - HDMI ishlamaydi hamma narsa qilib ko'rganman faqat Type-C bilan monitor ulay olaman baxtimga.
3. Macos - Kayfiyati yaxshi bo'lasa ishlaydi.
Bu narsalar shunchalik kulgiliki - man umrimda biror muammosiz laptop yoki telefon ishlatib ko'rmaganman.
Oldingi devayslarimda ham muammolar bor edi. Manimcha yangilarida ham muammolar chiqadi.
1. PC - Ram ECC bo'lmaganiga memory corruptionlar handle qilinmaydi.
2. Laptop Nixos - HDMI ishlamaydi hamma narsa qilib ko'rganman faqat Type-C bilan monitor ulay olaman baxtimga.
3. Macos - Kayfiyati yaxshi bo'lasa ishlaydi.
Bu narsalar shunchalik kulgiliki - man umrimda biror muammosiz laptop yoki telefon ishlatib ko'rmaganman.
Oldingi devayslarimda ham muammolar bor edi. Manimcha yangilarida ham muammolar chiqadi.
😁12
ORB stack nixos machineda ishlata oldim vanihoyat.
Macos uchun parallels ishlatmasdan ham nix yengil nix machine run qilsa bo'lar ekan.
Load deyarli sezilmaydi albatta build paytida ko'proq ram yeyabti ammo bu chepuxa muhimi build bo'lyabti.
Hullas ORB stackda unstable nixos run qivordim va baxtliman.
Tez orada configimni ham ulashib qo'yaman.
Macos uchun parallels ishlatmasdan ham nix yengil nix machine run qilsa bo'lar ekan.
Load deyarli sezilmaydi albatta build paytida ko'proq ram yeyabti ammo bu chepuxa muhimi build bo'lyabti.
Hullas ORB stackda unstable nixos run qivordim va baxtliman.
Tez orada configimni ham ulashib qo'yaman.
🔥9❤1
Conflict-free Replicated Data Type (CRDT)
Introduction: https://mattweidner.com/2023/09/26/crdt-survey-1.html
More resources: https://crdt.tech/resources
Introduction: https://mattweidner.com/2023/09/26/crdt-survey-1.html
More resources: https://crdt.tech/resources
Conflict-free Replicated Data Types
CRDT Resources • Conflict-free Replicated Data Types
Resources and community around CRDT technology — papers, blog posts, code and more.