Leslie Lamport’s TLA+ Online Course (2018) [video] | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Leslie Lamport’s TLA+ Online Course (2018) [video] (youtube.com)
		16 points by nequo on June 28, 2023 \| hide \| past \| favorite \| 1 comment

hnarayanan on June 28, 2023 [–]

This is a really cute first video. :)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact