Never use a dependency that you could replace with an afternoon of programming

Re:Never use a dependency that you could replace with an aft... by jaggederest on Tuesday August 11, 2020 @05:06PM (#24125969)

core business = C

outsource = O

Object = x

x ∉ C ↔ O(x)

If the symbols don't show up:

if-and-only-if x is not in C, O(x)

[ Parent | on HN ]

Re:Never use a dependency that you could replace with an aft... by nothal on Tuesday August 11, 2020 @05:59PM (#24126528)

If I wanted to learn more about rigorous, non-elementary logic, do you have a recommended resource? I've taken a course in intro level probability theory which covered it generally and another course that built on it lightly but nothing rigorous and I am wooed by how concise things become in a logical form.

[ Parent | on HN ]

Re:Never use a dependency that you could replace with an aft... by renewiltord on Tuesday August 11, 2020 @06:03PM (#24126552)

A Tour Through Mathematical Logic. You don't have to do any proofs. If you learn Propositional Logic and First Order Logic you'll already have most of the tools to invent the rest.

[ Parent | on HN ]