I wrote a short proof showing that any self-hosting compiler cannot perform certain legal optimizations.
Would love feedback from compiler folks - does the proof look correct, and is it already well known?
Link:
This is a great use case for LLMs. A personalized tutor for every topic and every student. Seems to work well in practice too for common topics (not tried on truly obscure things).
>buy a new math text
>you find it totally impenetrable
>makes no sense
>work hard, finally get it
>it’s all so beautiful and simple
>why didn’t they just explain it this way???
>write new text
>someone buys it
>they find it totally impenetrable
