Comment by simgt 5 months ago CS thesis that requires traveling, tell us more! What's the topic? :) 2 comments simgt Reply jll29 5 months 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 5 months ago I work on verifying compiler optimization passes, mainly using weird category theory, so the traveling is mostly orthogonal!
jll29 5 months 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 5 months ago 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...
I work on verifying compiler optimization passes, mainly using weird category theory, so the traveling is mostly orthogonal!