Lamport on Real World TLA+: Who Builds a Skyscraper Without Drawing Blueprints?youtube.com2 points·pron··0 commentsOpen articleSaveView on HN