2025/01/30

Newest at the top

2025-01-30 07:45:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-01-30 07:43:48 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
2025-01-30 07:43:42 +0100MyNetAz(~MyNetAz@user/MyNetAz) MyNetAz
2025-01-30 07:43:04 +0100euleritian(~euleritia@dynamic-176-006-142-040.176.6.pool.telefonica.de) (Ping timeout: 260 seconds)
2025-01-30 07:41:24 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-01-30 07:41:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-01-30 07:32:25 +0100 <haskellbridge> <Axman6> :(
2025-01-30 07:31:31 +0100euleritian(~euleritia@dynamic-176-006-142-040.176.6.pool.telefonica.de)
2025-01-30 07:31:18 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds)
2025-01-30 07:30:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-01-30 07:28:34 +0100monochrmmonochrom
2025-01-30 07:28:34 +0100monochrom(trebla@216.138.220.146) (Ping timeout: 252 seconds)
2025-01-30 07:27:54 +0100monochrm(trebla@216.138.220.146)
2025-01-30 07:26:17 +0100 <int-e> haskellbridge: it's fine ;-)
2025-01-30 07:25:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-01-30 07:25:44 +0100peterbecich(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-01-30 07:12:46 +0100CiaoSen(~Jura@2a05:5800:241:f200:ca4b:d6ff:fec1:99da) CiaoSen
2025-01-30 07:06:51 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-30 07:06:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-01-30 07:06:25 +0100ft(~ft@p3e9bcd97.dip0.t-ipconnect.de) (Quit: leaving)
2025-01-30 07:03:34 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-30 07:03:31 +0100takuan(~takuan@d8D86B601.access.telenet.be)
2025-01-30 07:02:24 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-01-30 06:57:44 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-30 06:55:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-01-30 06:49:32 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-30 06:48:53 +0100michalz(~michalz@185.246.207.197)
2025-01-30 06:48:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-01-30 06:43:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-01-30 06:41:41 +0100euouae(~euouae@user/euouae) ()
2025-01-30 06:39:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-01-30 06:35:24 +0100tnt2tnt1
2025-01-30 06:35:24 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 260 seconds)
2025-01-30 06:35:20 +0100tnt2(~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 +0100merijn(~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 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-01-30 06:26:04 +0100monochrom(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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-01-30 06:23:01 +0100alfiee(~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
2025-01-30 06:19:47 +0100 <haskellbridge> <maerwald> yes, that's why they don't interfere with each other
2025-01-30 06:19:01 +0100 <geekosaur> the package manager doesn't but rustup does