4 ms·
> The duo’s answer was to build deterministic infrastructure that serves as a trust and verification layer for AI. On the one hand, very encouraging to see pla
by hansmayer 6mo ago
> The duo’s answer was to build deterministic infrastructure that serves as a trust and verification layer for AI.
On the one hand, very encouraging to see plain old deterministic infra w/o using slop machines.
On the other hand, this is a recognition that LLMs are just additional friction in the system that we would better off without in the first place!
- bjelkeman-again 6mo agoJust friction? What do you mean? What would you do instead?
- hansmayer 6mo agoWell... You have a 'tool' that you cannot trust. Present everywhere due to unholly alliance between the LLM- companies and the exhilirated office worker cretins who "use" them to do "workflows". Now they fuck up stuff. Sounds like friction to me, or do you value the LLMs as net positive? WHy should I do something to fix their problems instead?
- SpicyLemonZest 6mo agoYou're misunderstanding something about the problem space they're describing. The deterministic infra is for an underlying "execution layer"; the LLMs are providing utility by figuring out how to express English language queries in terms of the primitives of that verifiable layer. That way, you can describe your results deterministically even though the process of arriving at them was not necessarily deterministic.
- hansmayer 6mo agoOh. I may have misread indeed. Ao its like, still LLM bullshit, but with really strongly worded .md instruction files begging them to please be correct?
- SpicyLemonZest 6mo agoNo. The point of the verification layer is that you don't have to beg the LLM to please be correct.
- hansmayer 6mo ago[dead]
- eddiehammond 6mo ago[dead]
- jmogly 6mo agoHow do you know that the llm is correctly translating the english queries to the verifiable primitives? It seems like it’s just pushing the problem to another layer?