2025/04/25

2025-04-25 00:00:14 +0200dhil(~dhil@5.151.29.139) (Ping timeout: 265 seconds)
2025-04-25 00:02:39 +0200Leary(~Leary@user/Leary/x-0910699) (Remote host closed the connection)
2025-04-25 00:04:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-25 00:06:34 +0200tromp(~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-25 00:10:28 +0200Leary(~Leary@user/Leary/x-0910699) Leary
2025-04-25 00:12:12 +0200 <ski> `~x' is allowed
2025-04-25 00:16:15 +0200sprotte24(~sprotte24@p200300d16f39dc0021da69fc15788ac5.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-04-25 00:24:37 +0200 <EvanR> negative 3 is really spelled ~3 in ML?
2025-04-25 00:26:01 +0200 <mauke> Plankalkül, anyone?
2025-04-25 00:31:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 00:31:39 +0200haritzondo(~hrtz@user/haritz) (Ping timeout: 245 seconds)
2025-04-25 00:34:15 +0200haritz(~hrtz@152.37.68.178)
2025-04-25 00:36:00 +0200haritz(~hrtz@152.37.68.178) (Changing host)
2025-04-25 00:36:00 +0200haritz(~hrtz@user/haritz) haritz
2025-04-25 00:38:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-25 00:43:08 +0200__jmcantrell__(~weechat@user/jmcantrell) jmcantrell
2025-04-25 00:46:52 +0200Googulator(~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed)
2025-04-25 00:47:08 +0200Googulator(~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu)
2025-04-25 00:48:32 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-04-25 00:48:52 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-04-25 00:49:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 00:52:44 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-04-25 00:52:44 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-04-25 00:54:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-25 00:55:59 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-04-25 00:56:00 +0200notdabs(~Owner@2600:1700:69cf:9000:2536:b9c0:17b2:7e40) (Quit: Leaving)
2025-04-25 00:56:10 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-04-25 00:56:53 +0200xff0x(~xff0x@2405:6580:b080:900:9b42:d2bd:373e:abf7) (Ping timeout: 248 seconds)
2025-04-25 00:58:57 +0200xff0x(~xff0x@2405:6580:b080:900:9b42:d2bd:373e:abf7)
2025-04-25 01:03:04 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-04-25 01:04:40 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-04-25 01:05:00 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-04-25 01:05:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 01:07:59 +0200califax_(~califax@user/califx) califx
2025-04-25 01:08:00 +0200califax(~califax@user/califx) (Ping timeout: 264 seconds)
2025-04-25 01:08:26 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-04-25 01:09:14 +0200califax_califax
2025-04-25 01:10:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-25 01:21:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 01:26:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-25 01:35:37 +0200__jmcantrell__(~weechat@user/jmcantrell) (Quit: WeeChat 4.6.1)
2025-04-25 01:36:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 01:40:22 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-04-25 01:42:02 +0200jespada_(~jespada@r167-61-222-92.dialup.adsl.anteldata.net.uy) jespada
2025-04-25 01:42:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-25 01:44:24 +0200Googulator(~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed)
2025-04-25 01:44:40 +0200Googulator(~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu)
2025-04-25 01:45:09 +0200jespada(~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds)
2025-04-25 01:45:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 01:49:30 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-04-25 01:49:56 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-04-25 01:50:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-25 01:58:43 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-04-25 01:58:52 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-25 02:00:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 02:04:58 +0200jespada_(~jespada@r167-61-222-92.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds)
2025-04-25 02:05:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-25 02:06:42 +0200notdabs(~Owner@2600:1700:69cf:9000:2536:b9c0:17b2:7e40)
2025-04-25 02:16:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 02:21:28 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2025-04-25 02:22:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-25 02:25:38 +0200bitmapper(uid464869@id-464869.lymington.irccloud.com) bitmapper
2025-04-25 02:28:12 +0200Googulator(~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed)
2025-04-25 02:28:25 +0200Googulator(~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu)
2025-04-25 02:31:39 +0200xff0x(~xff0x@2405:6580:b080:900:9b42:d2bd:373e:abf7) (Ping timeout: 245 seconds)
2025-04-25 02:33:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 02:38:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-25 02:40:29 +0200weary-traveler(~user@user/user363627) user363627
2025-04-25 02:43:50 +0200otto_s(~user@p4ff274cd.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-04-25 02:45:33 +0200otto_s(~user@p4ff2799b.dip0.t-ipconnect.de)
2025-04-25 02:47:59 +0200notdabs(~Owner@2600:1700:69cf:9000:2536:b9c0:17b2:7e40) (Read error: Connection reset by peer)
2025-04-25 02:48:36 +0200JamesMowery177(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery
2025-04-25 02:48:48 +0200artynnn5(~artynnn@23.95.246.172)
2025-04-25 02:49:01 +0200Wstfgl0(~me-me@kc.randomserver.name)
2025-04-25 02:49:11 +0200smiesner_(b0cf5acf8c@2a03:6000:1812:100::13b9)
2025-04-25 02:49:11 +0200simendsjo_(34b0550437@2a03:6000:1812:100::1441) simendsjo
2025-04-25 02:49:12 +0200ymherklotz_(cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz
2025-04-25 02:49:12 +0200arcadewise_(52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta
2025-04-25 02:49:13 +0200stureplan_(22e45d5caf@user/stureplan) stureplan
2025-04-25 02:49:18 +0200dutchie_(~dutchie@user/dutchie) dutchie
2025-04-25 02:49:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 02:49:35 +0200sp1ff`(~user@c-67-160-173-55.hsd1.wa.comcast.net)
2025-04-25 02:49:37 +0200img_(~img@user/img) img
2025-04-25 02:49:52 +0200ycp_(~znc@user/dragestil) dragestil
2025-04-25 02:50:18 +0200stureplan(22e45d5caf@user/stureplan) (Ping timeout: 276 seconds)
2025-04-25 02:50:18 +0200euleritian(~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Ping timeout: 276 seconds)
2025-04-25 02:50:18 +0200sand-witch(~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 276 seconds)
2025-04-25 02:50:18 +0200dutchie(~dutchie@user/dutchie) (Ping timeout: 276 seconds)
2025-04-25 02:50:18 +0200arcadewise(52968ed80d@2a03:6000:1812:100::3df) (Ping timeout: 276 seconds)
2025-04-25 02:50:18 +0200ycp(~znc@user/dragestil) (Ping timeout: 276 seconds)
2025-04-25 02:50:18 +0200stureplan_stureplan
2025-04-25 02:50:18 +0200arcadewise_arcadewise
2025-04-25 02:50:21 +0200dutchie_dutchie
2025-04-25 02:50:30 +0200sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2025-04-25 02:50:30 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection)
2025-04-25 02:50:44 +0200img(~img@user/img) (Ping timeout: 276 seconds)
2025-04-25 02:50:44 +0200ymherklotz(cb2c9cfbdd@2a03:6000:1812:100::29a) (Ping timeout: 276 seconds)
2025-04-25 02:50:44 +0200JamesMowery17(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 276 seconds)
2025-04-25 02:50:45 +0200Eoco(~ian@128.101.131.218) (Ping timeout: 276 seconds)
2025-04-25 02:50:45 +0200ymherklotz_ymherklotz
2025-04-25 02:50:46 +0200JamesMowery177JamesMowery17
2025-04-25 02:50:50 +0200simendsjo(34b0550437@2a03:6000:1812:100::1441) (Read error: Connection reset by peer)
2025-04-25 02:50:50 +0200smiesner(b0cf5acf8c@user/smiesner) (Read error: Connection reset by peer)
2025-04-25 02:50:50 +0200smiesner_smiesner
2025-04-25 02:50:50 +0200simendsjo_simendsjo
2025-04-25 02:51:07 +0200sand-witch(~m-mzmz6l@vmi833741.contaboserver.net)
2025-04-25 02:51:23 +0200Me-me(~me-me@kc.randomserver.name) (Ping timeout: 276 seconds)
2025-04-25 02:51:23 +0200hammond(proscan@user/hammond2) (Ping timeout: 276 seconds)
2025-04-25 02:51:23 +0200Flow(~none@gentoo/developer/flow) (Ping timeout: 276 seconds)
2025-04-25 02:51:23 +0200artynnn(~artynnn@23.95.246.172) (Ping timeout: 276 seconds)
2025-04-25 02:51:29 +0200Wstfgl0Me-me
2025-04-25 02:51:33 +0200hammond(proscan@gateway04.insomnia247.nl)
2025-04-25 02:51:55 +0200ycp_ycp
2025-04-25 02:52:01 +0200Flow(~none@gentoo/developer/flow) flow
2025-04-25 02:52:20 +0200Eoco(~ian@128.101.131.218) Eoco
2025-04-25 02:53:19 +0200acidjnk_new(~acidjnk@p200300d6e71c4f805da7edc33ed0f570.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-04-25 02:54:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-25 02:54:30 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) lambdabot
2025-04-25 02:54:31 +0200ChanServ+v lambdabot
2025-04-25 02:54:58 +0200euleritian(~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de)
2025-04-25 02:55:09 +0200euleritian(~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Remote host closed the connection)
2025-04-25 02:55:22 +0200Cattycatties
2025-04-25 02:55:27 +0200euleritian(~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de)
2025-04-25 02:56:15 +0200euleritian(~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Remote host closed the connection)
2025-04-25 02:57:29 +0200euleritian(~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de)
2025-04-25 03:00:05 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds)
2025-04-25 03:00:39 +0200__jmcantrell__(~weechat@user/jmcantrell) jmcantrell
2025-04-25 03:02:15 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-04-25 03:02:15 +0200haritz(~hrtz@152.37.68.178)
2025-04-25 03:02:16 +0200haritz(~hrtz@152.37.68.178) (Changing host)
2025-04-25 03:02:16 +0200haritz(~hrtz@user/haritz) haritz
2025-04-25 03:05:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 03:07:08 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-25 03:10:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-25 03:11:00 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
2025-04-25 03:15:27 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-04-25 03:21:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 03:24:37 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
2025-04-25 03:26:00 +0200califax(~califax@user/califx) (Ping timeout: 264 seconds)
2025-04-25 03:26:16 +0200califax(~califax@user/califx) califx
2025-04-25 03:27:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-25 03:33:13 +0200comonad(~comonad@p200300d027303e00f556181ab74e36af.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-04-25 03:33:24 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-04-25 03:35:15 +0200comonad(~comonad@p200300d0270a4d00bd2fa57947ace417.dip0.t-ipconnect.de)
2025-04-25 03:39:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 03:41:30 +0200__jmcantrell__(~weechat@user/jmcantrell) (Quit: WeeChat 4.6.1)
2025-04-25 03:44:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-25 03:54:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 03:55:32 +0200 <ski> yes, EvanR (SML)
2025-04-25 04:00:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-25 04:10:31 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-04-25 04:10:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 04:12:34 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-04-25 04:15:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-25 04:23:39 +0200td_(~td@83.135.9.7) (Ping timeout: 265 seconds)
2025-04-25 04:25:02 +0200td_(~td@i5387092B.versanet.de) td_
2025-04-25 04:26:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 04:31:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-25 04:36:15 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-04-25 04:42:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 04:42:50 +0200__jmcantrell__(~weechat@user/jmcantrell) jmcantrell
2025-04-25 04:43:58 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-04-25 04:47:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-25 04:58:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 04:59:53 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-04-25 05:00:40 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds)
2025-04-25 05:02:40 +0200j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-25 05:05:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-25 05:09:25 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-25 05:12:40 +0200Me-me(~me-me@kc.randomserver.name) (I never did learn haskell, did I?)
2025-04-25 05:16:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 05:20:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-25 05:21:55 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-04-25 05:28:21 +0200aforemny_(~aforemny@2001:9e8:6cc4:a200:cdb7:b741:f6b2:ab55) (Ping timeout: 248 seconds)
2025-04-25 05:28:46 +0200aforemny(~aforemny@2001:9e8:6ce4:fd00:2b9b:42c6:1d6:b68) aforemny
2025-04-25 05:31:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 05:36:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-25 05:37:05 +0200lol_(~lol@2603:3016:1e01:b960:c8e6:63b3:6b9f:3e52)
2025-04-25 05:37:12 +0200jcarpenter2(~lol@96.78.87.197) (Read error: Connection reset by peer)
2025-04-25 05:44:50 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2025-04-25 05:44:55 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-04-25 05:45:32 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) hackager
2025-04-25 05:45:33 +0200ChanServ+v haskellbridge
2025-04-25 05:47:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 05:50:23 +0200michalz(~michalz@185.246.207.217)
2025-04-25 05:52:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-25 05:54:02 +0200__jmcantrell__(~weechat@user/jmcantrell) (Ping timeout: 276 seconds)
2025-04-25 06:03:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 06:08:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-25 06:09:02 +0200xstill_(xstill@fimu/xstill) (Ping timeout: 244 seconds)
2025-04-25 06:09:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 06:11:49 +0200xstill_(xstill@fimu/xstill) xstill
2025-04-25 06:14:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-25 06:23:36 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds)
2025-04-25 06:24:03 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-04-25 06:24:25 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-04-25 06:25:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 06:30:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-25 06:41:02 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-25 06:41:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 06:44:36 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds)
2025-04-25 06:45:32 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-04-25 06:48:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-25 06:57:20 +0200euleritian(~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-25 06:58:00 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-25 06:59:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 07:00:46 +0200takuan(~takuan@d8d86b601.access.telenet.be)
2025-04-25 07:04:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-25 07:15:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 07:20:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-25 07:30:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 07:31:04 +0200fp(~Thunderbi@wireless-86-50-140-117.open.aalto.fi) fp
2025-04-25 07:32:10 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2025-04-25 07:36:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-25 07:46:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 07:51:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-25 08:01:34 +0200typedfern_(~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net) typedfern
2025-04-25 08:02:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 08:04:01 +0200Typedfern(~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net) (Ping timeout: 248 seconds)
2025-04-25 08:04:09 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-25 08:04:40 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-04-25 08:07:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-25 08:10:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 08:13:38 +0200Googulator(~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed)
2025-04-25 08:13:55 +0200Googulator(~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu)
2025-04-25 08:14:23 +0200tabemann_(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2025-04-25 08:15:40 +0200tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 252 seconds)
2025-04-25 08:15:51 +0200ft(~ft@p4fc2a6e6.dip0.t-ipconnect.de) (Quit: leaving)
2025-04-25 08:16:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-25 08:18:25 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-25 08:26:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 08:30:38 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-04-25 08:33:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-25 08:43:40 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2025-04-25 08:44:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 08:45:39 +0200euleritian(~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de)
2025-04-25 08:49:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-25 08:50:26 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2025-04-25 08:50:53 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-25 08:53:42 +0200Googulator(~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Ping timeout: 240 seconds)
2025-04-25 08:55:04 +0200tromp(~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f)
2025-04-25 09:00:00 +0200caconym(~caconym@user/caconym) (Quit: bye)
2025-04-25 09:00:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 09:01:03 +0200caconym(~caconym@user/caconym) caconym
2025-04-25 09:01:57 +0200acidjnk_new(~acidjnk@p200300d6e71c4f84d9d34579eebef444.dip0.t-ipconnect.de)
2025-04-25 09:05:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-25 09:07:16 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2025-04-25 09:11:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 09:11:57 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-04-25 09:13:56 +0200j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-25 09:14:49 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-04-25 09:15:16 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-25 09:16:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-25 09:17:49 +0200euphores(~SASL_euph@user/euphores) euphores
2025-04-25 09:18:53 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-25 09:21:06 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-04-25 09:21:45 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
2025-04-25 09:22:51 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-25 09:24:06 +0200Lord_of_Life_Lord_of_Life
2025-04-25 09:26:36 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-04-25 09:27:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 09:28:34 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-04-25 09:29:28 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-04-25 09:33:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-25 09:37:55 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2025-04-25 09:43:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 09:48:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-25 09:48:21 +0200euleritian(~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-25 09:48:29 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-25 09:48:39 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-25 09:49:19 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-04-25 09:50:18 +0200chele(~chele@user/chele) chele
2025-04-25 09:52:09 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2025-04-25 09:58:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 10:00:32 +0200sixfourtwelve(~ethanmorg@82.18.82.103) (Ping timeout: 265 seconds)
2025-04-25 10:02:31 +0200sixfourtwelve(~ethanmorg@82.18.82.103)
2025-04-25 10:03:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-25 10:05:35 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2025-04-25 10:05:36 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-04-25 10:09:09 +0200__monty__(~toonn@user/toonn) toonn
2025-04-25 10:09:42 +0200Googulator(~Googulato@81.183.235.203)
2025-04-25 10:09:48 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds)
2025-04-25 10:12:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-25 10:23:14 +0200vpan(~vpan@212.117.1.172)
2025-04-25 10:23:34 +0200vpanGuest5108
2025-04-25 10:23:49 +0200Guest5108vpan
2025-04-25 10:27:15 +0200sixfourtwelve(~ethanmorg@82.18.82.103) (Read error: Connection reset by peer)
2025-04-25 10:31:17 +0200sixfourtwelve(~ethanmorg@82.18.82.103)
2025-04-25 10:51:08 +0200fp(~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Ping timeout: 252 seconds)
2025-04-25 10:54:25 +0200sixfourtwelve(~ethanmorg@82.18.82.103) (Quit: leaving)
2025-04-25 11:16:22 +0200fp(~Thunderbi@2001:708:20:1406::1370) fp
2025-04-25 11:18:38 +0200Googulator(~Googulato@81.183.235.203) (Quit: Client closed)
2025-04-25 11:18:54 +0200Googulator(~Googulato@81.183.235.203)
2025-04-25 11:30:32 +0200tromp(~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-25 11:30:46 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-04-25 11:34:32 +0200TMA(tma@twin.jikos.cz) (Ping timeout: 244 seconds)
2025-04-25 11:36:08 +0200tromp(~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f)
2025-04-25 11:41:58 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-04-25 11:42:38 +0200chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-04-25 11:43:10 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-04-25 11:46:33 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-25 12:27:57 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds)
2025-04-25 12:41:11 +0200lol_jcarpenter2
2025-04-25 12:43:17 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-04-25 12:50:16 +0200gehmehgeh(~user@user/gehmehgeh) gehmehgeh
2025-04-25 12:50:36 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 264 seconds)
2025-04-25 12:50:45 +0200gehmehgehgmg
2025-04-25 13:17:21 +0200tromp(~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-25 13:32:06 +0200tromp(~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f)
2025-04-25 13:32:57 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-04-25 13:38:07 +0200 <ii8> Is there a way to force cabal to use a freeze file and fixed index-state and fail if it doesn't find one?
2025-04-25 13:41:42 +0200 <merijn> ii8: Not really, no
2025-04-25 13:42:36 +0200 <merijn> You could write a script that does that and invoke cabal from there
2025-04-25 13:44:56 +0200tromp(~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-25 13:47:40 +0200 <ii8> It'd be kind of a tricky script I fear. So there's no way to tell cabal I want a build to be reproducible and it shouldn't do any solving or searching?
2025-04-25 13:49:38 +0200mceresa(~mceresa@user/mceresa) mceresa
2025-04-25 13:51:56 +0200 <merijn> ii8: I mean, if you have a cabal.project file in the repo you will get that behaviour
2025-04-25 13:52:11 +0200 <merijn> ii8: But doing that in a cabal package is antithetical to it's purpose
2025-04-25 13:52:43 +0200 <merijn> ii8: Since cabal package are intended to be reusable generally, allowing something like that in a package on Hackage would be a nightmare
2025-04-25 13:53:03 +0200 <merijn> Inside a repo you could have a cabal.project file to enforce a specific index-state, though
2025-04-25 13:53:40 +0200 <merijn> It should use that projectfile by default, but there's no way to force it to fail if missing
2025-04-25 13:54:25 +0200 <merijn> I mean, I guess your script could be simply "cabal <cmd> --project-file=<filename>" and that'd fail on a non-existent file
2025-04-25 13:54:36 +0200 <merijn> but at that point, what have you really accomplished?
2025-04-25 13:55:38 +0200sixfourtwelve(~ethanmorg@82.18.82.103) sixfourtwelve
2025-04-25 13:55:38 +0200tv(~tv@user/tv) (Read error: Connection reset by peer)
2025-04-25 13:57:22 +0200mceresa(~mceresa@user/mceresa) (Ping timeout: 265 seconds)
2025-04-25 14:11:12 +0200 <jackdk> ii8: If that's your goal, I would use Nix
2025-04-25 14:12:36 +0200tv(~tv@user/tv) tv
2025-04-25 14:23:08 +0200jespada(~jespada@179.26.245.3) jespada
2025-04-25 14:23:26 +0200tremon(~tremon@83.80.159.219) tremon
2025-04-25 14:24:35 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-04-25 14:36:08 +0200weary-traveler(~user@user/user363627) user363627
2025-04-25 14:40:10 +0200 <haskellbridge> <Liamzee> is there a reason to use postgresql simple instead of hasql?
2025-04-25 14:40:57 +0200 <haskellbridge> <Liamzee> also, about PGRef:
2025-04-25 14:40:59 +0200 <haskellbridge> <Liamzee> https://hackage.haskell.org/package/hasql-transaction
2025-04-25 14:41:01 +0200 <haskellbridge> <Liamzee> done already
2025-04-25 14:41:08 +0200 <haskellbridge> <Liamzee> postgresql simple, i guess, opaleye
2025-04-25 14:47:03 +0200 <ii8> merijn: I'm coming from the perspective of packaging haskell programs for linux distros, so I won't be pushing anything to hackage
2025-04-25 14:47:49 +0200 <ii8> I just need a way to make sure that cabal always pulls the exact same sources for any given project
2025-04-25 14:48:46 +0200ethantwardy(~user@user/ethantwardy) (Quit: WeeChat 4.4.2)
2025-04-25 14:50:04 +0200 <ii8> Are you sure that just a project file existing guarantees that all dependencies are fixed?
2025-04-25 14:52:36 +0200 <ii8> I guess assuming it contains an index-state setting. Is that enough or is the freeze file needed too to fix the build?
2025-04-25 14:53:21 +0200 <ii8> jackdk: not an option for me I think
2025-04-25 14:54:41 +0200 <merijn> ii8: Right, but if you run the build in a dir with a cabal.project file you can force a specific index-state just fine
2025-04-25 14:54:56 +0200 <merijn> ii8: The solver is deterministic, so index-state should be sufficient
2025-04-25 14:54:56 +0200 <haskellbridge> <ozkutuk> ii8: freeze file provides stronger guarantees wrt determinism compared to index-state
2025-04-25 14:55:10 +0200 <haskellbridge> <ozkutuk> for example, it also records the set package flags for the dependencies
2025-04-25 14:57:52 +0200 <ii8> Why might the flags change?
2025-04-25 14:58:18 +0200 <merijn> ii8: Because they're auto toggle
2025-04-25 14:58:52 +0200 <ii8> I'm not sure what that means
2025-04-25 14:59:25 +0200 <ii8> If the index-state is fixed and I'm building from the same source tarball, can the flags still end up different?
2025-04-25 14:59:53 +0200 <merijn> ii8: Could be a flag that detects whether C library X is on the system and use that if it is
2025-04-25 14:59:55 +0200haritz(~hrtz@2a01:4b00:bc2e:7000::2)
2025-04-25 14:59:55 +0200haritz(~hrtz@2a01:4b00:bc2e:7000::2) (Changing host)
2025-04-25 14:59:55 +0200haritz(~hrtz@user/haritz) haritz
2025-04-25 15:01:01 +0200 <haskellbridge> <ozkutuk> or a package could depend on, say, "unix" package if the OS is linux and "Win32" if its windows
2025-04-25 15:01:19 +0200 <ii8> merijn: In that case it would be fine, I'm assuming a consistend build environment
2025-04-25 15:01:24 +0200tromp(~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f)
2025-04-25 15:01:45 +0200 <ii8> s/considend/consistent
2025-04-25 15:01:57 +0200 <haskellbridge> <ozkutuk> I guess pinning index-state would be enough then
2025-04-25 15:04:30 +0200 <ii8> Alright, I'll try that then, thanks
2025-04-25 15:05:42 +0200TMA(tma@twin.jikos.cz) TMA
2025-04-25 15:08:51 +0200Square2(~Square4@user/square) (Ping timeout: 268 seconds)
2025-04-25 15:11:33 +0200Square(~Square@user/square) Square
2025-04-25 15:25:25 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2025-04-25 15:25:43 +0200euleritian(~euleritia@dynamic-176-006-135-143.176.6.pool.telefonica.de)
2025-04-25 15:28:20 +0200Digit(~user@user/digit) (Ping timeout: 260 seconds)
2025-04-25 15:32:10 +0200dhil(~dhil@openvpn-125-1069.inf.ed.ac.uk) dhil
2025-04-25 15:35:33 +0200mceresa(~mceresa@user/mceresa) mceresa
2025-04-25 15:36:53 +0200Digit(~user@245.144.208.46.dyn.plus.net)
2025-04-25 15:38:16 +0200vpan(~vpan@212.117.1.172) (Quit: Leaving.)
2025-04-25 15:41:03 +0200euleritian(~euleritia@dynamic-176-006-135-143.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-25 15:41:20 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-25 15:45:34 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2025-04-25 15:46:07 +0200euleritian(~euleritia@dynamic-176-006-135-143.176.6.pool.telefonica.de)
2025-04-25 15:49:55 +0200Square(~Square@user/square) (Ping timeout: 260 seconds)
2025-04-25 15:50:27 +0200pavonia(~user@user/siracusa) siracusa
2025-04-25 15:51:27 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds)
2025-04-25 15:53:56 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-04-25 16:01:55 +0200euphores(~SASL_euph@user/euphores) euphores
2025-04-25 16:03:43 +0200ft(~ft@p4fc2a6e6.dip0.t-ipconnect.de) ft
2025-04-25 16:06:19 +0200Digit(~user@245.144.208.46.dyn.plus.net) (Ping timeout: 276 seconds)
2025-04-25 16:14:01 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-04-25 16:17:00 +0200Googulator47(~Googulato@81.183.235.203)
2025-04-25 16:17:28 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds)
2025-04-25 16:17:44 +0200Digit(~user@245.144.208.46.dyn.plus.net)
2025-04-25 16:18:29 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) TheCoffeMaker
2025-04-25 16:19:57 +0200Teacup(~teacup@user/teacup) ()
2025-04-25 16:20:19 +0200Teacup(~teacup@user/teacup) Teacup
2025-04-25 16:20:30 +0200Googulator(~Googulato@81.183.235.203) (Ping timeout: 240 seconds)
2025-04-25 16:25:25 +0200__jmcantrell__(~weechat@user/jmcantrell) jmcantrell
2025-04-25 16:26:38 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-04-25 16:30:02 +0200Sgeo_(~Sgeo@user/sgeo) Sgeo
2025-04-25 16:34:21 +0200Sgeo(~Sgeo@user/sgeo) (Ping timeout: 276 seconds)
2025-04-25 16:38:32 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-04-25 16:38:40 +0200euleritian(~euleritia@dynamic-176-006-135-143.176.6.pool.telefonica.de) (Ping timeout: 252 seconds)
2025-04-25 16:38:51 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-25 16:47:29 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 245 seconds)
2025-04-25 16:50:12 +0200 <[exa]> ii8: not sure if anyone suggested before but `cabal freeze` might help a lot (at least to make the frozen dependency versions kinda materialized)
2025-04-25 16:53:49 +0200 <hellwolf> I did not realize this trick until today: (.->), f :: _; f = _ .-> = f
2025-04-25 16:54:05 +0200 <hellwolf> To define aliases of the function without having to repeat the type signature.
2025-04-25 16:54:07 +0200tromp(~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…)