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) |
| 2026-04-30 16:23:03 | × | acarrico quits (~acarrico@2606:1440:605:2500:d46:9e23:1112:52ce) (Ping timeout: 246 seconds) |
| 2026-04-30 16:25:39 | → | karenw joins (~karenw@user/karenw) |
| 2026-04-30 16:28:34 | → | craunts795335385 joins (~craunts@152.32.100.66) |
| 2026-04-30 16:32:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-30 16:35:00 | × | pabs3 quits (~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.) |
| 2026-04-30 16:35:38 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2026-04-30 16:35:49 | → | acarrico joins (~acarrico@2606:1440:605:2500:ac3:5f1a:da7f:d2ac) |
| 2026-04-30 16:37:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-30 16:44:39 | <EvanR> | janus, agreed old codebases with ancient bugs and unknown risks are bad. Better to make a brand new fresh code base with brand new bugs xD |
| 2026-04-30 16:48:04 | × | tromp quits (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-30 16:49:05 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-04-30 16:53:46 | → | malte joins (~malte@mal.tc) |
| 2026-04-30 16:55:53 | <janus> | % import Data.Typeable |
| 2026-04-30 16:55:53 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-30 16:55:53 | <yahb2> | <no output> |
All times are in UTC.