Ron Pressler pron.github.io

People Don't Write Programs

pron.github.io·82w·Hacker News

Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra, Part III

pron.github.io·434w

Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra, Part II

pron.github.io·435w

Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra, Part I

pron.github.io·436w·Hacker News

Curry On Talk: The Practice and Theory of TLA+

pron.github.io·465w

TLA+ in Practice and Theory<br/>Part 4: Order in TLA+

pron.github.io·465w

TLA+ in Practice and Theory<br/>Part 3: The (Temporal) Logic of Actions

pron.github.io·466w·Lobsters

TLA+ in Practice and Theory<br/>Part 2: The + in TLA+

pron.github.io·467w

TLA+ in Practice and Theory<br/>Part 1: The Principles of TLA+

pron.github.io·468w

The Best Programming Language

pron.github.io·484w

Log in to enable infinite scrolling