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