Owen Lynch on Nostr: nprofile1q…9xuzd nprofile1q…3qgyt told me about the relative positioning trick ...

nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysj9xuzd (nprofile…xuzd) nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqtc5szsf8gs54cuursvgzkp8t04thtvr7ytgxcr88w6kxnkn83tlsr3qgyt (nprofile…qgyt) told me about the relative positioning trick for what he calls "60fps typechecking". Might be worth talking to him a bit about incremental architecture for proof assistants.