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 Everywhere
  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 Heh
  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 sarcasm-detectors?
  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 okay
  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 Right.
  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 Yikes.
  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