| 2025-10-14 00:00:25 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-10-14 00:01:00 +0200 | ystael_ | (~ystael@user/ystael) (Ping timeout: 256 seconds) |
| 2025-10-14 00:03:19 +0200 | Googulator30 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-14 00:06:59 +0200 | Googulator10 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-10-14 00:07:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 00:09:25 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-14 00:11:30 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-10-14 00:12:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-14 00:15:38 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2025-10-14 00:16:33 +0200 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-10-14 00:18:17 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-10-14 00:20:29 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-14 00:23:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 00:30:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 00:33:46 +0200 | Square3 | (~Square@user/square) Square |
| 2025-10-14 00:33:55 +0200 | pera | (~pera@user/pera) (Quit: leaving) |
| 2025-10-14 00:37:14 +0200 | Square | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-10-14 00:41:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 00:45:35 +0200 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich |
| 2025-10-14 00:45:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-14 00:46:18 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 248 seconds) |
| 2025-10-14 00:46:51 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-14 00:47:53 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-14 00:48:20 +0200 | tomku | (~tomku@user/tomku) tomku |
| 2025-10-14 00:51:02 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-14 00:57:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 01:01:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 01:03:32 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 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:11:02 +0200 | Googulator27 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-14 01:12:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 01:13:34 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-14 01:17:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 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:25:43 +0200 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 256 seconds) |
| 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:27:05 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
| 2025-10-14 01:30:11 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-10-14 01:31:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 01:35:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 01:40:37 +0200 | Googulator51 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 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:41:14 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Server closed connection) |
| 2025-10-14 01:41:26 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) Adeon |
| 2025-10-14 01:42:12 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-14 01:46:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 01:48:42 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-10-14 01:49:21 +0200 | jmcantrell | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 01:53:07 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-14 02:02:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 02:07:55 +0200 | bgg | (~bgg@2a01:e0a:819:1510:438b:91ce:16bb:429f) |
| 2025-10-14 02:09:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-14 02:17:27 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-14 02:18:13 +0200 | inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-14 02:20:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 02:25:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 02:26:02 +0200 | acidjnk | (~acidjnk@p200300d6e7171943fcd8740620ad93e7.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 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:31:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 02:32:31 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-10-14 02:33:05 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-10-14 02:35:18 +0200 | califax | (~califax@user/califx) califx |
| 2025-10-14 02:35:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 02:36:43 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 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:46:04 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-10-14 02:47:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 02:48:28 +0200 | otto_s | (~user@p4ff2701e.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-10-14 02:50:19 +0200 | otto_s | (~user@p4ff27382.dip0.t-ipconnect.de) |
| 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:51:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-14 02:59:28 +0200 | Square | (~Square4@user/square) Square |
| 2025-10-14 03:00:22 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-10-14 03:02:07 +0200 | Square3 | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2025-10-14 03:02:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 03:05:42 +0200 | Googulator67 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-14 03:06:11 +0200 | Googulator51 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-14 03:07:01 +0200 | vetkat | (~vetkat@user/vetkat) (Ping timeout: 246 seconds) |
| 2025-10-14 03:07:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-14 03:08:08 +0200 | vetkat | (~vetkat@user/vetkat) vetkat |
| 2025-10-14 03:11:42 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2025-10-14 03:18:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 03:23:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 03:28:08 +0200 | Dhark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-14 03:29:30 +0200 | finsternis | (~X@23.226.237.192) finsternis |
| 2025-10-14 03:31:06 +0200 | Shark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (Ping timeout: 248 seconds) |
| 2025-10-14 03:33:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 03:35:41 +0200 | Googulator67 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-14 03:35:42 +0200 | Googulator39 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-14 03:38:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 03:39:56 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-10-14 03:49:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 03:51:17 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-14 03:56:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 03:57:47 +0200 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich |
| 2025-10-14 03:57:59 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-14 04:00:56 +0200 | trickard_ | trickard |
| 2025-10-14 04:07:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 04:12:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 04:19:38 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-14 04:20:51 +0200 | Googulator39 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-14 04:20:51 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-14 04:21:14 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Server closed connection) |
| 2025-10-14 04:21:26 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) Adeon |
| 2025-10-14 04:23:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 04:24:14 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-10-14 04:28:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 04:32:07 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-14 04:36:07 +0200 | td_ | (~td@i53870910.versanet.de) (Ping timeout: 256 seconds) |
| 2025-10-14 04:37:54 +0200 | td_ | (~td@i53870911.versanet.de) td_ |
| 2025-10-14 04:39:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 04:44:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 04:47:26 +0200 | califax_ | (~califax@user/califx) califx |
| 2025-10-14 04:48:10 +0200 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-10-14 04:48:39 +0200 | califax_ | califax |
| 2025-10-14 04:51:59 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-10-14 04:54:28 +0200 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-10-14 04:55:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 04:56:31 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-10-14 04:57:39 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-10-14 05:00:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-14 05:10:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 05:14:12 +0200 | Square | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2025-10-14 05:17:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-14 05:18:16 +0200 | annamalai | (~annamalai@2409:4042:4e3c:ee1e::9e4a:2910) annamalai |
| 2025-10-14 05:19:19 +0200 | inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2025-10-14 05:28:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 05:30:21 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-14 05:33:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 05:44:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 05:49:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-14 06:00:12 +0200 | aforemny | (~aforemny@2001:9e8:6cd9:6800:96c8:2246:a5e7:93e3) aforemny |
| 2025-10-14 06:00:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 06:01:41 +0200 | aforemny_ | (~aforemny@i59F4C4D3.versanet.de) (Ping timeout: 256 seconds) |
| 2025-10-14 06:05:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 06:08:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 06:13:34 +0200 | merijn | (~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 +0200 | Googulator1 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-14 06:20:51 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-14 06:24:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 06:25:21 +0200 | craunts79533538 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-14 06:28:01 +0200 | craunts79533538 | (~craunts@136.158.7.194) |
| 2025-10-14 06:29:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 06:30:31 +0200 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich |
| 2025-10-14 06:33:34 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-10-14 06:40:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 06:42:20 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-10-14 06:42:21 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) (Excess Flood) |
| 2025-10-14 06:42:53 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-10-14 06:42:54 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) (Excess Flood) |
| 2025-10-14 06:43:13 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 264 seconds) |
| 2025-10-14 06:45:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 06:46:11 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-10-14 06:46:12 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Excess Flood) |
| 2025-10-14 06:49:31 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-10-14 06:49:36 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Excess Flood) |
| 2025-10-14 06:50:02 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-10-14 06:50:03 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Excess Flood) |
| 2025-10-14 06:50:37 +0200 | Googulator1 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-14 06:50:40 +0200 | Googulator97 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-14 06:56:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 06:56:22 +0200 | annamalai | (~annamalai@2409:4042:4e3c:ee1e::9e4a:2910) (Remote host closed the connection) |
| 2025-10-14 06:57:02 +0200 | annamalai | (~annamalai@157.32.210.114) annamalai |
| 2025-10-14 06:57:30 +0200 | michalz | (~michalz@185.246.207.221) |
| 2025-10-14 07:02:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-14 07:02:54 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Server closed connection) |
| 2025-10-14 07:03:06 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) Adeon |
| 2025-10-14 07:06:08 +0200 | craunts79533538 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-14 07:09:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 07:13:56 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-10-14 07:14:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-14 07:16:54 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:3507:235a:4a6c:ccc6) (Read error: Connection reset by peer) |
| 2025-10-14 07:17:07 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-10-14 07:18:03 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:6c29:d20b:9891:7dea) synchromesh |
| 2025-10-14 07:25:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 07:25:24 +0200 | Googulator97 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-14 07:25:36 +0200 | Googulator97 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-14 07:30:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 07:31:56 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-14 07:34:46 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-14 07:37:21 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-10-14 07:41:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 07:45:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-14 07:50:13 +0200 | <dminuoso> | jackdk: Regarding botan bindings, I think any approach focusing on native bindings to a cryptographic library is more healthy both on on a security perspective as well as future proofing. |
| 2025-10-14 07:50:20 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-14 07:51:02 +0200 | <dminuoso> | Especially since the crypton(ite) situation demonstrates, that even *if* we have some reliable cryptographic implementation it is dependent on probably just a single person. Having an ecosystem dependent on a bus-factor of 1 is just not healthy for the rest of hackage. |
| 2025-10-14 07:52:05 +0200 | <dminuoso> | Not entirely sure if your comment was hinting at paying the botan person to work on crypton instead for a while. |
| 2025-10-14 07:54:24 +0200 | <jackdk> | dminuoso: I agree with what you have written. I think binding a trusted native implementation is safer in the long run, and I am hopeful we can move the ecosystem onto something like botan one day |
| 2025-10-14 07:55:12 +0200 | <jackdk> | And to be clear, I do not think paying the botan person to shift to crypton would be a good idea |
| 2025-10-14 07:57:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 08:00:28 +0200 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-10-14 08:02:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 08:10:20 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 256 seconds) |
| 2025-10-14 08:10:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 08:14:55 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-14 08:15:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-14 08:26:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 08:31:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-14 08:42:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 08:49:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 08:53:43 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-10-14 09:00:01 +0200 | caconym7478798 | (~caconym@user/caconym) (Quit: bye) |
| 2025-10-14 09:00:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 09:00:41 +0200 | caconym7478798 | (~caconym@user/caconym) caconym |
| 2025-10-14 09:04:37 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-10-14 09:05:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-14 09:11:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 09:14:36 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-10-14 09:16:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-14 09:17:59 +0200 | craunts79533538 | (~craunts@136.158.7.194) |
| 2025-10-14 09:19:43 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-14 09:26:17 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-14 09:27:57 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 260 seconds) |
| 2025-10-14 09:29:17 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
| 2025-10-14 09:38:44 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Server closed connection) |
| 2025-10-14 09:38:56 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) Adeon |
| 2025-10-14 09:40:26 +0200 | ft | (~ft@p4fc2a207.dip0.t-ipconnect.de) (Quit: leaving) |