User Tools

Site Tools


programming

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
programming [2018/09/06 13:32]
admin
programming [2019/04/15 09:33] (current)
admin
Line 22: Line 22:
 === Concurrency === === Concurrency ===
 == TLA+ == == TLA+ ==
 +Another TLA+ introduction (2018): https://​learntla.com/​introduction/,​ https://​news.ycombinator.com/​item?​id=19661329
 +
 (from Hacker News comments) [[https://​news.ycombinator.com/​item?​id=9601770|1]],​ [[https://​news.ycombinator.com/​item?​id=10220264|2]] (from Hacker News comments) [[https://​news.ycombinator.com/​item?​id=9601770|1]],​ [[https://​news.ycombinator.com/​item?​id=10220264|2]]
  
programming.txt · Last modified: 2019/04/15 09:33 by admin