# Hillel Wayne - Learn TLA+ ## Metadata **Status**:: #x **Zettel**:: #zettel/fleeting **Created**:: [[2026-01-10]] **Author**:: [[Hillel Wayne]] ## Highlights - [[Hillel Wayne - A Simple Spec Learn TLA+ (Highlights)]] - [[Hillel Wayne - Behaviors Learn TLA+ (Highlights)]] - [[Hillel Wayne - Concurrent Invariants Learn TLA+ (Highlights)]] - [[Hillel Wayne - Labels Learn TLA+ (Highlights)]] - [[Hillel Wayne - Procedures and Macros Learn TLA+ (Highlights)]] - [[Hillel Wayne - Processes Learn TLA+ (Highlights)]] - [[Hillel Wayne - Termination Learn TLA+ (Highlights)]] - [[hwayne on Hacker News - How does Alloy compare to TLA+ (Highlights)]]