Skip to content

Hillel Wayne personal blog

Creatively Misusing TLA+

buttondown.email published 2023-02-076 min read

Five not-quite-normal uses

Read on buttondown.email → Discuss on HN (7) Archived copy

Points: 104
HN comments: 7
Submissions: 1
Cited by: 0 commenters

Software Engineering Math & Algorithms 2023

On Hacker News

Submitted	Title on HN	Points	Comments
Feb 11, 2023	Creatively Misusing TLA+ by iforgetlogins01	104	7

More from Hillel Wayne

All 47 posts →

Please read the paper before you comment

2020719 points327 comments Software Engineering details

Donald Knuth was framed

2020632 points311 comments History & Retro Computing details

Six programming languages I’d like to see

2022481 points441 comments Programming Languages details

Reasons Kubernetes is so complex

2022428 points277 comments Infrastructure & DevOps details

Why do we call it “boilerplate code?”

2022422 points97 comments Software Engineering details

Why do arrays start at 0?

2022413 points674 comments Software Engineering details

Related posts from the same era

Reverse engineering Ticketmaster's rotating barcodes

conduition20242,305 points714 comments details

Building a Virtual Machine Inside ChatGPT

Jonas Degrave20222,029 points908 commentscited by 16 details

Anyone can access deleted and private repository data on GitHub

Truffle Security Blog20241,983 points374 commentscited by 8 details

ChatGPT Plugins

OpenAI Blog20231,875 points1,106 commentscited by 14 details

Cognitive load is what matters

minds.md20241,769 points721 comments details

Everything that uses configuration files should report where they're located

Chris Siebenmann20231,744 points472 comments details