also me. I will be reading all thesis.
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Conversation
once I approached Simon Gay and said: I read your undergraduate thesis.
1
4
oh wow, I'd be shocked if someone read mine.
1
2
I’mma add Liam’s to the pipeline as of today 😂
1
4
I think my undergrad thesis has some good stuff mixed in with some cringey stuff, so it's available publicly but not publicised anywhere. There is one nice technique I invented that I haven't seen anywhere else though..
1
3
(Basically, the technique is, if you're formalising some algorithmic rules like a constraint generator or elaboration rules that rely on generating "fresh" unification variables, don't do that. Put an actual binder for the variable into the structure of your output and then...
2
6
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
