Simon Gay

@andre_videla @hannelita Interesting article here: rug.nl/education/phd-… One point it doesn't discuss is the question of IP: students own it, employees don't.

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

It’s overall very funny to see how automatic subtitles in PL video talks get confused, but this one is great: “theorem prover” → “fear improver” 🤣

@typer_uma Good news, well done!

@KangarooPhysics Thanks, will give it a try.

@SimonJGay Sorry for the delay - you can now download the solid version in flat and halved configuration from Oskar's site: oskarvandeventer.nl/Print-It-Yours… (It's the 'turbo-triplet')

Based on an idea from Oskar van Deventer - it moves like a 6 link kaleidocycle, but is composed of just 3 solid parts

@KangarooPhysics Looking forward to it!

@SimonJGay Thanks for letting me know - I'll upload one with them in the flat triangular configuration (and a solid version)

@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.

Here the model as 3dm/stl/stp. It is hollow and should be 3d printable (this version includes a 0.5mm clearance between parts to prevent them fusing). github.com/Dan-Piker/Scul…

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

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

@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.

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

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

Recruiting a post-doc for a new EPSRC project: Session Types for Reliable Distributed Systems (Stardust). jobs.ac.uk/job/BZP526/res…

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

@ptrckcnnnghm Trying to contact you to see whether you/BBC are interested in joining a research project involving Scala/Akka. Simon Gay, Glasgow University, Simon.Gay@glasgow.ac.uk

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