Nostr View

Cameri @Cameri - 6mo

I find that LLMs tend to generate better Python code than TypeScript code.

undefined
undefined
undefined

Jay @Jay - 6mo

When it comes to types, python is arguably easier to reason about than typescript, given that the in-code types are just for reference. Typescript types can break even when they are actually valid. But it takes some intuition to know when to use the escape hatches, so I can see why an LLM would have trouble with it. I wonder if LLMs would write javascript better than typescript too.

undefined
undefined
undefined

Cameri @Cameri - 6mo

Types are definitely a stumbling block for LLMs. I think you are onto something there. My personal guess is that there’s just so much crappy TypeScript code out there that without a ton of guardrails it’s just a pasta machine. Second to that is the lack of understanding of category theory which IMO needs some level of reasoning.

undefined
undefined
undefined

liminal 🦠 @liminal 🦠 - 6mo

TS & CT? where? 🧐

undefined
undefined
undefined

Xtr3m3hodl @Xtr3m3hodl - 6mo

Don't you think it depends on the LLM provider? And when you say better, it isn't obvious what you mean since one would imagine the types on typescript would act as a feedback loop to the LLM when something is off?

undefined
undefined
undefined

Cameri @Cameri - 6mo

What’s CT?

undefined
undefined
undefined

Cameri @Cameri - 6mo

Depends on the model, yeah, for sure. I tried multiple models and the generated Python was still better in my opinion. I don’t think it was the types: the code was objectively better structured, more maintainable, less junior level mistakes, if you catch my drift.

undefined
undefined
undefined

liminal 🦠 @liminal 🦠 - 6mo

Category Theory

undefined
undefined
undefined

jb55 @jb55 - 6mo

its really bad at rust code

undefined
undefined
undefined

Cameri @Cameri - 6mo

Ah, gotcha. What was your question?

undefined
undefined
undefined

Cameri @Cameri - 6mo

What’s your take? insufficient training on Rust?

undefined
undefined
undefined

liminal 🦠 @liminal 🦠 - 6mo

Oh, just curious how category theory and typescript are intertwined.

undefined
undefined
undefined

Cameri @Cameri - 6mo

Well, more like type theory has to do with category theory. It’s One of the first things you’ll like encounter when learning functional programming. Type operations, follow the rules from category theory (from math).

undefined
undefined
undefined
Showing page 1 of 1 pages