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.
Where to Store PID Files for User-Run Daemons: Best Practices & Alternatives to /tmp
https://linuxvox.com/blog/storing-pid-file-for-a-daemon-run-as-user/
https://linuxvox.com/blog/storing-pid-file-for-a-daemon-run-as-user/
linuxvox
Where to Store PID Files for User-Run Daemons: Best Practices & Alternatives to /tmp
For developers and system administrators running user-space daemons (background processes not managed by the system-wide init system like `systemd` or `sysvinit`), one critical question arises: *where should PID files be stored?*
PID (Process ID) files are…
PID (Process ID) files are…
Dunyoda sodir bo'layotgan voqealar huddi videoni 8x speedga qo'yganga o'xshaydi.
Ammo manashu voqealikda taraflarga bo'linib olib bir birini go'shtini yeyotganlar hammadan ko'proq zararda bo'lsa kerak. Vaziyatdan foydalanolmayabsizmi ? Demak kamroq zarar ko'rish kerak.
Ammo manashu voqealikda taraflarga bo'linib olib bir birini go'shtini yeyotganlar hammadan ko'proq zararda bo'lsa kerak. Vaziyatdan foydalanolmayabsizmi ? Demak kamroq zarar ko'rish kerak.
❤3
Orb stack machine juda ham zo'r ishlayabti macosda.
Bemalol nixos ishlatsa bo'ladi, bu yerda config:
https://github.com/lambdajon/confs/tree/main/nixos/orb
Bemalol nixos ishlatsa bo'ladi, bu yerda config:
https://github.com/lambdajon/confs/tree/main/nixos/orb
❤1
Faqat shu desktop qo'ymasdan ishlatyabman, yomon emas.
Configim juda bordak bo'lib ketgan o'zi, shu bahona sekin sekin desktop, server va nix-darwinlarni tog'irlab olaman.
Umuman olganda manda nixos muhitlar juda ko'payib boryabti.
Shularni sekin sekin tartiblab joy koyiga keltirish kerak. Main devayslarim configlari ~37GB bo'lgan tag'inam bazi narsalar qo'shilmagan.
Configim juda bordak bo'lib ketgan o'zi, shu bahona sekin sekin desktop, server va nix-darwinlarni tog'irlab olaman.
Umuman olganda manda nixos muhitlar juda ko'payib boryabti.
Shularni sekin sekin tartiblab joy koyiga keltirish kerak. Main devayslarim configlari ~37GB bo'lgan tag'inam bazi narsalar qo'shilmagan.
Macosda qiziq muammo mavjud.
Masalan xozir manda N ta servis ishlayabti deylik va memory 60% turibti.
Ammo macbook zaryadi o'chib qoldi va qayta zaryadga qo'yib yoqdim albatta snapshotlardan recover qilinadi va hammasi qayta tiklanadi.
Tizim o'chib yongani bilan hechnima kill bo'lib ketmaydi. Ammo qiziq tomoni shundaki manashu voqeadan kegin macos 80-90% memory sarflashi mumkin.
Bu yerda potensial sabablar ko'p, lekin aynan ARM processorlarli macbooklarda manashunaqa narsa ko'p kuzatiladi.
Bu masalada aniq texnik argumentlarga ega emasman, lekin qiziq holataq chunki bu narsani doyim kuzatganman.
Masalan xozir manda N ta servis ishlayabti deylik va memory 60% turibti.
Ammo macbook zaryadi o'chib qoldi va qayta zaryadga qo'yib yoqdim albatta snapshotlardan recover qilinadi va hammasi qayta tiklanadi.
Tizim o'chib yongani bilan hechnima kill bo'lib ketmaydi. Ammo qiziq tomoni shundaki manashu voqeadan kegin macos 80-90% memory sarflashi mumkin.
Bu yerda potensial sabablar ko'p, lekin aynan ARM processorlarli macbooklarda manashunaqa narsa ko'p kuzatiladi.
Bu masalada aniq texnik argumentlarga ega emasman, lekin qiziq holataq chunki bu narsani doyim kuzatganman.
💯5✍1⚡1🔥1