/irc-logs / freenode / #whatwg / 2010-05-09 / end

Options:

  1. # Session Start: Sun May 09 00:00:00 2010
  2. # Session Ident: #whatwg
  3. # [00:02] * Joins: workmad3 (~workmad3@84.45.226.85)
  4. # [00:05] * Quits: svl (~me@ip565744a7.direct-adsl.nl) (Quit: And back he spurred like a madman, shrieking a curse to the sky.)
  5. # [00:05] * Joins: dbaron (~dbaron@c-98-234-51-190.hsd1.ca.comcast.net)
  6. # [00:11] * Joins: gavin_ (~gavin@firefox/developer/gavin)
  7. # [00:16] * Joins: JonathanNeal__ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net)
  8. # [00:20] * Quits: JonathanNeal_ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds)
  9. # [00:32] * Joins: variable (~44a3bc67@gateway/web/freenode/x-ojadodrlbjbsjnvk)
  10. # [00:35] * Quits: Maurice (copyman@5ED573FA.cable.ziggo.nl)
  11. # [00:38] * Quits: variable (~44a3bc67@gateway/web/freenode/x-ojadodrlbjbsjnvk) (Quit: Page closed)
  12. # [00:42] * Quits: Necrathex (~bleptop@212-123-163-12.ip.telfort.nl) (Quit: Necrathex)
  13. # [00:47] * Quits: FireFly (~firefly@unaffiliated/firefly) (Quit: null)
  14. # [00:48] * Joins: othermaciej_ (~mjs@c-69-181-42-237.hsd1.ca.comcast.net)
  15. # [00:56] * Quits: m_W (~mwj@c-69-141-106-205.hsd1.nj.comcast.net) (*.net *.split)
  16. # [00:56] * Quits: JohnnyAmerica (~Simon@213-64-113-37-no97.tbcn.telia.com) (*.net *.split)
  17. # [00:56] * Quits: Peter- (~peter@535172BF.cable.casema.nl) (*.net *.split)
  18. # [00:56] * Quits: dustinbrewer (~dustinbre@99-17-42-25.lightspeed.okcbok.sbcglobal.net) (*.net *.split)
  19. # [00:56] * Joins: m_W (~mwj@c-69-141-106-205.hsd1.nj.comcast.net)
  20. # [00:56] * Joins: dustinbrewer (~dustinbre@99-17-42-25.lightspeed.okcbok.sbcglobal.net)
  21. # [00:57] * Joins: JohnnyAmerica (~Simon@213-64-113-37-no97.tbcn.telia.com)
  22. # [00:59] * Joins: JonathanNeal_ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net)
  23. # [01:00] * Quits: grimboy (~grimboy@bcm-131-111-216-150.girton.cam.ac.uk) (Read error: Connection reset by peer)
  24. # [01:00] * Quits: workmad3 (~workmad3@84.45.226.85) (Remote host closed the connection)
  25. # [01:02] * Quits: erikvold (~erikvold@S01060024012860e9.gv.shawcable.net) (*.net *.split)
  26. # [01:02] * Quits: knowtheory (~knowtheor@bas1-london16-1176190282.dsl.bell.ca) (*.net *.split)
  27. # [01:02] * Quits: ojan (~ojan@nat/google/x-czjvbzmnceaszxog) (*.net *.split)
  28. # [01:02] * Quits: ukai (~ukai@220.109.219.244) (*.net *.split)
  29. # [01:02] * Quits: peroo (~peroo@peroo.xen.prgmr.com) (*.net *.split)
  30. # [01:02] * Quits: jarib (jarib@unaffiliated/jarib) (*.net *.split)
  31. # [01:02] * Quits: JonathanNeal__ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
  32. # [01:02] * Joins: erikvold (~erikvold@S01060024012860e9.gv.shawcable.net)
  33. # [01:02] * Joins: knowtheory (~knowtheor@bas1-london16-1176190282.dsl.bell.ca)
  34. # [01:02] * Joins: ojan (~ojan@nat/google/x-czjvbzmnceaszxog)
  35. # [01:02] * Joins: ukai (~ukai@220.109.219.244)
  36. # [01:02] * Joins: peroo (~peroo@peroo.xen.prgmr.com)
  37. # [01:02] * Joins: jarib (jarib@unaffiliated/jarib)
  38. # [01:03] * Quits: erikvold (~erikvold@S01060024012860e9.gv.shawcable.net) (*.net *.split)
  39. # [01:03] * Quits: knowtheory (~knowtheor@bas1-london16-1176190282.dsl.bell.ca) (*.net *.split)
  40. # [01:03] * Quits: ojan (~ojan@nat/google/x-czjvbzmnceaszxog) (*.net *.split)
  41. # [01:03] * Quits: ukai (~ukai@220.109.219.244) (*.net *.split)
  42. # [01:03] * Quits: peroo (~peroo@peroo.xen.prgmr.com) (*.net *.split)
  43. # [01:03] * Quits: jarib (jarib@unaffiliated/jarib) (*.net *.split)
  44. # [01:03] * Joins: erikvold (~erikvold@S01060024012860e9.gv.shawcable.net)
  45. # [01:03] * Joins: knowtheory (~knowtheor@bas1-london16-1176190282.dsl.bell.ca)
  46. # [01:03] * Joins: ojan (~ojan@nat/google/x-czjvbzmnceaszxog)
  47. # [01:03] * Joins: ukai (~ukai@220.109.219.244)
  48. # [01:03] * Joins: peroo (~peroo@peroo.xen.prgmr.com)
  49. # [01:03] * Joins: jarib (jarib@unaffiliated/jarib)
  50. # [01:06] * Quits: JonathanNeal_ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net) (Read error: Connection reset by peer)
  51. # [01:07] * Joins: JonathanNeal_ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net)
  52. # [01:23] * Quits: eighty4 (~eighty4@c-d9cee455.012-403-6c6b701.cust.bredbandsbolaget.se) (Remote host closed the connection)
  53. # [01:28] * Joins: cardona507 (~cardona50@c-67-180-160-250.hsd1.ca.comcast.net)
  54. # [01:29] * Joins: nessy (~Adium@124-170-18-159.dyn.iinet.net.au)
  55. # [02:00] * Quits: cardona507 (~cardona50@c-67-180-160-250.hsd1.ca.comcast.net) (Quit: zzzzz)
  56. # [02:03] * Joins: paradisaeidae (~chatzilla@60-242-27-235.static.tpgi.com.au)
  57. # [02:13] * Quits: jarib (jarib@unaffiliated/jarib) (Quit: Lost terminal)
  58. # [02:18] * Quits: othermaciej_ (~mjs@c-69-181-42-237.hsd1.ca.comcast.net) (Quit: othermaciej_)
  59. # [02:38] * Joins: othermaciej_ (~mjs@c-69-181-42-237.hsd1.ca.comcast.net)
  60. # [02:40] * Quits: othermaciej (~mjs@c-69-181-42-237.hsd1.ca.comcast.net) (Quit: othermaciej)
  61. # [02:50] * Quits: paradisaeidae (~chatzilla@60-242-27-235.static.tpgi.com.au) (Quit: ChatZilla 0.9.86 [Firefox 3.6.3/20100401080539])
  62. # [02:56] * Joins: jwalden (~waldo@c-71-202-165-226.hsd1.ca.comcast.net)
  63. # [02:56] * Joins: remysharp (~remysharp@nat-124-248.guardian.co.uk)
  64. # [02:59] * Quits: Heimidal (~heimidal@unaffiliated/heimidal) (Quit: Leaving...)
  65. # [02:59] * Joins: Heimidal (~heimidal@unaffiliated/heimidal)
  66. # [02:59] * Quits: Heimidal (~heimidal@unaffiliated/heimidal) (Remote host closed the connection)
  67. # [03:14] <AryehGregor> hsivonen, could you just do something like: @namespace math url(http://www.w3.org/1998/Math/MathML); math { display: none } math|math { display: block } math|math + img { display: none }
  68. # [03:15] <AryehGregor> That has poor fallback if CSS is disabled, of course. Alternatively, could just use JavaScript.
  69. # [03:40] * Quits: Rik` (~Rik`@pha75-2-81-57-187-57.fbx.proxad.net) (Ping timeout: 246 seconds)
  70. # [03:44] * Joins: cardona507 (~cardona50@c-67-180-160-250.hsd1.ca.comcast.net)
  71. # [03:44] * Quits: cardona507 (~cardona50@c-67-180-160-250.hsd1.ca.comcast.net) (Client Quit)
  72. # [03:45] * Quits: JohnnyAmerica (~Simon@213-64-113-37-no97.tbcn.telia.com) (Quit: leaving)
  73. # [03:50] * Quits: JonathanNeal_ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net) (Read error: Connection reset by peer)
  74. # [03:50] * Joins: JonathanNeal_ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net)
  75. # [04:03] * Joins: JusticeFries (~justicefr@65.100.130.168)
  76. # [04:23] * Joins: ivm (~ivan.marc@adsl-76-254-68-176.dsl.pltn13.sbcglobal.net)
  77. # [04:24] * Joins: ivm_ (~ivan.marc@adsl-76-254-68-176.dsl.pltn13.sbcglobal.net)
  78. # [04:35] <AryehGregor> othermaciej_, I don't think pharming is a man-in-the-middle attack. MITM suggests to me that the attacker is intercepting network traffic not directed to him, rather than redirecting traffic to him. It's a network-level phenomenon. DNS poisoning seems like a different type of attack to me.
  79. # [04:36] <AryehGregor> Although I guess if you take a more abstract view, you could view it as an implementation detail that it happens to work at the DNS layer instead of the IP layer.
  80. # [04:36] <othermaciej_> AryehGregor: man-in-the-middle means each intended party to the transaction thinks it is talking directly to its corresponding party, but is really talking to someone else
  81. # [04:37] <othermaciej_> with pharming, the hostile server doesn't have to ever talk to the real server if it doesn't want to, but it could
  82. # [04:37] * Quits: remysharp (~remysharp@nat-124-248.guardian.co.uk) (Quit: Leaving...)
  83. # [04:37] <othermaciej_> point being, it's a real attack that would completely defeat the proposed hashing measure
  84. # [04:37] <AryehGregor> Well, so is the "corresponding party" a physical server, or an IP address? Would you view phishing as a MITM attack too, because the user thinks he's interacting with a different site than he is?
  85. # [04:37] * Quits: welander (~me@c-418f72d5.037-82-73746f25.cust.bredbandsbolaget.se) (Ping timeout: 268 seconds)
  86. # [04:38] <othermaciej_> at first I thought the salted hash thing might be safe against passive attackers at least, but it seems to be vulnerable to replay attacks as well
  87. # [04:38] <othermaciej_> phishing is a social engineering attack
  88. # [04:39] <AryehGregor> . . . also, is pharming really that common?
  89. # [04:39] <othermaciej_> on open wireless networks, yes
  90. # [04:39] <AryehGregor> Ah, interesting.
  91. # [04:39] <othermaciej_> or with malware-installed hosts file hacks
  92. # [04:39] <othermaciej_> or at least, common enough to scare the hell out of financial institutions
  93. # [04:40] <AryehGregor> Well, anything that can alter hosts files can subvert the browser too.
  94. # [04:40] <othermaciej_> Strict Transport Security (STS) was invented in part to protect against pharming attacks on SSL sites
  95. # [04:40] <othermaciej_> since you wouldn't be able to use a fake cert or a non-SSL site on your pharming redirect
  96. # [04:41] <AryehGregor> Well, you can also do more conventional MITM attacks if you set up a free wireless network somewhere.
  97. # [04:41] * Quits: gavin_ (~gavin@firefox/developer/gavin) (Ping timeout: 260 seconds)
  98. # [04:41] <othermaciej_> sure, but subverting DNS is easier than subverting IP traffic on the fly
  99. # [04:41] <AryehGregor> Makes sense.
  100. # [04:41] <othermaciej_> DNS cache poisoning can even let you do it without physical access to the victim network link
  101. # [04:41] * Quits: ivm_ (~ivan.marc@adsl-76-254-68-176.dsl.pltn13.sbcglobal.net)
  102. # [04:41] <AryehGregor> Now, hopefully when STS is widely deployed, browsers can be convinced to not have horribly misleading error pages for SSL failures. :)
  103. # [04:42] * Joins: ivm_ (~ivan.marc@adsl-76-254-68-176.dsl.pltn13.sbcglobal.net)
  104. # [04:43] <othermaciej_> "horribly misleading" in what way?
  105. # [04:44] <othermaciej_> browsers are certainly leaning more towards making self-signed or expired certs look more like hard errors than click-through warnings
  106. # [04:44] <othermaciej_> STS of course requires the hard error for sites that opt in
  107. # [04:45] <AryehGregor> "Horribly misleading" in that they imply that the user is in some danger if they proceed, when with ~100% certainty it's not actually a malicious site. Since, you know, operators of malicious sites usually are smart enough not to trigger browser warnings.
  108. # [04:45] <AryehGregor> This paper says that practically no actually harmful sites use SSL at all, and the ones that do have valid certs: http://research.microsoft.com/en-us/um/people/cormac/papers/2009/solongandnothanks.pdf
  109. # [04:46] * Joins: gavin_ (~gavin@firefox/developer/gavin)
  110. # [04:46] <AryehGregor> So while it might make sense to display some warning, the wording is very unrealistically harsh in all browsers I've seen.
  111. # [04:46] <AryehGregor> Especially lately.
  112. # [04:47] * othermaciej_ is now known as othermaciej
  113. # [04:48] <AryehGregor> Good night.
  114. # [04:50] * Quits: Morphous (jan@unaffiliated/amorphous) (Read error: Operation timed out)
  115. # [04:54] * Quits: nessy (~Adium@124-170-18-159.dyn.iinet.net.au) (Quit: Leaving.)
  116. # [05:03] * Joins: a-ja (~chatzilla@70.230.167.62)
  117. # [05:06] <a-ja> any particular reason opgroup isn't allow in a datalist?
  118. # [05:06] <a-ja> err....optgroup
  119. # [05:07] * Joins: Morphous (jan@unaffiliated/amorphous)
  120. # [05:10] * Joins: JonathanNeal__ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net)
  121. # [05:13] * Quits: JonathanNeal_ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds)
  122. # [05:31] * Joins: annevk (~annevk@5355737B.cable.casema.nl)
  123. # [05:34] * Joins: othermaciej_ (~mjs@c-69-181-42-237.hsd1.ca.comcast.net)
  124. # [05:38] * Quits: othermaciej (~mjs@c-69-181-42-237.hsd1.ca.comcast.net) (Quit: othermaciej)
  125. # [05:38] * othermaciej_ is now known as othermaciej
  126. # [05:53] * Joins: Heimidal (~heimidal@unaffiliated/heimidal)
  127. # [06:00] * Quits: ttepasse (~ttepasse@ip-109-90-160-217.unitymediagroup.de) (Quit: ?Q)
  128. # [06:15] * Joins: yutak_home (~kee@N038037.ppp.dion.ne.jp)
  129. # [06:35] * Quits: dbaron (~dbaron@c-98-234-51-190.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
  130. # [06:38] * Joins: JonathanNeal_ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net)
  131. # [06:38] * Quits: othermaciej (~mjs@c-69-181-42-237.hsd1.ca.comcast.net) (Quit: othermaciej)
  132. # [06:39] * Quits: JonathanNeal__ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net) (Read error: Connection reset by peer)
  133. # [06:39] * Quits: JoePeck (~jjp@2620:0:1b00:1171:fa1e:dfff:fed9:b9a) (Quit: -)
  134. # [06:43] * Joins: othermaciej (~mjs@c-69-181-42-237.hsd1.ca.comcast.net)
  135. # [07:00] * Quits: yutak_home (~kee@N038037.ppp.dion.ne.jp) (Quit: Ex-Chat)
  136. # [07:04] * Quits: gavin_ (~gavin@firefox/developer/gavin) (Ping timeout: 260 seconds)
  137. # [07:05] * Joins: gavin_ (~gavin@firefox/developer/gavin)
  138. # [07:06] * Joins: myakura (~myakura@p2062-ipbf37marunouchi.tokyo.ocn.ne.jp)
  139. # [07:27] * Joins: paul_irish (~paul_iris@32.172.56.210)
  140. # [07:31] * Joins: Rik` (~Rik`@pha75-2-81-57-187-57.fbx.proxad.net)
  141. # [07:51] * Quits: annevk (~annevk@5355737B.cable.casema.nl) (Read error: Connection reset by peer)
  142. # [07:53] * Joins: annevk (~annevk@5355737B.cable.casema.nl)
  143. # [07:59] * Joins: JonathanNeal__ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net)
  144. # [08:02] * Quits: JonathanNeal_ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds)
  145. # [08:07] * Quits: paul_irish (~paul_iris@32.172.56.210) (Read error: Connection reset by peer)
  146. # [08:09] * Parts: a-ja (~chatzilla@70.230.167.62)
  147. # [08:09] <micheil> Hixie: do you know anything of who wrote the websocket client library for chrome / chromium?
  148. # [08:10] <micheil> I'm noticing some odd behaviour with that specific implementation dropping the first packet after it's written
  149. # [08:10] <othermaciej> micheil: file a bug - http://bugs.webkit.org/
  150. # [08:10] <micheil> no, I'm not sure if it's a bug or not
  151. # [08:10] <micheil> because the server I'm sending from is one I'm writing
  152. # [08:11] <micheil> I'm just doing another test, one sec.
  153. # [08:11] <othermaciej> ah
  154. # [08:12] <othermaciej> anyway - you might be able to find people who know about the implementation in #webkit - most of it is in WebKit
  155. # [08:12] <micheil> hmm..
  156. # [08:12] <micheil> I've found the c++ source code, so I've been reading through that
  157. # [08:12] <micheil> it's a bit of an odd error that I'm seeing
  158. # [08:13] <micheil> after the first packet is sent, my server immediately echoes it back
  159. # [08:13] <micheil> rather, after a packet is sent
  160. # [08:13] <micheil> however, the first time I send it never reaches chrome
  161. # [08:19] <micheil> yeah. I think it's definitely a bug with chrome / chromium now
  162. # [08:20] <micheil> I've got the server logging each time it writes, and I'm writing out timestamps
  163. # [08:20] <micheil> down to the milisecond
  164. # [08:20] <franksalim> micheil, have you checked in wireshark?
  165. # [08:20] <micheil> actually. I haven't
  166. # [08:20] <micheil> I shall though.
  167. # [08:20] <micheil> thanks for reminding me
  168. # [08:22] <micheil> although, I'm pretty sure the data is leaving the server
  169. # [08:22] <micheil> because otherwise I wouldn't get the logging of it, nor would I be able to handshake
  170. # [08:22] <annevk> not sure if it matters, but I believe they implement some older version of the protocol
  171. # [08:23] <micheil> they do
  172. # [08:23] <micheil> and my server is currently only compliant with it
  173. # [08:23] <micheil> (I've have code in place for the next version of the protocol)
  174. # [08:23] <micheil> it just seems really odd this
  175. # [08:36] * Quits: annevk (~annevk@5355737B.cable.casema.nl) (Ping timeout: 260 seconds)
  176. # [08:42] * Joins: JonathanNeal_ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net)
  177. # [08:45] * Quits: JonathanNeal__ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds)
  178. # [08:46] * Joins: annevk (~annevk@5355737B.cable.casema.nl)
  179. # [08:59] * Quits: JusticeFries (~justicefr@65.100.130.168) (Remote host closed the connection)
  180. # [08:59] * Joins: JusticeFries (~justicefr@173-131-84-83.pools.spcsdns.net)
  181. # [09:02] * Quits: gavin_ (~gavin@firefox/developer/gavin) (Ping timeout: 240 seconds)
  182. # [09:02] * Quits: JonathanNeal_ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net) (Read error: Connection reset by peer)
  183. # [09:02] * Joins: gavin_ (~gavin@firefox/developer/gavin)
  184. # [09:02] * Joins: JonathanNeal_ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net)
  185. # [09:11] * Joins: nessy (~Adium@124-170-18-159.dyn.iinet.net.au)
  186. # [09:14] * Joins: JonathanNeal__ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net)
  187. # [09:18] * Quits: JonathanNeal_ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
  188. # [09:20] * Quits: JonathanNeal__ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net) (Read error: Connection reset by peer)
  189. # [09:20] * Joins: JonathanNeal__ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net)
  190. # [09:26] * Joins: JonathanNeal_ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net)
  191. # [09:30] * Quits: JonathanNeal__ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 276 seconds)
  192. # [09:31] * Quits: JonathanNeal_ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net) (Read error: Connection reset by peer)
  193. # [09:32] * Joins: JonathanNeal_ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net)
  194. # [09:38] * Joins: JonathanNeal__ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net)
  195. # [09:42] * Quits: JonathanNeal_ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds)
  196. # [09:42] <jgraham> annevk: Murakami++
  197. # [09:43] * Quits: annevk (~annevk@5355737B.cable.casema.nl) (Ping timeout: 240 seconds)
  198. # [09:49] * Joins: FireFly (~firefly@unaffiliated/firefly)
  199. # [09:53] * Joins: danbri (~danbri@unaffiliated/danbri)
  200. # [09:56] * Joins: annevk (~annevk@5355737B.cable.casema.nl)
  201. # [10:07] <annevk> argh, due to a recent upgrade of Ubuntu 10.04 my wireless drivers are borked
  202. # [10:07] <annevk> my laptop is now cabled
  203. # [10:08] * Joins: welander (~me@c-418f72d5.037-82-73746f25.cust.bredbandsbolaget.se)
  204. # [10:09] <annevk> jgraham, yeah, he's great
  205. # [10:12] * Joins: JonathanNeal_ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net)
  206. # [10:15] * Quits: JonathanNeal__ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds)
  207. # [10:23] * Joins: svl (~me@ip565744a7.direct-adsl.nl)
  208. # [10:23] * Quits: jwalden (~waldo@c-71-202-165-226.hsd1.ca.comcast.net) (Quit: night all)
  209. # [10:23] <annevk> "It is not expected as I said that many authors will be hand crafting caption files." is this format even in use?
  210. # [10:24] <othermaciej> which - TTML?
  211. # [10:24] <annevk> yeah
  212. # [10:24] <othermaciej> I think there is some amount of it in the wild
  213. # [10:24] <othermaciej> don't really know how much
  214. # [10:24] <annevk> I also wonder if that guy is advocating the IE Team's position on the matter or some other product inside Microsoft...
  215. # [10:24] <othermaciej> I do not know of a tool to author it
  216. # [10:25] <othermaciej> he is one of the co-authors of TTML
  217. # [10:25] <annevk> I encounter SRT files all the time
  218. # [10:25] <othermaciej> I imagine this informs his views
  219. # [10:25] <annevk> aah
  220. # [10:25] * Joins: workmad3 (~workmad3@84.45.226.85)
  221. # [10:25] <othermaciej> am I right that what he's saying about XSL-FO and CSS is crazy?
  222. # [10:26] <othermaciej> like I don't think his reply to me answered my questions at all
  223. # [10:31] <annevk> in theory the CSS and XSL:FO have some relation but in practice they are quite different
  224. # [10:32] <annevk> and if I remember correctly CSS vertical layout will not match XSL:FO (but I could be wrong as I do not pay close attention to those discussions usually)
  225. # [10:33] * Quits: gavin_ (~gavin@firefox/developer/gavin) (Ping timeout: 276 seconds)
  226. # [10:38] <micheil> okay. bug no more, I changed nothing and chrome decided to like me.
  227. # [10:38] * Joins: gavin_ (~gavin@firefox/developer/gavin)
  228. # [10:39] * Joins: AnthonyCat (~AnthonyCa@2002:3aaf:19c2:0:21f:5bff:feb6:f0e1)
  229. # [10:47] * Joins: Maurice (copyman@5ED573FA.cable.ziggo.nl)
  230. # [10:48] <othermaciej> I figure that since XSL-FO and CSS both have their own normative definitions of layout and both have been changing independently, it would be a remarkable coincidence if their definitions matched exactly
  231. # [10:51] <annevk> Even if all the rhetoric was true the format would still be too complex, imo, and completely different from existing practices
  232. # [10:51] * Joins: ROBOd (~robod@109.96.198.162)
  233. # [10:52] <annevk> An XML-based subtitling format has apparently been tried in the past, and rejected by the subtitling community
  234. # [10:52] <annevk> http://en.wikipedia.org/wiki/Universal_Subtitle_Format
  235. # [10:53] * Quits: JusticeFries (~justicefr@173-131-84-83.pools.spcsdns.net) (Quit: JusticeFries)
  236. # [10:53] <annevk> "The format has come under criticism, especially from the fansub community [1], because compared to the format it aims to replace, Advanced Substation Alpha (which is based on comma-separated values), it is more verbose and far harder for software to read, write and manipulate."
  237. # [10:53] <annevk> "It is also much harder to edit "by hand" in text editors such as notepad. For these reasons, as well as the lack of a generic cross-platform parsing/rasterizing library and mature editing programs that natively support it, the format has not gained wide acceptance."
  238. # [10:53] <annevk> I haven't seen anything that suggests why it would go down differently with TTML
  239. # [10:55] <annevk> Looking at the XML of USF it looks scarily similar to TTML: http://blog.aegisub.org/2008/07/universal-subtitle-format-post-mortem.html
  240. # [10:55] <annevk> e.g. <text style="NarratorSpeaking"> and having <styles> and <style>
  241. # [10:56] <annevk> Maybe I'll dig into this more
  242. # [10:58] <othermaciej> it can't possibly have as many namespaces as TTML
  243. # [10:59] * Quits: JonathanNeal_ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net) (Read error: Connection reset by peer)
  244. # [10:59] * Joins: JonathanNeal_ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net)
  245. # [11:00] <annevk> W3C Process ensures those were added I guess
  246. # [11:00] <annevk> USF was implemented without XML parsers and without much of its features: http://itdp.fh-biergarten.de/mplayer-dev-eng/2003-12/bin00005.bin
  247. # [11:01] <annevk> Its original specification has died :/
  248. # [11:02] * Quits: workmad3 (~workmad3@84.45.226.85) (Remote host closed the connection)
  249. # [11:02] * Quits: AnthonyCat (~AnthonyCa@2002:3aaf:19c2:0:21f:5bff:feb6:f0e1) (Quit: zzzzzzzzz...)
  250. # [11:03] <hsivonen> AryehGregor: yes, that would work, too, if the + selector works in all legacy browsers that Wikipedia cares about
  251. # [11:03] * Joins: AnthonyCat (~AnthonyCa@2002:3aaf:19c2:0:21f:5bff:feb6:f0e1)
  252. # [11:03] <annevk> USF is not to be confused with http://universalsubtitles.org/
  253. # [11:09] * Joins: remysharp (~remysharp@nat-124-248.guardian.co.uk)
  254. # [11:17] * Joins: gratz|home (~gratz@gratz.gotadsl.co.uk)
  255. # [11:18] * Joins: gregw (~gregwilki@host116-234-static.43-88-b.business.telecomitalia.it)
  256. # [11:37] <annevk> Seems nigh-on impossible to find a lot of information about USF
  257. # [11:38] <annevk> ooh sweet
  258. # [11:38] * Quits: AnthonyCat (~AnthonyCa@2002:3aaf:19c2:0:21f:5bff:feb6:f0e1) (Quit: cya l8τ alig8τ)
  259. # [11:38] <annevk> the French and Spanish versions of the Wikipedia USF entry have way more info: http://fr.wikipedia.org/wiki/Universal_Subtitle_Format
  260. # [11:43] <annevk> looks pretty close to http://www.w3.org/TR/ttaf1-dfxp/ except with less namespaces...
  261. # [11:46] * Joins: AnthonyCat (~AnthonyCa@2002:3aaf:19c2:0:21f:5bff:feb6:f0e1)
  262. # [11:48] * Quits: AnthonyCat (~AnthonyCa@2002:3aaf:19c2:0:21f:5bff:feb6:f0e1) (Client Quit)
  263. # [12:09] <karlcow> hmmm not sure, there is little demand for 縦組, maybe it is just not visible because in Japanese community. cf roc message http://www.w3.org/mid/p2y11e306601005072153z36897033zb795cf5735f0efaf@mail.gmail.com
  264. # [12:11] * Quits: danbri (~danbri@unaffiliated/danbri) (Quit: danbri)
  265. # [12:16] * Quits: welander (~me@c-418f72d5.037-82-73746f25.cust.bredbandsbolaget.se) (Ping timeout: 268 seconds)
  266. # [12:20] <annevk> Japanese designers I talked weren't that interested in it
  267. # [12:20] * Quits: gavin_ (~gavin@firefox/developer/gavin) (Ping timeout: 260 seconds)
  268. # [12:20] <annevk> but maybe there will be interest if it is available, who knows
  269. # [12:20] * Joins: gavin_ (~gavin@firefox/developer/gavin)
  270. # [12:27] * Joins: danbri (~danbri@unaffiliated/danbri)
  271. # [12:27] * Quits: othermaciej (~mjs@c-69-181-42-237.hsd1.ca.comcast.net) (Quit: othermaciej)
  272. # [12:33] * Joins: eighty4 (~eighty4@c-d9cee455.012-403-6c6b701.cust.bredbandsbolaget.se)
  273. # [12:45] * Quits: remysharp (~remysharp@nat-124-248.guardian.co.uk) (Remote host closed the connection)
  274. # [12:52] <doublec> annevk, this post lists some dfxp authoring tools: http://blogs.adobe.com/accessibility/2007/04/captioning_in_flash_cs3.html
  275. # [12:52] <doublec> I think most of the dfxp/ttml love is coming from commercial usage
  276. # [12:52] <doublec> vs srt coming from fan comminities
  277. # [12:52] <doublec> communities I mean
  278. # [12:55] * Joins: JonathanNeal__ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net)
  279. # [12:58] * Joins: othermaciej (~mjs@c-69-181-42-237.hsd1.ca.comcast.net)
  280. # [12:59] * Quits: JonathanNeal_ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds)
  281. # [13:12] * Quits: othermaciej (~mjs@c-69-181-42-237.hsd1.ca.comcast.net) (Quit: othermaciej)
  282. # [13:16] * Joins: othermaciej (~mjs@c-69-181-42-237.hsd1.ca.comcast.net)
  283. # [13:28] * Joins: MikeSmith (~MikeSmith@EM114-48-68-115.pool.e-mobile.ne.jp)
  284. # [13:36] * Joins: welander (~me@c-418f72d5.037-82-73746f25.cust.bredbandsbolaget.se)
  285. # [13:38] <MikeSmith> hsivonen: if you're around, I wanted to ask about http://bugzilla.validator.nu/show_bug.cgi?id=438
  286. # [13:43] * Quits: JonathanNeal__ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net) (Read error: Connection reset by peer)
  287. # [13:43] * Joins: JonathanNeal__ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net)
  288. # [13:57] * Quits: othermaciej (~mjs@c-69-181-42-237.hsd1.ca.comcast.net) (Quit: othermaciej)
  289. # [14:01] * Quits: gratz|home (~gratz@gratz.gotadsl.co.uk) (Ping timeout: 240 seconds)
  290. # [14:02] * Joins: othermaciej (~mjs@c-69-181-42-237.hsd1.ca.comcast.net)
  291. # [14:05] <karlcow> annevk: For Web design, indeed I haven't seen a lot of interests. But with the rise of epub (which will be converted to html5 in a pragmatic fashion), I think japanese books will create a strong demand.
  292. # [14:05] <MikeSmith> true that
  293. # [14:05] <MikeSmith> karlcow: you talking about vertical text support?
  294. # [14:06] <karlcow> yes
  295. # [14:07] * Joins: workmad3 (~workmad3@84.45.226.85)
  296. # [14:08] <MikeSmith> given that most Japanese prose books use vertical text, to reproduce the same kind of reading experience in an e-book would seem to need vertical text support
  297. # [14:10] * Quits: othermaciej (~mjs@c-69-181-42-237.hsd1.ca.comcast.net) (Quit: othermaciej)
  298. # [14:14] * Joins: othermaciej (~mjs@c-69-181-42-237.hsd1.ca.comcast.net)
  299. # [14:21] <karlcow> MikeSmith: exactly
  300. # [14:22] * Quits: workmad3 (~workmad3@84.45.226.85) (Remote host closed the connection)
  301. # [14:29] * Quits: Heimidal (~heimidal@unaffiliated/heimidal) (Remote host closed the connection)
  302. # [14:31] <Dashiva> http://twitter.com/richardhoppes/status/13647484566
  303. # [14:42] * Quits: gavin_ (~gavin@firefox/developer/gavin) (Ping timeout: 265 seconds)
  304. # [14:47] * Joins: gavin_ (~gavin@firefox/developer/gavin)
  305. # [14:50] * Quits: m_W (~mwj@c-69-141-106-205.hsd1.nj.comcast.net) (Ping timeout: 240 seconds)
  306. # [15:08] * Quits: MikeSmith (~MikeSmith@EM114-48-68-115.pool.e-mobile.ne.jp) (Quit: Till kicked and torn and beaten out he lies, and leaves his hold and crackles, groans, and dies.)
  307. # [15:20] * Joins: Necrathex (~bleptop@212-123-163-12.ip.telfort.nl)
  308. # [15:32] * Quits: gavin_ (~gavin@firefox/developer/gavin) (Ping timeout: 264 seconds)
  309. # [15:32] <annevk> karlcow, yeah, with the exception of programmer books :p
  310. # [15:33] * Joins: gavin_ (~gavin@firefox/developer/gavin)
  311. # [15:33] <karlcow> hehe
  312. # [15:33] <karlcow> novels :)
  313. # [15:34] <annevk> it's unfortunate I can't read it and have to wait to 4Q11 for 1Q84
  314. # [15:43] * Quits: JonathanNeal__ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net) (Read error: Connection reset by peer)
  315. # [15:43] * Joins: JonathanNeal__ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net)
  316. # [15:50] * Joins: gratz|home (~gratz@gratz.gotadsl.co.uk)
  317. # [15:54] * Quits: gratz|home (~gratz@gratz.gotadsl.co.uk) (Client Quit)
  318. # [16:08] * Joins: boogyman (~boogy@unaffiliated/boogyman)
  319. # [16:15] * Joins: JusticeFries (~justicefr@c-67-173-239-97.hsd1.co.comcast.net)
  320. # [16:39] * Quits: Lachy (~Lachlan@85.196.122.246) (Quit: Leaving)
  321. # [16:45] * Quits: boogyman (~boogy@unaffiliated/boogyman) (Quit: ChatZilla 0.9.86 [Firefox 3.6.3/20100401080539])
  322. # [16:46] * Quits: nessy (~Adium@124-170-18-159.dyn.iinet.net.au) (Quit: Leaving.)
  323. # [16:46] * Joins: m_W (~mwj@c-69-141-106-205.hsd1.nj.comcast.net)
  324. # [16:58] * Joins: Lachy (~Lachlan@85.196.122.246)
  325. # [16:59] * Joins: workmad3 (~workmad3@84.45.226.85)
  326. # [17:06] * Joins: dbaron (~dbaron@c-98-234-51-190.hsd1.ca.comcast.net)
  327. # [17:07] * Joins: Steve^ (~steve@cpc2-hari1-0-0-cust645.hari.cable.virginmedia.com)
  328. # [17:10] * Quits: JonathanNeal__ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net) (Read error: Connection reset by peer)
  329. # [17:10] * Joins: JonathanNeal__ (~JonathanN@99-59-124-67.lightspeed.irvnca.sbcglobal.net)
  330. # [17:13] * Joins: mr_danie1 (~irssi@g224124002.adsl.alicedsl.de)
  331. # [17:17] * Quits: welander (~me@c-418f72d5.037-82-73746f25.cust.bredbandsbolaget.se) (Ping timeout: 268 seconds)
  332. # [17:17] <AryehGregor> hsivonen, pretty sure no one's implementing MathML-in-text/html who hasn't already implemented the sibling selector. :)
  333. # [17:17] * Quits: ROBOd (~robod@109.96.198.162) (Quit: http://www.robodesign.ro)
  334. # [17:18] * Quits: workmad3 (~workmad3@84.45.226.85) (Remote host closed the connection)
  335. # [17:21] * Quits: Rik` (~Rik`@pha75-2-81-57-187-57.fbx.proxad.net) (Read error: Connection reset by peer)
  336. # [17:21] * Joins: Rik`_ (~Rik`@pha75-2-81-57-187-57.fbx.proxad.net)
  337. # [17:21] * Rik`_ is now known as Rik`
  338. # [17:25] * Joins: workmad3 (~workmad3@84.45.226.85)
  339. # [17:31] * Joins: ROBOd (~robod@109.96.198.162)
  340. # [17:32] * Quits: gavin_ (~gavin@firefox/developer/gavin) (Ping timeout: 276 seconds)
  341. # [17:32] * Joins: gavin_ (~gavin@firefox/developer/gavin)
  342. # [17:43] * Quits: workmad3 (~workmad3@84.45.226.85) (Remote host closed the connection)
  343. # [17:56] * Joins: ROBOd_ (~robod@109.96.238.14)
  344. # [17:58] * Quits: ROBOd (~robod@109.96.198.162) (Ping timeout: 265 seconds)
  345. # [18:13] * Quits: gavin_ (~gavin@firefox/developer/gavin) (Ping timeout: 248 seconds)
  346. # [18:14] * Joins: gavin_ (~gavin@firefox/developer/gavin)
  347. # [18:16] * Joins: ttepasse (~ttepasse@ip-109-90-160-217.unitymediagroup.de)
  348. # [18:28] * Joins: workmad3 (~workmad3@cpc3-bagu10-0-0-cust651.1-3.cable.virginmedia.com)
  349. # [18:37] * Quits: Rik` (~Rik`@pha75-2-81-57-187-57.fbx.proxad.net) (Read error: No route to host)
  350. # [18:37] * Joins: Rik` (~Rik`@pha75-2-81-57-187-57.fbx.proxad.net)
  351. # [18:47] * Quits: JusticeFries (~justicefr@c-67-173-239-97.hsd1.co.comcast.net) (Quit: JusticeFries)
  352. # [18:48] <AryehGregor> hsivonen, the example of a quadratic formula from Wikipedia's MathML article renders notably worse in MathML than in LaTeX, in Firefox 3.7. The radical is too small.
  353. # [18:48] * Quits: svl (~me@ip565744a7.direct-adsl.nl) (Ping timeout: 265 seconds)
  354. # [18:49] <AryehGregor> It seems the part that hangs down on the left doesn't go down far enough, like the contents have zero height.
  355. # [18:49] <AryehGregor> http://www.mozilla.org/projects/mathml/demo/roots.xhtml looks buggy (in different ways) in both Firefox and Opera.
  356. # [18:50] <AryehGregor> (would still be great to get this working, though, to encourage everyone to improve)
  357. # [18:51] <AryehGregor> (working on Wikipedia, I mean)
  358. # [19:04] * Joins: svl (~me@ip565744a7.direct-adsl.nl)
  359. # [19:04] * Quits: ttepasse (~ttepasse@ip-109-90-160-217.unitymediagroup.de) (Quit: ?Q)
  360. # [19:25] * Quits: Steve^ (~steve@cpc2-hari1-0-0-cust645.hari.cable.virginmedia.com) (Ping timeout: 265 seconds)
  361. # [19:31] * Quits: workmad3 (~workmad3@cpc3-bagu10-0-0-cust651.1-3.cable.virginmedia.com) (Remote host closed the connection)
  362. # [19:39] * Joins: JoePeck (~jjp@c-24-130-200-51.hsd1.ca.comcast.net)
  363. # [19:49] * Quits: JoePeck (~jjp@c-24-130-200-51.hsd1.ca.comcast.net) (Quit: -)
  364. # [19:52] * Quits: myakura (~myakura@p2062-ipbf37marunouchi.tokyo.ocn.ne.jp) (Quit: Leaving...)
  365. # [19:53] * Joins: Steve^ (~steve@cpc2-hari1-0-0-cust645.hari.cable.virginmedia.com)
  366. # [19:54] * Joins: paul_irish (~paul_iris@c-71-192-163-128.hsd1.nh.comcast.net)
  367. # [20:04] <dbaron> AryehGregor, hrm, yeah, that doesn't look very good
  368. # [20:05] <dbaron> AryehGregor, I wonder if it depends on font availability, though...
  369. # [20:06] <AryehGregor> Dunno.
  370. # [20:06] <AryehGregor> Can only report what I see.
  371. # [20:06] <dbaron> I certainly remember it looking better in the past
  372. # [20:08] <dbaron> AryehGregor, it does
  373. # [20:08] <dbaron> AryehGregor, 'sudo apt-get install otf-stix' makes a huge difference for me
  374. # [20:08] <dbaron> AryehGregor, (i.e., installing the STIX fonts)
  375. # [20:08] <AryehGregor> Hmm.
  376. # [20:09] <dbaron> AryehGregor, Downloadable fonts may be quite helpful for mathml
  377. # [20:09] <dbaron> Though I wonder if we should think about shipping math fonts (now that we have downloadable font support)
  378. # [20:10] <dbaron> I wonder if wikipedia could serve the STIX fonts via @font-face
  379. # [20:10] <AryehGregor> Yeah, much better with those fonts, although still not quite as nice as LaTeX.
  380. # [20:11] <AryehGregor> We could, but that would be undesirable from our perspective. Surely if this is necessary for good math rendering, and Firefox aims to support good math rendering, it should ship the fonts? That seems a lot more efficient than every website that uses math being forced to distribute the fonts to all viewers.
  381. # [20:11] <AryehGregor> Although I realize you have concerns about download size, etc.
  382. # [20:12] <dbaron> and potentially license compatibility
  383. # [20:13] <AryehGregor> The SIL Open Font License is very permissive, and should be compatible with the GPL since you aren't linking the fonts.
  384. # [20:14] <AryehGregor> I guess it's technically not GPL-compatible, but as long as it's used only for fonts, that's not a practical issue.
  385. # [20:14] <AryehGregor> Anyway, your call. It would be nice if I could get MathML-in-text/html working in Wikipedia at some point; we'll decide after that when we want to make it default for all browsers that support MathML-in-text/html.
  386. # [20:15] <AryehGregor> Which will be more likely the better the support is, I guess.
  387. # [20:15] * AryehGregor shrugs
  388. # [20:15] <dbaron> Well, MathML tends not to be a big priority given the lack of support in other browsers
  389. # [20:16] <AryehGregor> I'm told support in WebKit is underway, and Opera already supports it in XML. So hopefully soon it will be everyone but IE, as usual. :)
  390. # [20:16] <AryehGregor> But no, not a big deal, as you say.
  391. # [20:17] <AryehGregor> Especially as long as actual LaTeX looks better anyway -- which it still seems to, for whatever reason.
  392. # [20:17] <AryehGregor> Better MathML support is hardly my top priority either, but it would be kind of nice.
  393. # [20:30] <annevk> Hixie, I figured out the zip command and can now generate a zip file of complete.html splitted
  394. # [20:30] <annevk> Hixie, I generate a special copy without --absolute enabled
  395. # [20:31] <annevk> Hixie, if you need --absolute let me know and also let me know the other details :)
  396. # [20:31] <annevk> Hixie, having said all that, I might have fallen asleep by the time you get this
  397. # [20:50] * Quits: knowtheory (~knowtheor@bas1-london16-1176190282.dsl.bell.ca) (Quit: Computer has gone to sleep)
  398. # [20:55] * Quits: Lachy (~Lachlan@85.196.122.246) (Quit: This computer has gone to sleep)
  399. # [20:57] * Quits: Steve^ (~steve@cpc2-hari1-0-0-cust645.hari.cable.virginmedia.com) (Ping timeout: 265 seconds)
  400. # [21:15] * Quits: gavin_ (~gavin@firefox/developer/gavin) (Ping timeout: 260 seconds)
  401. # [21:15] * Joins: gavin_ (~gavin@firefox/developer/gavin)
  402. # [21:16] * Joins: Lachy (~Lachlan@85.196.122.246)
  403. # [21:20] * Quits: drunknbass (~drunknbas@76.91.255.83) (Remote host closed the connection)
  404. # [21:36] * Quits: paul_irish (~paul_iris@c-71-192-163-128.hsd1.nh.comcast.net) (Ping timeout: 265 seconds)
  405. # [21:46] * Joins: paul_irish (~paul_iris@c-71-192-163-128.hsd1.nh.comcast.net)
  406. # [22:02] * Joins: Peter- (~peter@535172BF.cable.casema.nl)
  407. # [22:06] * Joins: smaug (~chatzilla@cs181150024.pp.htv.fi)
  408. # [22:14] <jgraham> AryehGregor: Opera doesn't really support MathML, just some subset that can be implemented with CSS layout. So I guess it won't ever look too pretty
  409. # [22:14] <AryehGregor> Oh, interesting.
  410. # [22:16] <jgraham> (there is even a spec for that subset somewhere)
  411. # [22:16] * Quits: ivm_ (~ivan.marc@adsl-76-254-68-176.dsl.pltn13.sbcglobal.net) (Read error: No route to host)
  412. # [22:16] * Quits: ivm (~ivan.marc@adsl-76-254-68-176.dsl.pltn13.sbcglobal.net) (Read error: No route to host)
  413. # [22:16] <jgraham> Of course if there was any atual content, it might encourage us to spend time getting good support
  414. # [22:16] <AryehGregor> Yeah, that's my thought.
  415. # [22:18] <AryehGregor> I hope to fix that at some point by letting Wikipedia emit MathML, it's on my to-do list: http://www.mediawiki.org/wiki/User:Simetrical
  416. # [22:19] <Dashiva> MathML has a bad fallback story on that subset too
  417. # [22:20] <Dashiva> The OpenGL docs that use MathML for [x, y] range expressions become [x]
  418. # [22:26] <AryehGregor> Why would you use MathML for [x, y] ranges?
  419. # [22:32] <Dashiva> Why wouldn't you use it when you're already using mathml?
  420. # [22:33] <AryehGregor> Is the output even distinguishable from HTML?
  421. # [22:33] <AryehGregor> I mean, if it works.
  422. # [22:35] <Dashiva> mathml fences are fancy
  423. # [22:35] * Joins: portenkirchner (~portenkir@p4FFC9E24.dip.t-dialin.net)
  424. # [22:36] <Dashiva> The height and alignment and such
  425. # [22:36] * Quits: ROBOd_ (~robod@109.96.238.14) (Quit: http://www.robodesign.ro)
  426. # [22:36] <Dashiva> I suppose there are entities you can use, but then you have to wrangle those instead of a simple element name
  427. # [22:37] * Quits: portenkirchner (~portenkir@p4FFC9E24.dip.t-dialin.net) (Client Quit)
  428. # [22:44] * Quits: svl (~me@ip565744a7.direct-adsl.nl) (Quit: And back he spurred like a madman, shrieking a curse to the sky.)
  429. # [22:48] <AryehGregor> $[x, y]$ in LaTeX gets typeset pretty much identically to [<var>x</var>, <var>y</var>] in HTML.
  430. # [22:48] <AryehGregor> No funny brackets.
  431. # [22:49] * Joins: workmad3 (~workmad3@cpc3-bagu10-0-0-cust651.1-3.cable.virginmedia.com)
  432. # [22:54] * Joins: ttepasse (~ttepasse@ip-109-90-160-217.unitymediagroup.de)
  433. # [22:59] * Joins: cohitre (~cohitre@173.160.205.2)
  434. # [23:06] * Parts: cohitre (~cohitre@173.160.205.2)
  435. # [23:07] * Joins: roc (~roc@203-97-204-82.dsl.clear.net.nz)
  436. # [23:09] * Joins: JoePeck (~jjp@c-24-130-200-51.hsd1.ca.comcast.net)
  437. # [23:22] * Quits: Rik` (~Rik`@pha75-2-81-57-187-57.fbx.proxad.net) (Remote host closed the connection)
  438. # [23:22] * Joins: Rik` (~Rik`@pha75-2-81-57-187-57.fbx.proxad.net)
  439. # [23:25] * Joins: grimboy (~grimboy@bcm-131-111-216-150.girton.cam.ac.uk)
  440. # [23:28] * Joins: JohnnyAmerica (~Simon@213-64-113-37-no97.tbcn.telia.com)
  441. # [23:32] * Quits: Rik` (~Rik`@pha75-2-81-57-187-57.fbx.proxad.net) (Quit: Rik`)
  442. # [23:36] * Quits: danbri (~danbri@unaffiliated/danbri) (Quit: danbri)
  443. # [23:37] * Joins: Rik` (~Rik`@pha75-2-81-57-187-57.fbx.proxad.net)
  444. # [23:45] * Quits: Maurice (copyman@5ED573FA.cable.ziggo.nl)
  445. # [23:46] * Joins: cpearce (~cpearce@203-97-204-82.dsl.clear.net.nz)
  446. # [23:51] * Joins: danbri (~danbri@unaffiliated/danbri)
  447. # [23:54] * Joins: nessy (~Adium@124-170-18-159.dyn.iinet.net.au)
  448. # Session Close: Mon May 10 00:00:00 2010

The end :)