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
2025-10-14 07:25:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 07:25:24 +0200Googulator97(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-14 07:25:36 +0200Googulator97(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-14 07:30:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-14 07:31:56 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-10-14 07:34:46 +0200poscat(~poscat@user/poscat) poscat
2025-10-14 07:37:21 +0200jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1)
2025-10-14 07:41:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 07:45:58 +0200merijn(~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 +0200Sgeo(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 08:00:28 +0200peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 260 seconds)
2025-10-14 08:02:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-14 08:10:20 +0200itaipu(~itaipu@168.121.97.28) (Ping timeout: 256 seconds)
2025-10-14 08:10:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 08:14:55 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-14 08:15:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-14 08:26:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 08:31:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-14 08:42:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 08:49:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-14 08:53:43 +0200jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1)
2025-10-14 09:00:01 +0200caconym7478798(~caconym@user/caconym) (Quit: bye)
2025-10-14 09:00:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 09:00:41 +0200caconym7478798(~caconym@user/caconym) caconym
2025-10-14 09:04:37 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 260 seconds)
2025-10-14 09:05:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-14 09:11:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-14 09:14:36 +0200itaipu(~itaipu@168.121.97.28) itaipu
2025-10-14 09:16:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-14 09:17:59 +0200craunts79533538(~craunts@136.158.7.194)
2025-10-14 09:19:43 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-10-14 09:26:17 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-10-14 09:27:57 +0200ByronJohnson(~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 260 seconds)
2025-10-14 09:29:17 +0200ByronJohnson(~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson
2025-10-14 09:38:44 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) (Server closed connection)
2025-10-14 09:38:56 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) Adeon
2025-10-14 09:40:26 +0200ft(~ft@p4fc2a207.dip0.t-ipconnect.de) (Quit: leaving)
2025-10-14 09:52:27 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 260 seconds)
2025-10-14 09:55:20 +0200wz1000(~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 245 seconds)
2025-10-14 09:56:28 +0200sshine(~simon@dao.mechanicus.xyz) (Ping timeout: 265 seconds)
2025-10-14 09:56:34 +0200tomsmeding(~tomsmedin@user/tomsmeding) (Ping timeout: 256 seconds)
2025-10-14 09:58:54 +0200Googulator97Googulator
2025-10-14 09:59:20 +0200merijn(~merijn@77.242.116.146) merijn
2025-10-14 09:59:39 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-10-14 10:02:44 +0200tomsmeding(~tomsmedin@user/tomsmeding) tomsmeding
2025-10-14 10:03:05 +0200sshine(~simon@dao.mechanicus.xyz) sshine
2025-10-14 10:05:36 +0200gustrb(~gustrb@191.243.134.87)
2025-10-14 10:08:30 +0200wz1000(~zubin@static.11.113.47.78.clients.your-server.de)
2025-10-14 10:10:34 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 248 seconds)
2025-10-14 10:14:37 +0200Googulator(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-14 10:14:51 +0200Googulator(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-14 10:21:32 +0200adig(~adi@86.123.72.40) adig
2025-10-14 10:21:38 +0200comerijn(~merijn@77.242.116.146) merijn
2025-10-14 10:21:42 +0200adig(~adi@86.123.72.40) ()
2025-10-14 10:22:40 +0200fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-10-14 10:24:38 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-10-14 10:27:51 +0200gustrb(~gustrb@191.243.134.87)