We programmed a program to program new programs (2011)

原始链接: https://www.smbc-comics.com/comic/2011-09-08

Today's comic features SMBC reader/googler Tanya!It's also loosely based on a conversation I had at the last Beerscussion. Dude I was talking to - I remember everything we talked about, but for some reason at 1:30AM I can't remember your name! If you see this, please send it to me and I'll credit you :)

Hacker Newsnew | past | comments | ask | show | jobs | submitloginWe programmed a program to program new programs (2011) (smbc-comics.com)11 points by Georgelemental 1 hour ago | hide | past | favorite | 1 comment help stevefan1999 14 minutes ago [–] 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.reply Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search:

Today's comic features SMBC reader/googler Tanya!

It's also loosely based on a conversation I had at the last Beerscussion. Dude I was talking to - I remember everything we talked about, but for some reason at 1:30AM I can't remember your name! If you see this, please send it to me and I'll credit you :)