Newest at the top
2025-10-14 02:51:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-10-14 02:50:55 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f3f6:c4a2:4d90:7f3d) (Ping timeout: 246 seconds) |
2025-10-14 02:50:19 +0200 | otto_s | (~user@p4ff27382.dip0.t-ipconnect.de) |
2025-10-14 02:48:28 +0200 | otto_s | (~user@p4ff2701e.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
2025-10-14 02:47:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-14 02:46:04 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
2025-10-14 02:45:40 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
2025-10-14 02:36:43 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
2025-10-14 02:35:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-14 02:35:18 +0200 | califax | (~califax@user/califx) califx |
2025-10-14 02:33:05 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-10-14 02:32:31 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
2025-10-14 02:31:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-14 02:29:59 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-14 02:26:02 +0200 | acidjnk | (~acidjnk@p200300d6e7171943fcd8740620ad93e7.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-10-14 02:25:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-14 02:20:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-14 02:18:13 +0200 | inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-14 02:17:27 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-10-14 02:09:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-10-14 02:07:55 +0200 | bgg | (~bgg@2a01:e0a:819:1510:438b:91ce:16bb:429f) |
2025-10-14 02:02:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-14 01:53:07 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
2025-10-14 01:51:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-14 01:51:36 +0200 | <dcpagan> | Also, "shift" is defined as "shift f = Codensity (lowerCodensity . f)". I should look more into delimited continuations and their applications in exception-handling. |
2025-10-14 01:50:12 +0200 | <dcpagan> | I had to roll one up with this: "catchError m k = lift $ catchError (lowerCodensity m) (lowerCodensity . k)" |
2025-10-14 01:50:01 +0200 | <dcpagan> | Codensity is missing a MonadError instance. |
2025-10-14 01:49:21 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
2025-10-14 01:48:42 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-10-14 01:46:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-14 01:42:12 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-10-14 01:41:26 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) Adeon |
2025-10-14 01:41:14 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Server closed connection) |
2025-10-14 01:40:43 +0200 | Googulator5 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-14 01:40:37 +0200 | Googulator51 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
2025-10-14 01:35:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-14 01:31:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-14 01:30:11 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
2025-10-14 01:27:05 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
2025-10-14 01:25:51 +0200 | Googulator27 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
2025-10-14 01:25:43 +0200 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 256 seconds) |
2025-10-14 01:22:22 +0200 | Googulator5 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
2025-10-14 01:17:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-10-14 01:13:34 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-10-14 01:12:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-14 01:11:02 +0200 | Googulator27 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
2025-10-14 01:11:00 +0200 | Googulator30 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-14 01:03:32 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-10-14 01:01:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-14 00:57:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |