2025/08/26

Newest at the top

2025-08-26 08:26:05 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-08-26 08:21:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-26 08:18:54 +0200 <Axman6> Looks a lot like either Alternative's empty of MonadPlus' mzero
2025-08-26 08:17:56 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-26 08:17:34 +0200 <Axman6> what are the properties of f?
2025-08-26 08:17:33 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-08-26 08:17:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 08:08:56 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 258 seconds)
2025-08-26 08:06:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 08:01:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 07:56:57 +0200mari-estel(~mari-este@user/mari-estel) (Ping timeout: 260 seconds)
2025-08-26 07:55:49 +0200euphores(~SASL_euph@user/euphores) euphores
2025-08-26 07:50:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 07:47:04 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds)
2025-08-26 07:43:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 07:43:10 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-08-26 07:41:43 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 258 seconds)
2025-08-26 07:39:55 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-08-26 07:38:03 +0200 <probie> What is a good name for a class `class NameHere f where { empty :: f a }`? Does it have a canonical name?
2025-08-26 07:34:49 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-08-26 07:32:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 07:28:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 07:27:43 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-08-26 07:26:23 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-08-26 07:22:33 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-26 07:17:45 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-26 07:14:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 07:14:12 +0200michalz(~michalz@185.246.207.221)
2025-08-26 07:10:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 07:05:35 +0200trickard_trickard
2025-08-26 06:59:41 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2025-08-26 06:59:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-26 06:58:49 +0200hakutaku(~textual@chen.yukari.eu.org) (Client Quit)
2025-08-26 06:57:39 +0200hakutaku(~textual@chen.yukari.eu.org)
2025-08-26 06:54:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 06:53:44 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-08-26 06:53:07 +0200PotatoGim(sid99505@id-99505.lymington.irccloud.com) PotatoGim
2025-08-26 06:52:42 +0200PotatoGim(sid99505@id-99505.lymington.irccloud.com) (Server closed connection)
2025-08-26 06:43:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-26 06:38:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 06:28:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-26 06:25:13 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-08-26 06:24:54 +0200hakutaku(~textual@chen.yukari.eu.org) (Client Quit)
2025-08-26 06:24:47 +0200hakutaku(~textual@chen.yukari.eu.org)
2025-08-26 06:24:42 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au)
2025-08-26 06:24:42 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-26 06:24:29 +0200trickard_(~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-26 06:23:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-26 06:16:50 +0200hakutaku(~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2025-08-26 06:11:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)