Logs: liberachat/#haskell
| 2026-04-30 15:34:18 | <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:35:24 | <tomsmeding> | hello I've been away for a couple weeks, what's with all the @? Are there spammers? |
| 2026-04-30 15:36:01 | <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:36:46 | <janus> | it is cringe to wear op all the time? |
| 2026-04-30 15:37:17 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2026-04-30 15:37:56 | → | Arsen joins (16abab341f@gentoo/developer/managarm.dev.Arsen) |
| 2026-04-30 15:40:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 15:41:14 | <geekosaur> | it's kinda disrecommended by libera |
| 2026-04-30 15:41:16 | × | Arsen quits (16abab341f@gentoo/developer/managarm.dev.Arsen) (Remote host closed the connection) |
| 2026-04-30 15:43:28 | janus | sets mode -o janus |
| 2026-04-30 15:43:53 | → | AlexNoo_ joins (~AlexNoo@178.34.163.122) |
| 2026-04-30 15:44:44 | <janus> | Leary: i should probably abandon this effort, it seems too risky for such an old codebase |
| 2026-04-30 15:45:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-30 15:45:13 | <janus> | but it's a good lesson in that kindedness is exported, which i hadn't considered |
| 2026-04-30 15:46:31 | × | Alex_delenda_est quits (~al_test@178.34.162.165) (Ping timeout: 264 seconds) |
| 2026-04-30 15:47:10 | × | AlexZenon quits (~alzenon@178.34.162.165) (Ping timeout: 244 seconds) |
| 2026-04-30 15:47:46 | × | AlexNoo quits (~AlexNoo@178.34.162.165) (Ping timeout: 265 seconds) |
| 2026-04-30 15:48:43 | → | Arsen joins (16abab341f@gentoo/developer/managarm.dev.Arsen) |
| 2026-04-30 15:52:31 | → | AlexZenon joins (~alzenon@178.34.163.122) |
| 2026-04-30 15:53:06 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-30 15:56:04 | × | Arsen quits (16abab341f@gentoo/developer/managarm.dev.Arsen) (Remote host closed the connection) |
| 2026-04-30 15:57:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 15:57:55 | × | Enrico63 quits (~Enrico63@85.255.235.90) (Quit: Client closed) |
| 2026-04-30 15:59:03 | → | Arsen joins (16abab341f@gentoo/developer/managarm.dev.Arsen) |
| 2026-04-30 15:59:14 | <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 16:02:26 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-30 16:03:39 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
| 2026-04-30 16:04:43 | → | nnm joins (nnm@chainless.shells.chat) |
| 2026-04-30 16:05:26 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2026-04-30 16:06:57 | AlexNoo_ | is now known as AlexNoo |
| 2026-04-30 16:07:18 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-04-30 16:07:18 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-04-30 16:07:18 | → | haritz joins (~hrtz@user/haritz) |
| 2026-04-30 16:09:57 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2026-04-30 16:10:11 | jmcantrell_ | is now known as jmcantrell |
| 2026-04-30 16:14:16 | <haskellbridge> | <shapr> haha! |
| 2026-04-30 16:14:27 | <geekosaur> | how long ago? on freenode -offtopic wasn't part of the acl group so it needed its own ops |
| 2026-04-30 16:15:24 | <geekosaur> | (freenode's ircd didn't support that iirc, solanum does) |
| 2026-04-30 16:15:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 16:16:57 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-04-30 16:17:41 | <geekosaur> | mm, not ircd, services |
| 2026-04-30 16:20:08 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-30 16:22:03 | × | tok quits (~user@user/tok) (Read error: Connection reset by peer) |
All times are in UTC.