/irc-logs / freenode / #whatwg / 2007-10-21 / end

Options:

  1. # Session Start: Sun Oct 21 00:00:00 2007
  2. # Session Ident: #whatwg
  3. # [00:36] * Joins: weinig (n=weinig@adsl-67-124-36-161.dsl.pltn13.pacbell.net)
  4. # [00:36] * Quits: weinig (n=weinig@adsl-67-124-36-161.dsl.pltn13.pacbell.net) (Client Quit)
  5. # [00:53] * Joins: weinig (n=weinig@adsl-67-124-36-161.dsl.pltn13.pacbell.net)
  6. # [01:13] * Quits: weinig (n=weinig@adsl-67-124-36-161.dsl.pltn13.pacbell.net) (Connection reset by peer)
  7. # [01:13] * Joins: weinig (n=weinig@adsl-67-124-36-161.dsl.pltn13.pacbell.net)
  8. # [01:22] * Joins: dev0_ (i=Tobias@dslb-088-077-227-035.pools.arcor-ip.net)
  9. # [01:41] * Quits: dev0 (i=Tobias@unaffiliated/icefox0) (Read error: 110 (Connection timed out))
  10. # [01:46] * Joins: KevinMarks (n=KevinMar@c-98-207-134-151.hsd1.ca.comcast.net)
  11. # [01:46] * Quits: KevinMarks (n=KevinMar@c-98-207-134-151.hsd1.ca.comcast.net) (Remote closed the connection)
  12. # [01:47] * Joins: doublec (n=doublec@203-97-173-6.cable.telstraclear.net)
  13. # [01:53] * Quits: doublec (n=doublec@203-97-173-6.cable.telstraclear.net)
  14. # [01:54] * Quits: weinig (n=weinig@adsl-67-124-36-161.dsl.pltn13.pacbell.net)
  15. # [01:58] * Dewio is now known as Dewi
  16. # [02:05] * Quits: Lachy (n=Lachlan@ti200710a340-0062.bb.online.no) (Read error: 110 (Connection timed out))
  17. # [02:18] * heycam` is now known as heycam
  18. # [02:24] * Joins: zcorpan_ (n=zcorpan@c-0922e353.1451-1-64736c12.cust.bredbandsbolaget.se)
  19. # [02:26] <zcorpan_> 1. burgers with cheese are tasty. 2. therefore, burgers without cheese are not tasty.
  20. # [02:26] <zcorpan_> what is the above logical fallacy called?
  21. # [02:28] <Philip`> http://en.wikipedia.org/wiki/Denying_the_antecedent ?
  22. # [02:29] <Philip`> or http://www.fallacyfiles.org/imptrans.html looks closer to that form
  23. # [02:31] <zcorpan_> yep, thanks
  24. # [02:35] <Philip`> Also, you could be working in a logical framework in which it is axiomatic that burgers are tasty, and therefore you cannot include your second step since the whole framework would collapse into trivial provability
  25. # [02:37] * Quits: tndH (i=Rob@87.102.18.86) ("ChatZilla 0.9.78.1-rdmsoft [XULRunner 1.8.0.9/2006120508]")
  26. # [02:59] * Quits: zcorpan_ (n=zcorpan@c-0922e353.1451-1-64736c12.cust.bredbandsbolaget.se) (Read error: 110 (Connection timed out))
  27. # [03:13] * Joins: aroben (n=adamrobe@c-67-160-250-192.hsd1.ca.comcast.net)
  28. # [03:16] * Quits: dev0_ (i=Tobias@unaffiliated/icefox0) (Read error: 104 (Connection reset by peer))
  29. # [03:29] * Quits: othermaciej (n=mjs@dsl081-048-145.sfo1.dsl.speakeasy.net)
  30. # [03:46] <grimeboy> In terms of AS level critical thinking probably sufficiency.
  31. # [03:46] <grimeboy> But yeah, those were more accurate.
  32. # [04:06] * Quits: briansuda (n=briansud@85-220-117-3.dsl.dynamic.simnet.is) (Read error: 110 (Connection timed out))
  33. # [04:22] * Quits: tantek (n=tantek@h460d82e7.area2.spcsdns.net)
  34. # [05:29] * Joins: weinig (n=weinig@adsl-67-124-36-161.dsl.pltn13.pacbell.net)
  35. # [05:49] * Quits: jwalden (n=waldo@RANDOM-SIX-FIFTY.MIT.EDU) ("ChatZilla 0.9.78.1-rdmsoft [XULRunner 1.8.0.9/2006120508]")
  36. # [06:07] * Quits: mpt (n=mpt@121-72-139-108.dsl.telstraclear.net) ("Leaving")
  37. # [06:23] * Quits: weinig (n=weinig@adsl-67-124-36-161.dsl.pltn13.pacbell.net) (Remote closed the connection)
  38. # [06:24] * Joins: weinig (n=weinig@adsl-67-124-36-161.dsl.pltn13.pacbell.net)
  39. # [07:00] * Joins: tantek (n=tantek@h460df1d0.area2.spcsdns.net)
  40. # [07:19] * Quits: csarven (n=nevrasc@modemcable130.251-202-24.mc.videotron.ca) ("http:/www.csarven.ca")
  41. # [07:33] * Quits: gavins (n=gavin@firefox/developer/gavin)
  42. # [07:34] * Joins: gavins (n=gavin@firefox/developer/gavin)
  43. # [07:36] * gavins is now known as gavin
  44. # [08:24] * Quits: tantek (n=tantek@h460df1d0.area2.spcsdns.net)
  45. # [08:25] * Joins: Lachy (n=Lachlan@ti200710a340-0062.bb.online.no)
  46. # [08:25] * Joins: tantek (n=tantek@adsl-63-195-114-133.dsl.snfc21.pacbell.net)
  47. # [08:29] * Quits: Lachy (n=Lachlan@ti200710a340-0062.bb.online.no) (Client Quit)
  48. # [08:31] * Joins: lachlanhunt (n=Lachy@ti200710a340-0062.bb.online.no)
  49. # [08:37] * lachlanhunt is now known as Lachy
  50. # [08:41] <hsivonen> http://webkit.org/blog/126/webkit-does-html5-client-side-database-storage/%0A#comment-22956
  51. # [08:42] <hsivonen> "surely an OODB or RDFDB would have been more appropriate in 2007"
  52. # [08:47] <tantek> when are unproven technologies ever more appropriate except in academic/laboratory/experimental efforts?
  53. # [08:50] <tantek> plus, didn't an RDFDB fail both Mozilla and Chandra?
  54. # [09:19] <hsivonen> tantek: I'm not familiar with Chandra. I may be wrong about Mozilla, but I get the impression that by 2005 the engine was semi-abandoned but there was some will to revive it
  55. # [09:21] <hsivonen> (the engine being the RDF engine)
  56. # [09:40] <tantek> that is my rough impression as well
  57. # [09:40] <tantek> my understanding of the informal history WRT Chandra is that adopting RDF as the model for all their internal data store etc set many things back many years.
  58. # [09:44] * Quits: wakaba (n=w@79.163.210.220.dy.bbexcite.jp) ("CHOCOA")
  59. # [09:46] * Joins: wakaba (n=w@79.163.210.220.dy.bbexcite.jp)
  60. # [10:00] * Joins: KevinMarks (n=KevinMar@c-98-207-134-151.hsd1.ca.comcast.net)
  61. # [10:22] <roc> you mean Chandler?
  62. # [10:29] * Quits: Lachy (n=Lachy@ti200710a340-0062.bb.online.no) (Read error: 110 (Connection timed out))
  63. # [10:32] * Quits: tantek (n=tantek@adsl-63-195-114-133.dsl.snfc21.pacbell.net)
  64. # [10:45] * Joins: lachlanhunt (n=Lachy@ti200710a340-0062.bb.online.no)
  65. # [11:15] * Joins: maikmerten (n=maikmert@La321.l.pppool.de)
  66. # [11:19] * Quits: aroben (n=adamrobe@unaffiliated/aroben)
  67. # [11:45] * Joins: doublec (n=doublec@203-97-173-6.cable.telstraclear.net)
  68. # [11:52] * Joins: othermaciej (n=mjs@dsl081-048-145.sfo1.dsl.speakeasy.net)
  69. # [12:03] * Joins: othermaciej_ (n=mjs@dsl081-048-145.sfo1.dsl.speakeasy.net)
  70. # [12:04] * Quits: othermaciej (n=mjs@dsl081-048-145.sfo1.dsl.speakeasy.net) (Read error: 104 (Connection reset by peer))
  71. # [12:05] * Joins: othermaciej (n=mjs@dsl081-048-145.sfo1.dsl.speakeasy.net)
  72. # [12:05] * Quits: othermaciej_ (n=mjs@dsl081-048-145.sfo1.dsl.speakeasy.net) (Read error: 104 (Connection reset by peer))
  73. # [12:06] * Quits: othermaciej (n=mjs@dsl081-048-145.sfo1.dsl.speakeasy.net) (Read error: 104 (Connection reset by peer))
  74. # [12:06] * Joins: othermaciej (n=mjs@dsl081-048-145.sfo1.dsl.speakeasy.net)
  75. # [12:07] * Quits: othermaciej (n=mjs@dsl081-048-145.sfo1.dsl.speakeasy.net) (Read error: 104 (Connection reset by peer))
  76. # [12:07] * Joins: othermaciej (n=mjs@dsl081-048-145.sfo1.dsl.speakeasy.net)
  77. # [12:08] * Quits: othermaciej (n=mjs@dsl081-048-145.sfo1.dsl.speakeasy.net) (Read error: 104 (Connection reset by peer))
  78. # [12:08] * Joins: ROBOd (n=robod@89.122.216.38)
  79. # [12:08] * Joins: othermaciej (n=mjs@dsl081-048-145.sfo1.dsl.speakeasy.net)
  80. # [12:09] * Quits: othermaciej (n=mjs@dsl081-048-145.sfo1.dsl.speakeasy.net) (Read error: 104 (Connection reset by peer))
  81. # [12:09] * Joins: othermaciej (n=mjs@dsl081-048-145.sfo1.dsl.speakeasy.net)
  82. # [12:30] * Joins: Lachy_ (n=Lachy@ti200710a340-2996.bb.online.no)
  83. # [12:32] * Quits: lachlanhunt (n=Lachy@ti200710a340-0062.bb.online.no) (Read error: 110 (Connection timed out))
  84. # [12:32] * Quits: Thezilch[FH] (i=fuz007@c-68-52-119-203.hsd1.tn.comcast.net) (Client Quit)
  85. # [12:41] * Quits: doublec (n=doublec@203-97-173-6.cable.telstraclear.net)
  86. # [12:47] * Joins: briansuda (n=briansud@85-220-118-41.dsl.dynamic.simnet.is)
  87. # [13:04] * othermaciej is now known as om_sleep
  88. # [13:06] * Quits: jacobolus (n=jacobolu@pool-72-87-174-146.plspca.dsl-w.verizon.net)
  89. # [13:14] * Joins: lachlanhunt (n=Lachy@ti200710a340-2996.bb.online.no)
  90. # [13:15] * Quits: Lachy_ (n=Lachy@ti200710a340-2996.bb.online.no) (Read error: 110 (Connection timed out))
  91. # [13:33] * Joins: zcorpan_ (n=zcorpan@c-0922e353.1451-1-64736c12.cust.bredbandsbolaget.se)
  92. # [13:34] * Joins: tndH (i=Rob@87.102.18.86)
  93. # [13:46] * Joins: jacobolus (n=jacobolu@pool-71-104-156-113.lsanca.dsl-w.verizon.net)
  94. # [13:54] * Joins: Thezilch (i=fuz007@c-68-54-228-249.hsd1.tn.comcast.net)
  95. # [13:58] * Quits: zcorpan_ (n=zcorpan@c-0922e353.1451-1-64736c12.cust.bredbandsbolaget.se) (Read error: 110 (Connection timed out))
  96. # [14:00] * Quits: lachlanhunt (n=Lachy@ti200710a340-2996.bb.online.no) (Read error: 110 (Connection timed out))
  97. # [14:20] * Joins: lachlanhunt (n=Lachy@ti200710a340-2996.bb.online.no)
  98. # [14:39] * Quits: briansuda (n=briansud@85-220-118-41.dsl.dynamic.simnet.is)
  99. # [15:04] * Quits: hasather (n=hasather@90-231-107-133-no62.tbcn.telia.com) ("leaving")
  100. # [16:07] * Joins: briansuda_ (n=briansud@85-220-117-3.dsl.dynamic.simnet.is)
  101. # [16:11] * Joins: briansuda__ (n=briansud@157-157-200-4.dsl.dynamic.simnet.is)
  102. # [16:22] * Joins: briansuda___ (n=briansud@85-220-113-33.dsl.dynamic.simnet.is)
  103. # [16:23] * Joins: jwalden (n=waldo@RANDOM-SIX-FIFTY.MIT.EDU)
  104. # [16:25] * Quits: briansuda_ (n=briansud@85-220-117-3.dsl.dynamic.simnet.is) (Connection timed out)
  105. # [16:28] * Quits: briansuda__ (n=briansud@157-157-200-4.dsl.dynamic.simnet.is) (Success)
  106. # [16:28] * Quits: lachlanhunt (n=Lachy@ti200710a340-2996.bb.online.no) (Read error: 110 (Connection timed out))
  107. # [16:32] * Joins: dev0 (i=Tobias@unaffiliated/icefox0)
  108. # [16:45] * Joins: briansuda (n=briansud@85-220-122-11.dsl.dynamic.simnet.is)
  109. # [16:54] * Quits: briansuda___ (n=briansud@85-220-113-33.dsl.dynamic.simnet.is) (Read error: 113 (No route to host))
  110. # [17:05] * Joins: dev0_ (i=Tobias@dslb-088-077-237-156.pools.arcor-ip.net)
  111. # [17:22] * Quits: dev0 (i=Tobias@unaffiliated/icefox0) (Read error: 110 (Connection timed out))
  112. # [17:47] * Joins: zcorpan_ (n=zcorpan@c-0922e353.1451-1-64736c12.cust.bredbandsbolaget.se)
  113. # [17:48] <zcorpan_> hmm, what should the "inserthtml" execCommand do in xhtml?
  114. # [17:48] <zcorpan_> same as innerHTML?
  115. # [17:52] <hsivonen> Hmm. looks like the XHTML2 WG folks missed the point of Anne's not very well explained remark about there not being an XHTML WG (without the "2")
  116. # [17:56] <hsivonen> http://krijnhoetmer.nl/irc-logs/xhtml/20071017#l-219
  117. # [17:57] * Joins: csarven (n=nevrasc@modemcable130.251-202-24.mc.videotron.ca)
  118. # [18:01] * Quits: ROBOd (n=robod@89.122.216.38) ("http://www.robodesign.ro")
  119. # [18:05] * Joins: briansuda_ (n=briansud@85-220-111-124.dsl.dynamic.simnet.is)
  120. # [18:14] * Quits: briansuda (n=briansud@85-220-122-11.dsl.dynamic.simnet.is) (Read error: 110 (Connection timed out))
  121. # [18:18] * Joins: briansuda (n=briansud@157-157-201-190.dsl.dynamic.simnet.is)
  122. # [18:20] * Quits: jruderman (n=jruderma@ip68-5-234-103.oc.oc.cox.net)
  123. # [18:22] * Joins: hasather (n=hasather@90-231-107-133-no62.tbcn.telia.com)
  124. # [18:23] * Quits: weinig (n=weinig@adsl-67-124-36-161.dsl.pltn13.pacbell.net)
  125. # [18:24] * Joins: tantek (n=tantek@h460da0c3.area2.spcsdns.net)
  126. # [18:27] * Quits: briansuda_ (n=briansud@85-220-111-124.dsl.dynamic.simnet.is) (Read error: 110 (Connection timed out))
  127. # [18:29] <zcorpan_> it seems firefox and safari don't support designMode/contentEditable in xhtml
  128. # [18:40] * Joins: ROBOd (n=robod@89.122.216.38)
  129. # [18:59] * Quits: zcorpan_ (n=zcorpan@c-0922e353.1451-1-64736c12.cust.bredbandsbolaget.se) (Read error: 110 (Connection timed out))
  130. # [19:00] * Joins: lachlanhunt (n=Lachy@ti200710a340-2996.bb.online.no)
  131. # [19:11] * Joins: briansuda_ (n=briansud@85-220-109-56.dsl.dynamic.simnet.is)
  132. # [19:18] * Quits: briansuda (n=briansud@157-157-201-190.dsl.dynamic.simnet.is) (Read error: 113 (No route to host))
  133. # [19:24] * Joins: Lachy_ (n=Lachy@ti200710a340-2996.bb.online.no)
  134. # [19:25] * Joins: h3h (n=w3rd@cpe-76-171-163-216.socal.res.rr.com)
  135. # [19:29] * Quits: lachlanhunt (n=Lachy@ti200710a340-2996.bb.online.no) (Read error: 110 (Connection timed out))
  136. # [19:29] * Joins: lachlanhunt (n=Lachy@ti200710a340-2996.bb.online.no)
  137. # [19:36] * Joins: zcorpan_ (n=zcorpan@c-0922e353.1451-1-64736c12.cust.bredbandsbolaget.se)
  138. # [19:42] * Quits: tantek (n=tantek@h460da0c3.area2.spcsdns.net)
  139. # [19:46] * Quits: Lachy_ (n=Lachy@ti200710a340-2996.bb.online.no) (Read error: 110 (Connection timed out))
  140. # [19:50] * Joins: briansuda (n=briansud@85-220-108-209.dsl.dynamic.simnet.is)
  141. # [19:50] * Quits: briansuda (n=briansud@85-220-108-209.dsl.dynamic.simnet.is) (Remote closed the connection)
  142. # [19:58] * Quits: zcorpan_ (n=zcorpan@c-0922e353.1451-1-64736c12.cust.bredbandsbolaget.se) (Read error: 110 (Connection timed out))
  143. # [20:00] * Quits: briansuda_ (n=briansud@85-220-109-56.dsl.dynamic.simnet.is) (Read error: 110 (Connection timed out))
  144. # [20:07] * Joins: zcorpan_ (n=zcorpan@c-0922e353.1451-1-64736c12.cust.bredbandsbolaget.se)
  145. # [20:07] * zcorpan_ notes that webkit emits a <div> for execCommand("insertparagraph")
  146. # [20:16] * Quits: h3h (n=w3rd@cpe-76-171-163-216.socal.res.rr.com)
  147. # [20:45] * Joins: dev0 (i=Tobias@dslb-088-076-253-210.pools.arcor-ip.net)
  148. # [20:49] * Quits: KevinMarks (n=KevinMar@c-98-207-134-151.hsd1.ca.comcast.net) ("The computer fell asleep")
  149. # [20:51] * Joins: tantek (n=tantek@h460da44b.area2.spcsdns.net)
  150. # [20:59] * Quits: zcorpan_ (n=zcorpan@c-0922e353.1451-1-64736c12.cust.bredbandsbolaget.se) (Read error: 110 (Connection timed out))
  151. # [20:59] * Joins: h3h (n=w3rd@cpe-76-171-163-216.socal.res.rr.com)
  152. # [20:59] * Quits: lachlanhunt (n=Lachy@ti200710a340-2996.bb.online.no) (Read error: 110 (Connection timed out))
  153. # [21:01] * Quits: dev0_ (i=Tobias@unaffiliated/icefox0) (Read error: 110 (Connection timed out))
  154. # [21:01] * Quits: h3h (n=w3rd@cpe-76-171-163-216.socal.res.rr.com) (Client Quit)
  155. # [21:10] * Quits: dev0 (i=Tobias@unaffiliated/icefox0) ("dev0 has no reason")
  156. # [21:13] * Joins: KevinMarks (n=KevinMar@c-98-207-134-151.hsd1.ca.comcast.net)
  157. # [21:47] * Joins: othermaciej (n=mjs@dsl081-048-145.sfo1.dsl.speakeasy.net)
  158. # [21:48] * Quits: om_sleep (n=mjs@dsl081-048-145.sfo1.dsl.speakeasy.net) (Read error: 104 (Connection reset by peer))
  159. # [21:58] * Quits: maikmerten (n=maikmert@La321.l.pppool.de) (Remote closed the connection)
  160. # [22:16] * Joins: lachlanhunt (n=Lachy@ti200710a340-2996.bb.online.no)
  161. # [22:18] * Quits: ROBOd (n=robod@89.122.216.38) ("http://www.robodesign.ro")
  162. # [22:29] * Quits: othermaciej (n=mjs@dsl081-048-145.sfo1.dsl.speakeasy.net)
  163. # [22:30] * Quits: jwalden (n=waldo@RANDOM-SIX-FIFTY.MIT.EDU) ("ChatZilla 0.9.78.1-rdmsoft [XULRunner 1.8.0.9/2006120508]")
  164. # [22:33] * Joins: zcorpan_ (n=zcorpan@c-0922e353.1451-1-64736c12.cust.bredbandsbolaget.se)
  165. # [22:41] * Joins: aroben (n=adamrobe@c-67-160-250-192.hsd1.ca.comcast.net)
  166. # [22:50] * Joins: jruderman (n=jruderma@c-67-180-15-227.hsd1.ca.comcast.net)
  167. # [22:52] * Quits: roc (n=roc@222-154-14-143.jetstream.xtra.co.nz)
  168. # [22:57] * Quits: zcorpan_ (n=zcorpan@c-0922e353.1451-1-64736c12.cust.bredbandsbolaget.se) (Read error: 110 (Connection timed out))
  169. # [22:58] * Joins: gsnedders (n=gsnedder@89.159.216.39)
  170. # [23:10] * Quits: aroben (n=adamrobe@unaffiliated/aroben)
  171. # [23:14] * Quits: Thezilch (i=fuz007@c-68-54-228-249.hsd1.tn.comcast.net) (Read error: 104 (Connection reset by peer))
  172. # [23:18] * Quits: gsnedders (n=gsnedder@89.159.216.39) ("404: Not Found")
  173. # [23:35] * Joins: aroben (n=adamrobe@c-67-160-250-192.hsd1.ca.comcast.net)
  174. # [23:35] * Quits: aroben (n=adamrobe@unaffiliated/aroben) (Remote closed the connection)
  175. # [23:35] * Quits: lachlanhunt (n=Lachy@ti200710a340-2996.bb.online.no) (Read error: 110 (Connection timed out))
  176. # [23:59] * Joins: lachlanhunt (n=Lachy@ti200710a340-2996.bb.online.no)
  177. # Session Close: Mon Oct 22 00:00:00 2007

The end :)