2025/10/14

2025-10-14 00:00:25 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-10-14 00:01:00 +0200ystael_(~ystael@user/ystael) (Ping timeout: 256 seconds)
2025-10-14 00:03:19 +0200Googulator30(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-14 00:06:59 +0200Googulator10(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Ping timeout: 250 seconds)
2025-10-14 00:07:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 00:09:25 +0200tromp(~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-14 00:11:30 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds)
2025-10-14 00:12:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-14 00:15:38 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2025-10-14 00:16:33 +0200ec(~ec@gateway/tor-sasl/ec) ec
2025-10-14 00:18:17 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-10-14 00:20:29 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-14 00:23:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 00:30:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-14 00:33:46 +0200Square3(~Square@user/square) Square
2025-10-14 00:33:55 +0200pera(~pera@user/pera) (Quit: leaving)
2025-10-14 00:37:14 +0200Square(~Square4@user/square) (Ping timeout: 248 seconds)
2025-10-14 00:41:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 00:45:35 +0200peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich
2025-10-14 00:45:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-14 00:46:18 +0200tomku(~tomku@user/tomku) (Ping timeout: 248 seconds)
2025-10-14 00:46:51 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-10-14 00:47:53 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-10-14 00:48:20 +0200tomku(~tomku@user/tomku) tomku
2025-10-14 00:51:02 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-10-14 00:57:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 01:01:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-14 01:03:32 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-10-14 01:11:00 +0200Googulator30(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-14 01:11:02 +0200Googulator27(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-14 01:12:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 01:13:34 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-10-14 01:17:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-14 01:22:22 +0200Googulator5(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-14 01:25:43 +0200peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 256 seconds)
2025-10-14 01:25:51 +0200Googulator27(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Ping timeout: 250 seconds)
2025-10-14 01:27:05 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal)
2025-10-14 01:30:11 +0200jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1)
2025-10-14 01:31:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 01:35:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-14 01:40:37 +0200Googulator51(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-14 01:40:43 +0200Googulator5(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-14 01:41:14 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) (Server closed connection)
2025-10-14 01:41:26 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) Adeon
2025-10-14 01:42:12 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-14 01:46:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 01:48:42 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.)
2025-10-14 01:49:21 +0200jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1)
2025-10-14 01:50:01 +0200 <dcpagan> Codensity is missing a MonadError instance.
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: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:51:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-14 01:53:07 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-10-14 02:02:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 02:07:55 +0200bgg(~bgg@2a01:e0a:819:1510:438b:91ce:16bb:429f)
2025-10-14 02:09:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-14 02:17:27 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-14 02:18:13 +0200inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-14 02:20:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 02:25:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-14 02:26:02 +0200acidjnk(~acidjnk@p200300d6e7171943fcd8740620ad93e7.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-10-14 02:29:59 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-14 02:31:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 02:32:31 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au)
2025-10-14 02:33:05 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-10-14 02:35:18 +0200califax(~califax@user/califx) califx
2025-10-14 02:35:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-14 02:36:43 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-10-14 02:45:40 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 246 seconds)
2025-10-14 02:46:04 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au)
2025-10-14 02:47:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 02:48:28 +0200otto_s(~user@p4ff2701e.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-10-14 02:50:19 +0200otto_s(~user@p4ff27382.dip0.t-ipconnect.de)
2025-10-14 02:50:55 +0200xff0x(~xff0x@2405:6580:b080:900:f3f6:c4a2:4d90:7f3d) (Ping timeout: 246 seconds)
2025-10-14 02:51:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-14 02:59:28 +0200Square(~Square4@user/square) Square
2025-10-14 03:00:22 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 246 seconds)
2025-10-14 03:02:07 +0200Square3(~Square@user/square) (Ping timeout: 246 seconds)
2025-10-14 03:02:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 03:05:42 +0200Googulator67(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-14 03:06:11 +0200Googulator51(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-14 03:07:01 +0200vetkat(~vetkat@user/vetkat) (Ping timeout: 246 seconds)
2025-10-14 03:07:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-14 03:08:08 +0200vetkat(~vetkat@user/vetkat) vetkat
2025-10-14 03:11:42 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds)
2025-10-14 03:18:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 03:23:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-14 03:28:08 +0200Dhark8(~Shark8@c-174-56-102-109.hsd1.nm.comcast.net)
2025-10-14 03:29:30 +0200finsternis(~X@23.226.237.192) finsternis
2025-10-14 03:31:06 +0200Shark8(~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 248 seconds)
2025-10-14 03:33:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 03:35:41 +0200Googulator67(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-14 03:35:42 +0200Googulator39(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-14 03:38:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-14 03:39:56 +0200Axman6(~Axman6@user/axman6) Axman6
2025-10-14 03:49:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 03:51:17 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-10-14 03:56:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-14 03:57:47 +0200peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich
2025-10-14 03:57:59 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-14 04:00:56 +0200trickard_trickard
2025-10-14 04:07:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 04:12:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-14 04:19:38 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-10-14 04:20:51 +0200Googulator39(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-14 04:20:51 +0200Googulator47(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-14 04:21:14 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) (Server closed connection)
2025-10-14 04:21:26 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) Adeon
2025-10-14 04:23:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 04:24:14 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds)
2025-10-14 04:28:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-14 04:32:07 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-10-14 04:36:07 +0200td_(~td@i53870910.versanet.de) (Ping timeout: 256 seconds)
2025-10-14 04:37:54 +0200td_(~td@i53870911.versanet.de) td_
2025-10-14 04:39:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 04:44:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-14 04:47:26 +0200califax_(~califax@user/califx) califx
2025-10-14 04:48:10 +0200califax(~califax@user/califx) (Ping timeout: 272 seconds)
2025-10-14 04:48:39 +0200califax_califax
2025-10-14 04:51:59 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-10-14 04:54:28 +0200peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 246 seconds)
2025-10-14 04:55:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 04:56:31 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-10-14 04:57:39 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-10-14 05:00:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-14 05:10:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 05:14:12 +0200Square(~Square4@user/square) (Ping timeout: 260 seconds)
2025-10-14 05:17:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-14 05:18:16 +0200annamalai(~annamalai@2409:4042:4e3c:ee1e::9e4a:2910) annamalai
2025-10-14 05:19:19 +0200inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 246 seconds)
2025-10-14 05:28:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 05:30:21 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-14 05:33:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-14 05:44:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 05:49:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-14 06:00:12 +0200aforemny(~aforemny@2001:9e8:6cd9:6800:96c8:2246:a5e7:93e3) aforemny
2025-10-14 06:00:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 06:01:41 +0200aforemny_(~aforemny@i59F4C4D3.versanet.de) (Ping timeout: 256 seconds)
2025-10-14 06:05:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-14 06:08:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 06:13:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-14 06:19:36 +0200 <jackdk> Some libraries use MonadFail as an error-reporting mechanism, but I think this is a historical error. These days I'd only use MonadFail to handle pattern-match failures in do expressions
2025-10-14 06:20:37 +0200Googulator1(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-14 06:20:51 +0200Googulator47(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-14 06:24:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 06:25:21 +0200craunts79533538(~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat)
2025-10-14 06:28:01 +0200craunts79533538(~craunts@136.158.7.194)
2025-10-14 06:29:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-14 06:30:31 +0200peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich
2025-10-14 06:33:34 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-10-14 06:40:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 06:42:20 +0200rvalue-(~rvalue@about/hackers/rvalue) rvalue
2025-10-14 06:42:21 +0200rvalue-(~rvalue@about/hackers/rvalue) (Excess Flood)
2025-10-14 06:42:53 +0200rvalue-(~rvalue@about/hackers/rvalue) rvalue
2025-10-14 06:42:54 +0200rvalue-(~rvalue@about/hackers/rvalue) (Excess Flood)
2025-10-14 06:43:13 +0200rvalue(~rvalue@about/hackers/rvalue) (Ping timeout: 264 seconds)
2025-10-14 06:45:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-14 06:46:11 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-10-14 06:46:12 +0200rvalue(~rvalue@about/hackers/rvalue) (Excess Flood)
2025-10-14 06:49:31 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-10-14 06:49:36 +0200rvalue(~rvalue@about/hackers/rvalue) (Excess Flood)
2025-10-14 06:50:02 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-10-14 06:50:03 +0200rvalue(~rvalue@about/hackers/rvalue) (Excess Flood)
2025-10-14 06:50:37 +0200Googulator1(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-14 06:50:40 +0200Googulator97(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-14 06:56:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 06:56:22 +0200annamalai(~annamalai@2409:4042:4e3c:ee1e::9e4a:2910) (Remote host closed the connection)
2025-10-14 06:57:02 +0200annamalai(~annamalai@157.32.210.114) annamalai
2025-10-14 06:57:30 +0200michalz(~michalz@185.246.207.221)
2025-10-14 07:02:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-14 07:02:54 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) (Server closed connection)
2025-10-14 07:03:06 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) Adeon
2025-10-14 07:06:08 +0200craunts79533538(~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat)
2025-10-14 07:09:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 07:13:56 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-10-14 07:14:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-14 07:16:54 +0200synchromesh(~john@2406:5a00:2412:2c00:3507:235a:4a6c:ccc6) (Read error: Connection reset by peer)
2025-10-14 07:17:07 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-10-14 07:18:03 +0200synchromesh(~john@2406:5a00:2412:2c00:6c29:d20b:9891:7dea) synchromesh