vkgcr
Joined 10 days ago
Joined 10 days ago
This obviously won't fly for "serious" software such as airplane software, but I'm willing to guess that even customers of a low-stakes SaaS would get pissed off if your product regularly turns up new bugs.
I think it's easier to just do code reviews...
So, no, you will never be able to produce code automatically. You can and certainly should use AI as a code assistant to write code faster, but the human should always 1) make all important architectural decisions and 2) carefully review the outputted code
The human bottleneck is necessary.
Doesn't seem like a good strategy to me.
To answer your question : I don't know, but probably not in the foreseeable future.
Right now it's a python library, but the vision is to build a new framework / SDK / programming language which allows you to seamlessly mesh "plain old code" with LLM evaluations, while having a runtime which does "smart" context engineering in the background in order to steer the LLM and improve its correctness.
The end-goal is for this paradigm to enable new kinds of agentic applications, which leverage the flexibility of LLMs while retaining the determinism of regular code.
It's honestly surprising how little work gets put into building harnesses which carefully steer the LLM through sophisticated context curation. Probably due to the belief that we shouldn't care much because AGI is just around the corner.
Related (but shameless) plug : I've actually been hacking a project over the past two weeks to address this very issue. I'd like to create an SDK which embeds the evaluation of LLMs into code seamlessly, and does "behind the curtains" context curation, to really enable "hybrid" code/LLM agentic applications. (if you're curious => https://github.com/VKCR/semiotique)
Product quality is an emergent property of high standards (aka code quality).
Now THAT would be crazy
It still seems like a promising approach for RSI, distillation, fine-tuning, and a whole host of other tasks.
I still think there would be benefits to making education in the west a bit harder, if for anything to build the taste for intellectual effort in young kids. But especially to identify talent who could not be identified otherwise.
It's interesting that you mentioned Tao and Carlsen. Would they have been identified by the educational system had Tao's mom not been a mathematician, and Carlsen's dad a chess enthusiast?
More controversially, assuming "normal" parents, would Carlsen and Tao have had more chance of being identified and pushed towards excellence had they been born in the USSR in the 1950s or in the west today?