Synthesis is harder than analysis – Surfing Complexity
Over the years, mathematicians, logicians and computer scientists have developed various calculi. If you have a background in computer science, you’ve likely heard of the lambda calculus, a m…
Over the years, mathematicians, logicians and computer scientists have developed various calculi. If you have a background in computer science, you’ve likely heard of the lambda calculus, a model of computation that was developed by Alonzo Church. If databases are more your thing, then you’ve been exposed to the relational calculus without even knowing it, since SQL is based on the relational calculus. If you are into formal methods, then you’ve worked with the predicate calculus, better known as first-order logic. Finally, if you enjoy reading academic papers on programming languages,…
saved by
related reading
- Surfing Complexity – Lorin Hochstein's ramblings about software, complex systems, and incidents.surfingcomplexity.blog
- Functions are Vectorsthenumb.at
- Differentiable Programming from Scratchthenumb.at
- What to learndanluu.com
- Lambda calculus - Wikipediaen.wikipedia.org
- Calculus on Computational Graphs: Backpropagation -- colah's blogcolah.github.io
- The Matrix Calculus You Need For Deep Learningarxiv.org
- Thoughts on the software industry | linus.coffeelinus.coffee
- CalculusIntuitiveExplanations.pdfintuitiveexplanations.com
- Matrix_Calc_for_DL.pdfsamfinlayson.com
- What is PLUS times PLUS?youtube.com
- Fundamental theorem of calculus - Wikipediaen.wikipedia.org