← Back to context Comment by simgt 3 days ago CS thesis that requires traveling, tell us more! What's the topic? :) 2 comments simgt Reply tekne 1 day ago I work on verifying compiler optimization passes, mainly using weird category theory, so the traveling is mostly orthogonal! jll29 3 days ago Perhaps the Italian girlfriend was not where the mainframe on which the theorem prover ran? ;)If I had been in Italy, perhaps my Ph.D. would never have been finished...
tekne 1 day ago I work on verifying compiler optimization passes, mainly using weird category theory, so the traveling is mostly orthogonal!
jll29 3 days ago Perhaps the Italian girlfriend was not where the mainframe on which the theorem prover ran? ;)If I had been in Italy, perhaps my Ph.D. would never have been finished...
I work on verifying compiler optimization passes, mainly using weird category theory, so the traveling is mostly orthogonal!
Perhaps the Italian girlfriend was not where the mainframe on which the theorem prover ran? ;)
If I had been in Italy, perhaps my Ph.D. would never have been finished...