Newest at the top
| 2025-07-27 19:07:08 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-07-27 19:05:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 19:01:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 18:59:45 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-27 18:50:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 18:48:50 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-07-27 18:47:41 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-07-27 18:45:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 18:45:08 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-07-27 18:42:22 +0200 | sprotte24 | (~sprotte24@p200300d16f1c280005dc591be03e00f3.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-07-27 18:42:03 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 2025-07-27 18:41:27 +0200 | jjanzen | (~user@user/jjanzen) jjanzen |
| 2025-07-27 18:35:43 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-27 18:34:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 18:31:24 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 18:31:11 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-27 18:29:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 18:28:09 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds) |
| 2025-07-27 18:26:55 +0200 | LainIwakura50 | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-07-27 18:24:08 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 2025-07-27 18:19:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-27 18:18:53 +0200 | ethereal_ | (~ethereal@user/ethereal-:30935) (Quit: leaving) |
| 2025-07-27 18:14:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 18:12:00 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-27 18:11:30 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-07-27 18:03:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 18:01:10 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-27 18:00:09 +0200 | <Lycurgus> | r u Ms. Jackson? |
| 2025-07-27 17:59:09 +0200 | <EvanR> | Semigroupoid if you're nasty |
| 2025-07-27 17:58:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 17:58:43 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-27 17:58:26 +0200 | <EvanR> | a typeclass for flobnostication of values of the same type |
| 2025-07-27 17:56:56 +0200 | <mauke> | magma |
| 2025-07-27 17:54:26 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-07-27 17:52:07 +0200 | <Leary> | Yeah; `Semigroup`, `Monoid`, `Category`, `Applicative`, `Monad`, ... |
| 2025-07-27 17:51:59 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-07-27 17:48:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 17:46:10 +0200 | tureba | (~tureba@tureba.org) tureba |
| 2025-07-27 17:45:54 +0200 | michalz | (~michalz@185.246.207.221) |
| 2025-07-27 17:43:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 17:42:12 +0200 | <geekosaur> | what's "composability" here? I mean, Semigroup would qualify at first thought |
| 2025-07-27 17:39:54 +0200 | jjanzen | (~user@user/jjanzen) (Ping timeout: 260 seconds) |
| 2025-07-27 17:37:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-27 17:37:39 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-27 17:31:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 17:30:29 +0200 | <lxsameer> | is there any typeclass for composibility of values of a data type? |
| 2025-07-27 17:29:48 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-07-27 17:26:36 +0200 | jjanzen | (~user@user/jjanzen) jjanzen |
| 2025-07-27 17:24:50 +0200 | <EvanR> | the overhead is egregious |
| 2025-07-27 17:24:31 +0200 | <EvanR> | it's pretty nice, if you don't care about memory |