Urgh I missed the #SPLS keynote because I was too busy attending a friend’s lecture, and surprising old colleagues. Worth it though.
The looks of recognition from old friends and colleagues faces was nice to have.
seriously, if you like games about bluff and reading your opponent then unless you hate the fighting game aspect it's worth a go
also I've got a copy on my laptop which will totally be going to #SPLS tomorrow!
Urgh I missed the #SPLS keynote because I was too busy attending a friend’s lecture, and surprising old colleagues. Worth it though.
The looks of recognition from old friends and colleagues faces was nice to have.
That’s #SPLS done at Strathclyde for another two years! Hosted by @mspstrath with sponsorship from #SICSA.
A nice line up of talks, and a wonderful preview of #SPLV26 as hosted by our friends at Glasgow.
Looking forward to seeing what St Andrews has installed for the next edition.
Indded, it would be lovely to host.
For #SPLS see https://spli.scot/spls/ for more details.
Pygments but integrates with katla.
As much as I like katla, using it in papers/beamer is a bit of a pain. I need to re format the highlighted code.
Guess what I’ll be doing on the bus tomorrow! #spls
Arg: Today's lecture was on Information Flow.
At today's #SPLS there was a talk on Declassification!
Urgh, one day I will get to go to another SPLS....