Join 📚 Josh Beckman's Highlights
A batch of the best highlights from what Josh's read, .
Taking vacation is just good business sense.
The Big 2022 Garbage Report - by Ryan Broderick
The Big 2022 Garbage Report
Ryan Broderick
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
In addition to permission, there has to be slack in the system. This requires persistent commitment.
When you start skipping the bootcamps, they’ll die out as a practice.
We don’t let our machines run at 100% utilization. But again, we have a tendency to love our computers more than ourselves.
Egoless Engineering
egoless.engineering
...catch up on these, and many more highlights
Readwise