zack
@zack_overflow
I think the models could design something better than Typescript
TS's type system is unsound, look at how easy it is to have a `string[]` actually contain `number`!
Type theory is a very formally verifiable domain, I would expect a model to formally verify the type system
TS's type system is unsound, look at how easy it is to have a `string[]` actually contain `number`!
Type theory is a very formally verifiable domain, I would expect a model to formally verify the type system
Charlie Marsh@charliermarsh · Oct 7It's uncontroversial that frontier models can rewrite TypeScript in another language.
But could a frontier model _design_ TypeScript?
Not just the idea of it, but all the details that made it great. How do we get to that same level of discovery and judgement?
Open quoted post →But could a frontier model _design_ TypeScript?
Not just the idea of it, but all the details that made it great. How do we get to that same level of discovery and judgement?
50 284