abobla@lemm.ee to ProgrammingEnglish · 1 year agoDeath by a thousand microservicesrenegadeotter.comexternal-linkmessage-square21fedilinkarrow-up1121arrow-down15cross-posted to: loud
arrow-up1116arrow-down1external-linkDeath by a thousand microservicesrenegadeotter.comabobla@lemm.ee to ProgrammingEnglish · 1 year agomessage-square21fedilinkcross-posted to: loud
minus-squarekSPvhmTOlwvMd7Y7Elinkfedilinkarrow-up4·1 year 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