/irc-logs / freenode / #whatwg / 2009-01-17 / end

Options:

  1. # Session Start: Sat Jan 17 00:00:00 2009
  2. # Session Ident: #whatwg
  3. # [00:00] <Hixie> those are the ones that don't implement [[Call]]
  4. # [00:00] <Hixie> i wonder whether to bother supporting these properties
  5. # [00:00] <Hixie> IE doesn't
  6. # [00:00] <Hixie> (the BarProp ones)
  7. # [00:00] <Hixie> (or BarInfo in Safari)
  8. # [00:02] * Quits: webben_ (n=webben@nat/yahoo/x-b2ae50f22f1c6e4a) (No route to host)
  9. # [00:04] <Hixie> hm, my opera might just be out of date
  10. # [00:04] <Hixie> how does one update to the latest opera build again?
  11. # [00:05] <Hixie> http://snapshot.opera.com/ ?
  12. # [00:05] <annevk> http://my.opera.com/desktopteam/blog/
  13. # [00:06] <annevk> in opera:config#AutoUpdate you can set a setting to make sure it always updates to the latest snapshot
  14. # [00:06] <Hixie> oh good
  15. # [00:06] <Hixie> that must be new since the version i have
  16. # [00:07] <Hixie> i have some ancient build
  17. # [00:10] <Hixie> well that doesn't seem to have changed the result of my test
  18. # [00:13] <annevk> sweet: http://www.filmroster.com/article/60000_piece_star_wars_lego_diorama
  19. # [00:13] * annevk is just watching that movie
  20. # [00:14] <Hixie> i love teh footprints in the snow
  21. # [00:25] * Joins: kingryan (n=kingryan@adsl-99-27-42-97.dsl.pltn13.sbcglobal.net)
  22. # [00:30] * Quits: Maurice (i=copyman@5ED548D4.cable.ziggo.nl) ("Disconnected...")
  23. # [00:34] * Quits: Amorphous (i=jan@unaffiliated/amorphous) (Read error: 60 (Operation timed out))
  24. # [00:39] * gsnedders will probably annoy everyone in here this weekend constantly asking for help with maths :P
  25. # [00:40] * Philip` likes people asking maths questions iff he can easily remember the answer, but otherwise it makes him realise how much he's forgotten
  26. # [00:41] <gsnedders> Philip`: How much can you remember complex numbers?
  27. # [00:41] * Quits: smedero (n=smedero@mdp-nat251.mdp.com)
  28. # [00:41] <gsnedders> (Or rather, how to do anything with them?)
  29. # [00:42] <Philip`> Complex numbers are easy, they're just like normal numbers but there's two of them
  30. # [00:42] <gsnedders> :)
  31. # [00:42] <gsnedders> Then hopefully it satisfies the iff
  32. # [00:43] <Philip`> Alternatively: Complex numbers are easy, they're just geometry - you simply imagine each number being a line, and then the answers are obvious
  33. # [00:43] * gsnedders doesn't like making imaginary things into real things to plot them on a graph though
  34. # [00:44] <gsnedders> it makes them seem real.
  35. # [00:44] <Hixie> complex numbers are easy, just s/i/sqrt(-1)/ and then it all makes sense
  36. # [00:44] <gsnedders> Hixie: Surely s/i/sqrt(-1)/g?
  37. # [00:45] <Hixie> i thought you didn't like me calling you g :-P
  38. # [00:45] <gsnedders> Hixie: :P
  39. # [00:45] * Philip` is currently busy failing to remember how to do the maths for a Breakout game
  40. # [00:45] * gsnedders wonders if sed has an h flag
  41. # [00:46] <Hixie> Philip`: do it on a text terminal, the collision detection algorithm becomes much easier
  42. # [00:47] <Philip`> Actually I think the problem is not the maths, it's that I'm modelling the world as if it contains several independently-moving objects with infinite mass, which causes problems when the ball gets stuck between them
  43. # [00:48] <Hixie> if they can both move and they can collide, that's gonna give you issues, yes
  44. # [00:48] * Joins: Amorphous (i=jan@unaffiliated/amorphous)
  45. # [00:49] <Hixie> you should do breakout using box2d's engine
  46. # [00:50] <Hixie> complete overkill, but you could do some pretty funky things
  47. # [00:50] <Hixie> like having the boxes knock each others over or something
  48. # [00:50] <Philip`> Using a library would be cheating :-)
  49. # [00:51] <Hixie> using a library is sensible :-P
  50. # [00:52] <Philip`> Being sensible is cheating
  51. # [00:54] <Lachy> gsnedders, I'm very surprised that your working with complex numbers. I didn't that would be covered in high school. It wasn't for me.
  52. # [00:55] <Philip`> You didn't do complex numbers? :-o
  53. # [00:56] * Quits: ap (n=ap@195.239.126.10)
  54. # [00:58] <Lachy> That might have been covered in the 3 unit maths in years 11 and 12 that I didn't do
  55. # [01:00] <Lachy> I saw a video once last year that explained how they work really clearly. I can't remember where though
  56. # [01:00] <Hixie> shockingly, complex numbers were not covered for me until advanced maths (the math level beyond the normal A-level maths)
  57. # [01:07] <annevk> Hixie, seems XXX-Origin can be named Origin again
  58. # [01:08] <Hixie> apparently
  59. # [01:08] <Hixie> i think i'll wait for adam to write the i-d though
  60. # [01:08] <annevk> there will be an ID? ok
  61. # [01:09] <annevk> guess he can define authoring requirements and such then, neat-o
  62. # [01:09] <Hixie> i hope so
  63. # [01:09] <Hixie> gonna be pretty short, i expect
  64. # [01:09] <annevk> the header is already registered fwiw, but I guess doing it separately from both HTML5 and CORS is fine
  65. # [01:09] <Hixie> it's CORS now?
  66. # [01:10] <annevk> pretty much
  67. # [01:10] <Hixie> cool
  68. # [01:10] <Hixie> remind me to update xbl next year or so
  69. # [01:10] <Hixie> :-)
  70. # [01:10] <annevk> hehe
  71. # [01:11] <annevk> hopefully xbl has some implementor traction by then
  72. # [01:11] <Hixie> yeah
  73. # [01:11] <Hixie> i've heard louder rumblings than usual recently
  74. # [01:11] <Hixie> so we'll see
  75. # [01:11] * Quits: KevinMarks (n=KevinMar@nat/google/x-d67e95272b35da68) ("The computer fell asleep")
  76. # [01:12] <Hixie> i want people to implement type=date and type=color
  77. # [01:12] <Hixie> in multiple browsers
  78. # [01:12] * Joins: KevinMarks (n=KevinMar@nat/google/x-30bce432f74948f4)
  79. # [01:12] <Hixie> that would get us a lot of traction i think
  80. # [01:12] <annevk> that'd be cool
  81. # [01:12] <Hixie> (from the average author)
  82. # [01:12] <Hixie> i mean, i'd love to blog about html5 and say why it's a great idea and all, but it'll sound hollow until we have something concrete that authors can use widely
  83. # [01:20] * Quits: KevinMarks (n=KevinMar@nat/google/x-30bce432f74948f4) (Read error: 145 (Connection timed out))
  84. # [01:21] * Quits: dglazkov (n=dglazkov@nat/google/x-a9620be08d8c33b8)
  85. # [01:28] * Joins: dave_levin_ (n=dave_lev@72.14.227.1)
  86. # [01:29] * Quits: dave_levin_ (n=dave_lev@72.14.227.1) (Client Quit)
  87. # [01:32] <Lachy> I found the videos that taught me about complex numbers http://www.dimensions-math.org/Dim_download2_E.htm (chapters 5 and 6)
  88. # [01:40] * Joins: jwalden_ (n=waldo@corp-241.mountainview.mozilla.com)
  89. # [01:40] * Quits: jwalden (n=waldo@corp-241.mountainview.mozilla.com) (Nick collision from services.)
  90. # [01:40] * jwalden_ is now known as jwalden
  91. # [01:44] * Quits: dave_levin (n=dave_lev@72.14.227.1) (Read error: 110 (Connection timed out))
  92. # [01:55] * Quits: kingryan (n=kingryan@adsl-99-27-42-97.dsl.pltn13.sbcglobal.net)
  93. # [02:04] * Quits: eric_carlson (n=ericc@nat/apple/x-dbb70bc326aa1a45)
  94. # [02:08] * Quits: tantek (n=tantek@adsl-69-106-228-19.dsl.pltn13.pacbell.net)
  95. # [02:09] * Quits: svl (n=me@ip565744a7.direct-adsl.nl) ("And back he spurred like a madman, shrieking a curse to the sky.")
  96. # [02:11] * Quits: tndH (n=Rob@james-baillie-pc083-058.student-halls.leeds.ac.uk) ("ChatZilla 0.9.84-rdmsoft [XULRunner 1.9.0.1/2008072406]")
  97. # [02:30] * Joins: eric_carlson (n=ericc@67.218.110.71)
  98. # [02:30] * Quits: dimich (n=dimich@72.14.227.1)
  99. # [02:40] * olliej is honestly not sure what to make of the latest whatwg mailing
  100. # [02:41] * olliej has drafted multiple replies and decided they're all too far at the "what the hell are you talking about" end of the spectrum
  101. # [02:48] <Lachy> olliej, which mail are you talking about?
  102. # [02:48] <olliej> oh
  103. # [02:48] <olliej> web apps wg list
  104. # [02:48] * Joins: tantek (n=tantek@adsl-63-195-114-133.dsl.snfc21.pacbell.net)
  105. # [02:49] <Lachy> ah, do you mean "[Web Workers API] Data synchronization"
  106. # [02:49] <olliej> yup
  107. # [02:57] * Quits: eric_carlson (n=ericc@67.218.110.71)
  108. # [03:02] * Quits: weinig (n=weinig@17.203.15.177)
  109. # [03:07] * Joins: eric_carlson (n=ericc@67.218.110.71)
  110. # [03:10] * Quits: dbaron (n=dbaron@corp-241.mountainview.mozilla.com) ("8403864 bytes have been tenured, next gc will be global.")
  111. # [03:33] * Joins: webben (n=webben@91.85.205.165)
  112. # [03:36] * Joins: dglazkov (n=dglazkov@c-24-130-144-56.hsd1.ca.comcast.net)
  113. # [03:37] * Quits: webben (n=webben@91.85.205.165) (Read error: 60 (Operation timed out))
  114. # [03:42] * Quits: eric_carlson (n=ericc@67.218.110.71)
  115. # [03:50] * Joins: dbaron (n=dbaron@c-98-234-51-190.hsd1.ca.comcast.net)
  116. # [03:57] * Joins: xydyx (n=hdh@58.187.19.112)
  117. # [04:08] * Joins: tndH (n=Rob@james-baillie-pc083-058.student-halls.leeds.ac.uk)
  118. # [04:12] * Quits: dolske (n=dolske@firefox/developer/dolske)
  119. # [04:14] * Quits: hdh (n=hdh@58.187.19.112) (Read error: 110 (Connection timed out))
  120. # [04:20] * Parts: erlehmann (n=erlehman@86.59.25.121)
  121. # [04:21] * Quits: tantek (n=tantek@adsl-63-195-114-133.dsl.snfc21.pacbell.net)
  122. # [04:36] * Joins: weinig (n=weinig@c-69-181-81-233.hsd1.ca.comcast.net)
  123. # [04:44] * Joins: dolske (n=dolske@c-76-103-41-195.hsd1.ca.comcast.net)
  124. # [04:53] * Parts: rubys (n=rubys@cpe-075-182-092-038.nc.res.rr.com)
  125. # [05:01] * Joins: scott__ (n=scott@cpe-75-83-19-98.socal.res.rr.com)
  126. # [05:11] * Joins: eric_carlson (n=ericc@adsl-67-112-12-110.dsl.anhm01.pacbell.net)
  127. # [05:14] * Joins: dglazkov_ (n=dglazkov@72.14.224.1)
  128. # [05:21] * Quits: dglazkov (n=dglazkov@c-24-130-144-56.hsd1.ca.comcast.net) (Read error: 104 (Connection reset by peer))
  129. # [05:30] * Quits: dglazkov_ (n=dglazkov@72.14.224.1) (Read error: 145 (Connection timed out))
  130. # [05:34] * Quits: weinig (n=weinig@c-69-181-81-233.hsd1.ca.comcast.net)
  131. # [05:50] * Joins: erlehmann (n=erlehman@86.59.25.121)
  132. # [06:36] * Joins: zcorpan (n=zcorpan@c83-252-203-80.bredband.comhem.se)
  133. # [06:40] * Quits: zcorpan (n=zcorpan@c83-252-203-80.bredband.comhem.se) (Read error: 60 (Operation timed out))
  134. # [06:42] * Joins: zcorpan (n=zcorpan@c83-252-203-80.bredband.comhem.se)
  135. # [06:43] * Joins: zcorpan__ (n=zcorpan@c83-252-203-80.bredband.comhem.se)
  136. # [06:51] * Joins: zcorpan____ (n=zcorpan@c83-252-203-80.bredband.comhem.se)
  137. # [06:57] * Quits: othermaciej (n=mjs@c-69-181-43-20.hsd1.ca.comcast.net) (Read error: 60 (Operation timed out))
  138. # [07:01] * Quits: zcorpan (n=zcorpan@c83-252-203-80.bredband.comhem.se) (Read error: 110 (Connection timed out))
  139. # [07:02] * Quits: zcorpan__ (n=zcorpan@c83-252-203-80.bredband.comhem.se) (Read error: 110 (Connection timed out))
  140. # [07:11] * Quits: zcorpan____ (n=zcorpan@c83-252-203-80.bredband.comhem.se) (Read error: 110 (Connection timed out))
  141. # [07:18] * Quits: jwalden (n=waldo@corp-241.mountainview.mozilla.com) (Read error: 110 (Connection timed out))
  142. # [07:25] * Quits: gavin_ (n=gavin@firefox/developer/gavin) (Read error: 110 (Connection timed out))
  143. # [07:35] * Joins: jwalden_ (n=waldo@c-67-180-39-55.hsd1.ca.comcast.net)
  144. # [07:35] * jwalden_ is now known as jwalden
  145. # [07:39] * Joins: myakura (n=myakura@p3020-ipbf505marunouchi.tokyo.ocn.ne.jp)
  146. # [07:42] * Quits: jruderman (n=jruderma@corp-241.mountainview.mozilla.com)
  147. # [08:13] * Quits: eric_carlson (n=ericc@adsl-67-112-12-110.dsl.anhm01.pacbell.net) (Read error: 60 (Operation timed out))
  148. # [08:17] * Joins: eric_carlson (n=ericc@adsl-67-112-12-110.dsl.anhm01.pacbell.net)
  149. # [08:22] * olliej is now known as fakeolliej
  150. # [08:25] * Joins: sicking_ (n=chatzill@corp-242.mountainview.mozilla.com)
  151. # [08:28] * Joins: sicking__ (n=chatzill@corp-242.mountainview.mozilla.com)
  152. # [08:32] * Joins: jruderman (n=jruderma@c-67-180-39-55.hsd1.ca.comcast.net)
  153. # [08:42] * Quits: sicking (n=chatzill@corp-242.mountainview.mozilla.com) (Read error: 113 (No route to host))
  154. # [08:45] * Quits: sicking_ (n=chatzill@corp-242.mountainview.mozilla.com) (Read error: 113 (No route to host))
  155. # [09:16] * Joins: weinig (n=weinig@c-69-181-81-233.hsd1.ca.comcast.net)
  156. # [09:17] * Joins: zdobersek (n=zan@cpe-92-37-71-217.dynamic.amis.net)
  157. # [09:17] * Quits: dbaron (n=dbaron@c-98-234-51-190.hsd1.ca.comcast.net) ("g'night")
  158. # [09:21] * Hixie collects interesting data for how to handle <a href="javascript:'...'" target=iframe> for various cases like same-origin, cross-origin, same-browsing-context, child browsing context, etc
  159. # [09:25] * Quits: xydyx (n=hdh@58.187.19.112) (Read error: 104 (Connection reset by peer))
  160. # [09:27] * Joins: roc (n=roc@121-72-164-121.dsl.telstraclear.net)
  161. # [09:35] * Joins: hdh (n=hdh@58.187.19.112)
  162. # [10:00] * Quits: zdobersek (n=zan@cpe-92-37-71-217.dynamic.amis.net) (Read error: 110 (Connection timed out))
  163. # [10:01] * Joins: pauld (n=pauld@host217-43-109-26.range217-43.btcentralplus.com)
  164. # [10:02] * Joins: starjive (i=beos@213-66-217-32-no30.tbcn.telia.com)
  165. # [10:02] * Joins: zdobersek (n=zan@cpe-92-37-68-148.dynamic.amis.net)
  166. # [10:27] * Joins: ap (n=ap@195.239.126.10)
  167. # [10:28] * Quits: pauld (n=pauld@host217-43-109-26.range217-43.btcentralplus.com)
  168. # [10:34] * Joins: ap_ (n=ap@195.239.126.12)
  169. # [10:35] <gsnedders> Hixie: "Advanced maths"? Even in my sister's day (i.e., before yours), it was "further maths".
  170. # [10:38] * Joins: Maurice (i=copyman@5ED548D4.cable.ziggo.nl)
  171. # [10:40] * Quits: weinig (n=weinig@c-69-181-81-233.hsd1.ca.comcast.net)
  172. # [10:43] * Joins: tantek (n=tantek@adsl-69-106-225-21.dsl.pltn13.pacbell.net)
  173. # [10:50] * Quits: ap (n=ap@195.239.126.10) (Read error: 110 (Connection timed out))
  174. # [10:51] * Quits: ap_ (n=ap@195.239.126.12)
  175. # [10:55] * Joins: zcorpan (n=zcorpan@c83-252-203-80.bredband.comhem.se)
  176. # [10:56] * Joins: maikmerten (n=maikmert@La986.l.pppool.de)
  177. # [11:01] * Joins: ROBOd (n=robod@89.122.216.38)
  178. # [11:04] * Quits: zcorpan (n=zcorpan@c83-252-203-80.bredband.comhem.se) (Read error: 60 (Operation timed out))
  179. # [11:09] * Joins: webben (n=webben@91.85.207.227)
  180. # [11:13] <annevk> hmm, afaict most on* attributes start out as undefined in most browsers
  181. # [11:20] * Quits: tantek (n=tantek@adsl-69-106-225-21.dsl.pltn13.pacbell.net)
  182. # [11:24] * Joins: tantek (n=tantek@adsl-69-106-225-21.dsl.pltn13.pacbell.net)
  183. # [11:27] <hendry> annevk: why did you "dropped the RSS feed in favor of Atom. If someone can increase the acceptance of rel="feed" in user agents that would be much appreciated as it would save me thirty-three characters on several pages. No, I don’t have Google’s bandwidth bill, but readability counts.
  184. # [11:27] <hendry> 16th January 2009
  185. # [11:27] <hendry> annevk: oh crap copy and paste :)
  186. # [11:28] <hendry> annevk: was thinking Atom is draconian right? so why use it
  187. # [11:29] <annevk> RSS is too
  188. # [11:29] <annevk> but no feed reader is so in practice it doesn't matter much
  189. # [11:30] <hendry> annevk: i noticed when i had an error in my atom feed, it wouldn't render in firefox
  190. # [11:30] <hendry> annevk: though an error in rss rendered
  191. # [11:30] <hendry> hence i stopped using atom
  192. # [11:30] <annevk> ok
  193. # [11:30] <annevk> my RSS feed sucks though, it's not full text
  194. # [11:33] <annevk> I mean sucked, it's gone now
  195. # [11:33] <annevk> to a nice place Ubuntu calls trash:///
  196. # [11:33] <hendry> urgh
  197. # [11:33] <gsnedders> hendry: Fx uses the same XML parser for both
  198. # [11:34] <hendry> gsnedders: i could be wrong, i didn't really investigate
  199. # [11:34] <gsnedders> So the same error should cause a fatal XML error in both
  200. # [11:35] <gsnedders> annevk: And SP supports @rel=ffed' :P
  201. # [11:35] <gsnedders> *feed
  202. # [11:37] <Philip`> hendry: Couldn't you have just fixed the error in your Atom feed? :-)
  203. # [11:41] <hendry> Philip`: i just switched to RSS and things started working. Hence I was thinking why Atom? :)
  204. # [11:41] <annevk> for a moment I thought http://hixie.ch/specs/hsf/hsf might of help when it is done, but it uses XHTML, go figure
  205. # [11:41] <annevk> might be of help* geez
  206. # [11:41] <gsnedders> It's what became hAtom
  207. # [11:41] <gsnedders> Last-Modified: Thu, 04 Sep 2003 12:48:48 GMT
  208. # [11:42] <gsnedders> However, that has even less support in normal feed readers than @rel='feed'.
  209. # [11:42] <annevk> no need to tell me things I already know :)
  210. # [11:42] * Quits: maikmerten (n=maikmert@La986.l.pppool.de) (Remote closed the connection)
  211. # [11:42] <gsnedders> annevk: Then why link to that and not hATOM ?:P
  212. # [11:42] <gsnedders> *hAtom
  213. # [11:43] <gsnedders> Damned Anne trying to confuse me!
  214. # [11:46] <annevk> i'm not at fault, you're trying to apply logic to this situation
  215. # [11:50] <gsnedders> True.
  216. # [11:54] * Joins: pauld (n=pauld@host217-43-109-26.range217-43.btcentralplus.com)
  217. # [12:33] * Quits: scott__ (n=scott@cpe-75-83-19-98.socal.res.rr.com) (Remote closed the connection)
  218. # [14:35] * Disconnected
  219. # [14:35] * Attempting to rejoin channel #whatwg
  220. # [14:35] * Rejoined channel #whatwg
  221. # [14:35] * Topic is 'WHATWG (HTML5) -- http://www.whatwg.org/ -- Logs: http://krijnhoetmer.nl/irc-logs/ -- Please leave your sense of logic at the door, thanks!'
  222. # [14:35] * Set by Hixie on Thu Oct 23 14:38:15
  223. # [14:56] * Disconnected
  224. # [14:57] * Attempting to rejoin channel #whatwg
  225. # [14:57] * Rejoined channel #whatwg
  226. # [14:57] * Topic is 'WHATWG (HTML5) -- http://www.whatwg.org/ -- Logs: http://krijnhoetmer.nl/irc-logs/ -- Please leave your sense of logic at the door, thanks!'
  227. # [14:57] * Set by Hixie on Thu Oct 23 14:38:15
  228. # [15:30] * Disconnected
  229. # [15:30] * Attempting to rejoin channel #whatwg
  230. # [15:30] * Rejoined channel #whatwg
  231. # [15:30] * Topic is 'WHATWG (HTML5) -- http://www.whatwg.org/ -- Logs: http://krijnhoetmer.nl/irc-logs/ -- Please leave your sense of logic at the door, thanks!'
  232. # [15:30] * Set by Hixie on Thu Oct 23 14:38:15
  233. # [15:31] <gsnedders> jgraham: (It always will, because it does more. But the cost is greater than it need be at the moment.)
  234. # [17:15] * Disconnected
  235. # [17:15] * Attempting to rejoin channel #whatwg
  236. # [17:15] * Rejoined channel #whatwg
  237. # [17:15] * Topic is 'WHATWG (HTML5) -- http://www.whatwg.org/ -- Logs: http://krijnhoetmer.nl/irc-logs/ -- Please leave your sense of logic at the door, thanks!'
  238. # [17:15] * Set by Hixie on Thu Oct 23 14:38:15
  239. # [17:16] <Philip`> I suggest calling them "cabalists"
  240. # [17:17] <gsnedders> An unauthorised calculator is defined as:
  241. # [17:17] <gsnedders>
  242. # [17:17] <gsnedders> ♦ a calculator with inadmissible facilities, eg a computer algebra system (CAS)
  243. # [17:17] <gsnedders> ♦ a calculator which contains inadmissible data or text
  244. # [17:17] <gsnedders> ♦ any form of hand-held computer, eg a personal digital assistant (PDA)
  245. # [17:17] <gsnedders> So that's what I need.
  246. # [17:17] <Philip`> You need an authorised calculator?
  247. # [17:18] <gsnedders> No, just one that isn't unauthorised :P
  248. # [17:18] <Philip`> Oh
  249. # [17:18] <Philip`> I typoed
  250. # [17:18] <Philip`> I meant:
  251. # [17:18] <Philip`> You need an unauthorised calculator?
  252. # [17:19] <gsnedders> No, I need one that is authorised :P
  253. # [17:19] <Philip`> So when you said "that's what I need", you meant the complete opposite?
  254. # [17:19] <gsnedders> Yeah.
  255. # [17:19] <gsnedders> Obviously.
  256. # [17:19] <Philip`> But I can't complain since I said "authorised" when I meant the complete opposite :-(
  257. # [17:19] * Quits: myakura (n=myakura@p3020-ipbf505marunouchi.tokyo.ocn.ne.jp) ("Leaving...")
  258. # [17:19] <hsivonen> gsnedders: is diamond #2 something that you are allowed to address by letting a teacher reset your calculator?
  259. # [17:20] <gsnedders> diamond #2?
  260. # [17:20] <hsivonen> gsnedders: or do you need one that they can tell is authorized by looking at it
  261. # [17:20] <gsnedders> Oh, that sort of diamond.
  262. # [17:20] <gsnedders> I dunno.
  263. # [17:22] <hsivonen> gsnedders: if you need the latter, I suggest pushing as close to the limit as you can by getting a calculator that has an editable input buffer
  264. # [17:23] <gsnedders> Yeah, I already have such a calculator (just non-graphical).
  265. # [17:23] <gsnedders> Anyone have any opinion on the TI-84?
  266. # [17:29] * Joins: svl (n=me@ip565744a7.direct-adsl.nl)
  267. # [17:37] * Quits: harig (n=opera@121.245.44.135) (Read error: 110 (Connection timed out))
  268. # [17:47] * Joins: Hish (n=chatzill@p5B382E4F.dip0.t-ipconnect.de)
  269. # [18:02] <annevk> yay, more RDF e-mail :)
  270. # [18:02] * annevk &heart; RDF e-mail
  271. # [18:07] <Dashiva> You should express that as RDF so that it can be reused
  272. # [18:09] <gsnedders> Also, I'd be able to add it to my knowledge-base about you.
  273. # [18:09] <annevk> two good reasons not to me
  274. # [18:09] <annevk> s/ me//
  275. # [18:10] <annevk> and a knowledge-base about me, wtf?
  276. # [18:10] <annevk> you guys are crazy
  277. # [18:10] <gsnedders> We stalk you, don't you know?
  278. # [18:10] <annevk> aah, that explains why my garbage bin moves at night
  279. # [18:10] <gsnedders> It's one of many great uses of RDF!
  280. # [18:23] * Joins: dbaron (n=dbaron@c-98-234-51-190.hsd1.ca.comcast.net)
  281. # [18:24] * Joins: Hish_ (n=chatzill@mail2.n-e-s.de)
  282. # [18:33] <annevk> more xml:id fallout: http://blog.jclark.com/2009/01/relax-ng-and-xmlid.html
  283. # [18:35] * Quits: weinig (n=weinig@c-69-181-81-233.hsd1.ca.comcast.net)
  284. # [18:43] * Quits: Hish (n=chatzill@p5B382E4F.dip0.t-ipconnect.de) (Read error: 110 (Connection timed out))
  285. # [18:47] * Joins: weinig (n=weinig@c-69-181-81-233.hsd1.ca.comcast.net)
  286. # [18:49] * Quits: weinig (n=weinig@c-69-181-81-233.hsd1.ca.comcast.net) (Client Quit)
  287. # [18:52] * Joins: Hish__ (n=chatzill@p5B382E4F.dip0.t-ipconnect.de)
  288. # [18:52] * Hish__ is now known as Hish
  289. # [18:55] * Joins: Hish__ (n=chatzill@mail2.n-e-s.de)
  290. # [18:56] * Quits: Hish_ (n=chatzill@mail2.n-e-s.de) (Read error: 104 (Connection reset by peer))
  291. # [19:00] * Quits: tantek (n=tantek@adsl-69-106-225-21.dsl.pltn13.pacbell.net)
  292. # [19:01] * Quits: Hish (n=chatzill@p5B382E4F.dip0.t-ipconnect.de) (Read error: 60 (Operation timed out))
  293. # [19:17] * Joins: zcorpan (n=zcorpan@c83-252-203-80.bredband.comhem.se)
  294. # [19:26] <Dashiva> Oh, Shelley...
  295. # [19:27] * Quits: zcorpan (n=zcorpan@c83-252-203-80.bredband.comhem.se) (Read error: 60 (Operation timed out))
  296. # [19:51] * Joins: pauld (n=pauld@cpc1-lamb4-0-0-cust135.bmly.cable.ntl.com)
  297. # [19:56] * Quits: pauld (n=pauld@cpc1-lamb4-0-0-cust135.bmly.cable.ntl.com)
  298. # [20:30] <hsivonen> Shelley's mention of RSS 1.0 is interesting, because after flirting with RDF, the feed community knowingly moved away from RDF
  299. # [20:31] <hsivonen> also, Mozilla implemented RDF when it was a new and unproven thing and has since moved away from using RDF internally
  300. # [20:36] * Quits: virtuelv (n=virtuelv@95.34.27.22.customer.cdi.no) ("Leaving")
  301. # [20:38] * Joins: primal1 (n=primal1@pool-72-87-132-196.lsanca.dsl-w.verizon.net)
  302. # [20:47] * Joins: ctc (n=opera@dynamic-98-140-88-211.dsl.cavtel.net)
  303. # [20:50] <annevk> per definition all the xmlns="" and xmlns:<foo>="" attributes are different in HTML and XML
  304. # [20:50] <annevk> apart from that, everything is equal I think
  305. # [20:50] <annevk> as far as RDFa goes
  306. # [20:52] <Dashiva> "SVG and MathML had valid use cases. Therefore RDFa must be added for no real reason."
  307. # [20:52] <annevk> Dashiva, you know, remarks like that is why I voted three times for you on lastweekinhtml5 :)
  308. # [20:53] <annevk> ooh, jgraham is close to BenMillard now
  309. # [20:53] <Dashiva> annevk: Plan "make anne confess", great success
  310. # [20:54] <annevk> Dashiva, :p
  311. # [20:55] <Dashiva> I'm confused with the top, though
  312. # [20:55] <Dashiva> Ben isn't very smeggy at all
  313. # [20:56] <annevk> http://zaa.ch/past/2009/1/17/the_future_of_the_web/
  314. # [20:57] <hsivonen> at least we've moved from the Vast Browser-Wing Conspiracy towards a Google Conspiracy
  315. # [20:58] <Dashiva> hsivonen: That ruins your mozilla example, though
  316. # [20:58] <Dashiva> Since they're obviously being pressured by their sugar daddy Google to avoid RDF
  317. # [20:58] * Joins: BenMillard (i=cerbera@cpc1-flee1-0-0-cust285.glfd.cable.ntl.com)
  318. # [20:58] <annevk> Plan "make people think it's a Google Conspiracy", great success
  319. # [20:59] <annevk> Dashiva, yeah, and Google was also involved in Atom! Bastards.
  320. # [21:00] <hsivonen> annevk: I thought they they hired Atom people afterwards
  321. # [21:00] <Dashiva> Cover operation
  322. # [21:00] <annevk> hsivonen, Blogger was one of the first to deploy Atom 0.3
  323. # [21:00] <annevk> Blogger was part of Google already, right?
  324. # [21:00] <hsivonen> oh
  325. # [21:01] <gsnedders> annevk: yeah
  326. # [21:01] <BenMillard> Dashiva, thanks. :) The poll still puts me at 10x more smeggy than you, though.
  327. # [21:01] * Joins: kangax (n=kangax@ool-182f8118.dyn.optonline.net)
  328. # [21:01] <gsnedders> And I still have no votes.
  329. # [21:02] <BenMillard> annevk, plan "mark everything on Public-HTML as read unless includes me in the To or CC line", great success. :)
  330. # [21:02] <Dashiva> annevk: Going back to your link
  331. # [21:02] <Dashiva> "(...) any realization of a Semantic Web will depend on structured data."
  332. # [21:03] <svl> gsnedders: I see four votes for you under "all of the above"
  333. # [21:03] <gsnedders> svl: Smartass.
  334. # [21:03] * Quits: kangax (n=kangax@ool-182f8118.dyn.optonline.net) (Client Quit)
  335. # [21:03] <svl> ^_^
  336. # [21:03] <Dashiva> So not only is RDF axiomatically going to happen, the semantic web is too
  337. # [21:03] <gsnedders> Hmmm…
  338. # [21:03] <annevk> Dashiva, great, guess we don't have to do anything then :)
  339. # [21:03] <gsnedders> $x = \frac{16}{b-1}$
  340. # [21:04] <gsnedders> $x$ and $b$ are natural numbers.
  341. # [21:04] <annevk> no math post-5PM
  342. # [21:04] <gsnedders> There is a sequence, x, x + 8, bx.
  343. # [21:04] <Dashiva> annevk: Fix the mathml bug
  344. # [21:04] <gsnedders> What possible values of x and b are there?
  345. # [21:04] <gsnedders> annevk: I have a maths exam on Monday, thus maths will appear after 17:00
  346. # [21:04] <annevk> Dashiva, what MathML bug?
  347. # [21:05] <Dashiva> The one where we only render the first part in a mfenced
  348. # [21:05] <annevk> gsnedders, they can appear after 17:00, but only if it's also after 5:00
  349. # [21:05] <gsnedders> annevk: It is currently after 5:00.
  350. # [21:05] <annevk> Dashiva, if by we you mean Opera, yeah, we should just do MathML natively
  351. # [21:05] <annevk> gsnedders, true, I meant the 5:00 that comes after 17:00 though
  352. # [21:05] <Dashiva> gsnedders: Multiply by b-1 and factorize?
  353. # [21:05] <annevk> gsnedders, i.e. tomorrow
  354. # [21:06] <gsnedders> annevk: Oh, I didn't realize.
  355. # [21:06] <gsnedders> :P
  356. # [21:06] * BenMillard chuckles at time format humour, sadly.
  357. # [21:06] * Quits: maikmerten (n=maikmert@La986.l.pppool.de) (Read error: 110 (Connection timed out))
  358. # [21:07] <gsnedders> x(b-1) = 16…
  359. # [21:07] * gsnedders wonders how to factorize that
  360. # [21:07] * Parts: BenMillard (i=cerbera@cpc1-flee1-0-0-cust285.glfd.cable.ntl.com)
  361. # [21:08] * gsnedders blatently sucks at maths
  362. # [21:10] <Philip`> gsnedders: I suggest finding the factors of 16
  363. # [21:10] <Dashiva> Try x = any divisor of 16 (including negative) and see if it works
  364. # [21:10] <Philip`> $ factor 16
  365. # [21:10] <Philip`> 16: 2 2 2 2
  366. # [21:11] <Philip`> Oh, that's only prime factors, which isn't so useful
  367. # [21:11] <gsnedders> 1, 2, 4, 8
  368. # [21:11] <gsnedders> It's not that hard to work them out :P
  369. # [21:11] <Philip`> and 16
  370. # [21:12] <gsnedders> and it should work for all.
  371. # [21:12] <gsnedders> according to the answers.
  372. # [21:12] <Philip`> Since b-1 divides 16, b-1 must be 1 or 2 or 8 or 16 and it's trivial to find x
  373. # [21:12] <Philip`> ...or 4...
  374. # [21:15] <hsivonen> did Opera include some RDF APIs at some point? I can't find documentation.
  375. # [21:15] * Joins: maikmerten (n=maikmert@L8c6d.l.pppool.de)
  376. # [21:16] <annevk> hsivonen, I don't think so
  377. # [21:16] <hsivonen> oh. interesting
  378. # [21:17] <annevk> all we support is the RDF meaning RSS 1.0 ...
  379. # [21:19] <hsivonen> annevk: do you parse it into a graph?
  380. # [21:22] <annevk> no
  381. # [21:24] * Parts: annevk (n=annevk@77.163.243.203)
  382. # [21:30] * Quits: primal1 (n=primal1@pool-72-87-132-196.lsanca.dsl-w.verizon.net)
  383. # [21:33] <gsnedders> Hmm, for all those (i.e., (x,b) = (1.17)…(16,2)) "calculate the sum of the first 10 terms". So, using $0.5*10(x+(10-1)8)$ I get the wrong answers
  384. # [21:33] <gsnedders> But s/x/2x/ gives the right answers.
  385. # [21:33] <gsnedders> (Assuming the given answsers are correct)
  386. # [21:33] <gsnedders> *answers
  387. # [21:34] <gsnedders> Why would it be 2x?
  388. # [21:34] * Quits: maikmerten (n=maikmert@L8c6d.l.pppool.de) (Remote closed the connection)
  389. # [21:35] <Dashiva> First ten in what order?
  390. # [21:35] <Philip`> First ten of what?
  391. # [21:36] <gsnedders> The arithmetic sequence x, x + 8, bx
  392. # [21:36] <Philip`> That's not a sequence, it's just three numbers
  393. # [21:36] <gsnedders> (for which we found possible values of x and b)
  394. # [21:36] <gsnedders> Sorry, that's the first three terms of the sequence
  395. # [21:36] <gsnedders> So the sequence should be, I think, x + (n-1)8
  396. # [21:37] <Dashiva> I don't think this qualifies as well-defined
  397. # [21:37] <gsnedders> Dashiva: That's normal in this textbook.
  398. # [21:37] <gsnedders> :(
  399. # [21:37] <Dashiva> You're holding out on us
  400. # [21:38] <gsnedders> Yet the only way this works for the final part of the question is 2x + (n-1)8
  401. # [21:38] <gsnedders> Which inevitably breaks what I asked above
  402. # [21:38] <Dashiva> Why don't you tell us the whole question :)
  403. # [21:38] <gsnedders> Dashiva: Because Im lazy? :)
  404. # [21:38] <Philip`> x + (n-1)8 doesn't look like it involves b at all
  405. # [21:39] <jcranmer> arithmetic sequences you can solve given only two terms
  406. # [21:40] <jcranmer> well, two terms and you know what number those are
  407. # [21:41] <Philip`> That's true but, I think, irrelevant :-p
  408. # [21:42] <Philip`> Oh, maybe not
  409. # [21:42] <Philip`> "The arithmetic sequence x, x + 8, bx" is only an arithmetic sequence if bx = x+16
  410. # [21:42] <Philip`> and the earlier condition on b and x means that's true
  411. # [21:42] <gsnedders> http://pastebin.ca/1311084
  412. # [21:42] <gsnedders> There's the full question.
  413. # [21:43] <Dashiva> ... that's a very different question!
  414. # [21:43] <gsnedders> The bx part is completely irrelevant in the final part.
  415. # [21:43] <Dashiva> And Philip` answered it
  416. # [21:43] <gsnedders> Where?
  417. # [21:43] * gsnedders is blind
  418. # [21:44] <Dashiva> Guess you're out of luck then :(
  419. # [21:44] <gsnedders> :P
  420. # [21:44] <gsnedders> The final part it gives answers 370–520.
  421. # [21:44] <gsnedders> I got 365–440.
  422. # [21:46] <Philip`> The first term in the sequence is x, the tenth term is x+8*9, so the mean is (x+x+8*9)/2 and the sum is 10*(x+x+8*9)/2
  423. # [21:46] <Philip`> which is 5x+36
  424. # [21:46] <gsnedders> If the sequence were $2x + (n - 1)8$ for the $n$th term, and not $x + (n-1)8$, I would get those answers
  425. # [21:47] <Philip`> Wait, I can't do arithmetic
  426. # [21:47] <gsnedders> Philip`: That disagrees with both me and the textbook
  427. # [21:47] <Philip`> It's 10x+360
  428. # [21:47] <Philip`> so the answers are 370, 520, etc
  429. # [21:48] <gsnedders> It should be $0.5n(x+(n-1)8)$
  430. # [21:48] * Parts: ctc (n=opera@dynamic-98-140-88-211.dsl.cavtel.net)
  431. # [21:48] <gsnedders> Oh wait.
  432. # [21:48] <Philip`> I think you're missing a +x in the middle
  433. # [21:48] <gsnedders> I can't read.
  434. # [21:48] <gsnedders> It should be 2x
  435. # [21:49] * gsnedders can't read the textbook
  436. # [21:50] * jcranmer sighs
  437. # [21:50] <gsnedders> Scary problem: I'm meant to know a large number of equations on Monday
  438. # [21:50] <Philip`> You shouldn't know the equations, you should just know how to derive them :-)
  439. # [21:51] * Quits: eric_carlson (n=ericc@nat/apple/x-a2fa72e3cc6eb2db)
  440. # [21:51] <hsivonen> Philip`: deriving everything from axioms in a test takes time
  441. # [21:51] <jcranmer> hsivonen: that's how I survived AP Physics
  442. # [21:51] <gsnedders> Philip`: Yeah, I do that with the computing things (mainly we are meant to remember algorithms). But in maths, as hsivonen, it takes precious time.
  443. # [21:51] <Philip`> (e.g. I don't know the equation for summing arithmetic sequences, but I know it's the average of the first and last terms multiplied by the number of terms)
  444. # [21:52] <Philip`> hsivonen: You don't need to start from the axioms and produce a formal proof, so it's not quite that bad :-)
  445. # [22:10] * Joins: hdh (n=hdh@58.187.22.244)
  446. # [22:16] * Quits: ROBOd (n=robod@89.122.216.38) ("http://www.robodesign.ro")
  447. # [22:24] * Quits: roc (n=roc@121-72-164-121.dsl.telstraclear.net)
  448. # [22:43] * Joins: annevk (n=annevk@77.163.243.203)
  449. # [23:06] * Joins: Sidnicious (n=Sidnicio@pool-98-109-110-131.nwrknj.fios.verizon.net)
  450. # [23:32] * Quits: dbaron (n=dbaron@c-98-234-51-190.hsd1.ca.comcast.net) ("8403864 bytes have been tenured, next gc will be global.")
  451. # Session Close: Sun Jan 18 00:00:00 2009

The end :)