Newest at the top
2025-01-30 07:49:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-01-30 07:46:30 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-01-30 07:45:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-01-30 07:43:48 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
2025-01-30 07:43:42 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
2025-01-30 07:43:04 +0100 | euleritian | (~euleritia@dynamic-176-006-142-040.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
2025-01-30 07:41:24 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-01-30 07:41:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-01-30 07:32:25 +0100 | <haskellbridge> | <Axman6> :( |
2025-01-30 07:31:31 +0100 | euleritian | (~euleritia@dynamic-176-006-142-040.176.6.pool.telefonica.de) |
2025-01-30 07:31:18 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
2025-01-30 07:30:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-01-30 07:28:34 +0100 | monochrm | monochrom |
2025-01-30 07:28:34 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 252 seconds) |
2025-01-30 07:27:54 +0100 | monochrm | (trebla@216.138.220.146) |
2025-01-30 07:26:17 +0100 | <int-e> | haskellbridge: it's fine ;-) |
2025-01-30 07:25:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-01-30 07:25:44 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-01-30 07:18:57 +0100 | <Axman6> | ew... ok, the default formatting used by matrix is bad in IRC. oops |
2025-01-30 07:18:27 +0100 | <haskellbridge> | <Axman6> @irc_libera.chat_euouae I've generally seen "(forall a. f a -> g a)" being referred to as natural transformations |
2025-01-30 07:14:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-01-30 07:12:46 +0100 | CiaoSen | (~Jura@2a05:5800:241:f200:ca4b:d6ff:fec1:99da) CiaoSen |
2025-01-30 07:06:51 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-01-30 07:06:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-01-30 07:06:25 +0100 | ft | (~ft@p3e9bcd97.dip0.t-ipconnect.de) (Quit: leaving) |
2025-01-30 07:03:34 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-01-30 07:03:31 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
2025-01-30 07:02:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-01-30 06:57:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-01-30 06:55:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-01-30 06:49:32 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-01-30 06:48:53 +0100 | michalz | (~michalz@185.246.207.197) |
2025-01-30 06:48:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-01-30 06:43:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-01-30 06:41:41 +0100 | euouae | (~euouae@user/euouae) () |
2025-01-30 06:39:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-01-30 06:35:24 +0100 | tnt2 | tnt1 |
2025-01-30 06:35:24 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
2025-01-30 06:35:20 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
2025-01-30 06:29:00 +0100 | <euouae> | error: externally-managed-environment is how it starts... 20 line paragraph error |
2025-01-30 06:28:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-01-30 06:28:23 +0100 | <euouae> | debian has some block & banner too for it |
2025-01-30 06:27:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-01-30 06:26:04 +0100 | monochrom | (trebla@216.138.220.146) |
2025-01-30 06:24:46 +0100 | <geekosaur> | Fedora gave up some years back and started shipping a private python install for yum/dnf to use so people upgrading system packages didn't break it |
2025-01-30 06:24:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-01-30 06:23:01 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-01-30 06:21:10 +0100 | <euouae> | pip and weep |
2025-01-30 06:20:41 +0100 | <geekosaur> | as distinct from older pip which happily would overwrite system packages and break stuff |
2025-01-30 06:20:02 +0100 | <geekosaur> | that was the point I was trying to make |