2025-04-25 00:00:14 +0200 | dhil | (~dhil@5.151.29.139) (Ping timeout: 265 seconds) |
2025-04-25 00:02:39 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
2025-04-25 00:04:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-25 00:06:34 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-04-25 00:10:28 +0200 | Leary | (~Leary@user/Leary/x-0910699) Leary |
2025-04-25 00:12:12 +0200 | <ski> | `~x' is allowed |
2025-04-25 00:16:15 +0200 | sprotte24 | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 00:31:39 +0200 | haritzondo | (~hrtz@user/haritz) (Ping timeout: 245 seconds) |
2025-04-25 00:34:15 +0200 | haritz | (~hrtz@152.37.68.178) |
2025-04-25 00:36:00 +0200 | haritz | (~hrtz@152.37.68.178) (Changing host) |
2025-04-25 00:36:00 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-04-25 00:38:26 +0200 | merijn | (~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 +0200 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
2025-04-25 00:47:08 +0200 | Googulator | (~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 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-04-25 00:49:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 00:52:44 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-04-25 00:52:44 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2025-04-25 00:54:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-25 00:55:59 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-04-25 00:56:00 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:2536:b9c0:17b2:7e40) (Quit: Leaving) |
2025-04-25 00:56:10 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2025-04-25 00:56:53 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9b42:d2bd:373e:abf7) (Ping timeout: 248 seconds) |
2025-04-25 00:58:57 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9b42:d2bd:373e:abf7) |
2025-04-25 01:03:04 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-04-25 01:04:40 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-04-25 01:05:00 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2025-04-25 01:05:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 01:07:59 +0200 | califax_ | (~califax@user/califx) califx |
2025-04-25 01:08:00 +0200 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
2025-04-25 01:08:26 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-04-25 01:09:14 +0200 | califax_ | califax |
2025-04-25 01:10:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-25 01:21:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 01:26:16 +0200 | merijn | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 01:40:22 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-04-25 01:42:02 +0200 | jespada_ | (~jespada@r167-61-222-92.dialup.adsl.anteldata.net.uy) jespada |
2025-04-25 01:42:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-25 01:44:24 +0200 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
2025-04-25 01:44:40 +0200 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
2025-04-25 01:45:09 +0200 | jespada | (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds) |
2025-04-25 01:45:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 01:49:30 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2025-04-25 01:49:56 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-04-25 01:50:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-25 01:58:43 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-04-25 01:58:52 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-04-25 02:00:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 02:04:58 +0200 | jespada_ | (~jespada@r167-61-222-92.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
2025-04-25 02:05:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-25 02:06:42 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:2536:b9c0:17b2:7e40) |
2025-04-25 02:16:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 02:21:28 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
2025-04-25 02:22:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-25 02:25:38 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) bitmapper |
2025-04-25 02:28:12 +0200 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
2025-04-25 02:28:25 +0200 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
2025-04-25 02:31:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9b42:d2bd:373e:abf7) (Ping timeout: 245 seconds) |
2025-04-25 02:33:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 02:38:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-25 02:40:29 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-04-25 02:43:50 +0200 | otto_s | (~user@p4ff274cd.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-04-25 02:45:33 +0200 | otto_s | (~user@p4ff2799b.dip0.t-ipconnect.de) |
2025-04-25 02:47:59 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:2536:b9c0:17b2:7e40) (Read error: Connection reset by peer) |
2025-04-25 02:48:36 +0200 | JamesMowery177 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
2025-04-25 02:48:48 +0200 | artynnn5 | (~artynnn@23.95.246.172) |
2025-04-25 02:49:01 +0200 | Wstfgl0 | (~me-me@kc.randomserver.name) |
2025-04-25 02:49:11 +0200 | smiesner_ | (b0cf5acf8c@2a03:6000:1812:100::13b9) |
2025-04-25 02:49:11 +0200 | simendsjo_ | (34b0550437@2a03:6000:1812:100::1441) simendsjo |
2025-04-25 02:49:12 +0200 | ymherklotz_ | (cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz |
2025-04-25 02:49:12 +0200 | arcadewise_ | (52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta |
2025-04-25 02:49:13 +0200 | stureplan_ | (22e45d5caf@user/stureplan) stureplan |
2025-04-25 02:49:18 +0200 | dutchie_ | (~dutchie@user/dutchie) dutchie |
2025-04-25 02:49:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 02:49:35 +0200 | sp1ff` | (~user@c-67-160-173-55.hsd1.wa.comcast.net) |
2025-04-25 02:49:37 +0200 | img_ | (~img@user/img) img |
2025-04-25 02:49:52 +0200 | ycp_ | (~znc@user/dragestil) dragestil |
2025-04-25 02:50:18 +0200 | stureplan | (22e45d5caf@user/stureplan) (Ping timeout: 276 seconds) |
2025-04-25 02:50:18 +0200 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Ping timeout: 276 seconds) |
2025-04-25 02:50:18 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 276 seconds) |
2025-04-25 02:50:18 +0200 | dutchie | (~dutchie@user/dutchie) (Ping timeout: 276 seconds) |
2025-04-25 02:50:18 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (Ping timeout: 276 seconds) |
2025-04-25 02:50:18 +0200 | ycp | (~znc@user/dragestil) (Ping timeout: 276 seconds) |
2025-04-25 02:50:18 +0200 | stureplan_ | stureplan |
2025-04-25 02:50:18 +0200 | arcadewise_ | arcadewise |
2025-04-25 02:50:21 +0200 | dutchie_ | dutchie |
2025-04-25 02:50:30 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
2025-04-25 02:50:30 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
2025-04-25 02:50:44 +0200 | img | (~img@user/img) (Ping timeout: 276 seconds) |
2025-04-25 02:50:44 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Ping timeout: 276 seconds) |
2025-04-25 02:50:44 +0200 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 276 seconds) |
2025-04-25 02:50:45 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 276 seconds) |
2025-04-25 02:50:45 +0200 | ymherklotz_ | ymherklotz |
2025-04-25 02:50:46 +0200 | JamesMowery177 | JamesMowery17 |
2025-04-25 02:50:50 +0200 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) (Read error: Connection reset by peer) |
2025-04-25 02:50:50 +0200 | smiesner | (b0cf5acf8c@user/smiesner) (Read error: Connection reset by peer) |
2025-04-25 02:50:50 +0200 | smiesner_ | smiesner |
2025-04-25 02:50:50 +0200 | simendsjo_ | simendsjo |
2025-04-25 02:51:07 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
2025-04-25 02:51:23 +0200 | Me-me | (~me-me@kc.randomserver.name) (Ping timeout: 276 seconds) |
2025-04-25 02:51:23 +0200 | hammond | (proscan@user/hammond2) (Ping timeout: 276 seconds) |
2025-04-25 02:51:23 +0200 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 276 seconds) |
2025-04-25 02:51:23 +0200 | artynnn | (~artynnn@23.95.246.172) (Ping timeout: 276 seconds) |
2025-04-25 02:51:29 +0200 | Wstfgl0 | Me-me |
2025-04-25 02:51:33 +0200 | hammond | (proscan@gateway04.insomnia247.nl) |
2025-04-25 02:51:55 +0200 | ycp_ | ycp |
2025-04-25 02:52:01 +0200 | Flow | (~none@gentoo/developer/flow) flow |
2025-04-25 02:52:20 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
2025-04-25 02:53:19 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f805da7edc33ed0f570.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2025-04-25 02:54:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-25 02:54:30 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
2025-04-25 02:54:31 +0200 | ChanServ | +v lambdabot |
2025-04-25 02:54:58 +0200 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) |
2025-04-25 02:55:09 +0200 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Remote host closed the connection) |
2025-04-25 02:55:22 +0200 | Catty | catties |
2025-04-25 02:55:27 +0200 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) |
2025-04-25 02:56:15 +0200 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Remote host closed the connection) |
2025-04-25 02:57:29 +0200 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) |
2025-04-25 03:00:05 +0200 | GdeVolpiano | (~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 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-04-25 03:02:15 +0200 | haritz | (~hrtz@152.37.68.178) |
2025-04-25 03:02:16 +0200 | haritz | (~hrtz@152.37.68.178) (Changing host) |
2025-04-25 03:02:16 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-04-25 03:05:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 03:07:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-25 03:10:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-25 03:11:00 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
2025-04-25 03:15:27 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-04-25 03:21:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 03:24:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
2025-04-25 03:26:00 +0200 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
2025-04-25 03:26:16 +0200 | califax | (~califax@user/califx) califx |
2025-04-25 03:27:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-04-25 03:33:13 +0200 | comonad | (~comonad@p200300d027303e00f556181ab74e36af.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
2025-04-25 03:33:24 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-04-25 03:35:15 +0200 | comonad | (~comonad@p200300d0270a4d00bd2fa57947ace417.dip0.t-ipconnect.de) |
2025-04-25 03:39:11 +0200 | merijn | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-25 03:54:59 +0200 | merijn | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-25 04:10:31 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-04-25 04:10:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 04:12:34 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
2025-04-25 04:15:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-25 04:23:39 +0200 | td_ | (~td@83.135.9.7) (Ping timeout: 265 seconds) |
2025-04-25 04:25:02 +0200 | td_ | (~td@i5387092B.versanet.de) td_ |
2025-04-25 04:26:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 04:31:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-25 04:36:15 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2025-04-25 04:42:22 +0200 | merijn | (~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 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-04-25 04:47:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-25 04:58:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 04:59:53 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-04-25 05:00:40 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
2025-04-25 05:02:40 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-25 05:05:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-25 05:09:25 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-25 05:12:40 +0200 | Me-me | (~me-me@kc.randomserver.name) (I never did learn haskell, did I?) |
2025-04-25 05:16:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 05:20:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-25 05:21:55 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-04-25 05:28:21 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc4:a200:cdb7:b741:f6b2:ab55) (Ping timeout: 248 seconds) |
2025-04-25 05:28:46 +0200 | aforemny | (~aforemny@2001:9e8:6ce4:fd00:2b9b:42c6:1d6:b68) aforemny |
2025-04-25 05:31:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 05:36:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-25 05:37:05 +0200 | lol_ | (~lol@2603:3016:1e01:b960:c8e6:63b3:6b9f:3e52) |
2025-04-25 05:37:12 +0200 | jcarpenter2 | (~lol@96.78.87.197) (Read error: Connection reset by peer) |
2025-04-25 05:44:50 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
2025-04-25 05:44:55 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2025-04-25 05:45:32 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
2025-04-25 05:45:33 +0200 | ChanServ | +v haskellbridge |
2025-04-25 05:47:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 05:50:23 +0200 | michalz | (~michalz@185.246.207.217) |
2025-04-25 05:52:43 +0200 | merijn | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 06:08:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-25 06:09:02 +0200 | xstill_ | (xstill@fimu/xstill) (Ping timeout: 244 seconds) |
2025-04-25 06:09:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 06:11:49 +0200 | xstill_ | (xstill@fimu/xstill) xstill |
2025-04-25 06:14:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-25 06:23:36 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
2025-04-25 06:24:03 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-04-25 06:24:25 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-04-25 06:25:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 06:30:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-25 06:41:02 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-25 06:41:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 06:44:36 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
2025-04-25 06:45:32 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-04-25 06:48:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-25 06:57:20 +0200 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-04-25 06:58:00 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
2025-04-25 06:59:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 07:00:46 +0200 | takuan | (~takuan@d8d86b601.access.telenet.be) |
2025-04-25 07:04:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-25 07:15:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 07:20:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-25 07:30:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 07:31:04 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) fp |
2025-04-25 07:32:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-04-25 07:36:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-25 07:46:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 07:51:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-25 08:01:34 +0200 | typedfern_ | (~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net) typedfern |
2025-04-25 08:02:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 08:04:01 +0200 | Typedfern | (~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net) (Ping timeout: 248 seconds) |
2025-04-25 08:04:09 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-04-25 08:04:40 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-04-25 08:07:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-25 08:10:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 08:13:38 +0200 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
2025-04-25 08:13:55 +0200 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
2025-04-25 08:14:23 +0200 | tabemann_ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
2025-04-25 08:15:40 +0200 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 252 seconds) |
2025-04-25 08:15:51 +0200 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) (Quit: leaving) |
2025-04-25 08:16:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-25 08:18:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-25 08:26:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 08:30:38 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-04-25 08:33:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-04-25 08:43:40 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
2025-04-25 08:44:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 08:45:39 +0200 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) |
2025-04-25 08:49:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-25 08:50:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
2025-04-25 08:50:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-25 08:53:42 +0200 | Googulator | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
2025-04-25 08:55:04 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
2025-04-25 09:00:00 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-04-25 09:00:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 09:01:03 +0200 | caconym | (~caconym@user/caconym) caconym |
2025-04-25 09:01:57 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f84d9d34579eebef444.dip0.t-ipconnect.de) |
2025-04-25 09:05:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-25 09:07:16 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
2025-04-25 09:11:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 09:11:57 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-04-25 09:13:56 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-25 09:14:49 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-04-25 09:15:16 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-25 09:16:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-25 09:17:49 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-04-25 09:18:53 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-25 09:21:06 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-04-25 09:21:45 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
2025-04-25 09:22:51 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-25 09:24:06 +0200 | Lord_of_Life_ | Lord_of_Life |
2025-04-25 09:26:36 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-04-25 09:27:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 09:28:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-04-25 09:29:28 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-04-25 09:33:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-25 09:37:55 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2025-04-25 09:43:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 09:48:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-25 09:48:21 +0200 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-04-25 09:48:29 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-04-25 09:48:39 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
2025-04-25 09:49:19 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-04-25 09:50:18 +0200 | chele | (~chele@user/chele) chele |
2025-04-25 09:52:09 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
2025-04-25 09:58:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 10:00:32 +0200 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Ping timeout: 265 seconds) |
2025-04-25 10:02:31 +0200 | sixfourtwelve | (~ethanmorg@82.18.82.103) |
2025-04-25 10:03:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-25 10:05:35 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
2025-04-25 10:05:36 +0200 | tzh | (~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 +0200 | Googulator | (~Googulato@81.183.235.203) |
2025-04-25 10:09:48 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
2025-04-25 10:12:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-25 10:23:14 +0200 | vpan | (~vpan@212.117.1.172) |
2025-04-25 10:23:34 +0200 | vpan | Guest5108 |
2025-04-25 10:23:49 +0200 | Guest5108 | vpan |
2025-04-25 10:27:15 +0200 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Read error: Connection reset by peer) |
2025-04-25 10:31:17 +0200 | sixfourtwelve | (~ethanmorg@82.18.82.103) |
2025-04-25 10:51:08 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Ping timeout: 252 seconds) |
2025-04-25 10:54:25 +0200 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Quit: leaving) |
2025-04-25 11:16:22 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
2025-04-25 11:18:38 +0200 | Googulator | (~Googulato@81.183.235.203) (Quit: Client closed) |
2025-04-25 11:18:54 +0200 | Googulator | (~Googulato@81.183.235.203) |
2025-04-25 11:30:32 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-04-25 11:30:46 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2025-04-25 11:34:32 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 244 seconds) |
2025-04-25 11:36:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
2025-04-25 11:41:58 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2025-04-25 11:42:38 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2025-04-25 11:43:10 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
2025-04-25 11:46:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-25 12:27:57 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
2025-04-25 12:41:11 +0200 | lol_ | jcarpenter2 |
2025-04-25 12:43:17 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-04-25 12:50:16 +0200 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
2025-04-25 12:50:36 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
2025-04-25 12:50:45 +0200 | gehmehgeh | gmg |
2025-04-25 13:17:21 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-04-25 13:32:06 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
2025-04-25 13:32:57 +0200 | wootehfoot | (~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 +0200 | tromp | (~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 +0200 | mceresa | (~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 +0200 | sixfourtwelve | (~ethanmorg@82.18.82.103) sixfourtwelve |
2025-04-25 13:55:38 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
2025-04-25 13:57:22 +0200 | mceresa | (~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 +0200 | tv | (~tv@user/tv) tv |
2025-04-25 14:23:08 +0200 | jespada | (~jespada@179.26.245.3) jespada |
2025-04-25 14:23:26 +0200 | tremon | (~tremon@83.80.159.219) tremon |
2025-04-25 14:24:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2025-04-25 14:36:08 +0200 | weary-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 +0200 | ethantwardy | (~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 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000::2) |
2025-04-25 14:59:55 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000::2) (Changing host) |
2025-04-25 14:59:55 +0200 | haritz | (~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 +0200 | tromp | (~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 +0200 | TMA | (tma@twin.jikos.cz) TMA |
2025-04-25 15:08:51 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 268 seconds) |
2025-04-25 15:11:33 +0200 | Square | (~Square@user/square) Square |
2025-04-25 15:25:25 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2025-04-25 15:25:43 +0200 | euleritian | (~euleritia@dynamic-176-006-135-143.176.6.pool.telefonica.de) |
2025-04-25 15:28:20 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
2025-04-25 15:32:10 +0200 | dhil | (~dhil@openvpn-125-1069.inf.ed.ac.uk) dhil |
2025-04-25 15:35:33 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
2025-04-25 15:36:53 +0200 | Digit | (~user@245.144.208.46.dyn.plus.net) |
2025-04-25 15:38:16 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
2025-04-25 15:41:03 +0200 | euleritian | (~euleritia@dynamic-176-006-135-143.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-04-25 15:41:20 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
2025-04-25 15:45:34 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2025-04-25 15:46:07 +0200 | euleritian | (~euleritia@dynamic-176-006-135-143.176.6.pool.telefonica.de) |
2025-04-25 15:49:55 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
2025-04-25 15:50:27 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-04-25 15:51:27 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
2025-04-25 15:53:56 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-04-25 16:01:55 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-04-25 16:03:43 +0200 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) ft |
2025-04-25 16:06:19 +0200 | Digit | (~user@245.144.208.46.dyn.plus.net) (Ping timeout: 276 seconds) |
2025-04-25 16:14:01 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-04-25 16:17:00 +0200 | Googulator47 | (~Googulato@81.183.235.203) |
2025-04-25 16:17:28 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
2025-04-25 16:17:44 +0200 | Digit | (~user@245.144.208.46.dyn.plus.net) |
2025-04-25 16:18:29 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
2025-04-25 16:19:57 +0200 | Teacup | (~teacup@user/teacup) () |
2025-04-25 16:20:19 +0200 | Teacup | (~teacup@user/teacup) Teacup |
2025-04-25 16:20:30 +0200 | Googulator | (~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 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-04-25 16:30:02 +0200 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
2025-04-25 16:34:21 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 276 seconds) |
2025-04-25 16:38:32 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-04-25 16:38:40 +0200 | euleritian | (~euleritia@dynamic-176-006-135-143.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
2025-04-25 16:38:51 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
2025-04-25 16:47:29 +0200 | TheCoffeMaker | (~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 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-04-25 16:55:43 +0200 | <[exa]> | hellwolf: that needs the PartialTypeSignatures or whats that called, right? |
2025-04-25 16:56:08 +0200 | <hellwolf> | ah that first "_" was me being brief |
2025-04-25 16:56:28 +0200 | <[exa]> | oic that's all one codeblock |
2025-04-25 16:56:35 +0200 | <hellwolf> | (.->), f :: a -> b; f = ...; (.->) = f |
2025-04-25 16:56:39 +0200 | <[exa]> | yeah that's handy |
2025-04-25 16:57:01 +0200 | <mauke> | (.->)@f = ... |
2025-04-25 16:57:03 +0200 | <int-e> | they don't have to be aliases either |
2025-04-25 16:57:16 +0200 | <hellwolf> | they don't, indeed |
2025-04-25 16:57:28 +0200 | <hellwolf> | but I had repeated for aliasing |
2025-04-25 16:57:57 +0200 | <hellwolf> | mauke: nice, you like perl, right? |
2025-04-25 16:58:11 +0200 | <mauke> | yeah, why? :-) |
2025-04-25 16:58:34 +0200 | <hellwolf> | ratio between alphabet letters and symbols is a sign of perlness |
2025-04-25 16:59:08 +0200 | <mauke> | ... and haskell-ness |
2025-04-25 16:59:20 +0200 | <mauke> | (possibly haskell-with-lenses-ness, but still) |
2025-04-25 17:01:12 +0200 | <hellwolf> | I have nightmares changing stale perl code |
2025-04-25 17:05:28 +0200 | Digit | (~user@245.144.208.46.dyn.plus.net) (Ping timeout: 276 seconds) |
2025-04-25 17:07:25 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 276 seconds) |
2025-04-25 17:10:45 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
2025-04-25 17:10:56 +0200 | JuanDaugherty | is reassured about the detterence value of hs |
2025-04-25 17:12:11 +0200 | machinedgod | (~machinedg@108.173.18.100) machinedgod |
2025-04-25 17:18:24 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2025-04-25 17:18:30 +0200 | <hellwolf> | who do you want to deter the most? |
2025-04-25 17:21:44 +0200 | <mauke> | minism |
2025-04-25 17:21:45 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2025-04-25 17:21:57 +0200 | <int-e> | themselves |
2025-04-25 17:28:13 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
2025-04-25 17:32:50 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-25 17:33:41 +0200 | dhil | (~dhil@openvpn-125-1069.inf.ed.ac.uk) (Ping timeout: 248 seconds) |
2025-04-25 17:34:49 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a16e:31f3:ac48:6e3d) |
2025-04-25 17:36:10 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-25 17:38:05 +0200 | <JuanDaugherty> | wage slaves that are gonna be outta the biz in a couple years anywho, at least from any coding/doiing |
2025-04-25 17:38:27 +0200 | <JuanDaugherty> | without a, if u will, vocation |
2025-04-25 17:42:13 +0200 | <JuanDaugherty> | srsly, there's other pluses but most of them u can get elsewhere |
2025-04-25 17:43:22 +0200 | <JuanDaugherty> | for that and more cheery reasons it's my default target application lang |
2025-04-25 17:46:53 +0200 | dhil | (~dhil@5.151.29.137) dhil |
2025-04-25 17:46:58 +0200 | <EvanR> | I find an amusing bizarre definition of mutable array and immutable array in the APL wiki. When you copy a mutable array, changes made to any copy are visible in all copies. In an immutable array, changes made to a copy are only visible on that one copy! |
2025-04-25 17:47:36 +0200 | <JuanDaugherty> | finds no conflict |
2025-04-25 17:47:52 +0200 | <int-e> | EvanR: so same as Haskell then |
2025-04-25 17:47:58 +0200 | <JuanDaugherty> | except ofc that the single instance could store |
2025-04-25 17:48:16 +0200 | <EvanR> | lol |
2025-04-25 17:48:19 +0200 | <int-e> | EvanR: (sharing and or lack thereof is an implementation detail) |
2025-04-25 17:48:51 +0200 | <EvanR> | to make sense of this, I had to think that "make a copy" is not what I think it is |
2025-04-25 17:49:00 +0200 | <JuanDaugherty> | APL was before ML or anything |
2025-04-25 17:49:11 +0200 | <int-e> | this reminds me of the horror that is DiffArray (can you believe that it used to live in base?) |
2025-04-25 17:51:00 +0200 | <EvanR> | to guarantee changes made to an immutable array are visible only on that one copy, it seems like you need to guarantee the "original" is discarded, which is not in haskell |
2025-04-25 17:51:57 +0200 | <int-e> | you could just do copy on write, or keep a record of changes so that other users can undo them |
2025-04-25 17:52:18 +0200 | <EvanR> | copy on write seems to be another level of copying above this definition |
2025-04-25 17:53:13 +0200 | <int-e> | well it's an optimization on top of the obvious: to mutate an array, copy it and update its contents |
2025-04-25 17:53:23 +0200 | <int-e> | if it's immutable |
2025-04-25 17:53:32 +0200 | <EvanR> | "to mutate an immutable array" xD |
2025-04-25 17:53:42 +0200 | <EvanR> | can god make an array so immutable that not even he can mutate it |
2025-04-25 17:53:51 +0200 | <JuanDaugherty> | awww |
2025-04-25 17:54:04 +0200 | <int-e> | > map succ [1,2] -- mutating an immutable list |
2025-04-25 17:54:05 +0200 | <lambdabot> | [2,3] |
2025-04-25 17:54:17 +0200 | <int-e> | there's no contradiction here, just different levels of abstraction |
2025-04-25 17:54:44 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-04-25 17:55:08 +0200 | <EvanR> | seems like an abuse of jargon |
2025-04-25 17:55:34 +0200 | <EvanR> | immutable update vs mutation |
2025-04-25 17:56:16 +0200 | <JuanDaugherty> | eerie concordence, god an extremal concept and immutablility equally absolutist |
2025-04-25 17:56:26 +0200 | <EvanR> | though maybe back in the difference array days this was normal |
2025-04-25 17:56:39 +0200 | <int-e> | But it isn't. It's a matter of how I think about the operation. I want the same list, but with all elements replaced by their successor. It's convenient for me to think of that as mutation. Even if no actual mutation is taking place at runtime. Except there is mutation at runtime because laziness comes with in-place updates. |
2025-04-25 17:56:52 +0200 | <int-e> | If you're picky about it it's lies all the way down. |
2025-04-25 17:56:54 +0200 | caconym | (~caconym@user/caconym) (Ping timeout: 260 seconds) |
2025-04-25 17:56:54 +0200 | caconym7 | caconym |
2025-04-25 17:57:13 +0200 | <EvanR> | your example doesn't involve any copies since you don't save the original |
2025-04-25 17:57:25 +0200 | <EvanR> | so it could satisfy many stories |
2025-04-25 17:59:20 +0200 | <EvanR> | in godot 3 there was also this one bizarre feature explained in the manual as "pass by value". This one primitive of array of bytes or ints is "pass by value", which they then equated to immutable, and then community assumed this meant copy on write |
2025-04-25 17:59:42 +0200 | <EvanR> | but apparently it wasn't |
2025-04-25 17:59:54 +0200 | <JuanDaugherty> | enwiki sez APL was 20y b4 ML |
2025-04-25 17:59:54 +0200 | <EvanR> | I think no one ever figured it out, and it was removed |
2025-04-25 18:00:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
2025-04-25 18:01:06 +0200 | wbrawner | (~wbrawner@129.146.103.146) (Remote host closed the connection) |
2025-04-25 18:02:13 +0200 | <EvanR> | do you think "make a copy" is referring to assigning to another variable |
2025-04-25 18:03:11 +0200 | <EvanR> | JuanDaugherty, yes many years later in haskell, copy is e.g. an explicit operation to help ByteStrings get collected xD |
2025-04-25 18:03:26 +0200 | <JuanDaugherty> | :) |
2025-04-25 18:10:18 +0200 | JuanDaugherty | ColinRobinson |
2025-04-25 18:11:47 +0200 | Digit | (~user@user/digit) Digit |
2025-04-25 18:15:51 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-25 18:17:06 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-04-25 18:17:11 +0200 | <EvanR> | in the latest conal talk listed on conal's website, in a side remark still suggests that "long term" we will replace float point math with real number math in a way that is high performance and correct and reliable. Saying something about how lazy evaluation could be involved |
2025-04-25 18:17:39 +0200 | <EvanR> | and that existing implementations are slow just because they haven't been optimized |
2025-04-25 18:17:59 +0200 | <EvanR> | and I"m thinking, the fastest implementation we have doesn't use laziness |
2025-04-25 18:18:30 +0200 | <ColinRobinson> | prolly means spiffed gmp backend oder |
2025-04-25 18:18:38 +0200 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-04-25 18:19:35 +0200 | <EvanR> | but maybe it's because of haskell's brand of laziness |
2025-04-25 18:19:51 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-25 18:24:49 +0200 | <EvanR> | that was 2023 glad to see conal's still got it |
2025-04-25 18:30:06 +0200 | Googulator47 | (~Googulato@81.183.235.203) (Ping timeout: 240 seconds) |
2025-04-25 18:39:02 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-04-25 18:39:08 +0200 | dhil | (~dhil@5.151.29.137) (Ping timeout: 272 seconds) |
2025-04-25 18:42:55 +0200 | Square | (~Square@user/square) Square |
2025-04-25 18:51:59 +0200 | wbrawner | (~wbrawner@static.205.41.78.5.clients.your-server.de) wbrawner |
2025-04-25 18:52:03 +0200 | dhil | (~dhil@openvpn-125-1069.inf.ed.ac.uk) dhil |
2025-04-25 18:52:37 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-04-25 18:57:49 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
2025-04-25 19:01:57 +0200 | dhil | (~dhil@openvpn-125-1069.inf.ed.ac.uk) (Ping timeout: 272 seconds) |
2025-04-25 19:02:57 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
2025-04-25 19:04:12 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-04-25 19:05:02 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |