| 2025-10-13 00:04:34 +0200 | karenw | (~karenw@user/karenw) (Remote host closed the connection) |
| 2025-10-13 00:06:10 +0200 | karenw | (~karenw@user/karenw) karenw |
| 2025-10-13 00:21:14 +0200 | semifunctor | (~omnifunct@user/semifunctor) (Server closed connection) |
| 2025-10-13 00:22:08 +0200 | semifunctor | (~omnifunct@user/semifunctor) omnifunctor |
| 2025-10-13 00:26:12 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-13 00:28:18 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-10-13 00:32:25 +0200 | juri_ | (~juri@implicitcad.org) (Ping timeout: 264 seconds) |
| 2025-10-13 00:33:53 +0200 | juri_ | (~juri@178.20.94.63) juri_ |
| 2025-10-13 00:35:28 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-13 00:37:15 +0200 | Zemy | (~Zemy@mobile-107-80-206-40.mycingular.net) |
| 2025-10-13 00:38:29 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-10-13 00:39:22 +0200 | Zemy_ | (~Zemy@2600:100c:b031:79b8:acae:caff:fe6d:bffd) (Ping timeout: 256 seconds) |
| 2025-10-13 00:43:02 +0200 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) (Ping timeout: 256 seconds) |
| 2025-10-13 00:43:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
| 2025-10-13 00:44:27 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-10-13 00:51:23 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-13 00:51:37 +0200 | Zemy_ | (~Zemy@2600:100c:b031:79b8:4c6f:59ff:fe3d:9dc3) |
| 2025-10-13 00:51:37 +0200 | Zemy | (~Zemy@mobile-107-80-206-40.mycingular.net) (Read error: Connection reset by peer) |
| 2025-10-13 00:52:12 +0200 | Zemy | (~Zemy@mobile-107-80-206-40.mycingular.net) |
| 2025-10-13 00:53:13 +0200 | Zemy_ | (~Zemy@2600:100c:b031:79b8:4c6f:59ff:fe3d:9dc3) (Read error: Connection reset by peer) |
| 2025-10-13 00:53:22 +0200 | Zemy_ | (~Zemy@2600:100c:b031:79b8:740c:22ff:feca:3777) |
| 2025-10-13 00:55:10 +0200 | bgg | (~bgg@2a01:e0a:819:1510:fb4f:9766:e660:dbd5) (Remote host closed the connection) |
| 2025-10-13 00:56:13 +0200 | Zemy | (~Zemy@mobile-107-80-206-40.mycingular.net) (Ping timeout: 246 seconds) |
| 2025-10-13 00:57:04 +0200 | Zemy | (~Zemy@mobile-107-80-206-16.mycingular.net) |
| 2025-10-13 01:00:12 +0200 | Zemy_ | (~Zemy@2600:100c:b031:79b8:740c:22ff:feca:3777) (Ping timeout: 260 seconds) |
| 2025-10-13 01:00:30 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-10-13 01:01:21 +0200 | tccq | (~user@user/tccq) tccq |
| 2025-10-13 01:01:51 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-13 01:03:25 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-10-13 01:13:24 +0200 | Zemy_ | (~Zemy@2600:100c:b031:79b8:547b:9ff:feae:d218) |
| 2025-10-13 01:15:22 +0200 | Zemy | (~Zemy@mobile-107-80-206-16.mycingular.net) (Ping timeout: 260 seconds) |
| 2025-10-13 01:17:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 01:17:46 +0200 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) |
| 2025-10-13 01:19:20 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal) |
| 2025-10-13 01:19:39 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-13 01:22:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-13 01:25:26 +0200 | Zemy | (~Zemy@syn-072-176-124-082.res.spectrum.com) |
| 2025-10-13 01:26:58 +0200 | Zemy_ | (~Zemy@2600:100c:b031:79b8:547b:9ff:feae:d218) (Ping timeout: 256 seconds) |
| 2025-10-13 01:29:47 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2025-10-13 01:30:15 +0200 | Zemy_ | (~Zemy@2600:100c:b031:79b8:c843:b5ff:fe7e:a5db) |
| 2025-10-13 01:30:15 +0200 | Zemy | (~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-10-13 01:30:50 +0200 | Zemy | (~Zemy@syn-072-176-124-082.res.spectrum.com) |
| 2025-10-13 01:32:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 01:34:52 +0200 | Core1835 | (~Zemy@2600:100c:b031:79b8:182c:57ff:fe16:365a) |
| 2025-10-13 01:34:52 +0200 | Zemy | (~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-10-13 01:34:54 +0200 | Zemy_ | (~Zemy@2600:100c:b031:79b8:c843:b5ff:fe7e:a5db) (Ping timeout: 256 seconds) |
| 2025-10-13 01:35:50 +0200 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich |
| 2025-10-13 01:36:11 +0200 | Zemy | (~Zemy@syn-072-176-124-082.res.spectrum.com) |
| 2025-10-13 01:36:31 +0200 | vetkat | (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 2025-10-13 01:36:52 +0200 | vetkat | (~vetkat@user/vetkat) vetkat |
| 2025-10-13 01:37:25 +0200 | Core1835 | (~Zemy@2600:100c:b031:79b8:182c:57ff:fe16:365a) (Read error: Connection reset by peer) |
| 2025-10-13 01:37:57 +0200 | Zemy_ | (~Zemy@2600:100c:b031:79b8:7040:4eff:fe92:fccf) |
| 2025-10-13 01:37:57 +0200 | Zemy | (~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-10-13 01:38:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-13 01:38:32 +0200 | Zemy | (~Zemy@syn-072-176-124-082.res.spectrum.com) |
| 2025-10-13 01:40:55 +0200 | Core4561 | (~Zemy@2600:100c:b031:79b8:e03a:36ff:fec0:cb26) |
| 2025-10-13 01:40:55 +0200 | Zemy | (~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-10-13 01:41:33 +0200 | Zemy_ | (~Zemy@2600:100c:b031:79b8:7040:4eff:fe92:fccf) (Read error: Connection reset by peer) |
| 2025-10-13 01:42:48 +0200 | Zemy | (~Zemy@syn-072-176-124-082.res.spectrum.com) |
| 2025-10-13 01:42:57 +0200 | Core4561 | (~Zemy@2600:100c:b031:79b8:e03a:36ff:fec0:cb26) (Read error: Connection reset by peer) |
| 2025-10-13 01:50:45 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 245 seconds) |
| 2025-10-13 01:51:31 +0200 | acidjnk | (~acidjnk@p200300d6e717191975703e7db5c33433.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-10-13 01:52:34 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
| 2025-10-13 01:56:14 +0200 | fired | (la@2600:3c00::f03c:92ff:fee3:aace) (Server closed connection) |
| 2025-10-13 01:56:35 +0200 | fired | (~la@173-255-196-82.ip.linodeusercontent.com) |
| 2025-10-13 02:02:57 +0200 | xstill_ | (xstill@fimu/xstill) (Quit: Ping timeout (120 seconds)) |
| 2025-10-13 02:03:46 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 246 seconds) |
| 2025-10-13 02:04:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 02:06:03 +0200 | xstill_ | (xstill@fimu/xstill) xstill |
| 2025-10-13 02:09:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-13 02:13:21 +0200 | xstill_ | (xstill@fimu/xstill) (Quit: Ping timeout (120 seconds)) |
| 2025-10-13 02:13:30 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-10-13 02:14:43 +0200 | comonad | (~comonad@p200300d02711d0004b6eb519787385cb.dip0.t-ipconnect.de) |
| 2025-10-13 02:14:54 +0200 | xstill_ | (xstill@fimu/xstill) xstill |
| 2025-10-13 02:15:24 +0200 | hellwolf | (~user@78fb-20dc-c388-7329-0f00-4d40-07d0-2001.sta.estpak.ee) (Server closed connection) |
| 2025-10-13 02:15:38 +0200 | hellwolf | (~user@4587-67e8-8a9c-b55b-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2025-10-13 02:16:26 +0200 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-10-13 02:20:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 02:20:42 +0200 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-10-13 02:27:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-13 02:34:03 +0200 | Zemy_ | (~Zemy@syn-072-176-124-082.res.spectrum.com) |
| 2025-10-13 02:34:04 +0200 | Zemy | (~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-10-13 02:36:33 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-10-13 02:38:21 +0200 | xstill_ | (xstill@fimu/xstill) (Quit: Ping timeout (120 seconds)) |
| 2025-10-13 02:38:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 02:41:15 +0200 | xstill_ | (xstill@fimu/xstill) xstill |
| 2025-10-13 02:43:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-13 02:43:30 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-10-13 02:43:45 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-10-13 02:49:07 +0200 | otto_s | (~user@p5b044eb9.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-10-13 02:50:38 +0200 | otto_s | (~user@p4ff2701e.dip0.t-ipconnect.de) |
| 2025-10-13 02:54:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 02:57:02 +0200 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich |
| 2025-10-13 02:59:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-13 03:00:15 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-10-13 03:00:37 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-13 03:00:51 +0200 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (Remote host closed the connection) |
| 2025-10-13 03:01:41 +0200 | AlexNoo_ | (~AlexNoo@178.34.151.169) |
| 2025-10-13 03:02:08 +0200 | rubin55 | (sid666180@id-666180.ilkley.irccloud.com) (Ping timeout: 260 seconds) |
| 2025-10-13 03:02:09 +0200 | AlexNoo | (~AlexNoo@178.34.151.169) (Read error: Connection reset by peer) |
| 2025-10-13 03:02:43 +0200 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 260 seconds) |
| 2025-10-13 03:02:44 +0200 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2025-10-13 03:03:01 +0200 | mniip | (mniip@libera/staff/mniip) (Quit: This page is intentionally left blank) |
| 2025-10-13 03:03:14 +0200 | mniip | (mniip@libera/staff/mniip) mniip |
| 2025-10-13 03:03:17 +0200 | rekahsoft | (~rekahsoft@70.51.99.245) (Ping timeout: 260 seconds) |
| 2025-10-13 03:04:35 +0200 | vetkat | (~vetkat@user/vetkat) (Quit: Ping timeout (120 seconds)) |
| 2025-10-13 03:04:59 +0200 | vetkat | (~vetkat@user/vetkat) vetkat |
| 2025-10-13 03:05:02 +0200 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 260 seconds) |
| 2025-10-13 03:05:02 +0200 | Kamuela | (sid111576@id-111576.tinside.irccloud.com) (Ping timeout: 260 seconds) |
| 2025-10-13 03:05:21 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-10-13 03:05:24 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-10-13 03:06:05 +0200 | rubin55 | (sid666180@id-666180.ilkley.irccloud.com) rubin55 |
| 2025-10-13 03:07:48 +0200 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2025-10-13 03:08:09 +0200 | Square3 | (~Square@user/square) Square |
| 2025-10-13 03:08:31 +0200 | Kamuela | (sid111576@id-111576.tinside.irccloud.com) Kamuela |
| 2025-10-13 03:09:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 03:10:20 +0200 | APic | (apic@apic.name) (Ping timeout: 256 seconds) |
| 2025-10-13 03:10:20 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 256 seconds) |
| 2025-10-13 03:10:20 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) (Ping timeout: 256 seconds) |
| 2025-10-13 03:11:32 +0200 | tccq` | (~user@71.227.230.155) |
| 2025-10-13 03:11:47 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) tolt |
| 2025-10-13 03:11:48 +0200 | craunts79533538 | (~craunts@136.158.7.194) |
| 2025-10-13 03:13:20 +0200 | cipherrot | (~jez@user/petrichor) petrichor |
| 2025-10-13 03:13:59 +0200 | opqdonut1_ | (opqdonut@pseudo.fixme.fi) |
| 2025-10-13 03:14:01 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Read error: Connection reset by peer) |
| 2025-10-13 03:14:01 +0200 | Square2 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-10-13 03:14:01 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 256 seconds) |
| 2025-10-13 03:14:01 +0200 | inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2025-10-13 03:14:01 +0200 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (Ping timeout: 256 seconds) |
| 2025-10-13 03:14:01 +0200 | yin | (~zero@user/zero) (Ping timeout: 256 seconds) |
| 2025-10-13 03:14:01 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-10-13 03:14:01 +0200 | tccq | (~user@user/tccq) (Ping timeout: 256 seconds) |
| 2025-10-13 03:14:01 +0200 | sweater3 | (~sweater@206.81.18.26) (Ping timeout: 256 seconds) |
| 2025-10-13 03:14:01 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 256 seconds) |
| 2025-10-13 03:14:01 +0200 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (Ping timeout: 256 seconds) |
| 2025-10-13 03:14:01 +0200 | petrichor | (~jez@user/petrichor) (Ping timeout: 256 seconds) |
| 2025-10-13 03:14:01 +0200 | FANTOM | (~fantom@87.75.184.126) (Ping timeout: 256 seconds) |
| 2025-10-13 03:14:01 +0200 | malte | (~malte@mal.tc) (Ping timeout: 256 seconds) |
| 2025-10-13 03:14:01 +0200 | xstill_ | (xstill@fimu/xstill) (Ping timeout: 256 seconds) |
| 2025-10-13 03:14:03 +0200 | craunts7953353 | (~craunts@136.158.7.194) (Ping timeout: 256 seconds) |
| 2025-10-13 03:14:04 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-10-13 03:14:14 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2025-10-13 03:14:14 +0200 | ChanServ | +v lambdabot |
| 2025-10-13 03:14:46 +0200 | endokqr | (~kqr@irc-1.xkqr.org) |
| 2025-10-13 03:15:23 +0200 | sweater3 | (~sweater@206.81.18.26) sweater |
| 2025-10-13 03:15:25 +0200 | firesquidwao | (~a@put.gay) |
| 2025-10-13 03:15:39 +0200 | xstill_ | (xstill@fimu/xstill) xstill |
| 2025-10-13 03:15:57 +0200 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) Arsen |
| 2025-10-13 03:16:42 +0200 | ggb_ | (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 2025-10-13 03:16:45 +0200 | Hobbyboy|BNC | (Hobbyboy@hobbyboy.co.uk) Hobbyboy |
| 2025-10-13 03:16:53 +0200 | op_4_ | (~tslil@2a01:4f8:c0c:7952::1) |
| 2025-10-13 03:16:56 +0200 | caconym7478798 | (~caconym@user/caconym) caconym |
| 2025-10-13 03:17:29 +0200 | bw_ | (sid2730@user/betawaffle) betawaffle |
| 2025-10-13 03:17:36 +0200 | edwardk | (sid47016@haskell/developer/edwardk) (Ping timeout: 246 seconds) |
| 2025-10-13 03:17:36 +0200 | opqdonut__ | (opqdonut@pseudo.fixme.fi) (Ping timeout: 246 seconds) |
| 2025-10-13 03:17:36 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Ping timeout: 246 seconds) |
| 2025-10-13 03:17:36 +0200 | kqr | (~kqr@irc-1.xkqr.org) (Ping timeout: 246 seconds) |
| 2025-10-13 03:17:36 +0200 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 246 seconds) |
| 2025-10-13 03:17:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-13 03:17:36 +0200 | bw | (sid2730@user/betawaffle) (Ping timeout: 246 seconds) |
| 2025-10-13 03:17:36 +0200 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 246 seconds) |
| 2025-10-13 03:17:36 +0200 | tuxpaint | (~a@2600:3c06::f03c:93ff:fea6:ef0e) (Ping timeout: 246 seconds) |
| 2025-10-13 03:17:36 +0200 | op_4_ | op_4 |
| 2025-10-13 03:17:36 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 246 seconds) |
| 2025-10-13 03:17:36 +0200 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) (Ping timeout: 246 seconds) |
| 2025-10-13 03:17:36 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Ping timeout: 246 seconds) |
| 2025-10-13 03:17:36 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-10-13 03:17:36 +0200 | Ekho | (~Ekho@user/ekho) (Ping timeout: 246 seconds) |
| 2025-10-13 03:17:36 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (Ping timeout: 246 seconds) |
| 2025-10-13 03:17:36 +0200 | tnks | (sid412124@id-412124.helmsley.irccloud.com) (Ping timeout: 246 seconds) |
| 2025-10-13 03:17:36 +0200 | Kamuela | (sid111576@id-111576.tinside.irccloud.com) (Ping timeout: 246 seconds) |
| 2025-10-13 03:17:36 +0200 | ggb_ | ggb |
| 2025-10-13 03:17:36 +0200 | edwardk | (sid47016@id-47016.ilkley.irccloud.com) |
| 2025-10-13 03:17:36 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2025-10-13 03:17:36 +0200 | edwardk | (sid47016@id-47016.ilkley.irccloud.com) (Changing host) |
| 2025-10-13 03:17:36 +0200 | edwardk | (sid47016@haskell/developer/edwardk) edwardk |
| 2025-10-13 03:17:37 +0200 | bw_ | bw |
| 2025-10-13 03:17:37 +0200 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) (Ping timeout: 246 seconds) |
| 2025-10-13 03:17:43 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-13 03:17:58 +0200 | caconym747879 | (~caconym@user/caconym) (Ping timeout: 246 seconds) |
| 2025-10-13 03:17:59 +0200 | caconym7478798 | caconym747879 |
| 2025-10-13 03:18:15 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
| 2025-10-13 03:18:17 +0200 | Kamuela | (sid111576@id-111576.tinside.irccloud.com) Kamuela |
| 2025-10-13 03:18:21 +0200 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) |
| 2025-10-13 03:18:31 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-13 03:18:34 +0200 | inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-13 03:18:57 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-10-13 03:19:50 +0200 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) Jonno_FTW |
| 2025-10-13 03:20:14 +0200 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) thatonelutenist |
| 2025-10-13 03:20:27 +0200 | tnks | (sid412124@id-412124.helmsley.irccloud.com) tnks |
| 2025-10-13 03:20:28 +0200 | FANTOM | (~fantom@87.75.184.126) |
| 2025-10-13 03:21:03 +0200 | Hobbyboy|BNC | Hobbyboy |
| 2025-10-13 03:22:59 +0200 | malte | (~malte@mal.tc) malte |
| 2025-10-13 03:23:46 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-10-13 03:23:48 +0200 | APic | (apic@apic.name) APic |
| 2025-10-13 03:25:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 03:28:01 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-10-13 03:28:50 +0200 | yin | (~zero@user/zero) zero |
| 2025-10-13 03:29:17 +0200 | Ekho | (~Ekho@user/ekho) Ekho |
| 2025-10-13 03:29:32 +0200 | peterbecich | (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-10-13 03:30:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-13 03:30:50 +0200 | bgg | (~bgg@2a01:e0a:819:1510:dced:9a5:b1e2:242) |
| 2025-10-13 03:32:20 +0200 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-13 03:32:33 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-10-13 03:39:53 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-13 03:40:24 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-13 03:41:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 03:42:58 +0200 | Zemy | (~Zemy@2600:100c:b031:79b8:de:c7ff:fe58:2d6c) |
| 2025-10-13 03:43:09 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-10-13 03:45:16 +0200 | Zemy_ | (~Zemy@syn-072-176-124-082.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-10-13 03:46:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-13 03:57:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 04:01:19 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-13 04:03:55 +0200 | Zemy_ | (~Zemy@syn-072-176-124-082.res.spectrum.com) |
| 2025-10-13 04:04:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-13 04:07:54 +0200 | Zemy | (~Zemy@2600:100c:b031:79b8:de:c7ff:fe58:2d6c) (Ping timeout: 256 seconds) |
| 2025-10-13 04:13:00 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-10-13 04:15:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 04:20:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-13 04:26:45 +0200 | tccq` | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 04:34:34 +0200 | itaipu | (~itaipu@168.121.97.28) (Server closed connection) |
| 2025-10-13 04:35:10 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-10-13 04:35:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-13 04:36:37 +0200 | td_ | (~td@i53870922.versanet.de) (Ping timeout: 260 seconds) |
| 2025-10-13 04:38:10 +0200 | td_ | (~td@i53870910.versanet.de) td_ |
| 2025-10-13 04:46:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 04:51:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-13 05:01:43 +0200 | xff0x | (~xff0x@2405:6580:b080:900:bf36:cbe4:ef57:7a58) (Ping timeout: 255 seconds) |
| 2025-10-13 05:02:24 +0200 | tapas | (sid467876@id-467876.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-10-13 05:02:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 05:03:33 +0200 | mvk | (~mvk@2607:fea8:5c9d:ee00::3da2) mvk |
| 2025-10-13 05:03:34 +0200 | mvk | (~mvk@2607:fea8:5c9d:ee00::3da2) (Client Quit) |
| 2025-10-13 05:03:45 +0200 | xff0x | (~xff0x@2405:6580:b080:900:842d:f141:edde:28dd) |
| 2025-10-13 05:04:34 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Server closed connection) |
| 2025-10-13 05:05:03 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) Adeon |
| 2025-10-13 05:07:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-13 05:09:17 +0200 | anpad | (~pandeyan@user/anpad) (Ping timeout: 260 seconds) |
| 2025-10-13 05:13:14 +0200 | Lord_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 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-13 05:13:36 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-13 05:13:52 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-13 05:18:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 05:22:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-13 05:28:32 +0200 | Square3 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-10-13 05:32:39 +0200 | craunts79533538 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-13 05:33:37 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-13 05:34:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 05:36:40 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-13 05:40:48 +0200 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-10-13 05:40:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-13 05:49:27 +0200 | jjhoo | (~jahakala@user/jjhoo) (Ping timeout: 244 seconds) |
| 2025-10-13 05:49:27 +0200 | trickard_ | trickard |
| 2025-10-13 05:49:34 +0200 | jjhoo | (~jahakala@user/jjhoo) jjhoo |
| 2025-10-13 05:52:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 05:56:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-13 05:59:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 06:00:59 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-10-13 06:01:09 +0200 | williu5 | (~williu5@user/williu5) williu5 |
| 2025-10-13 06:02:34 +0200 | karenw | (~karenw@user/karenw) (Ping timeout: 248 seconds) |
| 2025-10-13 06:02:47 +0200 | williu5 | (~williu5@user/williu5) (Client Quit) |
| 2025-10-13 06:03:52 +0200 | williu5 | (~williu5@user/williu5) williu5 |
| 2025-10-13 06:04:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-13 06:14:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 06:18:13 +0200 | Zemy_ | (~Zemy@syn-072-176-124-082.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-10-13 06:19:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-13 06:21:37 +0200 | cipherrot | (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 2025-10-13 06:21:58 +0200 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-10-13 06:25:08 +0200 | synchrom1 | (~john@2406:5a00:2412:2c00:94c0:b471:5a7e:6f3a) (Read error: Connection reset by peer) |
| 2025-10-13 06:26:13 +0200 | synchromesh | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 06:35:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-13 06:46:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 06:46:40 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-10-13 06:51:00 +0200 | michalz | (~michalz@185.246.207.205) |
| 2025-10-13 06:51:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-13 06:51:39 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-10-13 06:59:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 07:04:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-13 07:15:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 07:20:16 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (Ping timeout: 256 seconds) |
| 2025-10-13 07:22:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-13 07:22:35 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) SrPx |
| 2025-10-13 07:27:15 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-10-13 07:33:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 07:38:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-13 07:46:14 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Server closed connection) |
| 2025-10-13 07:46:26 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) Adeon |
| 2025-10-13 07:49:30 +0200 | mal1 | lieven |
| 2025-10-13 07:49:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 07:54:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-13 07:59:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 08:04:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-13 08:10:34 +0200 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 246 seconds) |
| 2025-10-13 08:10:51 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-10-13 08:15:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 08:20:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-13 08:30:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 08:33:01 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-10-13 08:35:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-13 08:46:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 08:49:12 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 260 seconds) |
| 2025-10-13 08:50:10 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-10-13 08:51:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-13 09:00:03 +0200 | caconym747879 | (~caconym@user/caconym) (Quit: bye) |
| 2025-10-13 09:00:42 +0200 | caconym7478798 | (~caconym@user/caconym) caconym |
| 2025-10-13 09:01:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-13 09:03:08 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-10-13 09:06:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-13 09:06:07 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08) |
| 2025-10-13 09:08:18 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-10-13 09:16:44 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-13 09:20:55 +0200 | craunts79533538 | (~craunts@136.158.7.194) |
| 2025-10-13 09:23:08 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-13 09:42:30 +0200 | annamalai | (~annamalai@157.32.200.178) (Ping timeout: 256 seconds) |
| 2025-10-13 09:42:58 +0200 | annamalai | (~annamalai@157.32.200.178) annamalai |
| 2025-10-13 09:43:19 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2025-10-13 09:44:38 +0200 | ZLima12_ | ZLima12 |
| 2025-10-13 09:50:11 +0200 | Zemy | (~Zemy@2600:100c:b0a0:ef26:645d:40ff:fe60:28b8) |
| 2025-10-13 09:50:33 +0200 | gustrb | (~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 +0200 | acidjnk | (~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 +0200 | gustrb | (~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 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-13 10:06:12 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 260 seconds) |
| 2025-10-13 10:06:58 +0200 | merijn | (~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 +0200 | Enrico63 | (~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 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Server closed connection) |
| 2025-10-13 10:17:16 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) Adeon |
| 2025-10-13 10:17:33 +0200 | gustrb | (~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 +0200 | Zemy_ | (~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 +0200 | merijn | (~merijn@77.242.116.146) (Quit: Reconnecting) |
| 2025-10-13 10:21:02 +0200 | merijn | (~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 +0200 | Zemy | (~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 +0200 | fp | (~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 +0200 | bitterx | (~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 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:3507:235a:4a6c:ccc6) (Read error: Connection reset by peer) |
| 2025-10-13 10:35:53 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:3507:235a:4a6c:ccc6) synchromesh |
| 2025-10-13 10:36:23 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-13 10:38:19 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-10-13 10:39:18 +0200 | chromoblob | (~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 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-13 10:43:13 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-13 10:44:48 +0200 | xstill_ | (xstill@fimu/xstill) (Quit: Ping timeout (120 seconds)) |
| 2025-10-13 10:46:09 +0200 | xstill_ | (xstill@fimu/xstill) xstill |
| 2025-10-13 10:47:00 +0200 | xstill_ | (xstill@fimu/xstill) (Client Quit) |
| 2025-10-13 10:47:29 +0200 | xstill_ | (xstill@fimu/xstill) xstill |
| 2025-10-13 10:51:57 +0200 | xstill_ | (xstill@fimu/xstill) (Client Quit) |
| 2025-10-13 10:52:30 +0200 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-13 10:52:44 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-10-13 10:53:11 +0200 | xstill_ | (xstill@fimu/xstill) xstill |
| 2025-10-13 10:57:04 +0200 | xstill_ | (xstill@fimu/xstill) (Client Quit) |
| 2025-10-13 10:57:28 +0200 | xstill_ | (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 +0200 | trickard_ | (~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 +0200 | trickard_ | (~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 +0200 | xstill_ | (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 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-13 11:07:48 +0200 | xstill_ | (xstill@fimu/xstill) xstill |
| 2025-10-13 11:08:48 +0200 | img | (~img@user/img) img |
| 2025-10-13 11:13:36 +0200 | xstill_ | (xstill@fimu/xstill) (Quit: Ping timeout (120 seconds)) |
| 2025-10-13 11:16:22 +0200 | AlexNoo__ | (~AlexNoo@178.34.151.169) |
| 2025-10-13 11:17:28 +0200 | xff0x | (~xff0x@2405:6580:b080:900:842d:f141:edde:28dd) (Quit: xff0x) |
| 2025-10-13 11:18:00 +0200 | AlexZenon | (~alzenon@178.34.151.169) (Ping timeout: 256 seconds) |
| 2025-10-13 11:19:42 +0200 | AlexNoo_ | (~AlexNoo@178.34.151.169) (Ping timeout: 256 seconds) |
| 2025-10-13 11:21:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f3f6:c4a2:4d90:7f3d) |
| 2025-10-13 11:22:11 +0200 | AlexZenon | (~alzenon@178.34.151.169) |
| 2025-10-13 11:25:16 +0200 | chele | (~chele@user/chele) chele |
| 2025-10-13 11:29:38 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-10-13 11:34:49 +0200 | trickard_ | trickard |
| 2025-10-13 11:59:36 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 244 seconds) |
| 2025-10-13 12:03:56 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-13 12:05:43 +0200 | dhil | (~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 +0200 | xstill_ | (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 +0200 | xstill_ | (xstill@fimu/xstill) (Client Quit) |
| 2025-10-13 12:12:31 +0200 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2025-10-13 12:12:46 +0200 | divlamir | (~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 +0200 | divlamir_ | 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 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 248 seconds) |
| 2025-10-13 12:27:15 +0200 | koz | (~koz@121.99.240.58) |
| 2025-10-13 12:27:30 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-10-13 12:40:18 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-13 12:47:04 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-10-13 12:53:44 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Server closed connection) |
| 2025-10-13 12:53:56 +0200 | Adeon | (sid418992@id-418992.lymington.irccloud.com) Adeon |
| 2025-10-13 12:55:39 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-13 12:59:46 +0200 | <Franciman> | thanks jackdk |
| 2025-10-13 13:00:32 +0200 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-13 13:00:44 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-10-13 13:09:38 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-10-13 13:10:31 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 246 seconds) |
| 2025-10-13 13:12:38 +0200 | koz | (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-13 13:13:55 +0200 | koz | (~koz@121.99.240.58) |
| 2025-10-13 13:16:22 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-13 13:22:04 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-13 13:28:38 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-13 13:32:38 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2025-10-13 13:33:09 +0200 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-10-13 13:35:08 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-13 13:35:41 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2025-10-13 13:36:27 +0200 | Lord_of_Life_ | Lord_of_Life |