deniz
Search Results
Unreasonable Effectiveness of Compositional Thinking → examples → meta-reflexivity and levels of abstraction [[Chat-GPT]] output → How other fields compare → Logic / Type theory →
#
>

Some self-reflection (e.g., universe levels), but often needs a meta-system

→
notes github linkedin calendly [email protected]