Re:Kotlin creator's new language: a formal way to talk to LL...
by slcjordan on Thursday March 12, 2026 @05:08PM
(#47357135)
It actually makes sense that code is becoming amorphous and we will no longer scale in terms of building out new features (which has become cheap), but by defining stricter and stricter behavior constraints and structural invariants.
[ Parent
| on HN ]
Re:Kotlin creator's new language: a formal way to talk to LL...
by embedding-shape on Thursday March 12, 2026 @05:48PM
(#47357669)
Yeah, "what you're able to build" is no longer one of the most important things, "what you won't build" just became a lot more important.