2025/10/13

2025-10-13 00:04:34 +0200karenw(~karenw@user/karenw) (Remote host closed the connection)
2025-10-13 00:06:10 +0200karenw(~karenw@user/karenw) karenw
2025-10-13 00:21:14 +0200semifunctor(~omnifunct@user/semifunctor) (Server closed connection)
2025-10-13 00:22:08 +0200semifunctor(~omnifunct@user/semifunctor) omnifunctor
2025-10-13 00:26:12 +0200tromp(~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-13 00:28:18 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-10-13 00:32:25 +0200juri_(~juri@implicitcad.org) (Ping timeout: 264 seconds)
2025-10-13 00:33:53 +0200juri_(~juri@178.20.94.63) juri_
2025-10-13 00:35:28 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-10-13 00:37:15 +0200Zemy(~Zemy@mobile-107-80-206-40.mycingular.net)
2025-10-13 00:38:29 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-10-13 00:39:22 +0200Zemy_(~Zemy@2600:100c:b031:79b8:acae:caff:fe6d:bffd) (Ping timeout: 256 seconds)
2025-10-13 00:43:02 +0200Natch(~natch@c-92-34-15-120.bbcust.telenor.se) (Ping timeout: 256 seconds)
2025-10-13 00:43:30 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds)
2025-10-13 00:44:27 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
2025-10-13 00:51:23 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-10-13 00:51:37 +0200Zemy_(~Zemy@2600:100c:b031:79b8:4c6f:59ff:fe3d:9dc3)
2025-10-13 00:51:37 +0200Zemy(~Zemy@mobile-107-80-206-40.mycingular.net) (Read error: Connection reset by peer)
2025-10-13 00:52:12 +0200Zemy(~Zemy@mobile-107-80-206-40.mycingular.net)
2025-10-13 00:53:13 +0200Zemy_(~Zemy@2600:100c:b031:79b8:4c6f:59ff:fe3d:9dc3) (Read error: Connection reset by peer)
2025-10-13 00:53:22 +0200Zemy_(~Zemy@2600:100c:b031:79b8:740c:22ff:feca:3777)
2025-10-13 00:55:10 +0200bgg(~bgg@2a01:e0a:819:1510:fb4f:9766:e660:dbd5) (Remote host closed the connection)
2025-10-13 00:56:13 +0200Zemy(~Zemy@mobile-107-80-206-40.mycingular.net) (Ping timeout: 246 seconds)
2025-10-13 00:57:04 +0200Zemy(~Zemy@mobile-107-80-206-16.mycingular.net)
2025-10-13 01:00:12 +0200Zemy_(~Zemy@2600:100c:b031:79b8:740c:22ff:feca:3777) (Ping timeout: 260 seconds)
2025-10-13 01:00:30 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection)
2025-10-13 01:01:21 +0200tccq(~user@user/tccq) tccq
2025-10-13 01:01:51 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-10-13 01:03:25 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-10-13 01:13:24 +0200Zemy_(~Zemy@2600:100c:b031:79b8:547b:9ff:feae:d218)
2025-10-13 01:15:22 +0200Zemy(~Zemy@mobile-107-80-206-16.mycingular.net) (Ping timeout: 260 seconds)
2025-10-13 01:17:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 01:17:46 +0200Natch(~natch@c-92-34-15-120.bbcust.telenor.se)
2025-10-13 01:19:20 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal)
2025-10-13 01:19:39 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-10-13 01:22:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-13 01:25:26 +0200Zemy(~Zemy@syn-072-176-124-082.res.spectrum.com)
2025-10-13 01:26:58 +0200Zemy_(~Zemy@2600:100c:b031:79b8:547b:9ff:feae:d218) (Ping timeout: 256 seconds)
2025-10-13 01:29:47 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds)
2025-10-13 01:30:15 +0200Zemy_(~Zemy@2600:100c:b031:79b8:c843:b5ff:fe7e:a5db)
2025-10-13 01:30:15 +0200Zemy(~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer)
2025-10-13 01:30:50 +0200Zemy(~Zemy@syn-072-176-124-082.res.spectrum.com)
2025-10-13 01:32:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 01:34:52 +0200Core1835(~Zemy@2600:100c:b031:79b8:182c:57ff:fe16:365a)
2025-10-13 01:34:52 +0200Zemy(~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer)
2025-10-13 01:34:54 +0200Zemy_(~Zemy@2600:100c:b031:79b8:c843:b5ff:fe7e:a5db) (Ping timeout: 256 seconds)
2025-10-13 01:35:50 +0200peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich
2025-10-13 01:36:11 +0200Zemy(~Zemy@syn-072-176-124-082.res.spectrum.com)
2025-10-13 01:36:31 +0200vetkat(~vetkat@user/vetkat) (Read error: Connection reset by peer)
2025-10-13 01:36:52 +0200vetkat(~vetkat@user/vetkat) vetkat
2025-10-13 01:37:25 +0200Core1835(~Zemy@2600:100c:b031:79b8:182c:57ff:fe16:365a) (Read error: Connection reset by peer)
2025-10-13 01:37:57 +0200Zemy_(~Zemy@2600:100c:b031:79b8:7040:4eff:fe92:fccf)
2025-10-13 01:37:57 +0200Zemy(~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer)
2025-10-13 01:38:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-13 01:38:32 +0200Zemy(~Zemy@syn-072-176-124-082.res.spectrum.com)
2025-10-13 01:40:55 +0200Core4561(~Zemy@2600:100c:b031:79b8:e03a:36ff:fec0:cb26)
2025-10-13 01:40:55 +0200Zemy(~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer)
2025-10-13 01:41:33 +0200Zemy_(~Zemy@2600:100c:b031:79b8:7040:4eff:fe92:fccf) (Read error: Connection reset by peer)
2025-10-13 01:42:48 +0200Zemy(~Zemy@syn-072-176-124-082.res.spectrum.com)
2025-10-13 01:42:57 +0200Core4561(~Zemy@2600:100c:b031:79b8:e03a:36ff:fec0:cb26) (Read error: Connection reset by peer)
2025-10-13 01:50:45 +0200ByronJohnson(~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 245 seconds)
2025-10-13 01:51:31 +0200acidjnk(~acidjnk@p200300d6e717191975703e7db5c33433.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2025-10-13 01:52:34 +0200ByronJohnson(~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson
2025-10-13 01:56:14 +0200fired(la@2600:3c00::f03c:92ff:fee3:aace) (Server closed connection)
2025-10-13 01:56:35 +0200fired(~la@173-255-196-82.ip.linodeusercontent.com)
2025-10-13 02:02:57 +0200xstill_(xstill@fimu/xstill) (Quit: Ping timeout (120 seconds))
2025-10-13 02:03:46 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 246 seconds)
2025-10-13 02:04:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 02:06:03 +0200xstill_(xstill@fimu/xstill) xstill
2025-10-13 02:09:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-13 02:13:21 +0200xstill_(xstill@fimu/xstill) (Quit: Ping timeout (120 seconds))
2025-10-13 02:13:30 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2025-10-13 02:14:43 +0200comonad(~comonad@p200300d02711d0004b6eb519787385cb.dip0.t-ipconnect.de)
2025-10-13 02:14:54 +0200xstill_(xstill@fimu/xstill) xstill
2025-10-13 02:15:24 +0200hellwolf(~user@78fb-20dc-c388-7329-0f00-4d40-07d0-2001.sta.estpak.ee) (Server closed connection)
2025-10-13 02:15:38 +0200hellwolf(~user@4587-67e8-8a9c-b55b-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf
2025-10-13 02:16:26 +0200peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 248 seconds)
2025-10-13 02:20:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 02:20:42 +0200Leary(~Leary@user/Leary/x-0910699) Leary
2025-10-13 02:27:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-13 02:34:03 +0200Zemy_(~Zemy@syn-072-176-124-082.res.spectrum.com)
2025-10-13 02:34:04 +0200Zemy(~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer)
2025-10-13 02:36:33 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-10-13 02:38:21 +0200xstill_(xstill@fimu/xstill) (Quit: Ping timeout (120 seconds))
2025-10-13 02:38:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 02:41:15 +0200xstill_(xstill@fimu/xstill) xstill
2025-10-13 02:43:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-13 02:43:30 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-10-13 02:43:45 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-10-13 02:49:07 +0200otto_s(~user@p5b044eb9.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-10-13 02:50:38 +0200otto_s(~user@p4ff2701e.dip0.t-ipconnect.de)
2025-10-13 02:54:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 02:57:02 +0200peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich
2025-10-13 02:59:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-13 03:00:15 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection)
2025-10-13 03:00:37 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-10-13 03:00:51 +0200sam113101(~sam@modemcable200.189-202-24.mc.videotron.ca) (Remote host closed the connection)
2025-10-13 03:01:41 +0200AlexNoo_(~AlexNoo@178.34.151.169)
2025-10-13 03:02:08 +0200rubin55(sid666180@id-666180.ilkley.irccloud.com) (Ping timeout: 260 seconds)
2025-10-13 03:02:09 +0200AlexNoo(~AlexNoo@178.34.151.169) (Read error: Connection reset by peer)
2025-10-13 03:02:43 +0200divlamir(~divlamir@user/divlamir) (Ping timeout: 260 seconds)
2025-10-13 03:02:44 +0200sam113101(~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101
2025-10-13 03:03:01 +0200mniip(mniip@libera/staff/mniip) (Quit: This page is intentionally left blank)
2025-10-13 03:03:14 +0200mniip(mniip@libera/staff/mniip) mniip
2025-10-13 03:03:17 +0200rekahsoft(~rekahsoft@70.51.99.245) (Ping timeout: 260 seconds)
2025-10-13 03:04:35 +0200vetkat(~vetkat@user/vetkat) (Quit: Ping timeout (120 seconds))
2025-10-13 03:04:59 +0200vetkat(~vetkat@user/vetkat) vetkat
2025-10-13 03:05:02 +0200gorignak(~gorignak@user/gorignak) (Ping timeout: 260 seconds)
2025-10-13 03:05:02 +0200Kamuela(sid111576@id-111576.tinside.irccloud.com) (Ping timeout: 260 seconds)
2025-10-13 03:05:21 +0200divlamir(~divlamir@user/divlamir) divlamir
2025-10-13 03:05:24 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-10-13 03:06:05 +0200rubin55(sid666180@id-666180.ilkley.irccloud.com) rubin55
2025-10-13 03:07:48 +0200Sgeo_(~Sgeo@user/sgeo) Sgeo
2025-10-13 03:08:09 +0200Square3(~Square@user/square) Square
2025-10-13 03:08:31 +0200Kamuela(sid111576@id-111576.tinside.irccloud.com) Kamuela
2025-10-13 03:09:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 03:10:20 +0200APic(apic@apic.name) (Ping timeout: 256 seconds)
2025-10-13 03:10:20 +0200pabs3(~pabs3@user/pabs3) (Ping timeout: 256 seconds)
2025-10-13 03:10:20 +0200tolt(~weechat-h@li219-154.members.linode.com) (Ping timeout: 256 seconds)
2025-10-13 03:11:32 +0200tccq`(~user@71.227.230.155)
2025-10-13 03:11:47 +0200tolt(~weechat-h@li219-154.members.linode.com) tolt
2025-10-13 03:11:48 +0200craunts79533538(~craunts@136.158.7.194)
2025-10-13 03:13:20 +0200cipherrot(~jez@user/petrichor) petrichor
2025-10-13 03:13:59 +0200opqdonut1_(opqdonut@pseudo.fixme.fi)
2025-10-13 03:14:01 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Read error: Connection reset by peer)
2025-10-13 03:14:01 +0200Square2(~Square@user/square) (Ping timeout: 256 seconds)
2025-10-13 03:14:01 +0200Sgeo(~Sgeo@user/sgeo) (Ping timeout: 256 seconds)
2025-10-13 03:14:01 +0200inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2025-10-13 03:14:01 +0200Arsen(arsen@gentoo/developer/managarm.dev.Arsen) (Ping timeout: 256 seconds)
2025-10-13 03:14:01 +0200yin(~zero@user/zero) (Ping timeout: 256 seconds)
2025-10-13 03:14:01 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2025-10-13 03:14:01 +0200tccq(~user@user/tccq) (Ping timeout: 256 seconds)
2025-10-13 03:14:01 +0200sweater3(~sweater@206.81.18.26) (Ping timeout: 256 seconds)
2025-10-13 03:14:01 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (Ping timeout: 256 seconds)
2025-10-13 03:14:01 +0200Jonno_FTW(~come@user/jonno-ftw/x-0835346) (Ping timeout: 256 seconds)
2025-10-13 03:14:01 +0200petrichor(~jez@user/petrichor) (Ping timeout: 256 seconds)
2025-10-13 03:14:01 +0200FANTOM(~fantom@87.75.184.126) (Ping timeout: 256 seconds)
2025-10-13 03:14:01 +0200malte(~malte@mal.tc) (Ping timeout: 256 seconds)
2025-10-13 03:14:01 +0200xstill_(xstill@fimu/xstill) (Ping timeout: 256 seconds)
2025-10-13 03:14:03 +0200craunts7953353(~craunts@136.158.7.194) (Ping timeout: 256 seconds)
2025-10-13 03:14:04 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds)
2025-10-13 03:14:14 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) lambdabot
2025-10-13 03:14:14 +0200ChanServ+v lambdabot
2025-10-13 03:14:46 +0200endokqr(~kqr@irc-1.xkqr.org)
2025-10-13 03:15:23 +0200sweater3(~sweater@206.81.18.26) sweater
2025-10-13 03:15:25 +0200firesquidwao(~a@put.gay)
2025-10-13 03:15:39 +0200xstill_(xstill@fimu/xstill) xstill
2025-10-13 03:15:57 +0200Arsen(arsen@gentoo/developer/managarm.dev.Arsen) Arsen
2025-10-13 03:16:42 +0200ggb_(a62ffbaf4f@2a03:6000:1812:100::3ac)
2025-10-13 03:16:45 +0200Hobbyboy|BNC(Hobbyboy@hobbyboy.co.uk) Hobbyboy
2025-10-13 03:16:53 +0200op_4_(~tslil@2a01:4f8:c0c:7952::1)
2025-10-13 03:16:56 +0200caconym7478798(~caconym@user/caconym) caconym
2025-10-13 03:17:29 +0200bw_(sid2730@user/betawaffle) betawaffle
2025-10-13 03:17:36 +0200edwardk(sid47016@haskell/developer/edwardk) (Ping timeout: 246 seconds)
2025-10-13 03:17:36 +0200opqdonut__(opqdonut@pseudo.fixme.fi) (Ping timeout: 246 seconds)
2025-10-13 03:17:36 +0200op_4(~tslil@user/op-4/x-9116473) (Ping timeout: 246 seconds)
2025-10-13 03:17:36 +0200kqr(~kqr@irc-1.xkqr.org) (Ping timeout: 246 seconds)
2025-10-13 03:17:36 +0200gorignak(~gorignak@user/gorignak) (Ping timeout: 246 seconds)
2025-10-13 03:17:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-13 03:17:36 +0200bw(sid2730@user/betawaffle) (Ping timeout: 246 seconds)
2025-10-13 03:17:36 +0200ggb(a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 246 seconds)
2025-10-13 03:17:36 +0200tuxpaint(~a@2600:3c06::f03c:93ff:fea6:ef0e) (Ping timeout: 246 seconds)
2025-10-13 03:17:36 +0200op_4_op_4
2025-10-13 03:17:36 +0200ByronJohnson(~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 246 seconds)
2025-10-13 03:17:36 +0200ProofTechnique_(sid79547@id-79547.ilkley.irccloud.com) (Ping timeout: 246 seconds)
2025-10-13 03:17:36 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Ping timeout: 246 seconds)
2025-10-13 03:17:36 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 246 seconds)
2025-10-13 03:17:36 +0200Ekho(~Ekho@user/ekho) (Ping timeout: 246 seconds)
2025-10-13 03:17:36 +0200Hobbyboy(Hobbyboy@hobbyboy.co.uk) (Ping timeout: 246 seconds)
2025-10-13 03:17:36 +0200tnks(sid412124@id-412124.helmsley.irccloud.com) (Ping timeout: 246 seconds)
2025-10-13 03:17:36 +0200Kamuela(sid111576@id-111576.tinside.irccloud.com) (Ping timeout: 246 seconds)
2025-10-13 03:17:36 +0200ggb_ggb
2025-10-13 03:17:36 +0200edwardk(sid47016@id-47016.ilkley.irccloud.com)
2025-10-13 03:17:36 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com)
2025-10-13 03:17:36 +0200edwardk(sid47016@id-47016.ilkley.irccloud.com) (Changing host)
2025-10-13 03:17:36 +0200edwardk(sid47016@haskell/developer/edwardk) edwardk
2025-10-13 03:17:37 +0200bw_bw
2025-10-13 03:17:37 +0200thatonelutenist(8216c46202@2a03:6000:1812:100::fb3) (Ping timeout: 246 seconds)
2025-10-13 03:17:43 +0200gustrb(~gustrb@191.243.134.87)
2025-10-13 03:17:58 +0200caconym747879(~caconym@user/caconym) (Ping timeout: 246 seconds)
2025-10-13 03:17:59 +0200caconym7478798caconym747879
2025-10-13 03:18:15 +0200ByronJohnson(~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson
2025-10-13 03:18:17 +0200Kamuela(sid111576@id-111576.tinside.irccloud.com) Kamuela
2025-10-13 03:18:21 +0200ProofTechnique_(sid79547@id-79547.ilkley.irccloud.com)
2025-10-13 03:18:31 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-10-13 03:18:34 +0200inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline
2025-10-13 03:18:57 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-10-13 03:19:50 +0200Jonno_FTW(~come@user/jonno-ftw/x-0835346) Jonno_FTW
2025-10-13 03:20:14 +0200thatonelutenist(8216c46202@2a03:6000:1812:100::fb3) thatonelutenist
2025-10-13 03:20:27 +0200tnks(sid412124@id-412124.helmsley.irccloud.com) tnks
2025-10-13 03:20:28 +0200FANTOM(~fantom@87.75.184.126)
2025-10-13 03:21:03 +0200Hobbyboy|BNCHobbyboy
2025-10-13 03:22:59 +0200malte(~malte@mal.tc) malte
2025-10-13 03:23:46 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-10-13 03:23:48 +0200APic(apic@apic.name) APic
2025-10-13 03:25:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 03:28:01 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-10-13 03:28:50 +0200yin(~zero@user/zero) zero
2025-10-13 03:29:17 +0200Ekho(~Ekho@user/ekho) Ekho
2025-10-13 03:29:32 +0200peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 260 seconds)
2025-10-13 03:30:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-13 03:30:50 +0200bgg(~bgg@2a01:e0a:819:1510:dced:9a5:b1e2:242)
2025-10-13 03:32:20 +0200trickard(~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-13 03:32:33 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au)
2025-10-13 03:39:53 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-13 03:40:24 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-13 03:41:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 03:42:58 +0200Zemy(~Zemy@2600:100c:b031:79b8:de:c7ff:fe58:2d6c)
2025-10-13 03:43:09 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au)
2025-10-13 03:45:16 +0200Zemy_(~Zemy@syn-072-176-124-082.res.spectrum.com) (Ping timeout: 246 seconds)
2025-10-13 03:46:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-13 03:57:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 04:01:19 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-10-13 04:03:55 +0200Zemy_(~Zemy@syn-072-176-124-082.res.spectrum.com)
2025-10-13 04:04:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-13 04:07:54 +0200Zemy(~Zemy@2600:100c:b031:79b8:de:c7ff:fe58:2d6c) (Ping timeout: 256 seconds)
2025-10-13 04:13:00 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds)
2025-10-13 04:15:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 04:20:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-13 04:26:45 +0200tccq`(~user@71.227.230.155) (Quit: ERC 5.6.1-git (IRC client for GNU Emacs 31.0.50))
2025-10-13 04:30:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 04:34:34 +0200itaipu(~itaipu@168.121.97.28) (Server closed connection)
2025-10-13 04:35:10 +0200itaipu(~itaipu@168.121.97.28) itaipu
2025-10-13 04:35:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-13 04:36:37 +0200td_(~td@i53870922.versanet.de) (Ping timeout: 260 seconds)
2025-10-13 04:38:10 +0200td_(~td@i53870910.versanet.de) td_
2025-10-13 04:46:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 04:51:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-13 05:01:43 +0200xff0x(~xff0x@2405:6580:b080:900:bf36:cbe4:ef57:7a58) (Ping timeout: 255 seconds)
2025-10-13 05:02:24 +0200tapas(sid467876@id-467876.ilkley.irccloud.com) (Quit: Connection closed for inactivity)
2025-10-13 05:02:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 05:03:33 +0200mvk(~mvk@2607:fea8:5c9d:ee00::3da2) mvk
2025-10-13 05:03:34 +0200mvk(~mvk@2607:fea8:5c9d:ee00::3da2) (Client Quit)
2025-10-13 05:03:45 +0200xff0x(~xff0x@2405:6580:b080:900:842d:f141:edde:28dd)
2025-10-13 05:04:34 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) (Server closed connection)
2025-10-13 05:05:03 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) Adeon
2025-10-13 05:07:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-13 05:09:17 +0200anpad(~pandeyan@user/anpad) (Ping timeout: 260 seconds)
2025-10-13 05:13:14 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-10-13 05:13:28 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-10-13 05:13:36 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-10-13 05:13:52 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-10-13 05:18:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 05:22:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-13 05:28:32 +0200Square3(~Square@user/square) (Ping timeout: 260 seconds)
2025-10-13 05:32:39 +0200craunts79533538(~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat)
2025-10-13 05:33:37 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-10-13 05:34:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 05:36:40 +0200poscat(~poscat@user/poscat) poscat
2025-10-13 05:40:48 +0200anpad(~pandeyan@user/anpad) anpad
2025-10-13 05:40:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-13 05:49:27 +0200jjhoo(~jahakala@user/jjhoo) (Ping timeout: 244 seconds)
2025-10-13 05:49:27 +0200trickard_trickard
2025-10-13 05:49:34 +0200jjhoo(~jahakala@user/jjhoo) jjhoo
2025-10-13 05:52:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 05:56:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-13 05:59:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 06:00:59 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-10-13 06:01:09 +0200williu5(~williu5@user/williu5) williu5
2025-10-13 06:02:34 +0200karenw(~karenw@user/karenw) (Ping timeout: 248 seconds)
2025-10-13 06:02:47 +0200williu5(~williu5@user/williu5) (Client Quit)
2025-10-13 06:03:52 +0200williu5(~williu5@user/williu5) williu5
2025-10-13 06:04:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-13 06:14:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 06:18:13 +0200Zemy_(~Zemy@syn-072-176-124-082.res.spectrum.com) (Ping timeout: 246 seconds)
2025-10-13 06:19:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-13 06:21:37 +0200cipherrot(~jez@user/petrichor) (Read error: Connection reset by peer)
2025-10-13 06:21:58 +0200petrichor(~jez@user/petrichor) petrichor
2025-10-13 06:25:08 +0200synchrom1(~john@2406:5a00:2412:2c00:94c0:b471:5a7e:6f3a) (Read error: Connection reset by peer)
2025-10-13 06:26:13 +0200synchromesh(~john@2406:5a00:2412:2c00:3507:235a:4a6c:ccc6) synchromesh
2025-10-13 06:27:02 +0200 <EvanR> mauke, 😱
2025-10-13 06:27:10 +0200 <EvanR> ok
2025-10-13 06:30:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 06:35:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-13 06:46:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 06:46:40 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-10-13 06:51:00 +0200michalz(~michalz@185.246.207.205)
2025-10-13 06:51:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-13 06:51:39 +0200chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-10-13 06:59:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 07:04:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-13 07:15:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 07:20:16 +0200SrPx(sid108780@id-108780.uxbridge.irccloud.com) (Ping timeout: 256 seconds)
2025-10-13 07:22:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-13 07:22:35 +0200SrPx(sid108780@id-108780.uxbridge.irccloud.com) SrPx
2025-10-13 07:27:15 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-10-13 07:33:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 07:38:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-13 07:46:14 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) (Server closed connection)
2025-10-13 07:46:26 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) Adeon
2025-10-13 07:49:30 +0200mal1lieven
2025-10-13 07:49:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 07:54:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-13 07:59:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 08:04:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-13 08:10:34 +0200gorignak(~gorignak@user/gorignak) (Ping timeout: 246 seconds)
2025-10-13 08:10:51 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-10-13 08:15:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 08:20:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-13 08:30:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 08:33:01 +0200notzmv(~umar@user/notzmv) notzmv
2025-10-13 08:35:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-10-13 08:46:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 08:49:12 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 260 seconds)
2025-10-13 08:50:10 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-10-13 08:51:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-13 09:00:03 +0200caconym747879(~caconym@user/caconym) (Quit: bye)
2025-10-13 09:00:42 +0200caconym7478798(~caconym@user/caconym) caconym
2025-10-13 09:01:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-13 09:03:08 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-10-13 09:06:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-13 09:06:07 +0200tromp(~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08)
2025-10-13 09:08:18 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-10-13 09:16:44 +0200Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-10-13 09:20:55 +0200craunts79533538(~craunts@136.158.7.194)
2025-10-13 09:23:08 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-10-13 09:42:30 +0200annamalai(~annamalai@157.32.200.178) (Ping timeout: 256 seconds)
2025-10-13 09:42:58 +0200annamalai(~annamalai@157.32.200.178) annamalai
2025-10-13 09:43:19 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 246 seconds)
2025-10-13 09:44:38 +0200ZLima12_ZLima12
2025-10-13 09:50:11 +0200Zemy(~Zemy@2600:100c:b0a0:ef26:645d:40ff:fe60:28b8)
2025-10-13 09:50:33 +0200gustrb(~gustrb@191.243.134.87)
2025-10-13 09:51:25 +0200 <dminuoso> L29Ah: I have to ask. "The openssl trainwreck" compared to self-rolled cryptographic primitives in crypton?
2025-10-13 09:55:25 +0200 <dminuoso> Is crypton fully implemented with all kinds of side-channel attacks in mind? Timing analysis, cache poisining attacks, power/EM attacks, speculative execution analysis, fault injection, entropy failure, misuse of CRT, missing modular invertibility checks, non-constant-time scalar multiplications within primitives, deterministic blinding
2025-10-13 09:55:29 +0200acidjnk(~acidjnk@p200300d6e7171943fcd8740620ad93e7.dip0.t-ipconnect.de) acidjnk
2025-10-13 09:55:44 +0200 <dminuoso> Honestly, the list of all the various things you can screw up when doing cryptographic primitives is so long
2025-10-13 09:56:23 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 256 seconds)
2025-10-13 09:56:50 +0200 <dminuoso> But given that crypton is not written in just primops but highlevel haskell, it means that any guarantee that you might think you get after you audit the code depends on precisely a) the GHC version chosen and b) the compiler flags.
2025-10-13 09:57:07 +0200 <dminuoso> And that's assuming a full cryptographic audit even occured.
2025-10-13 10:00:28 +0200 <dminuoso> crypton just is not something you should use if you want to rely on secure and robust cryptography.
2025-10-13 10:01:44 +0200gustrb(~gustrb@191.243.134.87)
2025-10-13 10:06:12 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 260 seconds)
2025-10-13 10:06:58 +0200merijn(~merijn@77.242.116.146) merijn
2025-10-13 10:08:34 +0200 <tomsmeding> dminuoso: to be fair, while that holds for Haskell, that holds for C too
2025-10-13 10:09:11 +0200 <dminuoso> tomsmeding: Yes, and openssl has loads of code paths with these attacks in mind and defenses.
2025-10-13 10:10:11 +0200 <tomsmeding> I was thinking of the timing attacks in your list -- compilers normalloy do stuff with branches that may compromise attempts to write e.g. branchless code
2025-10-13 10:10:17 +0200 <tomsmeding> and even C compilers can do that
2025-10-13 10:10:35 +0200 <dminuoso> tomsmeding: Much of the timing attacks require very explicit consideration and approaches.
2025-10-13 10:10:42 +0200 <tomsmeding> I'm not saying that openssl has not accounted for this somehow
2025-10-13 10:11:47 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-10-13 10:14:49 +0200__monty__(~toonn@user/toonn) toonn
2025-10-13 10:15:52 +0200 <dminuoso> tomsmeding: For starters openssl handwires various primitives in assembly not just for performance but also to thwart compiler optimizations. https://github.com/openssl/openssl/tree/master/crypto/bn/asm
2025-10-13 10:16:55 +0200 <tomsmeding> right -- I was thinking you need something like that
2025-10-13 10:17:04 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) (Server closed connection)
2025-10-13 10:17:16 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) Adeon
2025-10-13 10:17:33 +0200gustrb(~gustrb@191.243.134.87)
2025-10-13 10:18:15 +0200 <tomsmeding> interesting that these are perl scripts
2025-10-13 10:19:43 +0200 <tomsmeding> it seems everyone invents their own assembly macro language; with gmp using m4 if I remember correctly
2025-10-13 10:20:03 +0200 <fgidim> woah, using assembly to get around compiling wrong code is hardcore.
2025-10-13 10:20:04 +0200Zemy_(~Zemy@syn-076-184-041-021.res.spectrum.com)
2025-10-13 10:20:26 +0200 <tomsmeding> it _is_ reliable -- the assembler is not really going to introduce branches when you aren't looking
2025-10-13 10:20:47 +0200merijn(~merijn@77.242.116.146) (Quit: Reconnecting)
2025-10-13 10:21:02 +0200merijn(~merijn@77.242.116.146) merijn
2025-10-13 10:21:05 +0200 <tomsmeding> also, it's not just for safety, it's also for performance -- see the comment at the top of e.g. https://github.com/openssl/openssl/blob/master/crypto/bn/asm/x86-mont.pl#L27-L28
2025-10-13 10:21:52 +0200 <tomsmeding> oh and there's even also a bunch of C inline assembly! https://github.com/openssl/openssl/blob/master/crypto/bn/asm/x86_64-gcc.c
2025-10-13 10:24:10 +0200Zemy(~Zemy@2600:100c:b0a0:ef26:645d:40ff:fe60:28b8) (Ping timeout: 256 seconds)
2025-10-13 10:26:18 +0200 <fgidim> dang, twice as fast? that is something
2025-10-13 10:26:30 +0200 <__monty__> Is it also in part to avoid timing side channels?
2025-10-13 10:26:57 +0200fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-10-13 10:27:49 +0200 <tomsmeding> yes -- the "compiler optimisations" that dminuoso mentioned are mostly ones that inadvertently introduce timing side channels, I think
2025-10-13 10:29:07 +0200 <mauke> https://cr.yp.to/talks/2025.10.07/slides-djb-20251007-pickthree-4x3.pdf
2025-10-13 10:29:28 +0200 <dminuoso> fgidim: well "wrong code" depends on how you look at it. Generally the semantics of programming languages have nothing to say about performance, and often they do the opposite: they leave holes for compilers to exploit.
2025-10-13 10:29:40 +0200 <dminuoso> For most programs you them to execute as fast as possible.
2025-10-13 10:29:51 +0200 <dminuoso> But this goes very much against what you'd want in cryptography.
2025-10-13 10:29:57 +0200bitterx(~marko@user/bitterx) bitterx
2025-10-13 10:30:04 +0200 <dminuoso> You want cryptographic primitives to go as fast as you *require*.
2025-10-13 10:30:21 +0200 <dminuoso> Consider the most naive of cases: comparing two strings for equality.
2025-10-13 10:30:48 +0200 <dminuoso> A naive "character by character with shortcircuit" is very easily exploitable for timing analysis.
2025-10-13 10:32:18 +0200 <dminuoso> mauke's slike are really good :)
2025-10-13 10:32:27 +0200 <dminuoso> Or well, Bernstein's.
2025-10-13 10:34:38 +0200 <tomsmeding> that list on slide 6 is funny
2025-10-13 10:34:38 +0200synchromesh(~john@2406:5a00:2412:2c00:3507:235a:4a6c:ccc6) (Read error: Connection reset by peer)
2025-10-13 10:35:53 +0200synchromesh(~john@2406:5a00:2412:2c00:3507:235a:4a6c:ccc6) synchromesh
2025-10-13 10:36:23 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-10-13 10:38:19 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2025-10-13 10:39:18 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-13 10:41:24 +0200 <tomsmeding> okay yeah it's a good slide deck
2025-10-13 10:41:41 +0200 <tomsmeding> a lot of text for a talk, but that only makes it more readable after-the-fact :)
2025-10-13 10:42:48 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-10-13 10:43:13 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-13 10:44:48 +0200xstill_(xstill@fimu/xstill) (Quit: Ping timeout (120 seconds))
2025-10-13 10:46:09 +0200xstill_(xstill@fimu/xstill) xstill
2025-10-13 10:47:00 +0200xstill_(xstill@fimu/xstill) (Client Quit)
2025-10-13 10:47:29 +0200xstill_(xstill@fimu/xstill) xstill
2025-10-13 10:51:57 +0200xstill_(xstill@fimu/xstill) (Client Quit)
2025-10-13 10:52:30 +0200trickard(~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-13 10:52:44 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au)
2025-10-13 10:53:11 +0200xstill_(xstill@fimu/xstill) xstill
2025-10-13 10:57:04 +0200xstill_(xstill@fimu/xstill) (Client Quit)
2025-10-13 10:57:28 +0200xstill_(xstill@fimu/xstill) xstill
2025-10-13 11:00:07 +0200 <endokqr> This may be the wrong place to ask but I'll try anyway. I have a Haskell development shell set up with Nix, where I have managed to install the profiling-enabled versions of the libraries I depend on. However, when I try to cabal build an executable with profiling enabled, I still get errors relating to missing .p_dyn_hi files for a few libraries. Some Google searches indicate that GHC shouldn't
2025-10-13 11:00:10 +0200 <endokqr> be dynamically linking when running with profiling and that the error is a red herring. However, even if I add -static to ghc-flags in the Cabal file, I still get the same error. Am I misunderstanding something?
2025-10-13 11:01:46 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-13 11:02:49 +0200 <dminuoso> Besides, much of crypton(ites) is based on a single person who has abandoned the project.
2025-10-13 11:03:29 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au)
2025-10-13 11:03:50 +0200 <dminuoso> While Kazu Yamamoto has picked up the maintainer flag, there arent really any crypto folks around to actively work on this project
2025-10-13 11:04:19 +0200xstill_(xstill@fimu/xstill) (Quit: Ping timeout (120 seconds))
2025-10-13 11:05:30 +0200 <dminuoso> The state of crypton right now is, if you supplied a PR that satisfied the tests it would likely get accepted.
2025-10-13 11:06:00 +0200 <dminuoso> It's dead trivial to inject malicious backdoors of any kind right now.
2025-10-13 11:06:43 +0200 <dminuoso> This isn't critique on behalf of Kazu Yamamoto, mind you. He's just trying to keep it alive because a fair chunk of hackage depends on crypto(nite)
2025-10-13 11:07:31 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-10-13 11:07:48 +0200xstill_(xstill@fimu/xstill) xstill
2025-10-13 11:08:48 +0200img(~img@user/img) img
2025-10-13 11:13:36 +0200xstill_(xstill@fimu/xstill) (Quit: Ping timeout (120 seconds))
2025-10-13 11:16:22 +0200AlexNoo__(~AlexNoo@178.34.151.169)
2025-10-13 11:17:28 +0200xff0x(~xff0x@2405:6580:b080:900:842d:f141:edde:28dd) (Quit: xff0x)
2025-10-13 11:18:00 +0200AlexZenon(~alzenon@178.34.151.169) (Ping timeout: 256 seconds)
2025-10-13 11:19:42 +0200AlexNoo_(~AlexNoo@178.34.151.169) (Ping timeout: 256 seconds)
2025-10-13 11:21:39 +0200xff0x(~xff0x@2405:6580:b080:900:f3f6:c4a2:4d90:7f3d)
2025-10-13 11:22:11 +0200AlexZenon(~alzenon@178.34.151.169)
2025-10-13 11:25:16 +0200chele(~chele@user/chele) chele
2025-10-13 11:29:38 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-10-13 11:34:49 +0200trickard_trickard
2025-10-13 11:59:36 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 244 seconds)
2025-10-13 12:03:56 +0200gustrb(~gustrb@191.243.134.87)
2025-10-13 12:05:43 +0200dhil(~dhil@5.151.29.137) dhil
2025-10-13 12:06:42 +0200 <jackdk> The main guy who was working on the botan bindings has come back from hiatus, we should fund him to do another round of work
2025-10-13 12:09:05 +0200xstill_(xstill@fimu/xstill) xstill
2025-10-13 12:09:52 +0200 <Hecate> jackdk: I just read your blog post on Handles and free applicatives, well-written and well-done, thank you.
2025-10-13 12:10:42 +0200 <Hecate> jackdk: btw, don't hesitate to open discussion threads on the Effectful repo if you ever have some "exotic" use-cases / needs at Bellroy, we'd be happy to help you figure things out (and add stuff to make things easier)
2025-10-13 12:12:25 +0200xstill_(xstill@fimu/xstill) (Client Quit)
2025-10-13 12:12:31 +0200divlamir_(~divlamir@user/divlamir) divlamir
2025-10-13 12:12:46 +0200divlamir(~divlamir@user/divlamir) (Ping timeout: 246 seconds)
2025-10-13 12:13:21 +0200 <jackdk> Hecate: I'm glad you liked it. I personally really like effectful as I think it's closest to the sweet spot of type safety, performance, support for higher-order stuff, and zany type system features, but we'll see whether it's something we end up adopting at work. We try to keep an upper bound on the sort of Haskell that we write, and manual handles are an easier sell at this stage.
2025-10-13 12:13:22 +0200divlamir_divlamir
2025-10-13 12:14:09 +0200 <jackdk> (Hecate is referring to https://discourse.haskell.org/t/free-applicatives-the-handle-pattern-and-remote-systems/13110 . I'll probably send it to the other aggregators in the morning because I like to give d.h.o a head start)
2025-10-13 12:15:40 +0200 <Franciman> jackdk: do you use GADTs in your lib?
2025-10-13 12:16:26 +0200 <jackdk> Franciman: yeah OneQuery is a GADT, is that what you meant?
2025-10-13 12:16:42 +0200 <Franciman> can you do without GADTs?
2025-10-13 12:16:56 +0200 <Hecate> jackdk: my own question would be: Do you use GADTSyntax or do you need the local existential proofs?
2025-10-13 12:18:49 +0200 <jackdk> Franciman, Hecate: for internal reasons which might have been shaved off too much when writing that post, we do need to carry around the internal `FromJSON x` dictionary.
2025-10-13 12:19:50 +0200 <Hecate> jackdk: got it ;)
2025-10-13 12:20:10 +0200koz(~koz@121.99.240.58) (Ping timeout: 248 seconds)
2025-10-13 12:27:15 +0200koz(~koz@121.99.240.58)
2025-10-13 12:27:30 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-10-13 12:40:18 +0200merijn(~merijn@77.242.116.146) merijn
2025-10-13 12:47:04 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 246 seconds)
2025-10-13 12:53:44 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) (Server closed connection)
2025-10-13 12:53:56 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) Adeon
2025-10-13 12:55:39 +0200merijn(~merijn@77.242.116.146) merijn
2025-10-13 12:59:46 +0200 <Franciman> thanks jackdk
2025-10-13 13:00:32 +0200trickard(~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-13 13:00:44 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au)
2025-10-13 13:09:38 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds)
2025-10-13 13:10:31 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 246 seconds)
2025-10-13 13:12:38 +0200koz(~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in)
2025-10-13 13:13:55 +0200koz(~koz@121.99.240.58)
2025-10-13 13:16:22 +0200gustrb(~gustrb@191.243.134.87)
2025-10-13 13:22:04 +0200tromp(~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-13 13:28:38 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-10-13 13:32:38 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2025-10-13 13:33:09 +0200ec(~ec@gateway/tor-sasl/ec) ec
2025-10-13 13:35:08 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-10-13 13:35:41 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
2025-10-13 13:36:27 +0200Lord_of_Life_Lord_of_Life
2025-10-13 13:48:02 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-10-13 13:48:43 +0200koz(~koz@121.99.240.58) (Ping timeout: 256 seconds)
2025-10-13 13:53:31 +0200koz(~koz@121.99.240.58)
2025-10-13 13:59:45 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-13 14:01:11 +0200annamalai(~annamalai@157.32.200.178) (Ping timeout: 256 seconds)
2025-10-13 14:09:06 +0200Square(~Square4@user/square) Square
2025-10-13 14:09:42 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-10-13 14:33:06 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-10-13 14:37:28 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-10-13 14:38:59 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-13 14:39:13 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au)
2025-10-13 14:48:25 +0200tromp(~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08)
2025-10-13 14:55:32 +0200annamalai(~annamalai@157.32.207.163) annamalai
2025-10-13 15:02:07 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-10-13 15:12:41 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-13 15:12:55 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au)
2025-10-13 15:14:34 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) (Server closed connection)
2025-10-13 15:14:46 +0200Adeon(sid418992@id-418992.lymington.irccloud.com) Adeon
2025-10-13 15:15:23 +0200inline(~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection)
2025-10-13 15:16:42 +0200notzmv(~umar@user/notzmv) (Ping timeout: 248 seconds)
2025-10-13 15:25:04 +0200AlexNoo__AlexNoo
2025-10-13 15:25:18 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-10-13 15:33:59 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-10-13 15:42:25 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 246 seconds)
2025-10-13 15:45:39 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au)
2025-10-13 15:55:14 +0200arandombit(~arandombi@2603:7000:4600:ffbe:8589:be74:10dc:2ca0)
2025-10-13 15:55:15 +0200arandombit(~arandombi@2603:7000:4600:ffbe:8589:be74:10dc:2ca0) (Changing host)
2025-10-13 15:55:15 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-10-13 15:59:54 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2025-10-13 16:02:27 +0200FANTOM(~fantom@87.75.184.126) (Ping timeout: 256 seconds)
2025-10-13 16:04:02 +0200arandombit(~arandombi@2603:7000:4600:ffbe:8589:be74:10dc:2ca0)
2025-10-13 16:04:02 +0200arandombit(~arandombi@2603:7000:4600:ffbe:8589:be74:10dc:2ca0) (Changing host)
2025-10-13 16:04:02 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-10-13 16:08:42 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-10-13 16:21:33 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-10-13 16:26:50 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-10-13 16:28:57 +0200Zemy(~Zemy@2600:100c:b045:1ae5:e865:54ff:fead:5d2e)
2025-10-13 16:31:42 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Remote host closed the connection)
2025-10-13 16:31:55 +0200Zemy_(~Zemy@syn-076-184-041-021.res.spectrum.com) (Ping timeout: 256 seconds)
2025-10-13 16:33:31 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-10-13 16:35:46 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-10-13 16:35:46 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-10-13 16:35:47 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-10-13 16:35:59 +0200chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-10-13 16:36:03 +0200califax(~califax@user/califx) califx
2025-10-13 16:41:30 +0200Zemy_(~Zemy@syn-076-184-041-021.res.spectrum.com)
2025-10-13 16:44:58 +0200Zemy(~Zemy@2600:100c:b045:1ae5:e865:54ff:fead:5d2e) (Ping timeout: 256 seconds)
2025-10-13 16:45:15 +0200fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-10-13 16:45:56 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-10-13 16:46:59 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-10-13 16:47:40 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Read error: Connection reset by peer)
2025-10-13 16:47:55 +0200fp(~Thunderbi@130.233.70.16) fp
2025-10-13 16:48:08 +0200SlackCoder(~SlackCode@remote.nationalgallery.org.ky) SlackCoder
2025-10-13 16:49:22 +0200SlackCoder(~SlackCode@remote.nationalgallery.org.ky) (Remote host closed the connection)
2025-10-13 16:49:46 +0200SlackCoder(~SlackCode@remote.nationalgallery.org.ky) SlackCoder
2025-10-13 16:56:51 +0200tromp(~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-13 16:58:47 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-10-13 17:00:03 +0200fp(~Thunderbi@130.233.70.16) (Remote host closed the connection)
2025-10-13 17:04:26 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds)
2025-10-13 17:05:13 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-13 17:14:19 +0200Zemy(~Zemy@2600:100c:b045:1ae5:b05d:97ff:fe48:f949)