TGViewer
Engineering Notes Engineering Notes @boboshersnotes · 2.6K subscribers
Post #948 4.33K

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
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
More from @boboshersnotes
  1. Sep 28, 2026https://www.youtube.com/watch?v=9HIy5dJE-zQ
  2. Sep 22, 2026spa-net.com qiziq challange ekan, kun bo'yi "enter" bosishdan zerikkanda bosh qotirib ko'r…
  3. Sep 21, 2026Bizda odatda juma kunlarining ikkinchi yarmi ishga to'g'ridan-to'g'ri aloqador bo'lmagan n…
  4. Sep 15, 2026Yandex to’lov tizimi 2-3 oydan beri stabil ishlamayotgandi o’zi, butun to’liq o’chibdi she…
  5. Sep 13, 2026AI giant CEOs and tech influencers who have pushed for the development of AI “at any cost”…
  6. Sep 11, 2026Spent almost an entire day to come up with the shittiest solution to https://spa-net.com/t…
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 →