Skip to content

Hillel Wayne personal blog

TLA from First Principles

buttondown.com published 2024-10-2210 min read

Building an intuition for the mathematics behind the "TLA" in "TLA+"

Read on buttondown.com → Discuss on HN (23) Archived copy

Points: 103
HN comments: 23
Submissions: 1
Cited by: 0 commenters

Software Engineering Math & Algorithms 2024

On Hacker News

Submitted	Title on HN	Points	Comments
Oct 23, 2024	TLA from First Principles by ingve	103	23

More from Hillel Wayne

All 39 posts →

Many hard LeetCode problems are easy constraint problems

2025679 points533 comments Software Engineering details

Syntax highlighting is a waste of an information channel (2020)

2025346 points171 comments Software Engineering details

How RSS beat Microsoft

2025315 points181 comments History & Retro Computing details

Unusual Raku Features

2024274 points157 comments Programming Languages details

Why Not Comments

2024261 points277 comments Software Engineering details

The many JavaScript runtimes of the last decade

2025256 points97 comments Web & Frontend details

Related posts from the same era

Reverse engineering Ticketmaster's rotating barcodes

conduition20242,305 points714 comments details

Uv is the best thing to happen to the Python ecosystem in a decade

Dr. Emily L. Hunt20252,214 points1,324 comments details

Anthropic acquires Bun

Bun Blog20252,192 points1,072 commentscited by 7 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

A 10x Faster TypeScript

Microsoft Developer Blogs20251,827 points907 commentscited by 14 details