| 2021-06-08 09:25:39 +0200 | ircbrowse_tom | (~ircbrowse@2a01:4f8:1c1c:9319::1) |
| 2021-06-08 09:25:39 +0200 | Server | +nt |
| 2021-06-08 09:30:37 +0200 | <tomsmeding> | https://ircbrowse.tomsmeding.com/browse/lckmonad |
| 2021-06-08 09:32:45 +0200 | <gk> | Is this a logger? Nice, thanks. |
| 2021-06-08 09:33:22 +0200 | <Solid> | tomsmeding: awesome, thank you! |
| 2021-06-08 09:33:37 +0200 | <gk> | Solid: Mind adding this to the channel description? |
| 2021-06-08 09:33:37 +0200 | <tomsmeding> | gk: requested by Solid :) |
| 2021-06-08 09:33:50 +0200 | <gk> | Thank you very much! |
| 2021-06-08 09:34:03 +0200 | ChanServ | +o Solid |
| 2021-06-08 09:34:05 +0200 | | KMonad: The Onion of Keyboard Management Tools | Channel Log: https://ircbrowse.tomsmeding.com/browse/lckmonad |
| 2021-06-08 09:34:08 +0200 | ChanServ | -o Solid |
| 2021-06-08 09:43:43 +0200 | <gk> | darn I hate how restrictive github's valid html in markdown is.. |
| 2021-06-08 09:44:27 +0200 | <gk> | I can't even set an <img> element to 100% height, or 1em height (so it can be relative to the text size) |
| 2021-06-08 10:05:44 +0200 | <gk> | Working with fonts makes everything difficult lol |
| 2021-06-08 10:06:00 +0200 | <gk> | I might hard-code a typeface |
| 2021-06-08 10:06:19 +0200 | <gk> | As apparently doing this without off alignment is impossible: http://0x0.st/-_GJ.png |
| 2021-06-08 10:06:51 +0200 | <gk> | But then embedding a typeface forces me to choose a text colour, as github doesn't support inheriting. |
| 2021-06-08 10:14:05 +0200 | <gk> | I guess, Solid: How does this look to you? http://0x0.st/-_G3.png |
| 2021-06-08 10:14:21 +0200 | <gk> | I turned Roboto Condensed into svg elements |
| 2021-06-08 10:14:33 +0200 | <gk> | Having to work with native fonts is super painful |
| 2021-06-08 10:14:38 +0200 | <gk> | Especially with github's restrictions. |
| 2021-06-08 10:38:38 +0200 | <gk> | I tested the other colour for the font, eh I prefer the darkblueish one. http://0x0.st/-_GG.png |
| 2021-06-08 10:41:18 +0200 | <Solid> | gk: yeah I'd say the first one looks better |
| 2021-06-08 10:41:42 +0200 | <Solid> | it does looks really nice, thanks for the effort :) |
| 2021-06-08 10:41:43 +0200 | <gk> | First one being the one with pinkish text, or bluish text? |
| 2021-06-08 10:42:07 +0200 | <Solid> | the bluish text |
| 2021-06-08 10:42:15 +0200 | <Solid> | oh right, first picture, but second option in the second picture :D |
| 2021-06-08 10:42:20 +0200 | <gk> | Haha yeah |
| 2021-06-08 10:42:25 +0200 | <gk> | It could have been both ways |
| 2021-06-08 11:19:59 +0200 | Vermoot | (~Vermoot@lfbn-ncy-1-227-78.w83-194.abo.wanadoo.fr) |
| 2021-06-08 11:20:12 +0200 | <Vermoot> | Alright, this is more like it |
| 2021-06-08 11:20:18 +0200 | <Vermoot> | Helloka |
| 2021-06-08 11:20:23 +0200 | <Vermoot> | Hello! |
| 2021-06-08 11:20:26 +0200 | <gk> | :wave: |
| 2021-06-08 11:20:37 +0200 | <Vermoot> | :gkwave: |
| 2021-06-08 11:20:55 +0200 | <gk> | https://cdn.discordapp.com/emojis/843758983420444749.png?v=1 |
| 2021-06-08 11:20:57 +0200 | <gk> | yes |
| 2021-06-08 11:21:05 +0200 | <gk> | best emote tbh |
| 2021-06-08 11:22:33 +0200 | <gk> | Vermoot: tldr of kline.sh: freenode was sold, the 7 boomers still on irc got annoyed, made & moved to libera.chat |
| 2021-06-08 11:23:08 +0200 | <Vermoot> | I have no idea how it might work, but is a bridge between here and the Discord still in the works? |
| 2021-06-08 11:23:23 +0200 | <gk> | It's in the "considering, need to find a good one" phase, afaik |
| 2021-06-08 11:23:29 +0200 | <Vermoot> | ok |
| 2021-06-08 11:23:58 +0200 | <Vermoot> | I'm still unsure if it should be linked with #general or on its own channel |
| 2021-06-08 11:24:06 +0200 | <gk> | Eh, I'd do general tbh |
| 2021-06-08 11:24:13 +0200 | <Vermoot> | Leaning towards its own channel :D |
| 2021-06-08 11:24:57 +0200 | <Vermoot> | My thinking is that if there's support happening here, we wouldn't want it to be polluted by general discussion from Discord, and vice vera |
| 2021-06-08 11:25:02 +0200 | <Vermoot> | versa* |
| 2021-06-08 11:25:10 +0200 | <gk> | For those who haven't seen it, this is the channel layout on discord: http://0x0.st/-_DP.png |
| 2021-06-08 11:25:52 +0200 | <Vermoot> | Not that there's a huge amount of discussion in there at this point, but ya know, it might |
| 2021-06-08 11:57:15 +0200 | <Solid> | gk: 28743 boomers already registered with nickserv here :> |
| 2021-06-08 11:57:23 +0200 | <gk> | close enough |
| 2021-06-08 11:58:05 +0200 | <gk> | I can count both with one hand :) |
| 2021-06-08 11:58:56 +0200 | <Solid> | that reminds me to write to the libera admins for the namespace |
| 2021-06-08 11:59:07 +0200 | <Solid> | we could link discord channels 1-1 to IRC but I'm not sure that's worth it |
| 2021-06-08 11:59:45 +0200 | <gk> | Yeah I'm not so sure about having that many irc channels |
| 2021-06-08 12:06:02 +0200 | <Ikosit> | gk: At the same time i dislike the thought of the irc channels just being an „extension“ of the discord |
| 2021-06-08 12:06:49 +0200 | <gk> | Could you perhaps elaborate on that? |
| 2021-06-08 12:07:25 +0200 | <gk> | What setup are you imagining? |
| 2021-06-08 12:07:56 +0200 | <gk> | #general <-> irc? everything <-> irc? #irc <-> irc? |
| 2021-06-08 12:14:00 +0200 | <gk> | (first being the discord channel) |
| 2021-06-08 12:47:02 +0200 | gk | (~gk@118.209.5.158) (Quit: Leaving) |
| 2021-06-08 13:05:42 +0200 | gk | (~gk@118.209.5.158) |
| 2021-06-08 13:07:15 +0200 | <gk> | Ikosit ^^ |
| 2021-06-08 13:07:42 +0200 | <Ikosit> | Hm? |
| 2021-06-08 13:08:23 +0200 | <gk> | I was a bit confused at your statement about IRC being an extension of the discord, if possible, can you elaborate on it? |
| 2021-06-08 13:09:41 +0200 | <Ikosit> | Well, i don't like the discord being a superset of the irc… |
| 2021-06-08 13:09:52 +0200 | <Ikosit> | Although the other solutions aren't that great either |
| 2021-06-08 13:10:16 +0200 | <gk> | I mean, I wasn't sure how you were imagining it. |
| 2021-06-08 13:10:51 +0200 | <gk> | Since personally I'd do #general (discord) <-> irc |
| 2021-06-08 13:20:42 +0200 | <Solid> | perhaps they want every channel being bridged? |
| 2021-06-08 13:32:58 +0200 | gk | (~gk@118.209.5.158) (Remote host closed the connection) |
| 2021-06-08 13:33:13 +0200 | gk | (~gk@118.209.5.158) |
| 2021-06-08 13:33:55 +0200 | <gk> | Maybe, solid. |
| 2021-06-08 13:33:57 +0200 | <Ikosit> | Solid: You mean me? |
| 2021-06-08 13:34:04 +0200 | <Ikosit> | *do |
| 2021-06-08 13:34:07 +0200 | <Solid> | Ikosit: yes |
| 2021-06-08 13:34:38 +0200 | <Ikosit> | <Ikosit "Although the other solutions are"> ↑ |
| 2021-06-08 13:35:24 +0200 | <gk> | Yes? The message above that is just as unclear - I don't get what you mean by superset. |
| 2021-06-08 13:36:30 +0200 | <Ikosit> | Do you know what a superset is? |
| 2021-06-08 13:37:06 +0200 | <gk> | Nope. I tried searching but it mostly seems to be workout stuff. |
| 2021-06-08 13:38:57 +0200 | <Ikosit> | gk: I mean superset in the context of set theory (https://en.wikipedia.org/wiki/Subset) |
| 2021-06-08 13:39:28 +0200 | <gk> | Ah |
| 2021-06-08 13:40:02 +0200 | <gk> | So - if we did a bridge, what would your proposed method be? It wouldn't be impossible to change the discord channel layout, either. |
| 2021-06-08 13:43:09 +0200 | <Ikosit> | What i might like the most, is to have an additional irc channel called sth like #kmonad-discord and on discord a channel called #irc, or sth |
| 2021-06-08 13:43:19 +0200 | <Ikosit> | But im not sure, tbh |
| 2021-06-08 13:43:31 +0200 | <Ikosit> | if this would be the best |
| 2021-06-08 13:44:01 +0200 | <gk> | I'm not sure about that tbh - people would pop in and say hi in the normal channel, which to me would be less than ideal |
| 2021-06-08 13:44:50 +0200 | <gk> | Like to me, with both kmonad and kmonad-discord (on irc) existing, I'd just hop into kmonad - and same with discord. |
| 2021-06-08 13:45:41 +0200 | <gk> | but that - to you - could be ideal |
| 2021-06-08 13:46:34 +0200 | <gk> | But to me, most conversations tend to happen in the general channel, which would therefore make the most sense to bridge. |
| 2021-06-08 13:46:45 +0200 | <gk> | (assuming we only do one, of course) |
| 2021-06-08 13:49:03 +0200 | <gk> | Hm, actually - How do sub-channels work in IRC? Do people often join them, and how "obvious" is their existance? (say you only know of #kmonad, and you know there's another subchannel, but you don't know the name) |
| 2021-06-08 13:49:50 +0200 | <Ikosit> | gk there is no concept of sub-channels |
| 2021-06-08 13:50:08 +0200 | <Ikosit> | (at least, not in most clients) |
| 2021-06-08 13:50:08 +0200 | <gk> | I meant stuff like #kmonad-discord |
| 2021-06-08 13:50:27 +0200 | <Ikosit> | gk: That'd be just another channel |
| 2021-06-08 13:50:34 +0200 | <gk> | Technically it's another chan, but I'd see it as a subset of #kmonad |
| 2021-06-08 13:50:43 +0200 | <Ikosit> | Yes |
| 2021-06-08 13:51:16 +0200 | <Ikosit> | You could create a irc client, that respects e.g. „-“-seperated namespaces |
| 2021-06-08 13:51:24 +0200 | <Ikosit> | *an |
