Forwarded from (φ (μ (λ)))
The first thing to understand is parallelism has nothing to do with concurrency. Concurrency is concerned with nondeterministic composition of programs (or their components). Parallelism is concerned with asymptotic efficiency of programs with deterministic behavior. Concurrency is all about managing the unmanageable: events arrive for reasons beyond our control, and we must respond to them. A user clicks a mouse, the window manager must respond, even though the display is demanding attention. Such situations are inherently nondeterministic, but we also employ pro forma nondeterminism in a deterministic setting by pretending that components signal events in an arbitrary order, and that we must respond to them as they arise. Nondeterministic composition is a powerful program structuring idea. Parallelism, on the other hand, is all about dependencies among the subcomputations of a deterministic computation.
Robert Harper, Parallellism is Not Concurrency
Robert Harper, Parallellism is Not Concurrency
Existential Type
Parallelism Is Not Concurrency
In an earlier post I mentioned that one goal of the new introductory curriculum at Carnegie Mellon is to teach parallelism as the general case of computing, rather than an esoteric, specialized sub…
👍3
3 oydan beri iOS ishlatayapman. Ja maqtashganchalikmas ekan lekin. UX customize qilish qiyin, keyboardi umuman yoqmadi, MacOS bilan integratsiya ba’zida stabil ishlamayapti. Eng kulgilisi UIdagi mayda-chuyda buglar bilan “airplane mode”da bluetoothni avtomatik o’chirishga o’xshash yemagan “feature”lar. MacOS ishlatmaganimda va Android reklamasi ezvormaganda menimcha Androidda qolardim.
👍22👎5
Engineering Notes
3 oydan beri iOS ishlatayapman. Ja maqtashganchalikmas ekan lekin. UX customize qilish qiyin, keyboardi umuman yoqmadi, MacOS bilan integratsiya ba’zida stabil ishlamayapti. Eng kulgilisi UIdagi mayda-chuyda buglar bilan “airplane mode”da bluetoothni avtomatik…
Jude bir injiq narsa ekan bu ayfon degani. 4/10.
👍6
Engineering Notes
Jude bir injiq narsa ekan bu ayfon degani. 4/10.
Hozirgacha chiqqan muammolar:
1. Yaxshi signal olmaydi, shaharning o’rtasidayam ko’pincha 3G ishlaydi.
2. Keyboardi juda noqulay.
3. UIda dark modedagi juda elementar buglar.
4. In general iOS applarda Android applarga qaraganda bug ko’p. Gmail, Telegram, Instagram, ayniqsa Reddit.
5. Safari. Bir tiyinga qimmat browser.
6. Hotspot o’z-o’zidan o’chib qoladi.
7. Airplane modeda bluetoothni o’chirib qo’yadi. Kichkina lekin juda ezvoradigan detal.
1. Yaxshi signal olmaydi, shaharning o’rtasidayam ko’pincha 3G ishlaydi.
2. Keyboardi juda noqulay.
3. UIda dark modedagi juda elementar buglar.
4. In general iOS applarda Android applarga qaraganda bug ko’p. Gmail, Telegram, Instagram, ayniqsa Reddit.
5. Safari. Bir tiyinga qimmat browser.
6. Hotspot o’z-o’zidan o’chib qoladi.
7. Airplane modeda bluetoothni o’chirib qo’yadi. Kichkina lekin juda ezvoradigan detal.
👍18
Ehhe, comment section spamga to'lib ketibdi ))
Prosto comment, commentga reply, daje spamga reply qilibam spam qilishibdi baraka topgurlar.
Prosto comment, commentga reply, daje spamga reply qilibam spam qilishibdi baraka topgurlar.
😁11👍1
Forwarded from Pavel Durov (Paul Du Rove)
Please open Telegram to view this post
VIEW IN TELEGRAM
Telegram
Telegram Contests
🏆 Telegram Android Contest 2025, Round 1
Prize fund: $50,000
Deadline: 23:59 on July 11 (Dubai time)
Who can participate: Everyone
Results: July 2025
Telegram is hosting a contest for Android developers to implement a redesigned profile appearance.
In…
Prize fund: $50,000
Deadline: 23:59 on July 11 (Dubai time)
Who can participate: Everyone
Results: July 2025
Telegram is hosting a contest for Android developers to implement a redesigned profile appearance.
In…
👍3
Oldin Java-PHP, OOP-FP, Windows-Linux deb bir-birimizni hate qilardik. Endi hammamiz birgalashib “vibe coder”larni hate qilayapmiz ))
😁60👍3
Engineering Notes
Hozirgacha chiqqan muammolar: 1. Yaxshi signal olmaydi, shaharning o’rtasidayam ko’pincha 3G ishlaydi. 2. Keyboardi juda noqulay. 3. UIda dark modedagi juda elementar buglar. 4. In general iOS applarda Android applarga qaraganda bug ko’p. Gmail, Telegram,…
Shaharning o’rtasi, baland etaj, ochiq joy. Shundayam internet deyarli ishlamayapti (tekshirdim, providerda muammo yo’q). Qanday sabr qilib ishlatasilar bu matohni-ey?
Finally was able to close 20 browser tabs that have been open for the last 3 weeks or so. Inner peace ))
😁33😢3🍾2👍1
Engineering Notes
Shaharning o’rtasi, baland etaj, ochiq joy. Shundayam internet deyarli ishlamayapti (tekshirdim, providerda muammo yo’q). Qanday sabr qilib ishlatasilar bu matohni-ey?
Undanam zo’ri: iPhoneda screenni landscape modeda lock qilib bo’lmas ekan. Mantiqni qara Karl. iOS designerlari autizmga chalinganmi nimabalo? Nahotki shu oddiygina feature qanchalik muhimligi hech kimning hayoliga kelmagan?
😁21
Merge sortni yaxshi tushuntirib berishibdi:
https://www.instagram.com/reel/DKt3zWJJZYu/?igsh=MW11Z2FscWFpMWNybw==
https://www.instagram.com/reel/DKt3zWJJZYu/?igsh=MW11Z2FscWFpMWNybw==
😁17
"Dynamic languages are static languages, but with only one type: hash table."
– Programmist xalq maqollaridan
– Programmist xalq maqollaridan
😁23🍾1
Oramizda docker uchun googlening distroless base imagelarini ishlatib ko'rganlar bormi? Ishlatganlar bo'lsa fikringlar qanday?
👍6
Anchadan beri tuzukroq post yozmabman kanalda. Keyingi 2-3 haftada 1-2 ta foydaliroq texnik maqola chiqarmoqchiman, sizga qaysi mavzular haqida o’qish qiziqroq?
👍12
Github Enterprise Serverni ancha vaqt ishlatgandan keyin Enterprise Cloudga switch qilish g’alati bo’larkan. Bir qarashda o’xshash, lekin experience, ayniqsa navigation nima desam… noqulay.