TGViewer
Channel Public Channel
Programming ∀

Programming ∀

@programming_everyone

Ushbu kanalda dasturlashga aloqador turli expriementlarim, g'oyalarim, hulosalarimni ulashaman.
Open in Telegram
Subscribers
1.35K
Photos
198
Videos
4
Links
122

Showing posts older than #4068 · Back to latest

Older Posts 20 shown
Post #4066 643
Verification codeni 1 daqiqadan kegin yuborganlarga nima deyish kerak ?
  • 🤣 11
Post #4065 691
Aytgancha bir servercha qilmaymizmi generals uchun :)
  • 🔥 5
  • ❤ 1
Post #4064 773
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.
  • ❤ 3
Post #4063 881
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/
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…
Post #4062 869 
HTTP/1.1 200 Ok
Content-Type: application/json
Location: https://docs.oracle.com/en/java

{
  "error": " 500 Internal Server Error"
}
  • 🤣 10
Post #4060 748
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.
  • 🔥 9
  • ❤ 1
Post #4059 716
Manam video qilsamikan.

One day of my life deb.
  • 😁 13
  • ❤ 3
  • 💯 1
  • 🤗 1
Post #4057 892
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.
  • 😁 12
Post #4056 788
bunisi surpriz bo'ldi macosda
  • 🤣 4
Post #4055 797
Ishlab turgan applarni ham g'arazli yo'llar bilan crash qilyabman 🎮
  • 🗿 4
  • 🔥 2
Post #4054 810
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
Post #4053 644
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/
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.
Post #4052 571
Programming ∀ 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
  • 🔥 1
Post #4050 528
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.
  • 🔥 10
Post #4049 435

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
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:…
Post #4048 493
yana qanaqa investment platformlar bor load test qilib beraman ?
Post #4047 534
Programming ∀ Photo
Shuni invest qilmoqchi edim ahir.
  • ❤ 4
  • 🤣 2
Older posts →
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →