2014-05-14 01:10 michael_lee has joined #qi-hardware
2014-05-14 01:41 porchao has quit [Quit: Leaving...]
2014-05-14 01:45 dos1 has quit [Ping timeout: 258 seconds]
2014-05-14 01:46 porchao has joined #qi-hardware
2014-05-14 03:47 michael_lee has quit [Remote host closed the connection]
2014-05-14 04:03 mth has quit [Ping timeout: 255 seconds]
2014-05-14 04:50 unclouded has quit [Ping timeout: 252 seconds]
2014-05-14 04:52 unclouded has joined #qi-hardware
2014-05-14 05:14 wolfspraul has joined #qi-hardware
2014-05-14 05:49 michael_lee has joined #qi-hardware
2014-05-14 06:14 mth has joined #qi-hardware
2014-05-14 06:22 rz2k has joined #qi-hardware
2014-05-14 06:26 valhalla_ has joined #qi-hardware
2014-05-14 06:28 valhalla has quit [Ping timeout: 258 seconds]
2014-05-14 06:33 mth_ has joined #qi-hardware
2014-05-14 06:33 mth has quit [Ping timeout: 276 seconds]
2014-05-14 06:57 jekhor has joined #qi-hardware
2014-05-14 07:19 sb0 has joined #qi-hardware
2014-05-14 07:22 xiangfu has joined #qi-hardware
2014-05-14 07:56 pcercuei has joined #qi-hardware
2014-05-14 08:20 dos1 has joined #qi-hardware
2014-05-14 08:31 xiangfu has quit [Remote host closed the connection]
2014-05-14 09:16 jow_laptop has joined #qi-hardware
2014-05-14 10:23 mth_ has quit [Remote host closed the connection]
2014-05-14 10:23 mth_ has joined #qi-hardware
2014-05-14 10:31 mth_ is now known as mth
2014-05-14 10:36 dos1 has quit [Ping timeout: 258 seconds]
2014-05-14 11:33 jluis has quit [Ping timeout: 245 seconds]
2014-05-14 11:46 jluis has joined #qi-hardware
2014-05-14 12:11 pcercuei has quit [Ping timeout: 240 seconds]
2014-05-14 12:12 pcercuei has joined #qi-hardware
2014-05-14 12:37 atommann has joined #qi-hardware
2014-05-14 12:41 rz2k has quit [Remote host closed the connection]
2014-05-14 13:12 viric has quit [Ping timeout: 276 seconds]
2014-05-14 13:16 viric has joined #qi-hardware
2014-05-14 13:20 jekhor has quit [Ping timeout: 252 seconds]
2014-05-14 13:48 michael_lee has quit [Quit: Ex-Chat]
2014-05-14 15:28 jekhor has joined #qi-hardware
2014-05-14 15:43 michael_lee has joined #qi-hardware
2014-05-14 15:55 pcercuei has quit [Ping timeout: 252 seconds]
2014-05-14 16:20 atommann has quit [Ping timeout: 255 seconds]
2014-05-14 16:24 jekhor has quit [Ping timeout: 240 seconds]
2014-05-14 16:33 atommann has joined #qi-hardware
2014-05-14 16:40 pcercuei has joined #qi-hardware
2014-05-14 16:42 atommann has quit [Quit: Leaving]
2014-05-14 16:42 porchao has quit [Quit: Leaving...]
2014-05-14 16:46 dos1 has joined #qi-hardware
2014-05-14 17:02 _whitelogger has joined #qi-hardware
2014-05-14 17:04 porchao has joined #qi-hardware
2014-05-14 17:12 jekhor has joined #qi-hardware
2014-05-14 18:19 jluis has quit [Ping timeout: 245 seconds]
2014-05-14 18:32 jluis has joined #qi-hardware
2014-05-14 18:34 jekhor has quit [Ping timeout: 276 seconds]
2014-05-14 19:15 michael_lee has quit [Quit: Ex-Chat]
2014-05-14 20:12 jekhor has joined #qi-hardware
2014-05-14 21:10 tumdedum has quit [Remote host closed the connection]
2014-05-14 21:16 <whitequark> kyak: wow, this is interesting: http://kframework.org
2014-05-14 21:16 <whitequark> they even have formal semantics for PHP (!!) http://www.phpsemantics.org/
2014-05-14 21:24 tumdedum has joined #qi-hardware
2014-05-14 21:41 wolfspraul has quit [Quit: leaving]
2014-05-14 21:45 sb0 has quit [Quit: Leaving]
2014-05-14 22:30 dandon has quit [Ping timeout: 264 seconds]
2014-05-14 22:30 jekhor has quit [Ping timeout: 240 seconds]
2014-05-14 22:54 dandon has joined #qi-hardware
2014-05-14 23:00 pcercuei has quit [Quit: dodo]
2014-05-14 23:20 porchao has quit [Quit: Leaving...]
2014-05-14 23:25 porchao has joined #qi-hardware