An LLM wrote data library bindings for his language, perfectly sufficient first try

Asked an LLM to write Apache Arrow bindings for Lean; it knocked out perfectly sufficient bindings.

How it works

He asks an LLM to write the bindings for the language
It knocks out perfectly sufficient bindings

Why it’s worth knowing

Perfectly sufficient is the right bar for glue, and it cleared it.

Where it’s from

Summarized from a public post on news.ycombinator.com. See the original ↗

Upgraded prompt

A ready-to-use prompt for this idea, built from research on what makes AI agents do the job right: who the AI should be, the exact steps, and a check to make sure it was done the way you wanted.

1Who the AI should be

2The prompt, with the steps

3The check when it’s done

Upgraded prompts are coming soon.

Try next

WorkRead every job advert, tailor my CV and apply with my approval WorkA contractor talks measurements into his phone and QuickBooks sends the estimate in 45 seconds WorkMy bot sent 100 follow ups to stalled customers. One became a $2,000 sale.$2,000 one time WorkWhatsApp agent qualified leads, sales reached 461 thousand reais

Every idea is a real post from someone who tried it, summarized in our words, with a link to the original. App names are swapped for plain words.