[11:20:18] *** Joins: daherb (~daherb@ppp-93-104-175-232.dynamic.mnet-online.de)
[11:47:52] <inariksit> yay today is gf course day again
[11:47:57] <inariksit> in 1.5 hours
[11:51:25] <vin-ivar> waiting for 5-6 people to suddenly join
[12:37:29] <inariksit> ^^
[12:38:19] <inariksit> last two times it's been nice weather outside, but now it's raining
[12:38:28] <inariksit> should be more students! :-P
[12:48:58] *** Quits: daherb (~daherb@ppp-93-104-175-232.dynamic.mnet-online.de) (Quit: leaving)
[12:59:09] <vin-ivar> how often is the GF course, every week?
[12:59:14] <inariksit> yeah
[12:59:34] <inariksit> lecture tue and fri, labs just fei
[12:59:37] <inariksit> fri*
[13:01:10] <vin-ivar> nice, sounds fun
[13:07:03] <jstar> inariksit: we should meet before I take the lab this time next week
[13:07:07] <jstar> when do you leave?
[13:07:44] <inariksit> on sunday
[13:08:04] <inariksit> we can meet after/before remu meeting tomorrow?
[13:08:27] <jstar> sure, let's say after
[13:08:39] <inariksit> ok
[13:10:38] *** Joins: iwk (~user@flv49020.hum.gu.se)
[13:10:39] *** Joins: BobL (82f1310f@gateway/web/freenode/ip.130.241.49.15)
[13:11:03] <inariksit> \o/
[13:11:51] <iwk> :)
[13:12:55] *** Joins: ehrle (82f13110@gateway/web/freenode/ip.130.241.49.16)
[13:13:07] <inariksit> iwk: did you find any sense out of the truth grammar?
[13:13:20] <ehrle> what truth grammar?
[13:13:29] <iwk> oh, just a thing i did
[13:13:31] <inariksit> it was something in the book?
[13:13:33] <inariksit> ah ok
[13:13:35] <iwk> yup
[13:13:35] <inariksit> cool
[13:13:51] <vin-ivar> truth grammar?
[13:14:02] <inariksit> ehrle: it was a grammar that had truth values, T, F : Val
[13:14:10] <inariksit> and functions And : Val -> Val -> Val
[13:14:15] <inariksit> and Or : Val -> Val -> Val
[13:14:27] <inariksit> then you can have abstract syntax trees like And (Or T F) F
[13:14:33] <iwk> an exercise from the gf book
[13:14:33] <inariksit> and it will print out as F
[13:16:35] *** Joins: Toni (82f1d2eb@gateway/web/freenode/ip.130.241.210.235)
[13:36:29] <inariksit> "2013-06-24:We are now running the IRC channel #gf on the Freenode network."
[13:36:35] <inariksit> wow we're almost 2 years old ^_^
[13:40:22] <iwk> Cool :D
[14:11:37] *** Quits: ehrle (82f13110@gateway/web/freenode/ip.130.241.49.16) (Quit: Page closed)
[14:54:44] *** Quits: Toni (82f1d2eb@gateway/web/freenode/ip.130.241.210.235) (Quit: Page closed)
[14:55:08] *** Quits: iwk (~user@flv49020.hum.gu.se) (Remote host closed the connection)
[15:06:01] *** Quits: BobL (82f1310f@gateway/web/freenode/ip.130.241.49.15) (Ping timeout: 246 seconds)