The TLA Home Page | Hacker News

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

		The TLA Home Page (research.microsoft.com)
		2 points by Tomte on May 25, 2018 \| hide \| past \| favorite \| 1 comment

jaytaylor on May 25, 2018 [–]

Why did you submit the redirect rather than linking directly to http://lamport.azurewebsites.net/tla/tla.html ?

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