@Lars Wirzenius Yes, indeed. I was in the audience... somewhere in the middle :-) Patrik Floréen, who was leading the seminar, and was apparently Linus' Bachelor's thesis teacher, is my immediate boss.
The quality of the talks was a bit varying, I liked your talk the best! :-)
Lars Wirzenius likes this.