| 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) |
| 2025-04-25 19:10:24 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-04-25 19:14:37 +0200 | wbrawner | (~wbrawner@static.205.41.78.5.clients.your-server.de) (Ping timeout: 272 seconds) |
| 2025-04-25 19:17:30 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-04-25 19:33:54 +0200 | <tomsmeding> | EvanR: I'm excited to see how he plans to make real number math decidable, let alone performant. :D |
| 2025-04-25 19:34:28 +0200 | wbrawner | (~wbrawner@static.205.41.78.5.clients.your-server.de) wbrawner |
| 2025-04-25 19:35:01 +0200 | <EvanR> | certain operations on arbitrary real numbers is uncomptuable, like the floor function, the "is zero" function |
| 2025-04-25 19:35:29 +0200 | <EvanR> | but many work, like arithmetic, absolute value, max and min |
| 2025-04-25 19:35:30 +0200 | <tomsmeding> | yeah s/decidable/computable/, used the wrong word |
| 2025-04-25 19:35:50 +0200 | <EvanR> | as well as "epsilon trichotomy" |
| 2025-04-25 19:35:51 +0200 | <tomsmeding> | I don't think you're going to get programmers to give up floor(). :) |
| 2025-04-25 19:36:16 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-04-25 19:36:24 +0200 | <EvanR> | well you can divide the continuum! |
| 2025-04-25 19:36:27 +0200 | <EvanR> | can't! |
| 2025-04-25 19:37:15 +0200 | <tomsmeding> | IEEE floating point is very firmly entrenched, but I concede that we may at some point slowly transition to something else. But it won't be exact real number math |
| 2025-04-25 19:37:43 +0200 | <EvanR> | "long term" can do a lot of lifting |
| 2025-04-25 19:38:04 +0200 | <tomsmeding> | sure, but "replace" I think not |
| 2025-04-25 19:38:08 +0200 | <tomsmeding> | "also use", perhaps |
| 2025-04-25 19:38:28 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2025-04-25 19:38:29 +0200 | ChanServ | +v haskellbridge |
| 2025-04-25 19:38:41 +0200 | <EvanR> | when used right floats work well |
| 2025-04-25 19:38:53 +0200 | <tomsmeding> | there are use cases were floats are perfectly fine |
| 2025-04-25 19:39:07 +0200 | <tomsmeding> | games, for example |
| 2025-04-25 19:39:24 +0200 | <tomsmeding> | even if you mess up and you have some lost precision in an edge case, people won't really care |
| 2025-04-25 19:39:27 +0200 | <tomsmeding> | and they're fast |
| 2025-04-25 19:40:16 +0200 | <EvanR> | a possible interpretation of stuff conal said over the years is that using technology X, you can be guaranteed a computation is within certain bounds of right |
| 2025-04-25 19:40:20 +0200 | <EvanR> | without doing the work yourself |
| 2025-04-25 19:40:57 +0200 | <EvanR> | a lot of naive uses of floats blow that totally away |
| 2025-04-25 19:41:06 +0200 | <tomsmeding> | that's conceivable, if X can limit the operations you do on those things -- for example, floor() would not be admissible ;) |
| 2025-04-25 19:41:35 +0200 | <tomsmeding> | (no matter how small your error is before the floor(), it can be about 1.0 after the floor()) |
| 2025-04-25 19:41:48 +0200 | <EvanR> | the bounds on floor would be like +/- 1 xD |
| 2025-04-25 19:41:58 +0200 | <EvanR> | sometimes |
| 2025-04-25 19:42:14 +0200 | <tomsmeding> | oh I read what you said as "I can specify the required result bounds, and it automatically chooses the precision so that those bounds are attained" |
| 2025-04-25 19:42:25 +0200 | <tomsmeding> | returning bounds for the computation you ran already exists, that's called interval arithmetic |
| 2025-04-25 19:42:31 +0200 | <EvanR> | or tells you to take a hike |
| 2025-04-25 19:42:41 +0200 | <tomsmeding> | always nice when software does that |
| 2025-04-25 19:42:44 +0200 | <EvanR> | lol |
| 2025-04-25 19:42:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-25 19:43:04 +0200 | <tomsmeding> | I prefer software that does what it's supposed to |
| 2025-04-25 19:43:31 +0200 | <EvanR> | I appreciate being told to take a hike instead of being given damaged goods under false pretense! |
| 2025-04-25 19:43:40 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-25 19:44:24 +0200 | <EvanR> | but yeah interval arithmetic is like a theoretical basis for any practical real number application, if not necessarily presented as such |
| 2025-04-25 19:44:41 +0200 | <EvanR> | even floats stuff |
| 2025-04-25 19:46:49 +0200 | <tomsmeding> | right, interval arithmetic is cool |
| 2025-04-25 19:47:16 +0200 | <tomsmeding> | but I'm not sure I'd call it "real number math" -- "approximate real number math", perhaps, if you're stretching it |
| 2025-04-25 19:47:31 +0200 | <tomsmeding> | it's firmly within the rationals, for one |
| 2025-04-25 19:48:54 +0200 | <EvanR> | one way approximate math can be construed as exact math is if according to the situation, increasing the precision past a certain point has no observable difference |
| 2025-04-25 19:49:12 +0200 | <EvanR> | on results |
| 2025-04-25 19:50:03 +0200 | <EvanR> | like your image is pixel perfect because the pixel colors converge to a final color |
| 2025-04-25 19:51:10 +0200 | <EvanR> | because of quantization of pixel colors, you would then have to issue a non-standard topology letting being off by 1 quantum still count |
| 2025-04-25 19:51:16 +0200 | <tomsmeding> | I would argue that's still not exact math; indeed, that's the epitome of approximate math: we can only distinguish colours up to a certain precision, so an approximate result (with error below that threshold) is sufficient! |
| 2025-04-25 19:51:19 +0200 | <EvanR> | the floor thing again |
| 2025-04-25 19:51:55 +0200 | <tomsmeding> | with sufficient handwaving and twisting of definitions you can use the word "exact" here, but I'd expect better of Conal :p |
| 2025-04-25 19:52:44 +0200 | <EvanR> | well by distinguishing between "I can choose any desired accuracy" and some "even more exact" notion of quantity, you're in danger of accusing platonic objects of not being physical objects |
| 2025-04-25 19:53:20 +0200 | gentauro | (~gentauro@user/gentauro) (Quit: leaving) |
| 2025-04-25 19:53:40 +0200 | <EvanR> | like when you construct reals out of rationals, you can show how the irrational quantities keep not existing in your rational constructions |
| 2025-04-25 19:53:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-04-25 19:54:24 +0200 | <EvanR> | it's hard to get them to really exist. Escardo says somewhere the whole idea of reals seems problematic xD |
| 2025-04-25 19:54:32 +0200 | <EvanR> | so you have to get charitable at some point |
| 2025-04-25 19:54:48 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:6538:81e8:865e:540d) |
| 2025-04-25 19:57:16 +0200 | <tomsmeding> | I guess? |
| 2025-04-25 19:57:35 +0200 | <EvanR> | also the things that you *can* do keeps surprising me, so maybe it's not all negative |
| 2025-04-25 19:57:38 +0200 | <tomsmeding> | yeah I guess you have a point there |
| 2025-04-25 19:58:24 +0200 | <tomsmeding> | and the floor thing |
| 2025-04-25 20:04:25 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-25 20:05:30 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-04-25 20:05:40 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-04-25 20:06:54 +0200 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2025-04-25 20:20:28 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2025-04-25 20:22:29 +0200 | vulpine | (xfnw@user/meow/xfnw) (Quit: Connection reset by purr) |
| 2025-04-25 20:23:22 +0200 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2025-04-25 20:24:18 +0200 | <mauke> | vulpine: is that a What does the fox say/V for Vendetta crossover in your realname? |
| 2025-04-25 20:25:34 +0200 | <vulpine> | its just some random words that start with v, not a reference to anything |
| 2025-04-25 20:25:36 +0200 | talisman` | (~user@2601:644:937c:ed10::ae5) |
| 2025-04-25 20:26:32 +0200 | <haskellbridge> | <Morj> Not a reference to Worm huh |
| 2025-04-25 20:28:05 +0200 | talisman` | (~user@2601:644:937c:ed10::ae5) (Read error: Connection reset by peer) |
| 2025-04-25 20:30:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-25 20:30:53 +0200 | talisman` | (~user@2601:644:937c:ed10::ae5) |
| 2025-04-25 20:32:27 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 2025-04-25 20:32:56 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-25 20:36:38 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-25 20:39:45 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-25 20:40:06 +0200 | Digitteknohippie | Digit |
| 2025-04-25 20:40:30 +0200 | <haskellbridge> | <shapr> Oh hey Vulpine, long time no see |
| 2025-04-25 20:41:35 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-25 20:42:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 20:42:13 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-25 20:46:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-25 20:47:49 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-25 20:47:50 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-25 20:51:10 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-25 20:52:38 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-25 20:55:45 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-25 20:57:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 21:00:02 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-25 21:00:02 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-25 21:00:29 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed) |
| 2025-04-25 21:00:42 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-04-25 21:02:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-25 21:04:42 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-25 21:07:44 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-25 21:10:14 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 2025-04-25 21:12:26 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-25 21:12:40 +0200 | sprotte24 | (~sprotte24@p200300d16f05f30064a5653bc6ebb7c1.dip0.t-ipconnect.de) |
| 2025-04-25 21:13:30 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-25 21:13:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-25 21:16:45 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-25 21:18:45 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-25 21:22:00 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-25 21:22:01 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-25 21:22:17 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 2025-04-25 21:25:06 +0200 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |