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.
1) Slept in college.
2) Learnt programming most of the nights.
3) Built few apps.
4) Started writing open source code.
5) Got hired by bunch of startups and freelanced.
6) Taught some programming to my friends.
7) Tried.
8) Failed.
9) Tried.
10) Failed.
Two things that you need to experience in your 20 is "Trying and Failing". It will teach you the lessons that you need for rest of your life.
Great news ! Check out Github bot for sure people . I am already in love ! This feature is making me remember my own simple telegram bot that helped me to convey 1000 Happy birthdays to my friend in 15 mins. https://gist.github.com/scriptnull/7877b404f33de2b7445a
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