@[email protected] to ProgrammingEnglish • 10 months agoDeath by a thousand microservicesrenegadeotter.comexternal-linkmessage-square21fedilinkarrow-up1121arrow-down15cross-posted to: loud
arrow-up1116arrow-down1external-linkDeath by a thousand microservicesrenegadeotter.com@[email protected] to ProgrammingEnglish • 10 months agomessage-square21fedilinkcross-posted to: loud
minus-square@kSPvhmTOlwvMd7Y7Elink4•10 months agoYour last question is equivalent to : why there so many math theories? Can’t we just reuse the old ones? New language appear as a natural product from research in type theory for ex
Your last question is equivalent to : why there so many math theories? Can’t we just reuse the old ones?
New language appear as a natural product from research in type theory for ex