2026/04/30

Newest at the top

2026-04-30 16:32:52 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-30 16:28:34 +0000craunts795335385(~craunts@152.32.100.66)
2026-04-30 16:25:39 +0000karenw(~karenw@user/karenw) karenw
2026-04-30 16:23:03 +0000acarrico(~acarrico@2606:1440:605:2500:d46:9e23:1112:52ce) (Ping timeout: 246 seconds)
2026-04-30 16:22:03 +0000tok(~user@user/tok) (Read error: Connection reset by peer)
2026-04-30 16:20:08 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-04-30 16:17:41 +0000 <geekosaur> mm, not ircd, services
2026-04-30 16:16:57 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 255 seconds)
2026-04-30 16:15:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-30 16:15:24 +0000 <geekosaur> (freenode's ircd didn't support that iirc, solanum does)
2026-04-30 16:14:27 +0000 <geekosaur> how long ago? on freenode -offtopic wasn't part of the acl group so it needed its own ops
2026-04-30 16:14:16 +0000 <haskellbridge> <shapr> haha!
2026-04-30 16:10:11 +0000jmcantrell_jmcantrell
2026-04-30 16:09:57 +0000chele(~chele@user/chele) (Remote host closed the connection)
2026-04-30 16:07:18 +0000haritz(~hrtz@user/haritz) haritz
2026-04-30 16:07:18 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2026-04-30 16:07:18 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2026-04-30 16:06:57 +0000AlexNoo_AlexNoo
2026-04-30 16:05:26 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2026-04-30 16:04:43 +0000nnm(nnm@chainless.shells.chat)
2026-04-30 16:03:39 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds)
2026-04-30 16:02:26 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-04-30 15:59:14 +0000 <tomsmeding> janus: dunno about cringe; shapr gave me op in #haskell-offtopic a long time ago and I did the same. :P
2026-04-30 15:59:03 +0000Arsen(16abab341f@gentoo/developer/managarm.dev.Arsen) Arsen
2026-04-30 15:57:55 +0000Enrico63(~Enrico63@85.255.235.90) (Quit: Client closed)
2026-04-30 15:57:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-30 15:56:04 +0000Arsen(16abab341f@gentoo/developer/managarm.dev.Arsen) (Remote host closed the connection)
2026-04-30 15:53:06 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-04-30 15:52:31 +0000AlexZenon(~alzenon@178.34.163.122)
2026-04-30 15:48:43 +0000Arsen(16abab341f@gentoo/developer/managarm.dev.Arsen) Arsen
2026-04-30 15:47:46 +0000AlexNoo(~AlexNoo@178.34.162.165) (Ping timeout: 265 seconds)
2026-04-30 15:47:10 +0000AlexZenon(~alzenon@178.34.162.165) (Ping timeout: 244 seconds)
2026-04-30 15:46:31 +0000Alex_delenda_est(~al_test@178.34.162.165) (Ping timeout: 264 seconds)
2026-04-30 15:45:13 +0000 <janus> but it's a good lesson in that kindedness is exported, which i hadn't considered
2026-04-30 15:45:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-04-30 15:44:44 +0000 <janus> Leary: i should probably abandon this effort, it seems too risky for such an old codebase
2026-04-30 15:43:53 +0000AlexNoo_(~AlexNoo@178.34.163.122)
2026-04-30 15:43:28 +0000janus-o janus
2026-04-30 15:41:16 +0000Arsen(16abab341f@gentoo/developer/managarm.dev.Arsen) (Remote host closed the connection)
2026-04-30 15:41:14 +0000 <geekosaur> it's kinda disrecommended by libera
2026-04-30 15:40:10 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-30 15:37:56 +0000Arsen(16abab341f@gentoo/developer/managarm.dev.Arsen) Arsen
2026-04-30 15:37:17 +0000arandombit(~arandombi@user/arandombit) (Ping timeout: 252 seconds)
2026-04-30 15:36:46 +0000 <janus> it is cringe to wear op all the time?
2026-04-30 15:36:01 +0000 <janus> i got op from shapr and now i proudly wear it. i don't think ChanServ knows about it so i wouldn't be able to get it back
2026-04-30 15:35:24 +0000 <tomsmeding> hello I've been away for a couple weeks, what's with all the @? Are there spammers?
2026-04-30 15:34:18 +0000 <Leary> I would determine that on a case-by-case basis; ultimately it's a matter of whether they types in question have any good reason to be (or not be) polykinded.
2026-04-30 15:33:04 +0000califax(~califax@user/califx) califx
2026-04-30 15:32:43 +0000misterfish(~misterfis@84.53.85.146) misterfish
2026-04-30 15:31:49 +0000tomsmeding_tomsmeding