2025/12/21

Newest at the top

2025-12-21 10:37:59 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 10:37:56 +0100FirefoxDeHuk(~FirefoxDe@user/FirefoxDeHuk) FirefoxDeHuk
2025-12-21 10:33:37 +0100FirefoxDeHuk(~FirefoxDe@user/FirefoxDeHuk) (Ping timeout: 272 seconds)
2025-12-21 10:23:01 +0100neuromute(~neuromute@173.44.56.66) (Remote host closed the connection)
2025-12-21 10:22:30 +0100 <hololeap> good morning
2025-12-21 10:21:58 +0100 <[exa]> good mornin' btw
2025-12-21 10:21:24 +0100 <[exa]> hololeap: can you derive it for some wrapper/related newtype or so and then coerce? (or maybe the other way)
2025-12-21 10:20:13 +0100 <tomsmeding> hololeap: not with a guarantee that you get the actual default `compare`, because GHC only produces that when you `deriving (Ord)`; you'd have to find a library
2025-12-21 10:17:48 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-12-21 10:12:44 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 10:06:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-21 10:01:20 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 10:00:15 +0100Square2(~Square@user/square) (Ping timeout: 240 seconds)
2025-12-21 09:55:53 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-12-21 09:50:39 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-21 09:50:10 +0100califax(~califax@user/califx) califx
2025-12-21 09:49:55 +0100califax(~califax@user/califx) (Remote host closed the connection)
2025-12-21 09:48:24 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-12-21 09:48:13 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2025-12-21 09:47:01 +0100synchromesh(~john@2406:5a00:2412:2c00:40e6:aa97:4307:9d7) synchromesh
2025-12-21 09:46:45 +0100Cyclic27(~Cyclic@c-73-202-24-148.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2025-12-21 09:45:33 +0100synchromesh(~john@2406:5a00:2412:2c00:40e6:aa97:4307:9d7) (Read error: Connection reset by peer)
2025-12-21 09:45:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 09:44:11 +0100FirefoxDeHuk(~FirefoxDe@user/FirefoxDeHuk) FirefoxDeHuk
2025-12-21 09:41:03 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-12-21 09:40:15 +0100FirefoxDeHuk(~FirefoxDe@user/FirefoxDeHuk) (Quit: Client closed)
2025-12-21 09:34:10 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-21 09:27:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 09:22:23 +0100xff0x(~xff0x@2405:6580:b080:900:ae34:f81a:c4c2:4c9b)
2025-12-21 09:21:17 +0100Googulator58(~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed)
2025-12-21 09:20:42 +0100Googulator97(~Googulato@80-95-87-105.pool.digikabel.hu)
2025-12-21 09:16:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-21 09:11:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 09:11:00 +0100orizuru(~orizuru@user/orizuru) (The Lounge - https://thelounge.chat)
2025-12-21 09:06:51 +0100FirefoxDeHuk(~FirefoxDe@user/FirefoxDeHuk) FirefoxDeHuk
2025-12-21 09:05:37 +0100tt1231607(~tt1231@75.185.104.199) tt1231
2025-12-21 09:03:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-21 09:01:12 +0100milan2(~milan@88.212.61.169)
2025-12-21 09:00:12 +0100tt1231607(~tt1231@75.185.104.199) (Quit: The Lounge - https://thelounge.chat)
2025-12-21 08:58:03 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 08:57:28 +0100img(~img@user/img) img
2025-12-21 08:56:14 +0100img(~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in)
2025-12-21 08:48:17 +0100takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-12-21 08:47:29 +0100annamalai(~annamalai@157.33.254.173) annamalai
2025-12-21 08:46:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-21 08:43:01 +0100haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-12-21 08:42:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 08:41:23 +0100Googulator8(~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed)
2025-12-21 08:40:41 +0100Googulator58(~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu)
2025-12-21 08:39:15 +0100xff0x(~xff0x@2405:6580:b080:900:2d2a:a485:c072:ffd2) (Ping timeout: 250 seconds)