Join 📚 Josh Beckman's Highlights
A batch of the best highlights from what Josh's read, .
Propositions in logic correspond to types in a programming language.
Proofs in the logic correspond to terms and programs in the programming language
Simplification of proofs corresponds to evaluation of programs.
"Propositions as Types" by Philip Wadler
Strange Loop Conference
Rigid adherence to any prioritization model, even one that’s conceptually correct like mine that prioritized the company and team first, will often lead to the right list of priorities but a team that’s got too little energy to make forward progress. It’s not only reasonable to violate perfectly correct priorities to energize yourself and your team, modestly violating priorities to energize your team in pursuit of a broader goal is an open leadership secret. Leadership is getting to the correct place quickly, it’s not necessarily about walking in the straightest line.
Manage Your Priorities and Energy.
Irrational Exuberance
It’s often useful to monitor timings for each of those, as the execution of the query is not always where problems will arise.
Production Ready GraphQL
Marc-Andre Giroux
...catch up on these, and many more highlights
Readwise