The book is probably "Specifying Systems" by Leslie Lamport[1].
I recently started reading this book and felt amazed at the way it progresses. It introduces Propositional logic, Predicate logic, and then Temporal logic. Enjoyed it so far and looking to apply it in the real-world.
I have faced this locking problem while trying to use packer for building out AMIs. It was a flaky process. I used to google it always and not figure out a solution and continue rerunning the builds for a long time.
But one of my colleagues figured out that it is probably because the apt-get is getting locked due to cloud-init and removed the flakiness by making packer wait[1] for cloud-init to complete before running the installation scripts that involved apt-get locking.
We too wished that there were more docs to help us, especially explaining how apt-get worked.
When I click on Register and login with my YC account, it takes me to "SIGN UP | COMPANY DETAILS (STEP 4/4)" step.
I think I left halfway while signing up in Startup School long time ago for the first time. Is there a way to not fill the company details and sign up for future founders course?
Thanks for mentioning about Sqorn. When I read about this feature a few weeks back, I was thinking hard for a good use case of tagged template literals. Now, I get it.
I agree with your closing statement completely.
> It’s a nice-to-know feature, good for impressing others, but my suggestion is to use this only if it’s the clearest way to express your concepts.
I recently started reading this book and felt amazed at the way it progresses. It introduces Propositional logic, Predicate logic, and then Temporal logic. Enjoyed it so far and looking to apply it in the real-world.
[1] https://lamport.azurewebsites.net/tla/book.html