00:09 | <DerekNonGeneric> | double-checked and i might be living under a rock wrt cosmos https://db-engines.com/en/ranking_trend/system/Microsoft+Azure+Cosmos+DB%3BMongoDB |
00:11 | <bterlson> | I also happen to think fluid will be massive (biased) but it's still very new |
00:43 | <sideshowbarker> | for giving W3C working groups some incentive to migrate away from IRC, it’s clear we need to have replacements for the Zakim IRC bot that we use for managing agendas and speaker queues for meetings |
00:43 | <sideshowbarker> | tcq looks pretty great |
00:44 | <sideshowbarker> | we’re looking to migrate to Matrix, so I wonder if tcq has some Matrix integration? |
00:47 | <sideshowbarker> | W3C groups are accustomed to using an IRC channel for meeting discussions, and so we have another IRC bot, RRSAgent, that we use to capture the IRC log for a meeting, and re-format it in HTML and auto-publish it to the w3.org site |
00:51 | <sideshowbarker> | so for giving W3C groups some more incentive to migrate away from IRC, we’re looking to have Matrix channels for each working group, and making it possible for groups to use the Matrix channels for meetings in the same way they use IRC now — so, with some automated RRSAgent-equivalent tool that captures the log from the Matrix room and auto-publishes it to the w3.org site. And then also integration in the Matrix room with some Zakim equivalent for managing the meeting agenda and speaker queue |
00:52 | <sideshowbarker> | tcq looks perfect for managing the agenda and queue — so it would be great to have a way to get it integrated with a Matrix room |
07:03 | <littledan> | There's no matrix integration AFAIK, just the web interface. Do you think that workflow is a problem? |
07:32 | <Rob Palmer> | TCQ and Matrix both have no integration with our Notes system today. I like the idea of more integration if it assists automatic capture, or even just threading of the Matrix conversations that relates to a specific agenda item |
07:38 | <ryzokuken> | Integrating matrix, tcq and notes sounds like a great idea either way, we should certainly investigate |
07:39 | <ryzokuken> | sideshowbarker: can you tell us more about the kind of integration w3c gas with IRC? |
08:26 | <annevk> | See https://www.w3.org/2001/12/zakim-irc-bot and https://www.w3.org/2002/03/RRSAgent |
08:30 | <ryzokuken> | See https://www.w3.org/2001/12/zakim-irc-bot and https://www.w3.org/2002/03/RRSAgent |
08:31 | <ryzokuken> | Not sure how useful people would find it over the website... |
08:35 | <annevk> | it's rather nice to just have IRC open all the time and do things like "q+ to comment on host integration issues" and at the same time see the minutes being taken and be able to correct them using s/.../, though I'm not sure how many W3C groups still operate that way |
08:37 | <ryzokuken> | I think the former can be done by using a bot that integrates directly with TCQ, not sure if the latter could be done that easily... maybe using some sort of Google Docs API? |
09:11 | <littledan> | Yeah, I can see the case for such a TCQ/notes bot to make W3C people comfortable, but it hasn't been a request from TC39 |
09:11 | <littledan> | Maybe because we use real-time chat in a very different way |
09:12 | <annevk> | I mostly see folks using Google Docs or equivalent for minute taking these days and it's probably better for collaboration as well |
09:12 | <annevk> | The Privacy CG also uses it to manage the queue, but that's kinda bad |
09:13 | <littledan> | They use Google docs for the queue? |
09:13 | <annevk> | Yeah... |
09:13 | <littledan> | Well, we used Google Sheets for that last time, since TCQ was down |
09:13 | <Rob Palmer> | we used google docs for the queue when tcq was down. It made me appreciate TCQ even more. |
09:13 | <littledan> | I wonder if hackmd might be slightly better for notes than Google Docs |
09:14 | <littledan> | But the notes bot is worth it as is, more than that delta |
09:16 | <Rob Palmer> | google docs has good traceability on history tracking |
10:06 | <ryzokuken> | I wonder if hackmd might be slightly better for notes than Google Docs |
10:38 | <littledan> | google docs has good traceability on history tracking |
13:52 | <ryzokuken> | people who like/use the IRC layout would like this: https://github.com/matrix-org/matrix-react-sdk/pull/6193 |
15:10 | <bakkot> | If hackmd has an API I can make the notes bot output to it, probably |
15:13 | <bakkot> | though, while I haven't used hackmd for multiplayer editing, my experience with other web based editors is that they mostly struggle more than gdocs does |
15:43 | <littledan> | OK, I am happy to just take your anecdote and drop this for a while |
22:20 | <avp> |
we have this small test case in which V8 and chakra print 42, but JSC and SM print 1 - we don't see any reason '10' should be different than a string literal as the property name (say, 'foo'), but changing all the keys to non-integer strings makes all the engines agree. Is there a rule exception in the spec for integer keys here, or are we right to believe that printing 1 is the correct behavior? |