AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Is There a Distinctive Programm Synthesis in Programming?
The lack of countert tal reasoning is a huge problem with many of the metrics that are used. If a model works verywel well in what you've tested in it, it doesn't meant it goes anywhere else. macke colhausen has been working on this for 20 years and he's nowhere close to being done. And i'm really excited about thi, as i said, i'm building a codo view platform at the moment,. I think i've got an exciting use case for it - inductive programm synthesis.