Home liberachat/#kmonad: Logs Calendar

Logs on 2021-06-08 (liberachat/#kmonad)

07:25:39 → ircbrowse_tom joins (~ircbrowse@2a01:4f8:1c1c:9319::1)
07:25:39 Server sets mode +nt
07:30:37 <tomsmeding> https://ircbrowse.tomsmeding.com/browse/lckmonad
07:32:45 <gk> Is this a logger? Nice, thanks.
07:33:22 <Solid> tomsmeding: awesome, thank you!
07:33:37 <gk> Solid: Mind adding this to the channel description?
07:33:37 <tomsmeding> gk: requested by Solid :)
07:33:50 <gk> Thank you very much!
07:34:03 ChanServ sets mode +o Solid
07:34:05 Solid sets topic to "KMonad: The Onion of Keyboard Management Tools | Channel Log: https://ircbrowse.tomsmeding.com/browse/lckmonad"
07:34:08 ChanServ sets mode -o Solid
07:43:43 <gk> darn I hate how restrictive github's valid html in markdown is..
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)
08:05:44 <gk> Working with fonts makes everything difficult lol
08:06:00 <gk> I might hard-code a typeface
08:06:19 <gk> As apparently doing this without off alignment is impossible: http://0x0.st/-_GJ.png
08:06:51 <gk> But then embedding a typeface forces me to choose a text colour, as github doesn't support inheriting.
08:14:05 <gk> I guess, Solid: How does this look to you? http://0x0.st/-_G3.png
08:14:21 <gk> I turned Roboto Condensed into svg elements
08:14:33 <gk> Having to work with native fonts is super painful
08:14:38 <gk> Especially with github's restrictions.
08:38:38 <gk> I tested the other colour for the font, eh I prefer the darkblueish one. http://0x0.st/-_GG.png
08:41:18 <Solid> gk: yeah I'd say the first one looks better
08:41:42 <Solid> it does looks really nice, thanks for the effort :)
08:41:43 <gk> First one being the one with pinkish text, or bluish text?
08:42:07 <Solid> the bluish text
08:42:15 <Solid> oh right, first picture, but second option in the second picture :D
08:42:20 <gk> Haha yeah
08:42:25 <gk> It could have been both ways
09:19:59 → Vermoot joins (~Vermoot@lfbn-ncy-1-227-78.w83-194.abo.wanadoo.fr)
09:20:12 <Vermoot> Alright, this is more like it
09:20:18 <Vermoot> Helloka
09:20:23 <Vermoot> Hello!
09:20:26 <gk> :wave:
09:20:37 <Vermoot> :gkwave:
09:20:55 <gk> https://cdn.discordapp.com/emojis/843758983420444749.png?v=1
09:20:57 <gk> yes
09:21:05 <gk> best emote tbh
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
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?
09:23:23 <gk> It's in the "considering, need to find a good one" phase, afaik
09:23:29 <Vermoot> ok
09:23:58 <Vermoot> I'm still unsure if it should be linked with #general or on its own channel
09:24:06 <gk> Eh, I'd do general tbh
09:24:13 <Vermoot> Leaning towards its own channel :D
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
09:25:02 <Vermoot> versa*
09:25:10 <gk> For those who haven't seen it, this is the channel layout on discord: http://0x0.st/-_DP.png
09:25:52 <Vermoot> Not that there's a huge amount of discussion in there at this point, but ya know, it might
09:57:15 <Solid> gk: 28743 boomers already registered with nickserv here :>
09:57:23 <gk> close enough
09:58:05 <gk> I can count both with one hand :)
09:58:56 <Solid> that reminds me to write to the libera admins for the namespace
09:59:07 <Solid> we could link discord channels 1-1 to IRC but I'm not sure that's worth it
09:59:45 <gk> Yeah I'm not so sure about having that many irc channels
10:06:02 <Ikosit> gk: At the same time i dislike the thought of the irc channels just being an „extension“ of the discord
10:06:49 <gk> Could you perhaps elaborate on that?
10:07:25 <gk> What setup are you imagining?
10:07:56 <gk> #general <-> irc? everything <-> irc? #irc <-> irc?
10:14:00 <gk> (first being the discord channel)
10:47:02 × gk quits (~gk@118.209.5.158) (Quit: Leaving)
11:05:42 → gk joins (~gk@118.209.5.158)
11:07:15 <gk> Ikosit ^^
11:07:42 <Ikosit> Hm?
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?
11:09:41 <Ikosit> Well, i don't like the discord being a superset of the irc…
11:09:52 <Ikosit> Although the other solutions aren't that great either
11:10:16 <gk> I mean, I wasn't sure how you were imagining it.
11:10:51 <gk> Since personally I'd do #general (discord) <-> irc
11:20:42 <Solid> perhaps they want every channel being bridged?
11:32:58 × gk quits (~gk@118.209.5.158) (Remote host closed the connection)
11:33:13 → gk joins (~gk@118.209.5.158)
11:33:55 <gk> Maybe, solid.
11:33:57 <Ikosit> Solid: You mean me?
11:34:04 <Ikosit> *do
11:34:07 <Solid> Ikosit: yes
11:34:38 <Ikosit> <Ikosit "Although the other solutions are"> ↑
11:35:24 <gk> Yes? The message above that is just as unclear - I don't get what you mean by superset.
11:36:30 <Ikosit> Do you know what a superset is?
11:37:06 <gk> Nope. I tried searching but it mostly seems to be workout stuff.
11:38:57 <Ikosit> gk: I mean superset in the context of set theory (https://en.wikipedia.org/wiki/Subset)
11:39:28 <gk> Ah
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.
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
11:43:19 <Ikosit> But im not sure, tbh
11:43:31 <Ikosit> if this would be the best
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
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.
11:45:41 <gk> but that - to you - could be ideal
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.
11:46:45 <gk> (assuming we only do one, of course)
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)
11:49:50 <Ikosit> gk there is no concept of sub-channels
11:50:08 <Ikosit> (at least, not in most clients)
11:50:08 <gk> I meant stuff like #kmonad-discord
11:50:27 <Ikosit> gk: That'd be just another channel
11:50:34 <gk> Technically it's another chan, but I'd see it as a subset of #kmonad
11:50:43 <Ikosit> Yes
11:51:16 <Ikosit> You could create a irc client, that respects e.g. „-“-seperated namespaces
11:51:24 <Ikosit> *an
11:51:47 <Solid> gk: you usually just link to them in the topic
11:51:55 <gk> Makes sense.
12:05:15 <gk> Also, Solid: should I add the IRC & Discord links to the readme in my PR?
12:05:49 <Solid> gk: sure, why not (just make that a separate commit please)
12:05:57 <gk> Haha of course.
12:06:07 <Solid> might also add the matrix channel while you're at it
12:06:16 <gk> The libera chat one?
12:06:25 <Ikosit> yes
12:10:03 <gk> > Additionally, if you need any help or just want to say hi, you can join our [Discord server](https://discord.gg/3tFfWmnahN) or jump into our [IRC channel](https://kiwiirc.com/nextclient/libera.chat/kmonad) (bridged with #kmonad:libera.chat on matrix). We're friendly folk!
12:10:05 <lambdabot> <hint>:1:13: error: parse error on input ‘,’
12:10:07 <gk> Based off vermoot's comment
12:10:23 <gk> I'm not sure about the We're friendly folk bit to be honest.
12:11:05 <Solid> :)
12:11:31 <Solid> Libera now hosts their own webchat, might want to use that instead: https://web.libera.chat/#kmonad
12:11:40 <gk> Oh? okay.
12:12:38 <gk> What are irc channel formats usually stated as?
12:12:46 <gk> "#channel:server.tld"?
12:12:49 <gk> Like matrix
12:13:02 <gk> or "#channel on server.tld"?
12:14:40 <Solid> a third option :D I've usually seen it as "#channel@network"
12:14:49 <Solid> so like #kmonad@irc.libera.chat
12:23:19 <gk> Additionally, if you need any help or just want to say hi, you can join our [Discord server](https://discord.gg/3tFfWmnahN) or jump into our [IRC channel](https://web.libera.chat/#kmonad) (#kmonad@irc.libera.chat), which is also bridged with matrix (#kmonad:libera.chat). We're friendly folk!
12:23:46 <Ikosit> Solid: there is also the format: irc://libera.chat/#kmonad
12:25:28 → mohawk joins (~2e52f21e@ircip2.mibbit.com)
12:25:33 × mohawk quits (~2e52f21e@ircip2.mibbit.com) (Client Quit)
12:25:45 <Ikosit> * irc://irc.libera.chat/#kmonad
12:26:56 <gk> How did the last version sound?
12:27:17 <gk> I'd like to have the irc in both plain text and a quick link (kiwiirc)
12:32:05 <Solid> gk: sounds good to me
12:34:39 <gk> Okay, and final thing before I commit, what do you think about the final 3 words? For me "We're friendly folk!" feels too.. in-your-face?
12:35:29 <gk> ver​moot wrote it, of course. I just based my edits off his original comment.
12:37:44 ← gk parts (~gk@118.209.5.158) (Leaving)
12:37:49 → gk joins (~gk@118.209.5.158)
12:40:58 <Solid> eh I don't mind either way tbh
12:41:11 <Solid> if you feel uncomfortable with that or think it's weird leave it out
12:41:16 <gk> Oke
13:14:16 × Solid quits (~slot@2a01:4f8:c2c:d600::2) (Changing host)
13:14:16 → Solid joins (~slot@xmonad/slotThe)
13:36:11 × Vermoot quits (~Vermoot@lfbn-ncy-1-227-78.w83-194.abo.wanadoo.fr) (Quit: Connection closed)
14:44:18 × gk quits (~gk@118.209.5.158) (Remote host closed the connection)
14:53:01 × gk[m] quits (~annapriva@2001:470:69fc:105::1608) (Remote host closed the connection)
14:53:03 × Ikosit quits (~ikosit@user/ikosit) (Read error: Connection reset by peer)
14:53:58 → Ikosit joins (~ikosit@user/ikosit)
14:54:34 → gk[m] joins (~annapriva@2001:470:69fc:105::1608)
14:57:14 → gk joins (~gk@118.209.5.158)
16:16:38 × gk quits (~gk@118.209.5.158) (Read error: Connection reset by peer)
19:49:47 → gk joins (~gk@118.209.5.158)
21:43:01 × gk quits (~gk@118.209.5.158) (Ping timeout: 258 seconds)

All times are in UTC on 2021-06-08.