Yogthos on Nostr: One area where language models might actually be good is emulating a type system for ...
One area where language models might actually be good is emulating a type system for dynamic languages.
Given how good these things are at figuring out general shape of the code, I suspect they could fairly accurately tell you argument and return types for functions. And you could probably get away with a pretty small model if it only targets a specific language.
I'm kind of surprised nobody's tried doing this yet.
#technology #programming #machinelearning #llm
Published at
2024-10-06 01:34:11Event JSON
{
"id": "13fe57a6afc47ca8524b3bd703cb8e2d09b546886b9a2cc0c97499c45c41069a",
"pubkey": "b1dcb61f2cdc8f5c8d92226a074c2a23bd2d5728fb4d4f277142fe9119f0392d",
"created_at": 1728178451,
"kind": 1,
"tags": [
[
"t",
"technology"
],
[
"t",
"programming"
],
[
"t",
"machinelearning"
],
[
"t",
"llm"
],
[
"proxy",
"https://social.marxist.network/users/yogthos/statuses/113257902981510460",
"activitypub"
]
],
"content": "One area where language models might actually be good is emulating a type system for dynamic languages.\n\nGiven how good these things are at figuring out general shape of the code, I suspect they could fairly accurately tell you argument and return types for functions. And you could probably get away with a pretty small model if it only targets a specific language.\n\nI'm kind of surprised nobody's tried doing this yet.\n\n#technology #programming #machinelearning #llm",
"sig": "19f815640d962ca6f7307990b29a965cec09bdce49faf7a5f02d2c7ade8033fa5721cb15ba2bb403f9b39d335a967c026b610649ee08712d8054e7bb078b9178"
}