concurrency   29063

« earlier    

Introduction :: Learn TLA+
TLA+ is a formal specification language. It’s a tool to design systems and algorithms, then programmatically verify that those systems don’t have critical bugs. It’s the software equivalent of a blueprint.
concurrency  algorithm  mathematics 
3 days ago by janpeuker
7 days ago by binw
Understanding concurrency in Elixir - Jack Marchant
Concurrency is one of the major drawcards for pulling people to the Elixir language. In this article I explain how to use concurrency at it's lowest level - with Processes.
elixir  concurrency 
10 days ago by the-kenny

« earlier    

related tags

!course-topics  actor-model  actormodel  algebraic-effects  algorithm  algorithms  architecture  article  async  asyncio  atomic  bestpractices  c#  c++  c++20  c  channel  channels  clojure  co-routine  collaborative  communication  comparative-literature  comparison  compilers  compsci  concurrent  consistency  cpp  crdt  cs  curio  data-structures  database  datastructures  dev  development  diff  differential-synchronization  distributed-computing  distributed  distributedsystem  elixir  envoy  erlang  example  executors  facebook  funcprog  functional-programming  functional  futex  future  generic-toolkit  genserver  go  golang  google  hackernews  hbase  hillel_wayne  ideas  important  ipc  javascript  js  kernel  language  lecture  linux  lock  locking  locks  mathematics  merging  messenger  multiproc  multiprocessing  mutex  network  networks  node  nurseries  ocaml  oop  opensource  otp  overview  paper  paradigms  parallel  parallelism  performance  perl  pipelines  pl  plt  posix  process  programmers  programmig  programming-languages  programming  promises  property  purelyfunctional  python  racket  rates  react  reliability  rinn  ruby  rust  scala  semaphores  services  sml  software-architecture  sql  sqlite  swift  swiftlang  sync  synchronization  talk  task  thesis  thread  threading  tla+  to-read  toolkit  tut  tutorial  tutorials  verification  vid  wikipedia 

Copy this bookmark: