IRC log of dig on 2008-09-08
Timestamps are in UTC.
- 05:20:56 [blinding_dawn]
- blinding_dawn (n=Blinding@c-71-193-204-75.hsd1.or.comcast.net) has joined #dig
- 05:21:01 [blinding_dawn]
- blinding_dawn has left #dig
- 11:56:37 [RalphS]
- RalphS (n=swick@30-5-41.wireless.csail.mit.edu) has joined #dig
- 12:06:35 [DIGlogger]
- DIGlogger (n=dig-logg@groups.csail.mit.edu) has joined #dig
- 12:06:35 [kubrick.freenode.net]
- topic is: Decentralized Information Group @ MIT http://dig.csail.mit.edu/
- 12:06:35 [kubrick.freenode.net]
- Users on #dig: DIGlogger RalphS harveyj ericP DanC sandro_ _Tristan daniel-soton
- 12:06:49 [lkagal]
- lkagal (n=lkagal@186.68.171.66.subscriber.vzavenue.net) has joined #dig
- 12:14:39 [lkagal]
- lkagal has quit ()
- 13:49:24 [amy]
- amy (n=amy@amy.csail.mit.edu) has joined #dig
- 14:21:17 [oshani]
- oshani (n=oshani@30-7-14.wireless.csail.mit.edu) has joined #dig
- 14:34:43 [lkagal]
- lkagal (n=lkagal@186.68.171.66.subscriber.vzavenue.net) has joined #dig
- 14:59:22 [oshani]
- oshani has quit ()
- 14:59:40 [oshani]
- oshani (n=oshani@30-7-14.wireless.csail.mit.edu) has joined #dig
- 15:30:18 [lkagal]
- lkagal has quit ()
- 15:35:19 [oshani]
- RalphS: you got a minute?
- 15:36:35 [oshani]
- I noted something weird happening with the SVN -> Dig website syncing
- 15:37:20 [oshani]
- Anybody else experienced the same thing?
- 15:41:05 [oshani]
- seems like TIG has wiped out the script running on login.csail.mit.edu after the security compromise on Sep 3rd
- 15:41:24 [oshani]
- I will open up a help ticket
- 15:41:36 [RalphS]
- hi, Oshani. I suggest you send mail to Garrett
- 15:43:29 [oshani]
- yes, I'll do tha
- 15:43:31 [oshani]
- that
- 15:46:37 [timbl]
- timbl (n=timbl@w3cdhcp51.w3.org) has joined #dig
- 16:22:23 [lkagal]
- lkagal (n=lkagal@30-6-69.wireless.csail.mit.edu) has joined #dig
- 17:06:47 [amy]
- is there a DIG meeting today?
- 17:13:04 [DanC]
- yes, the agenda lkagal sent makes it reasonably clear there will be, amy. why?
- 17:13:30 [amy]
- just checking for Tim's schedule, missed the agenda, sorry
- 17:16:42 [DanC]
- np
- 18:25:39 [roberth]
- roberth (n=hoffmann@30-7-65.wireless.csail.mit.edu) has joined #dig
- 18:26:32 [roberth]
- roberth has quit (Client Quit)
- 18:29:13 [lkagal]
- lkagal has quit ()
- 18:30:29 [roberth]
- roberth (n=hoffmann@30-7-65.wireless.csail.mit.edu) has joined #dig
- 18:31:00 [lkagal]
- lkagal (n=lkagal@30-6-69.wireless.csail.mit.edu) has joined #dig
- 18:32:23 [lkagal]
- timbl, the DIG meeting is about to start.
- 18:33:03 [Zakim]
- Zakim (n=rrs-brid@homer.w3.org) has joined #dig
- 18:33:07 [RalphS]
- zakim, this is dig
- 18:33:07 [Zakim]
- ok, RalphS; that matches DIG_weekly()2:30PM
- 18:33:12 [RalphS]
- zakim, who's on the call?
- 18:33:12 [Zakim]
- On the phone I see MIT531
- 18:34:00 [timbl_]
- timbl_ (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 18:34:15 [RalphS]
- zakim, MIT531 has TimBL, Robert, Ilaria, Xiaoqian, Lalana, Ralph, Ian, Oshani, Albert, Kenny
- 18:34:15 [Zakim]
- +DanC
- 18:34:16 [Zakim]
- +TimBL, Robert, Ilaria, Xiaoqian, Lalana, Ralph, Ian, Oshani, Albert, Kenny; got it
- 18:34:18 [timbl_]
- timbl_ has quit (Read error: 104 (Connection reset by peer))
- 18:34:47 [timbl_]
- timbl_ (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 18:34:47 [roberth]
- http://cbio.mskcc.org/~hoffmann/tmp/dig4_RH.pdf
- 18:35:35 [Albert]
- Albert (n=chatzill@30-6-206.wireless.csail.mit.edu) has joined #dig
- 18:35:43 [Pipian]
- Pipian (n=Pipian@30-6-242.wireless.csail.mit.edu) has joined #dig
- 18:36:27 [fuming]
- fuming (n=chatzill@30-5-13.wireless.csail.mit.edu) has joined #dig
- 18:36:27 [timbl_]
- timbl_ has quit (Read error: 104 (Connection reset by peer))
- 18:36:35 [timbl_]
- timbl_ (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 18:37:45 [kennyluck]
- kennyluck (n=kennyluc@30-7-120.wireless.csail.mit.edu) has joined #dig
- 18:38:07 [timbl_]
- timbl_ has quit (Read error: 104 (Connection reset by peer))
- 18:38:35 [timbl_]
- timbl_ (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 18:39:02 [RalphS]
- -> http://dig.csail.mit.edu/2008/09/dig4_RH.pdf DIG copy of Robert's presentation
- 18:39:57 [DanC]
- (each page in wikipedia depends on a number of "conventional"/static publications.)
- 18:40:57 [DanC]
- (what society seems to like is a balance of blogs and wikis (where "blogs" generalizes over news articles, academic publication, etc.))
- 18:41:54 [timbl__]
- timbl__ (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 18:41:54 [timbl_]
- timbl_ has quit (Read error: 104 (Connection reset by peer))
- 18:41:56 [Pipian]
- (What about attempts to 'fork' Wikipedia into stable branches (e.g. "Wikipedia 1.0"?))
- 18:42:05 [timbl__]
- timbl__ has quit (Read error: 104 (Connection reset by peer))
- 18:42:33 [timbl_]
- timbl_ (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 18:42:54 [timbl_]
- timbl_ has quit (Connection reset by peer)
- 18:43:18 [timbl_]
- timbl_ (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 18:43:27 [timbl_]
- timbl_ has quit (Read error: 104 (Connection reset by peer))
- 18:43:58 [timbl_]
- timbl_ (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 18:43:59 [DanC]
- the only snapshots of wikipedia that make sense to me, Pipian , are the ones for media other than the web; e.g. hardcopy, or cached copies in disconnected/low-bandwidth communities
- 18:44:17 [timbl_]
- timbl_ has quit (Connection reset by peer)
- 18:44:45 [timbl_]
- timbl_ (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 18:46:24 [timbl_]
- timbl_ has quit (Read error: 104 (Connection reset by peer))
- 18:46:40 [timbl_]
- timbl_ (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 18:47:24 [timbl]
- timbl has quit (Read error: 110 (Connection timed out))
- 18:50:00 [timbl]
- timbl (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 18:50:00 [timbl_]
- timbl_ has quit (Read error: 104 (Connection reset by peer))
- 18:54:39 [timbl_]
- timbl_ (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 18:54:39 [timbl]
- timbl has quit (Read error: 104 (Connection reset by peer))
- 18:56:00 [RalphS]
- Robert: references between articles are created by mapping terms through an ontology
- 18:56:26 [RalphS]
- ... thus two symbols can create a link even if they are not [syntactically] identical
- 18:56:37 [timbl_]
- timbl_ has quit (Read error: 104 (Connection reset by peer))
- 18:57:01 [timbl]
- timbl (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 18:59:01 [timbl_]
- timbl_ (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 18:59:11 [timbl]
- timbl has quit (Read error: 104 (Connection reset by peer))
- 19:00:25 [timbl_]
- timbl_ has quit (Read error: 104 (Connection reset by peer))
- 19:00:53 [timbl]
- timbl (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 19:02:16 [timbl_]
- timbl_ (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 19:02:17 [timbl]
- timbl has quit (Read error: 104 (Connection reset by peer))
- 19:03:36 [RalphS]
- -> http://www.wikigenes.org/ wikigenes
- 19:04:31 [timbl]
- timbl (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 19:04:31 [timbl_]
- timbl_ has quit (Read error: 104 (Connection reset by peer))
- 19:05:27 [RalphS]
- -> http://www.nature.com/ng/journal/v40/n9/full/ng.f.217.html "A wiki for the life sciences where authorship matters" R. Hoffman, Nature Genetics 40, 1047 - 1051 (2008) Published online: 27 August 2008 | doi:10.1038/ng.f.217
- 19:06:26 [timbl_]
- timbl_ (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 19:06:26 [timbl]
- timbl has quit (Read error: 104 (Connection reset by peer))
- 19:08:15 [timbl]
- timbl (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 19:08:15 [timbl_]
- timbl_ has quit (Read error: 104 (Connection reset by peer))
- 19:10:06 [roberth]
- roberth has quit ()
- 19:10:06 [timbl]
- timbl has quit (Read error: 104 (Connection reset by peer))
- 19:10:19 [timbl]
- timbl (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 19:12:31 [kennyluck]
- my slides: http://people.csail.mit.edu/kennyluck/math/semantic_hol/talk/DIG_slides
- 19:13:20 [Ilaria]
- Ilaria (n=chatzill@30-7-33.wireless.csail.mit.edu) has joined #dig
- 19:13:20 [timbl]
- timbl has quit (Read error: 104 (Connection reset by peer))
- 19:13:44 [timbl]
- timbl (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 19:15:34 [timbl_]
- timbl_ (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 19:15:34 [timbl]
- timbl has quit (Read error: 104 (Connection reset by peer))
- 19:15:49 [RalphS]
- -> http://www.cl.cam.ac.uk/~jrh13/hol-light/ HOL Light theorem prover
- 19:17:39 [timbl]
- timbl (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 19:17:39 [timbl_]
- timbl_ has quit (Read error: 104 (Connection reset by peer))
- 19:19:38 [timbl_]
- timbl_ (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 19:19:38 [timbl]
- timbl has quit (Read error: 104 (Connection reset by peer))
- 19:20:04 [roberth]
- roberth (n=hoffmann@30-7-65.wireless.csail.mit.edu) has joined #dig
- 19:21:25 [timbl]
- timbl (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 19:21:25 [timbl_]
- timbl_ has quit (Read error: 104 (Connection reset by peer))
- 19:23:27 [timbl_]
- timbl_ (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 19:23:31 [timbl]
- timbl has quit (Read error: 104 (Connection reset by peer))
- 19:30:30 [timbl_]
- Linked open theorems
- 19:31:15 [fuming]
- exit
- 19:31:15 [timbl_]
- timbl_ has quit (Read error: 104 (Connection reset by peer))
- 19:31:38 [timbl]
- timbl (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 19:33:08 [timbl]
- timbl has quit (Read error: 104 (Connection reset by peer))
- 19:33:31 [Albert]
- Albert has quit ("ChatZilla 0.9.83 [Firefox 3.0.1/2008070208]")
- 19:33:36 [timbl]
- timbl (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 19:35:08 [timbl]
- timbl has quit (Read error: 104 (Connection reset by peer))
- 19:35:23 [timbl]
- timbl (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 19:36:28 [timbl_]
- timbl_ (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 19:36:28 [timbl]
- timbl has quit (Read error: 104 (Connection reset by peer))
- 19:37:20 [DanC]
- I did some work converting MathML to N3
- 19:37:25 [timbl_]
- \Ian Jacobi
- 19:37:26 [Ilaria]
- that is Ian
- 19:39:45 [timbl]
- timbl (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 19:39:45 [timbl_]
- timbl_ has quit (Read error: 104 (Connection reset by peer))
- 19:41:46 [DanC]
- http://www.w3.org/2004/01/rdxh/txrules.xsl
- 19:41:47 [DanC]
- revision 1.2
- 19:41:47 [DanC]
- date: 2006/11/05 07:21:39; author: connolly
- 19:41:48 [timbl]
- timbl has quit (Read error: 104 (Connection reset by peer))
- 19:41:59 [DanC]
- ^ converts some MathML to N3
- 19:42:14 [timbl]
- timbl (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 19:42:20 [DanC]
- I stopped using it, though, so it's probably bit-rotten
- 19:42:56 [lkagal]
- lkagal has quit ()
- 19:43:31 [Pipian]
- Pipian has quit ()
- 19:43:31 [timbl]
- timbl has quit (Read error: 104 (Connection reset by peer))
- 19:43:55 [timbl]
- timbl (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 19:46:58 [timbl_]
- timbl_ (n=timbl@30-5-106.wireless.csail.mit.edu) has joined #dig
- 19:46:58 [timbl]
- timbl has quit (Read error: 104 (Connection reset by peer))
- 19:49:05 [timbl_]
- timbl_ has quit (Client Quit)
- 19:49:18 [lkagal]
- lkagal (n=lkagal@30-6-69.wireless.csail.mit.edu) has joined #dig
- 19:54:15 [roberth]
- roberth has quit ()
- 19:55:34 [roberth]
- roberth (n=hoffmann@30-7-65.wireless.csail.mit.edu) has joined #dig
- 19:56:51 [roberth]
- roberth has quit (Client Quit)
- 19:57:54 [oshani]
- oshani has quit ()
- 19:58:02 [lkagal]
- Ilaria, I spoke with Amy and emailed Danny about it.
- 20:00:31 [fuming]
- fuming has quit ("ChatZilla 0.9.83 [Firefox 3.0.1/2008070208]")
- 20:00:37 [kennyluck]
- kennyluck has quit ()
- 20:01:05 [Pipian]
- Pipian (n=Pipian@30-6-242.wireless.csail.mit.edu) has joined #dig
- 20:02:47 [oshani]
- oshani (n=oshani@30-7-14.wireless.csail.mit.edu) has joined #dig
- 20:07:33 [Zakim]
- -MIT531
- 20:12:34 [Zakim]
- DIG_weekly()2:30PM has ended
- 20:12:35 [Zakim]
- Attendees were DanC, TimBL, Robert, Ilaria, Xiaoqian, Lalana, Ralph, Ian, Oshani, Albert, Kenny
- 20:13:21 [Ilaria]
- Ilaria has quit (Read error: 110 (Connection timed out))
- 20:16:03 [Zakim]
- Zakim has quit (Remote closed the connection)
- 20:16:28 [RalphS]
- RalphS has quit ("bye for today")
- 21:00:36 [Ilaria_]
- Ilaria_ (n=chatzill@30-7-33.wireless.csail.mit.edu) has joined #dig
- 21:00:39 [Ilaria_]
- Ilaria_ is now known as Ilaria
- 21:25:58 [lkagal]
- lkagal has quit ()
- 21:35:27 [Pipian]
- Pipian has quit ()
- 22:17:28 [Ilaria]
- Ilaria has quit (Read error: 110 (Connection timed out))
- 22:25:17 [Ilaria_]
- Ilaria_ (n=chatzill@30-7-33.wireless.csail.mit.edu) has joined #dig
- 22:25:19 [Ilaria_]
- Ilaria_ is now known as Ilaria
- 23:14:32 [timbl]
- timbl (n=timbl@pool-96-233-120-166.bstnma.fios.verizon.net) has joined #dig