IRC log of dig on 2008-04-04
Timestamps are in UTC.
- 00:29:54 [timbl]
- timbl (n=timbl@pool-72-93-213-130.bstnma.fios.verizon.net) has joined #dig
- 01:07:24 [lkagal]
- lkagal has quit ()
- 01:09:42 [timbl]
- timbl has quit ()
- 01:30:01 [timbl]
- timbl (n=timbl@pool-72-93-213-130.bstnma.fios.verizon.net) has joined #dig
- 01:39:27 [lkagal]
- lkagal (n=lkagal@79.68.171.66.subscriber.vzavenue.net) has joined #dig
- 01:44:54 [oshani]
- oshani (n=oshani@SYDNEYPACIFIC-SEVEN-THIRTY.MIT.EDU) has joined #dig
- 02:05:58 [oshani]
- lkagal, Just a quick question before I start critically proofreading the paper you sent me:
- 02:06:13 [lkagal]
- Sure, oshani
- 02:06:15 [oshani]
- Do I have to look at the reviewer comments and see if those questions have been answered, or should I just read through and try to find any mistakes?
- 02:07:50 [oshani]
- lkagal, ?
- 02:07:56 [lkagal]
- I think I've addressed all the reviewers comments, so you don't have to re-check. One thing to note is that the paper is significantly different from the one we submitted.
- 02:08:06 [oshani]
- oh okay
- 02:08:28 [oshani]
- I will read and see if I catch any loose ends :)
- 02:11:24 [lkagal]
- Oshani, something I just thought of. Could you check the examples and make sure they make sense ?
- 02:11:28 [lkagal]
- Thanks !!
- 02:11:56 [oshani]
- you mean in the UI?
- 02:12:36 [lkagal]
- No, the written examples that illustrate the different AIR constructs. The example works in the UI and I've got the screenshot.
- 02:13:22 [oshani]
- okay, I read the example, and it does make sense to me
- 02:17:48 [funky]
- funky has quit ("leaving")
- 02:26:20 [timbl]
- timbl has quit ()
- 02:28:10 [timbl]
- timbl (n=timbl@pool-72-93-213-130.bstnma.fios.verizon.net) has joined #dig
- 02:47:08 [timbl]
- timbl has quit ()
- 02:53:06 [lkagal]
- lkagal has quit ()
- 03:00:59 [lkagal]
- lkagal (n=lkagal@79.68.171.66.subscriber.vzavenue.net) has joined #dig
- 04:49:45 [lkagal]
- lkagal has quit ()
- 04:53:51 [oshani]
- oshani has quit ()
- 05:31:19 [fajro]
- fajro (n=fajro@Wikimedia/Fajro) has joined #dig
- 11:21:18 [timbl]
- timbl (n=timbl@pool-72-93-213-130.bstnma.fios.verizon.net) has joined #dig
- 11:35:31 [timbl]
- timbl has quit ()
- 11:51:04 [RalphS]
- RalphS (n=swick@30-6-176.wireless.csail.mit.edu) has joined #dig
- 12:32:06 [oshani]
- oshani (n=oshani@SYDNEYPACIFIC-THREE-O-ONE.MIT.EDU) has joined #dig
- 12:55:27 [timbl]
- timbl (n=timbl@30-5-160.wireless.csail.mit.edu) has joined #dig
- 14:15:33 [lkagal]
- lkagal (n=lkagal@79.68.171.66.subscriber.vzavenue.net) has joined #dig
- 14:59:33 [yosi_s]
- yosi_s (n=chatzill@static-71-243-122-114.bos.east.verizon.net) has joined #dig
- 15:46:10 [lkagal]
- Oshani ?
- 15:46:17 [oshani]
- yeah
- 15:46:56 [lkagal]
- I added the proof tree but because of the page limit its rather small, so I can't add annotations. Do you think its Ok : dig.csail.mit.edu/2008/Papers/IEEE%20Policy/
- 15:47:17 [oshani]
- okay I will check this
- 15:54:17 [oshani]
- lkagal, you've named the second Belief-Rule as RuleA (I think it should be RuleB)
- 15:55:03 [lkagal]
- Actually that should be RuleA, they signify two diff ways of writing the same rule.
- 15:56:02 [oshani]
- oh okay
- 16:00:14 [oshani]
- lkagal, it seems good to me.. however, I am wondering why you did not introduce a RuleB, but straightaway jumped to RuleC and RuleD? seems pretty counter intuitive
- 16:01:29 [oshani]
- but it's merely a label, so it should not matter I guess :)
- 16:06:29 [lkagal]
- Do you think the proof tree at the end is legible ?
- 16:08:30 [timbl]
- timbl has quit (Remote closed the connection)
- 16:09:00 [Jinx-]
- Jinx- (n=jinx@68-114-182-146.dhcp.krny.ne.charter.com) has joined #dig
- 16:09:05 [timbl]
- timbl (n=timbl@w3cdhcp51.w3.org) has joined #dig
- 16:09:09 [Jinx-]
- anyone know how I can get:
- 16:09:09 [Jinx-]
- Searching for yahoo.com. A record at G.ROOT-SERVERS.NET. [192.112.36.4] ...took 151 ms
- 16:09:09 [Jinx-]
- Searching for yahoo.com. A record at F.GTLD-SERVERS.NET. [192.35.51.30] ...took 155 ms
- 16:09:09 [Jinx-]
- Searching for yahoo.com. A record at ns3.yahoo.com. [217.12.4.104] ...took 20 ms
- 16:09:13 [Jinx-]
- from dig?
- 16:10:27 [lkagal]
- Thanks Oshani, I'll fix the label prob. Do you think the proof tree at the end is legible ?
- 16:16:37 [oshani]
- lkagal, I can read the proof tree, so no problem there I think :)
- 16:18:09 [lkagal]
- Great, thanks.
- 16:37:33 [oshani]
- oshani has quit (Read error: 110 (Connection timed out))
- 17:11:18 [oshani]
- oshani (n=oshani@31-34-208.wireless.csail.mit.edu) has joined #dig
- 17:25:35 [achmed]
- achmed (n=xchat@lan-84-240-12-80.vln.skynet.lt) has joined #dig
- 17:41:18 [EDman]
- EDman (n=nera@clt-84-32-249-163.vdnet.lt) has joined #dig
- 17:47:09 [fajro]
- fajro has quit (Read error: 110 (Connection timed out))
- 17:48:53 [fajro]
- fajro (n=fajro@OL104-24.fibertel.com.ar) has joined #dig
- 17:54:38 [EDman]
- emm..
- 18:22:09 [fajro_]
- fajro_ (n=fajro@OL104-24.fibertel.com.ar) has joined #dig
- 18:39:14 [lkagal]
- lkagal has quit ()
- 18:46:03 [EDman]
- EDman has quit ()
- 18:46:13 [EDman]
- EDman (n=nera@clt-84-32-249-163.vdnet.lt) has joined #dig
- 18:46:51 [EDman]
- EDman has quit (Client Quit)
- 18:49:16 [EDman]
- EDman (n=nera@clt-84-32-249-163.vdnet.lt) has joined #dig
- 18:53:18 [EDman]
- EDman has quit (Client Quit)
- 19:07:00 [fajro]
- fajro has quit (Connection timed out)
- 19:07:34 [fajro_]
- fajro_ has quit (Read error: 110 (Connection timed out))
- 19:09:04 [achmed]
- achmed has quit ()
- 19:09:29 [achmed]
- achmed (n=xchat@84.240.12.80) has joined #dig
- 19:10:16 [EDman]
- EDman (n=nera@clt-84-32-249-163.vdnet.lt) has joined #dig
- 19:13:30 [EDman]
- EDman has quit (Client Quit)
- 19:14:24 [EDman]
- EDman (n=nera@clt-84-32-249-163.vdnet.lt) has joined #dig
- 19:17:34 [lkagal]
- lkagal (n=lkagal@79.68.171.66.subscriber.vzavenue.net) has joined #dig
- 19:33:01 [EDman]
- EDman has quit ()
- 19:33:37 [achmed]
- achmed has quit ()
- 19:52:43 [lkagal]
- yosi_s, whats the update on the N3Logic paper ?
- 19:54:33 [lkagal]
- Yosi ?
- 20:02:09 [lkagal]
- timbl ?
- 20:02:54 [lkagal]
- timbl, Have you had a chance to meet with Yosi about the N3Logic paper. He said he needed some time with you to figure out the comments on the paper.
- 20:21:11 [RalphS]
- RalphS has quit ("bye for today")
- 20:50:34 [timbl]
- No I have not
- 21:03:02 [yosi_s]
- hi timbl
- 21:20:05 [oshani]
- oshani has quit ()
- 21:30:17 [oshani]
- oshani (n=oshani@31-34-208.wireless.csail.mit.edu) has joined #dig
- 21:39:57 [oshan1]
- oshan1 (n=oshani@30-6-141.wireless.csail.mit.edu) has joined #dig
- 21:45:42 [oshani]
- oshani has quit ()
- 22:10:26 [yosi_s]
- yosi_s has quit ("ChatZilla 0.9.78.1 [Firefox 1.5.0.12eol/2008032518]")
- 22:21:17 [oshan1]
- oshan1 has quit (Read error: 110 (Connection timed out))
- 22:41:59 [timbl_]
- timbl_ (n=timbl@30-5-160.wireless.csail.mit.edu) has joined #dig
- 22:42:18 [timbl_]
- timbl_ has quit (Client Quit)
- 22:58:22 [timbl]
- timbl has quit (Read error: 110 (Connection timed out))
- 23:29:10 [lkagal]
- lkagal has quit ()
- 23:54:55 [oshani]
- oshani (n=oshani@SYDNEYPACIFIC-FOUR-TWENTY-EIGHT.MIT.EDU) has joined #dig