Simon Gay

[Simon Gay @SimonJGay]

@andre_videla @hannelita Interesting article here: https://t.co/EsgbitBbdA One point it doesn't discuss is the question of IP: students own it, employees don't.

[Simon Gay @SimonJGay]

@etanter @typer_uma I had "sets and relations" -> "sexual relations" consistently in my databases lectures.

[Simon Gay @SimonJGay]

@typer_uma Good news, well done!

[Simon Gay @SimonJGay]

@KangarooPhysics Thanks, will give it a try.

[Simon Gay @SimonJGay]

@KangarooPhysics Looking forward to it!

[Simon Gay @SimonJGay]

@KangarooPhysics I had difficulty printing this. The slicer added so much support that it was hard to remove. I think it would be easier if the model was flat, i.e. every cylinder pointing either vertically or horizontally.

[Simon Gay @SimonJGay]

@typer_uma The talk was excellent, and it was great to see the Agda environment working interactively.

[Simon Gay @SimonJGay]

@wenkokke This is really good. I have just recommended it to a student who is enquiring about PhD places.

[Simon Gay @SimonJGay]

@typer_uma @dixego_ A positive spin on finding that what you are doing has already been done by someone else is that it shows what a good idea it was.

[Simon Gay @SimonJGay]

@typer_uma Looks good! Any difficulty getting it out of the pan?

[Simon Gay @SimonJGay]

@typer_uma Sorry to hear that. I skimmed it and thought it was good. Also your talk was excellent. Better luck next time.

[Simon Gay @SimonJGay]

Recruiting a post-doc for a new EPSRC project: Session Types for Reliable Distributed Systems (Stardust). https://t.co/whRXUPJTsa

[Andrew Wilson (he/him) @tentivetodetail]

Ringing the changes and exploring symmetry in an intriguing and musical @Ri_Science Masterclass from @SimonJGay @GlasgowCS today! @UofGMaths_Stats

[Simon Gay @SimonJGay]

@ptrckcnnnghm Trying to contact you to see whether you/BBC are interested in joining a research project involving Scala/Akka. Simon Gay, Glasgow University, [email protected]

[Simon Gay @SimonJGay]

@GlasgowCS REF results: GlasgowCS top in Scotland for impact, top ten in UK for volume of internationally excellent research. Well done all!