News for hackers. Stuff that matters.

A comment on Leslie Lamport: Video course on TLA+. Parent comment

Re:Leslie Lamport: Video course on TLA+ by qznc on Tuesday March 21, 2017 @01:21PM (#13924257)
Why not YouTube? Clickable links are possible there as well.
[ Parent | on HN ]
Re:Leslie Lamport: Video course on TLA+ by albertocsm on Wednesday March 22, 2017 @12:06PM (#13932029)
plz check -> https://groups.google.com/d/msg/tlaplus/lAeWdCE9MLw/v03t3UEv...
[ Parent | on HN ]