Its very funny watching certain segments of the programming industry rediscovering incredibly basic programming principles, after railing against them for so long. The AI people are starting to try and create formal specs to force the AI to generate an exact output, which is absolutely hilarious to me
replyDynamically typed/untyped languages finding that strict and visible typing is actually good is another
I feel like there was a name for formal specs that produce an exact output, but it escapes me…
replyAnother one, WebAssembly people recreating application servers, and networking object models.
replyThankfully we already have Java, so using Go is really for the scenarios where it cannot be avoided.
reply