2025/12/21

Newest at the top

2025-12-21 05:43:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-21 05:39:17 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 05:39:09 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-12-21 05:38:25 +0100itaipu(~itaipu@168.121.97.28) (Ping timeout: 264 seconds)
2025-12-21 05:38:18 +0100synchromesh(~john@2406:5a00:2412:2c00:40e6:aa97:4307:9d7) synchromesh
2025-12-21 05:28:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-21 05:23:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 05:17:15 +0100trickard_trickard
2025-12-21 05:15:20 +0100rainbyte(~rainbyte@186.22.19.214) rainbyte
2025-12-21 05:14:35 +0100rainbyte(~rainbyte@186.22.19.214) (Read error: Connection reset by peer)
2025-12-21 05:12:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-21 05:12:09 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 265 seconds)
2025-12-21 05:10:48 +0100Googulator98(~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed)
2025-12-21 05:10:41 +0100Googulator7(~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu)
2025-12-21 05:07:44 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd)
2025-12-21 05:07:42 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 04:57:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-21 04:51:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 04:46:21 +0100 <hololeap> transformers-compat only has Ord1
2025-12-21 04:44:45 +0100 <hololeap> (the data type has a lot of constructors so it will be tedious to write the whole thing by hand)
2025-12-21 04:44:15 +0100 <hololeap> I want to compare one inner value first, then fall back to the default `compare`
2025-12-21 04:43:27 +0100 <hololeap> is there a way to get the default `compare` for a data type without deriving Ord?
2025-12-21 04:41:48 +0100itaipu(~itaipu@168.121.97.28) itaipu
2025-12-21 04:40:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-21 04:40:54 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 260 seconds)
2025-12-21 04:40:47 +0100Googulator98(~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu)
2025-12-21 04:40:40 +0100Googulator98(~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed)
2025-12-21 04:38:44 +0100td_(~td@i5387093A.versanet.de) td_
2025-12-21 04:37:02 +0100td_(~td@i5387092A.versanet.de) (Ping timeout: 256 seconds)
2025-12-21 04:36:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 04:35:57 +0100polykernel(~polykerne@user/polykernel) polykernel
2025-12-21 04:35:38 +0100polykernel(~polykerne@user/polykernel) (Remote host closed the connection)
2025-12-21 04:28:35 +0100itaipu(~itaipu@168.121.97.28) (Ping timeout: 240 seconds)
2025-12-21 04:27:28 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd)
2025-12-21 04:27:06 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Remote host closed the connection)
2025-12-21 04:25:28 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-21 04:21:09 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 04:08:49 +0100Pozyomka(~pyon@user/pyon) pyon
2025-12-21 04:08:32 +0100Pozyomka(~pyon@user/pyon) (Quit: brb)
2025-12-21 04:07:50 +0100acidjnk(~acidjnk@p200300d6e7171943cd580b85e09c6604.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-12-21 04:05:34 +0100op_4(~tslil@user/op-4/x-9116473) op_4
2025-12-21 04:05:17 +0100annamalai(~annamalai@2409:4042:d13:652a::9eca:d20b) annamalai
2025-12-21 04:05:02 +0100op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2025-12-21 03:45:04 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-12-21 03:44:44 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds)
2025-12-21 03:40:39 +0100Googulator98(~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu)
2025-12-21 03:40:38 +0100Googulator63(~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed)
2025-12-21 03:37:11 +0100qqe(~qqq@185.54.20.98) (Quit: Lost terminal)
2025-12-21 03:29:48 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd)
2025-12-21 03:28:06 +0100Tuplanolla(~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.)