2025/12/25

Newest at the top

2025-12-25 04:45:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 04:42:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-25 04:35:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 04:33:07 +0100acidjnk(~acidjnk@p200300d6e7171976b096cfcd17500e96.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2025-12-25 04:32:31 +0100td_(~td@i53870917.versanet.de) (Ping timeout: 240 seconds)
2025-12-25 04:26:52 +0100monochrom(trebla@216.138.220.146) monochrom
2025-12-25 04:24:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-25 04:20:14 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 04:16:37 +0100monochrom(trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in)
2025-12-25 04:09:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-25 04:07:35 +0100monochrom(trebla@216.138.220.146) monochrom
2025-12-25 04:06:36 +0100monochrom(trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in)
2025-12-25 04:04:27 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 03:56:25 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
2025-12-25 03:53:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-25 03:48:44 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 03:37:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-25 03:33:18 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 03:24:54 +0100confusedalex_confusedalex
2025-12-25 03:24:54 +0100confusedalex(~confuseda@user/confusedalex) (Ping timeout: 260 seconds)
2025-12-25 03:24:17 +0100confusedalex_(~confuseda@user/confusedalex) confusedalex
2025-12-25 03:22:44 +0100 <haskellbridge> <Zemyla> You know the IsChar type from Text.Printf? It really should be toCharF :: f a -> f Char and vice versa.
2025-12-25 03:22:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-25 03:21:55 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 240 seconds)
2025-12-25 03:17:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 03:16:36 +0100wennefer0(~wennefer0@user/wennefer0) (Remote host closed the connection)
2025-12-25 03:15:30 +0100wennefer0(~wennefer0@user/wennefer0) wennefer0
2025-12-25 03:14:44 +0100wennefer96(~wennefer0@user/wennefer0) ()
2025-12-25 03:12:15 +0100wennefer0_(~wennefer0@user/wennefer0) (Remote host closed the connection)
2025-12-25 03:08:05 +0100wennefer0_(~wennefer0@user/wennefer0) wennefer0
2025-12-25 03:06:12 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-12-25 03:05:39 +0100wennefer96(~wennefer0@user/wennefer0) wennefer0
2025-12-25 02:59:29 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 02:52:53 +0100synchromesh(~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) synchromesh
2025-12-25 02:51:45 +0100synchromesh(~john@2406:5a00:2412:2c00:19bc:daec:7901:4e6) (Read error: Connection reset by peer)
2025-12-25 02:48:28 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-12-25 02:43:42 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 02:41:33 +0100elarks(~elarks@user/yerrii) yerrii
2025-12-25 02:39:46 +0100rainbyte(~rainbyte@186.22.19.214) rainbyte
2025-12-25 02:36:59 +0100rainbyte(~rainbyte@186.22.19.214) (Read error: Connection reset by peer)
2025-12-25 02:33:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-12-25 02:27:57 +0100 <ski> Zemyla : mm, that's Leibniz-style equality. there was someone who had a paper about that (Ralf Hinze, maybe ?)
2025-12-25 02:27:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-25 02:25:17 +0100Tuplanolla(~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.)
2025-12-25 02:25:02 +0100divlamir(~divlamir@user/divlamir) divlamir
2025-12-25 02:24:46 +0100divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-12-25 02:22:21 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-12-25 02:16:42 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-12-25 02:13:13 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-12-25 02:12:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn