[11:39:36] *** Joins: jmvanel (~jmvanel@199.0.88.79.rev.sfr.net)
[12:11:11] *** Quits: drbean (~drbean@113.196.171.151) (*.net *.split)
[12:12:55] *** Quits: DaHerb (herb@cube.netsoc.tcd.ie) (*.net *.split)
[12:15:40] *** Joins: DaHerb (herb@cube.netsoc.tcd.ie)
[12:18:55] *** Joins: drbean (~drbean@113.196.171.151)
[13:23:04] *** Joins: evariste (~gdetrez@dhcp2-225004.cs.chalmers.se)
[15:52:59] *** Quits: evariste (~gdetrez@dhcp2-225004.cs.chalmers.se) (Quit: Lost terminal)
[16:10:56] <inariksit> So my solution was "Funny pictures of Aarne"
[16:33:34] <halla> ;D
[17:13:35] <inariksit> Haha, one day when I talked about SMT someone thought that I was talking about satisfiability modulo theories
[17:14:02] <inariksit> This is a weird combination, we're at a Chalmers division meeting where people are giving talks
[17:14:28] <inariksit> I wonder how many of the audience imagined I was talking about that when I mentioned SMT in my talk many times :P
[22:03:19] *** Quits: jmvanel (~jmvanel@199.0.88.79.rev.sfr.net) (Ping timeout: 260 seconds)
[22:07:10] *** Joins: jmvanel (~jmvanel@199.0.88.79.rev.sfr.net)