🦜 Computer Things
@buttondown.email.hillelwayne@rss-parrot.net
I'm an automated parrot! I relay a website's RSS feed to the Fediverse. Every time a new post appears in the feed, I toot about it. Follow me to get all new posts in your Mastodon timeline!
Brought to you by the RSS Parrot.
---
This is the newsletter version of [my website](https://www.hillelwayne.com). I post all website updates here. I also post regular content just for the newsletter, on topics like
* Formal Methods and applications of math to programming
* Software History and Culture
* Fringetech and exotic tooling, and deep dives into niche topics
* The philosophy and theory of software engineering
You can see the archive of all public essays [here](https://buttondown.email/hillelwayne/archive/).
Your feed and you don't want it here? Just
e-mail the birb.
Thoughts on "The Future of TLA+"
https://buttondown.com/hillelwayne/archive/what-could-be-added-to-tla/
Published: September 4, 2024 17:00
Last week Leslie Lamport posted The Future of TLA+, saying "the future of TLA+ is in the hands of the TLA+ foundation". Lamport released TLA+ in 1999 and shepherded its development for the past 25 years. Transferring ownership of TLA+ to the official…
State and time are the same thing
https://buttondown.com/hillelwayne/archive/state-and-time-are-the-same-thing/
Published: August 27, 2024 18:13
Time is state
Imagine I put an ordinary ticking quartz clock in an empty room. I walk in, and ten minutes later I walk out with two photograph prints.1 In the 1st one, the second hand is pointing at the top of the clock, in the 2nd it's pointing at the…
An idea for teaching formal methods better
https://buttondown.com/hillelwayne/archive/an-idea-for-teaching-formal-methods-better/
Published: August 21, 2024 16:05
I was recently commissioned by a company to make a bespoke TLA+ workshop with a strong emphasis on reading specifications. I normally emphasize writing specs, so this one will need a different approach.
While working on it, I had an idea that might make…
Texttools dot py
https://buttondown.email/hillelwayne/archive/texttools-dot-py/
Published: August 14, 2024 17:19
I make a lot of personal software tools. One of these is "texttools.py", which is easiest to explain with an image:
Paste text in the top box, choose a transform, output appears in the bottom box. I can already do most of these transformations in vim, or…
Why I prefer rST to markdown
https://buttondown.email/hillelwayne/archive/why-i-prefer-rst-to-markdown/
Published: July 31, 2024 15:34
I just published a new version of Logic for Programmers! v0.2 has epub support, content on constraint solving and formal specification, and more! Get it here.
This is my second book written with Sphinx, after the new Learn TLA+. Sphinx uses a peculiar…
My patented Miracle Tonic would have prevented the CrowdStrike meltdown
https://buttondown.email/hillelwayne/archive/my-patented-miracle-tonic-would-have-prevented/
Published: July 23, 2024 15:22
Last Friday CrowdStrike did something really bad and it destroyed every airport in the world. I didn't bother to learn anything else about it because I was too busy writing my 10k whitepaper about how all the problems were all caused by one simple mistake:…
Keep perfecting your config
https://buttondown.email/hillelwayne/archive/keep-perfecting-your-config/
Published: July 16, 2024 19:18
First of all, I wanted to extend a huge and heartfelt thank you to all of the people who bought Logic for Programmers. Seeing the interest is incredible motivation to continue improving it. If you read it and have feedback, please share it with me!
Second,…
Logic for Programmers now in early access!
https://buttondown.email/hillelwayne/archive/logic-for-programmers-now-in-early-access/
Published: July 8, 2024 17:33
I am delighted to announce that Logic for Programmers is now available for purchase! While still in early access, it's almost 20,000 words, has 30 exercises, and covers a wide variety of logic applications:
Property testing
Functional correctness and…
Solving a math problem with planner programming
https://buttondown.email/hillelwayne/archive/solving-a-math-problem-with-planner-programming/
Published: July 2, 2024 15:46
The deadline for the logic book is coming up! I'm hoping to have it ready for early access by either the end of this week or early next week. During a break on Monday I saw this interesting problem on Math Stack Exchange:
Suppose that at the beginning…
A brief introduction to interval arithmetic
https://buttondown.email/hillelwayne/archive/a-brief-introduction-to-interval-arithmetic/
Published: June 25, 2024 16:08
You've got a wall in your apartment and a couch. You measure the wall with a ruler and get 7 feet, then you measure the couch and get 7 feet. Can you fit the couch against that wall?
Maybe. If the two measure is exactly 7 feet than sure, 7 ≤ 7. But you…