XMPP Council - 2018-03-06

  1. daniel has left

  2. Dave has left

  3. dwd has left

  4. dwd has joined

  5. dwd has left

  6. ralphm has joined

  7. genofire has left

  8. genofire has left

  9. ralphm has joined

  10. Zash has left

  11. Zash has left

  12. ralphm has left

  13. ralphm has joined

  14. Dave has left

  15. dwd has joined

  16. Dave has left

  17. daniel has joined

  18. ralphm has left

  19. ralphm has joined

  20. Dave has left

  21. dwd has left

  22. dwd has joined

  23. Dave has left

  24. Dave has left

  25. Dave has left

  26. Holger has left

  27. Dave has left

  28. Dave has left

  29. SamWhited has left

  30. Zash has joined

  31. ralphm has left

  32. dwd has left

  33. ralphm has joined

  34. Zash has left

  35. daniel has left

  36. daniel has joined

  37. daniel has left

  38. ralphm has left

  39. Dave has left

  40. ralphm has joined

  41. dwd has joined

  42. dwd has left

  43. dwd has joined

  44. Dave has left

  45. daniel has joined

  46. ralphm has left

  47. ralphm has joined

  48. dwd has left

  49. SamWhited has left

  50. Dave has left

  51. dwd has joined

  52. ralphm has left

  53. Dave has left

  54. ralphm has joined

  55. dwd has left

  56. dwd has joined

  57. Dave has left

  58. Dave has left

  59. Dave has left

  60. Dave has joined

  61. dwd has left

  62. ralphm has left

  63. ralphm has joined

  64. Dave has left

  65. dwd has left

  66. Dave has left

  67. dwd has joined

  68. Zash has joined

  69. jere has left

  70. dwd has left

  71. daniel has left

  72. Dave has left

  73. Dave has left

  74. dwd has joined

  75. ralphm has left

  76. ralphm has joined

  77. Dave has left

  78. Dave has left

  79. moparisthebest has left

  80. moparisthebest has joined

  81. daniel has joined

  82. Dave has left

  83. ralphm has left

  84. ralphm has joined

  85. ralphm has left

  86. Tobias has left

  87. Tobias has joined

  88. ralphm has joined

  89. dwd has left

  90. Dave has left

  91. Dave has left

  92. Dave has left

  93. dwd has left

  94. ralphm has left

  95. daniel has left

  96. daniel has joined

  97. dwd has left

  98. ralphm has joined

  99. Dave has left

  100. dwd has left

  101. Dave has left

  102. Dave has left

  103. daniel has left

  104. daniel has joined

  105. dwd has left

  106. Dave has left

  107. daniel has left

  108. daniel has joined

  109. Dave has left

  110. dwd has left

  111. dwd has left

  112. genofire has left

  113. dwd has left

  114. vanitasvitae has left

  115. Holger has left

  116. daniel has left

  117. vanitasvitae has left

  118. flow has joined

  119. daniel has joined

  120. Dave has left

  121. SouL has joined

  122. dwd has joined

  123. Dave has left

  124. dwd has left

  125. Dave has left

  126. Dave has left

  127. dwd has joined

  128. daniel has left

  129. daniel has joined

  130. Dave has left

  131. Dave has left

  132. dwd has left

  133. dwd has joined

  134. Dave has left

  135. Dave has left

  136. dwd has left

  137. Dave has left

  138. daniel has left

  139. daniel has joined

  140. Dave has left

  141. flow has joined

  142. Dave has left

  143. dwd has left

  144. dwd has joined

  145. Dave has left

  146. vanitasvitae has left

  147. dwd has left

  148. Dave has left

  149. dwd has left

  150. SouL has left

  151. dwd has joined

  152. Dave has left

  153. dwd has left

  154. dwd has joined

  155. Dave has left

  156. dwd has left

  157. Dave has left

  158. daniel has left

  159. daniel has joined

  160. dwd has joined

  161. genofire has left

  162. dwd has left

  163. vanitasvitae has left

  164. Ge0rG has left

  165. ralphm has joined

  166. daniel has left

  167. daniel has joined

  168. daniel has left

  169. daniel has joined

  170. SouL has left

  171. daniel has left

  172. daniel has joined

  173. ralphm has joined

  174. Dave has left

  175. daniel has left

  176. daniel has joined

  177. Dave has left

  178. daniel has left

  179. daniel has joined

  180. daniel has left

  181. daniel has joined

  182. dwd has joined

  183. Dave has left

  184. dwd has left

  185. dwd has joined

  186. daniel has left

  187. daniel has joined

  188. daniel has left

  189. daniel has joined

  190. dwd has left

  191. daniel has left

  192. daniel has joined

  193. ralphm has joined

  194. ralphm has left

  195. genofire has joined

  196. genofire has joined

  197. ralphm has joined

  198. jere has joined

  199. Dave has left

  200. jonasw has joined

  201. jere has left

  202. jere has joined

  203. dwd has joined

  204. Dave has left

  205. dwd has left

  206. SouL has left

  207. dwd has joined

  208. dwd has left

  209. daniel has left

  210. Dave has left

  211. ralphm has joined

  212. daniel has joined

  213. vanitasvitae has left

  214. dwd has joined

  215. dwd has left

  216. SouL has left

  217. Holger has left

  218. ralphm has joined

  219. ralphm has joined

  220. jonasw has left

  221. daniel has left

  222. dwd has joined

  223. daniel has joined

  224. moparisthebest has left

  225. Dave has left

  226. moparisthebest has joined

  227. dwd has left

  228. pep. has left

  229. Dave has left

  230. dwd has joined

  231. dwd has left

  232. SouL has joined

  233. Dave has left

  234. ralphm has joined

  235. dwd has joined

  236. ralphm has joined

  237. Dave has left

  238. dwd has left

  239. jonasw has joined

  240. dwd has joined

  241. dwd has left

  242. daniel has left

  243. Dave has left

  244. dwd has joined

  245. ralphm has joined

  246. Ge0rG has joined

  247. Ge0rG

    Dave: https://github.com/xsf/xeps/pull/600

  248. daniel has joined

  249. Ge0rG

    Dave: https://github.com/xsf/xeps/pull/600 - "XEP-0045: Implement stable IDs on Reflection"

  250. Dave has left

  251. dwd has left

  252. jonasw puts an hooray emoji both for 600th PR and for the thing itself

  253. Zash

    xep-0600 already?? :)

  254. Ge0rG

    I think somebody volunteered to write XEP-0404

  255. jonasw

    I also think s o

  256. jonasw

    kev maybe

  257. Ge0rG

    I think so too

  258. dwd has joined

  259. Ge0rG

    People joining with /phone and /tablet JIDs. Somebody really needs to fix their implementation :>

  260. daniel has left

  261. dwd has left

  262. pep.

    You mean fix Conversations?

  263. Zash

    https://hg.prosody.im/prosody-modules/file/6f34e51a23f0/mod_compact_resource/mod_compact_resource.lua An `if event.resource == "phone" then event.resource = ...` in there?

  264. daniel has joined

  265. daniel has left

  266. ralphm has joined

  267. daniel has joined

  268. daniel

    Ge0rG: join where?

  269. Zash


  270. Zash notices https://github.com/siacs/Conversations/commit/63cd8e598177b6b5757ab8518a48a44928dbe387

  271. pep.

    Why not just let the server do it itself? ^

  272. pep.

    As account.getResource() doesn't seem to be used if set

  273. Ge0rG

    random on every bind is similarly broken.

  274. Ge0rG

    MattJ: you wanted to make public your horrible hack of per-client offline history

  275. MattJ

    I did

  276. Ge0rG

    Really, if we have that, we can get rid of MAM.

  277. MattJ


  278. Zash

    Ge0rG: Worksforme, and I dislike fixed resources like 'phone' enough to just randomize it always

  279. Zash

    I only know Swift doing what I think is right

  280. Ge0rG

    Zash: I know some clients doing what I think is right.

  281. Ge0rG

    And despite my opinion being clearly superior, most developers seem to ignore it and insist on dumb client and server behavior.

  282. Dave

    FWIW, I explicitly try to make clients use fixed identifiable resources because it helps my debugging.

  283. Ge0rG

    Dave: could you please highlight the parts of your message that contain sarcasm?

  284. Dave

    None, in this instance.

  285. Ge0rG

    Dave: thanks very much. I kind of expected that to be a sarcastic response to my megalomania, especially beacuse I was asking to have human-readable resources for debugging purposes all along.

  286. Ge0rG

    I'm still convinced that `/phone.########` with a random postfix created by the client on account setup is the most sane middleground.

  287. SamWhited

    If you're using it for debugging can't the server do that? Use that library that gives you four random words and then tack on some proper randomness. Why does the client need to be involved?

  288. Ge0rG

    SamWhited: because the server doesn't know if you are connecting with the same client or with a different one

  289. Ge0rG

    SamWhited: things like push and per-device-offline-history and even parallel session management make more sense if the server can distinguish your client instances

  290. SamWhited

    *nods* I see. I generally think we should discourage anything that requires individual clients to be known (eg. per-device-offline-history seems like the wrong way to go about doing history), but I suspect I'll never convince anyone else of that.

  291. Ge0rG

    SamWhited: I think that server-side tracking of individual clients makes much sense and can aid in synchronizing stuff faster.

  292. jonasw

    not to mention killing off other streams when reconnecting without SM

  293. Ge0rG

    SamWhited: the more the server knows about a client, the dumber we can make the client

  294. SamWhited

    I have a vague feeling (not a strong one yet) that it just leads to a more complicated protocol and hurts us, but I don't have any good reasoning for that. I don't think not having it would make any of the clients any less dumb.

  295. SamWhited

    It just means we have to design specs assuming that all clients get the same data and view of the world, which seems like a reasonable simplification to make.

  296. Zash has left

  297. Ge0rG

    SamWhited: yes. But we are not designing a new protocol from scratch, instead we are adding layers of cruft on a 1996 unreliable message dispatching system.

  298. Ge0rG

    And with the combo of 0198, 0280, 0313 life is a huge mess for client developers.

  299. Ge0rG

    also offline messages.

  300. Zash

    1996? ITYM 1998

  301. SamWhited

    I don't disagree with any of that, but I also don't think that means we have to keep designing things that way and can move towards simplifying the protocol.

  302. Ge0rG

    SamWhited: I'm open to suggestions

  303. Kev

    I think offline messages quietly die.

  304. Kev

    With 'xmpp 2'.

  305. Ge0rG

    I think that per-client offline messages would silently fix UX for legacy client users

  306. Kev

    I think 198 is a different layer, and not really a big deal for clients (at least for acks. I'm still not entirely sold on resume).

  307. SamWhited

    Kev already said what I was about to say :)

  308. Kev

    Ge0rG: Only if you assume a small disconnect. Once you get into hundreds of messages, it doesn't.

  309. Ge0rG

    Kev: with hundreds of messages, MAM with RSM provides a better progress display

  310. SamWhited

    Although, the other thing I've already said: in my mind it's simpler if the client knows nothing about the resourcepart except that it was assigned one by the server. If the server doesn't necessarily know the difference between clients I think it simplifies what we'll do with the protocol.

  311. jonasw

    only if you get <count/> :-)

  312. Ge0rG

    SamWhited: again, only if we start from scratch

  313. SamWhited

    No, we could do that today

  314. Ge0rG

    SamWhited: resource binding already has implications based on client identity.

  315. Kev

    Ge0rG: I don't think so. A server can assign resourceparts to everything already, and some do.

  316. SamWhited

    Well sure, I'm not suggesting every server change overnight

  317. Kev

    Or I've not understood.

  318. SamWhited

    But as Kev just said, it's perfectly backwards compatible to move towards a world where servers always assign a resourcepart.

  319. SamWhited

    Some of them already do it.

  320. jonasw

    that’s not a good idea with SM-less clients though?

  321. jonasw

    unless you take the resource proposed by the client as a hint on which connection to kill.

  322. Ge0rG

    jonasw: with Carbons that doesn't matter™

  323. jonasw

    Ge0rG, it does

  324. Ge0rG

    Because you can just keep two dozens of zombie resources for your client, no problem.

  325. jonasw

    Ge0rG, but the client would lose messages

  326. Ge0rG

    The other person will not receive error bounces for messages that went into them.

  327. Ge0rG

    Zombies are great.

  328. jonasw

    sarcasm-detector fails

  329. Ge0rG

    Let's grow them.

  330. jonasw


  331. jonasw

    sounds like a good idea

  332. SamWhited

    If they're a legacy client without carbons or SM they can already lose messages, so it seems like we can ignore that. If we really can't ignore that, then the server can still see what resource part the legacy client is detecting, use that internally for tracking, and then assign it a random one.

  333. Ge0rG

    jonasw: no, zombies

  334. Dave

    SamWhited, I don't think you can make things *worse*.

  335. Ge0rG

    I'm sure we can make things worse.

  336. Dave

    Ge0rG, Well, yes. s/can/should/

  337. jonasw

    especially, I realize that the losing messages is independent of killing the old connection

  338. jonasw

    I was confused, sorry

  339. SamWhited

    Dave: I didn't follow that; what makes things worse?

  340. Ge0rG

    And I think that making random resources enforced by the server _will_ make things worse.

  341. Zash has left

  342. Ge0rG

    XMPP message delivery is already very fragile, and even with most modern clients you have issues of not receiving 0184 messages.

  343. Dave

    BTW, I've updated the Spreadsheet Of Doom™ with tomorrows items for a vote. There's a lot. https://docs.google.com/spreadsheets/d/1AZ-Sna6OiRG--b-mJMKv3XXfrn3Nehm0kAtlyJvImL0

  344. jonasw

    holy smokes

  345. jonasw

    what’s a CFE?

  346. Zash has left

  347. Zash has joined

  348. jonasw

    Call For Experience for moving to final?

  349. jonasw

    so this is essentially a Final vs. Deprecate vote?

  350. Ge0rG

    jonasw: right

  351. jonasw


  352. Zash

    > Ett webbläsarfel har uppstått. Thanks supporting Firefox

  353. jonasw

    who’s going to do all the editorwork :-P

  354. Dave

    jonasw, Exactly. But we vote to CFE, and if that succeeds, I'll drop the other one.

  355. Dave

    jonasw, Oh, I had a thought about that - would github issues be OK for tracking editor tasks?

  356. jonasw

    Dave, I’d *love* that

  357. Ge0rG

    So I grepped for 0020 usage today, and found only 0066 and 0155 that are not deferred

  358. jonasw

    a bulk issue is fine with me

  359. Dave

    jonasw, OK, I'll *try* to do that.

  360. jonasw

    especially if you use the '* [ ] foo' syntax

  361. Ge0rG

    And 0020 is on the agenda as well

  362. Ge0rG

    Eh, 0066

  363. Dave

    jonasw, Hmmm. I can try that, or just individual issues.

  364. jonasw

    Dave, individual issues would work too, but that might in fact be more overhead because more pageloads for me.

  365. Dave


  366. jonasw

    I prefer: bluk issue with '* [ ] list' > bulk issue in whatever format > Spreadsheet of Doom ~ one issue per task

  367. jonasw

    I’m not sure on the ordering of the last two

  368. Dave

    Yeah, the SoD is useful for tracking voting (at least for me).

  369. Dave

    But not so much for tracking editor actions.

  370. jonasw

    if I had +w I could tick off editor actions tehre too. but what I need most is something which gets me an email in my inbox when something is to b e done

  371. Zash

    Issue tracker!

  372. SamWhited

    If the editors want to move to GitHub issues (and someone is willing to create the issues), let's close the Trello board to avoid confusion.

  373. jonasw

    I’d be in favour of that

  374. jonasw

    I never was able to use the trello thing productively. the email notifications are pretty useless to me

  375. daniel

    Zash: I'm missing so much context. That commit you linked is just a debug option for Guus to debug open fire. It deliberately not kicks you old resource

  376. daniel

    And I'm not getting the joined with a resource phone thing either. Like instead of a proper username or what?

  377. daniel

    That really shouldn't happen

  378. Zash

    daniel: It looked relevant to the topic at the time

  379. Dave

    SamWhited, It might be useful for people to note non-GH-ish things for the agenda.

  380. jonasw

    Dave, for the editor agenda?

  381. Dave

    jonasw, Council.

  382. vanitasvitae has left

  383. jonasw

    I think sam was referring to the editor trello, but I might be wrong.

  384. SamWhited

    Dave: yah, I just meant the editor one. Let's not make editors use two tools.

  385. SamWhited

    Dave: Also, a request: can there be a tab on that spreadsheet that mirrors the main one but only gives you a view of the last two weeks?

  386. SamWhited

    (do spreadsheets have a name for that? Like a materialized view in a proper database?)

  387. Dave

    SamWhited, I have literally no idea. But you're looking for the pink ones.

  388. Dave

    29) Close

  389. Dave


  390. SamWhited

    The pink ones are all in the future which I assume means I have no outstanding stuff? I am happy to make a new tab with just the view I care about if you give me access.

  391. Dave

    SamWhited, Well, yes, the pink ones aren't until tomorrow (I do the spreadsheet first, then the agenda from that).

  392. Dave

    SamWhited, But also, anything red in your column (except again I've updated that prior to the meeting - which I normally don't do).

  393. SamWhited

    But my column is in the middle, so I have to find it which makes me sad

  394. SamWhited

    Or rather, the current date it in the middle, so I have to scroll down and figure out which was the last meeting.

  395. Ge0rG

    Dave: while we are here. I wanted to address the insufficient uniqueness of IDs in RFC 6120, but I have no idea what we can do about it, process-wise

  396. Ge0rG

    Can't we align the member names to the spreadsheet column letters, so Kev would be in K, Sam would be in S and Daniel and Dave would be in D? :D

  397. Dave

    I'm mildly concerned by the idea of provably unique stanza identifiers. But saying they ought to be globally unique seems fair.

  398. Kev

    Is a 29 item 30minute agenda sensible, or would we be better off chunking this a little bit?

  399. Dave

    Ge0rG, If I knew how to make the spreadsheet keep Row 1 from scrolling I'd be happy.

  400. Zash

    is OUGHT in that rfc2119 follow-up?

  401. SamWhited

    Dave: there is a little dark bar under row 1, drag it down below row 1 and that becomes the title.

  402. SamWhited

    But I said column, I meant rows. It's the rows I'm trying to get to quicker.

  403. SamWhited

    *above row 1

  404. jonasw

    Dave, suggestion: given that that’s going to be a long agenda, could council discuss the PRs (where people put work into getting things proposed) first?

  405. Ge0rG

    jonasw: 👍

  406. Dave

    jonasw, That's the cherry on top of the agenda, though.

  407. Dave

    jonasw, It's the reward for getting through the other bits.

  408. Dave

    Kev, FWIW, this is really a 15 item agenda, with some items potentially having two votes. I think we'll overrun, but not badly.

  409. daniel has left

  410. Kev

    I've not looked at it properly, I'm barely functioning today after a headache yesterday, but I saw it was long and got worried.

  411. jonasw

    Dave, how about I ping you on github when marking an issue Needs Council?

  412. jonasw

    does that anything good or do you get the mails anyways

  413. Dave

    Kev, Most votes are paired CFE/Deprecate, where we don't do the second if we've done the first.

  414. Dave

    jonasw, I do the agenda by looking at all the open pulls, actually, so while I do get the mails I don't use them for that.

  415. jonasw

    Dave, okay, whatever works for you :)

  416. jonasw

    reminds me, gotta send emails

  417. Dave

    SamWhited, Made it not-pink unless the items are between 0 and 14 days in the past.

  418. SamWhited

    I still have to scroll down and find it and I am lazy; can I please just get a second tab that I can make a view that only shows the last two weeks that are not in the future?

  419. SamWhited

    Or can we clear out the old stuff?

  420. Zash has left

  421. jonasw

    I think I still have to execute two ediotr actions from last meeting, maybe put those into something else first.

  422. Ge0rG

    > Or can we clear out the old stuff? I'd like to keep history, even if only in a separate tab. It helps when looking for discussion agendas (our council agenda logs are inherently unsearchable by XEP #)

  423. Zash has left

  424. daniel has left

  425. peter has joined

  426. SamWhited

    This would work:

  427. SamWhited

    =filter(Sheet1!A$2:A, Sheet1!$A$2:$A<TODAY(), Sheet1!$A$2:$A>(MAX(filter(Sheet1!$A$2:$A, Sheet1!$A$2:$A<TODAY()))-14))

  428. SamWhited

    There may be a simpler way of course

  429. Tobias has joined

  430. SamWhited has left

  431. daniel has left

  432. Zash has left

  433. Zash has left

  434. Dave

    SamWhited, OK, you now have both a "Current" tab and a "Sam" tab. "Current" lists current votes, and "Sam" only lists current votes for which you haven't voted.

  435. Dave

    Of course, none of these list anything right now because there are no current votes.

  436. Zash has left

  437. SamWhited

    oh individualized tabs; fancy! Thanks

  438. Ge0rG

    "You need to be logged in as samwhited@gmail.com to view this tab." Bummer.

  439. SamWhited

    I don't know who samwhited@gmail.com is, but it's not me

  440. SamWhited

    I appear to be able to see all the tabs, but they all show up with no data in them

  441. Dave

    SamWhited, Right. Because there are no current votes.

  442. Dave

    SamWhited, I changed some of the dates to check it worked. :-)

  443. Syndace has left

  444. Syndace has joined

  445. Dave has left

  446. daniel has left

  447. dwd has joined

  448. Dave has left

  449. Dave has left

  450. genofire has left

  451. Dave has left

  452. Dave has left

  453. Dave has left

  454. dwd has left

  455. dwd has joined

  456. dwd has left

  457. vanitasvitae has left

  458. Dave has left

  459. dwd has joined

  460. Dave has left

  461. jere has left

  462. vanitasvitae has joined

  463. Dave has left

  464. Dave has left

  465. Dave has left

  466. dwd has left

  467. dwd has left

  468. dwd has left

  469. ralphm has left

  470. Tobias has joined

  471. Tobias has joined

  472. Dave has left

  473. dwd has joined

  474. ralphm has joined

  475. jere has joined

  476. Dave has left

  477. dwd has left

  478. Dave has left

  479. Dave has left

  480. Dave has left

  481. ralphm has left

  482. Dave has left

  483. Dave has left

  484. Dave has left

  485. Dave has left

  486. Dave has left

  487. dwd has joined

  488. dwd has left

  489. daniel has left

  490. genofire has left

  491. genofire has left

  492. ralphm has joined

  493. Dave has left

  494. dwd has joined

  495. Dave has left

  496. dwd has left

  497. dwd has joined

  498. Dave has left

  499. dwd has left

  500. Dave has left

  501. Dave has left

  502. Dave has left

  503. dwd has joined

  504. Dave has left

  505. daniel has left

  506. Dave has left

  507. dwd has left

  508. ralphm has joined

  509. Dave has left

  510. Dave has left

  511. Dave has left

  512. Zash has left

  513. ralphm has left

  514. Dave has left

  515. Dave has left

  516. dwd has left

  517. dwd has joined

  518. Dave has left

  519. Dave has left

  520. Dave has left

  521. dwd has left

  522. dwd has joined

  523. Dave has left

  524. dwd has left

  525. Dave has left

  526. Dave has left

  527. Dave has left

  528. jonasw has left

  529. dwd has joined

  530. jere has left

  531. ralphm has joined

  532. daniel has left

  533. Zash has left

  534. SamWhited has left

  535. SamWhited has left

  536. daniel has left

  537. jere has joined

  538. jere has left

  539. jere has joined

  540. Dave has left

  541. Dave has left

  542. dwd has left

  543. Dave has left

  544. ralphm has joined

  545. Dave has left

  546. Dave has left

  547. dwd has joined

  548. Dave has left

  549. dwd has left

  550. Dave has left

  551. Dave has left

  552. Dave has left

  553. dwd has joined

  554. dwd has left

  555. Dave has left

  556. Dave has left

  557. Dave has left

  558. Dave has left

  559. Dave has left

  560. Dave has left

  561. daniel has left

  562. Dave has left