This log is automatically generated by an IRC bot from the traffic on the #topicmaps IRC channel on the irc.freenode.net IRC server. This file has the traffic for 2006-04-24. If you have questions regarding this log, please contact larsga@ontopia.net.
| 00:12:27 | larsbot | larsbot has quit None ("This computer has gone to sleep") |
| 00:20:10 | chefpogo | chefpogo has quit None () |
| 06:16:42 | opland | opland has joined #topicmaps |
| 07:09:02 | grove | grove has joined #topicmaps |
| 07:53:45 | chefpogo | chefpogo has joined #topicmaps |
| 08:13:33 | larsbot | larsbot has joined #topicmaps |
| 08:29:10 | chefpogo | chefpogo has quit None () |
| 09:24:37 | chefpogo | chefpogo has joined #topicmaps |
| 10:58:21 | drrho | drrho has joined #topicmaps |
| 11:03:30 | drrho | hio folks! |
| 11:32:40 | ally | ally has joined #topicmaps |
| 11:35:50 | larsbot | hi there, drrho |
| 11:35:56 | larsbot | how's the progress on TMQL? |
| 11:36:32 | drrho | I'm on it. Tomorrow is public holiday, good time to push hard. |
| 11:36:37 | larsbot | good |
| 11:36:39 | larsbot | sounds fine to me |
| 11:36:52 | drrho | I am very happy that the language is getting smaller and smaller. |
| 11:37:04 | larsbot | that sounds encouraging! :-) |
| 11:37:22 | larsbot | smaller is better |
| 11:37:49 | drrho | 59 productions in the grammar and still falling. |
| 11:38:02 | larsbot | 59 is very good |
| 11:38:08 | drrho | We had over 80 at some point. |
| 11:38:21 | larsbot | XML has 89... |
| 11:38:26 | drrho | And many productions are only for style reasons. |
| 11:38:46 | drrho | You probably would optimize them away in a production parser. |
| 11:39:51 | larsbot | yep, but the style is probably worth the overhead |
| 11:40:26 | drrho | And I only count 27 pages (without predefined environment, functions and formal semantics). |
| 11:42:44 | ally | ally has quit None ("Parti") |
| 11:42:50 | larsbot | wow |
| 11:42:54 | larsbot | let's hope it's all there, then |
| 11:43:02 | larsbot | but I'm happy to have fewer pages to review :) |
| 11:43:11 | drrho | you'll find out ;=} |
| 11:43:32 | larsbot | yes :) |
| 11:44:41 | drrho | ah, dancing time, will be back in 1.5 hours. |
| 11:44:51 | larsbot | ack :) |
| 11:44:54 | drrho | * drrho is away: dancing |
| 13:15:58 | larsbot | larsbot has quit None ("This computer has gone to sleep") |
| 13:16:52 | drrho | drrho has quit None ("using sirc version 2.211+KSIRC/1.3.11") |
| 14:53:53 | grove | grove has quit None (Remote closed the connection) |
| 14:58:40 | chefpogo | chefpogo has quit None () |
| 14:58:58 | lheuer | lheuer has joined #topicmaps |
| 15:08:47 | opland | opland has quit None ("Opland has left the channel...") |
| 15:25:25 | opland | opland has joined #topicmaps |
| 15:44:57 | grove | grove has joined #topicmaps |
| 16:08:32 | chefpogo | chefpogo has joined #topicmaps |
| 16:32:00 | larsbot | larsbot has joined #topicmaps |
| 16:55:57 | larsbot | larsbot has quit None ("This computer has gone to sleep") |
| 17:09:19 | opland | opland has quit None ("Opland has left the channel...") |
| 18:18:08 | oc\\ | oc\\ has joined #topicmaps |
| 18:18:58 | lheuer | lheuer has left #topicmaps () |
| 18:22:38 | ocr | ocr has quit None (Read error: 110 (Connection timed out)) |
| 20:12:01 | chefpogo | chefpogo has quit None (Read error: 104 (Connection reset by peer)) |
| 20:19:51 | chefpogo | chefpogo has joined #topicmaps |
| 21:49:15 | chefpogo | chefpogo has quit None () |
| 22:27:25 | grove | grove has quit None (Remote closed the connection) |
| 22:47:18 | chefpogo | chefpogo has joined #topicmaps |
| 23:53:48 | uebera||away_awa | uebera||away_awa is now known as uebera||away |
| 23:55:36 | uebera||away | uebera||away is now known as uebera||cleaning |
| 23:59:31 | uebera||cleaning | * uebera||cleaning is detaching |