We programmed a program to program new programs (2011)(smbc-comics.com)

37 pointsby Georgelemental2 mesi fa2 comments

We programmed a program to program new programs (2011)

https://www.smbc-comics.com/comic/2011-09-08

2 comments

stevefan19992 mesi fa

Speaking aside, can LLM agentic coding be seen as a kind of second-order Futamura projection, ? That we instructed a human language interpreter, and using some rules and template generation, internal pattern matchings by LLMs, turned that into code, and then compiled, hence indirectly completing the Futamura loop.

I would still define first-order Futamura projection as the original definition that you have direct encoding and code-to-code expansion and transformation between so.

jquaint2 mesi fa

Thanks OP, I have been looking for this specific comic for a while!

This feels very accurate to reality.