Linking pages
- Five Unusual Raku Features • Buttondown https://buttondown.com/hillelwayne/archive/five-unusual-raku-features/ 160 comments
- The Opposite of Documentation is Superstition • Buttondown https://buttondown.com/hillelwayne/archive/the-opposite-of-documentation-is-superstition/ 82 comments
- A list of ternary operators • Buttondown https://buttondown.com/hillelwayne/archive/a-list-of-ternary-operators/ 74 comments
- Turing kicked us out of Heaven • Buttondown https://buttondown.com/hillelwayne/archive/turing-kicked-us-out-of-heaven/ 60 comments
- What makes concurrency so hard? • Buttondown https://buttondown.com/hillelwayne/archive/what-makes-concurrency-so-hard/ 41 comments
- TLA from first principles • Buttondown https://buttondown.com/hillelwayne/archive/tla-from-first-principles/ 23 comments
- Formally modeling dreidel, the sequel • Buttondown https://buttondown.com/hillelwayne/archive/formally-modeling-dreidel-the-sequel/ 14 comments
- Why do we call it "boilerplate code?" • Buttondown https://buttondown.com/hillelwayne/archive/why-do-we-call-it-boilerplate-code/ 7 comments
- Write Code That Delivers Value to Clients • Buttondown https://buttondown.com/hillelwayne/archive/write-code-that-delivers-value-to-clients/ 3 comments
- There Was No Formal Methods Winter • Buttondown https://buttondown.com/hillelwayne/archive/there-was-no-formal-methods-winter/ 1 comment
- How to convince engineers that formal methods is cool • Buttondown https://buttondown.com/hillelwayne/archive/how-to-convince-engineers-that-formal-methods-is/ 0 comments
- How to argue for something without any scientific evidence • Buttondown https://buttondown.com/hillelwayne/archive/how-to-advocate-something-without-any-scientific/ 0 comments
- Hyperproperties • Buttondown https://buttondown.com/hillelwayne/archive/hyperproperties/ 0 comments
- Stroustrop's Rule • Buttondown https://buttondown.com/hillelwayne/archive/stroustrops-rule/ 0 comments
- Stroustrup's Rule • Buttondown https://buttondown.com/hillelwayne/archive/stroustrups-rule/ 0 comments
Related searches:
Search whole site: site:leanpub.com
Search title: Logic for Programmers by Hillel Wayne [Leanpub PDF/iPad/Kindle]
See how to search.