Logs on 2025-04-25 (liberachat/#haskell)
| 00:00:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:04:58 | × | jespada_ quits (~jespada@r167-61-222-92.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 00:05:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 00:06:42 | → | notdabs joins (~Owner@2600:1700:69cf:9000:2536:b9c0:17b2:7e40) |
| 00:16:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:21:28 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 00:22:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:25:38 | → | bitmapper joins (uid464869@id-464869.lymington.irccloud.com) |
| 00:28:12 | × | Googulator quits (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 00:28:25 | → | Googulator joins (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 00:31:39 | × | xff0x quits (~xff0x@2405:6580:b080:900:9b42:d2bd:373e:abf7) (Ping timeout: 245 seconds) |
| 00:33:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:38:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:40:29 | → | weary-traveler joins (~user@user/user363627) |
| 00:43:50 | × | otto_s quits (~user@p4ff274cd.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 00:45:33 | → | otto_s joins (~user@p4ff2799b.dip0.t-ipconnect.de) |
| 00:47:59 | × | notdabs quits (~Owner@2600:1700:69cf:9000:2536:b9c0:17b2:7e40) (Read error: Connection reset by peer) |
| 00:48:36 | → | JamesMowery177 joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) |
| 00:48:48 | → | artynnn5 joins (~artynnn@23.95.246.172) |
| 00:49:01 | → | Wstfgl0 joins (~me-me@kc.randomserver.name) |
| 00:49:11 | → | smiesner_ joins (b0cf5acf8c@2a03:6000:1812:100::13b9) |
| 00:49:11 | → | simendsjo_ joins (34b0550437@2a03:6000:1812:100::1441) |
| 00:49:12 | → | ymherklotz_ joins (cb2c9cfbdd@2a03:6000:1812:100::29a) |
| 00:49:12 | → | arcadewise_ joins (52968ed80d@2a03:6000:1812:100::3df) |
| 00:49:13 | → | stureplan_ joins (22e45d5caf@user/stureplan) |
| 00:49:18 | → | dutchie_ joins (~dutchie@user/dutchie) |
| 00:49:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:49:35 | → | sp1ff` joins (~user@c-67-160-173-55.hsd1.wa.comcast.net) |
| 00:49:37 | → | img_ joins (~img@user/img) |
| 00:49:52 | → | ycp_ joins (~znc@user/dragestil) |
| 00:50:18 | × | stureplan quits (22e45d5caf@user/stureplan) (Ping timeout: 276 seconds) |
| 00:50:18 | × | euleritian quits (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 00:50:18 | × | sand-witch quits (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 276 seconds) |
| 00:50:18 | × | dutchie quits (~dutchie@user/dutchie) (Ping timeout: 276 seconds) |
| 00:50:18 | × | arcadewise quits (52968ed80d@2a03:6000:1812:100::3df) (Ping timeout: 276 seconds) |
| 00:50:18 | × | ycp quits (~znc@user/dragestil) (Ping timeout: 276 seconds) |
| 00:50:18 | stureplan_ | is now known as stureplan |
| 00:50:18 | arcadewise_ | is now known as arcadewise |
| 00:50:21 | dutchie_ | is now known as dutchie |
| 00:50:30 | × | sp1ff quits (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 00:50:30 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 00:50:44 | × | img quits (~img@user/img) (Ping timeout: 276 seconds) |
| 00:50:44 | × | ymherklotz quits (cb2c9cfbdd@2a03:6000:1812:100::29a) (Ping timeout: 276 seconds) |
| 00:50:44 | × | JamesMowery17 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 276 seconds) |
| 00:50:45 | × | Eoco quits (~ian@128.101.131.218) (Ping timeout: 276 seconds) |
| 00:50:45 | ymherklotz_ | is now known as ymherklotz |
| 00:50:46 | JamesMowery177 | is now known as JamesMowery17 |
| 00:50:50 | × | simendsjo quits (34b0550437@2a03:6000:1812:100::1441) (Read error: Connection reset by peer) |
| 00:50:50 | × | smiesner quits (b0cf5acf8c@user/smiesner) (Read error: Connection reset by peer) |
| 00:50:50 | smiesner_ | is now known as smiesner |
| 00:50:50 | simendsjo_ | is now known as simendsjo |
| 00:51:07 | → | sand-witch joins (~m-mzmz6l@vmi833741.contaboserver.net) |
| 00:51:23 | × | Me-me quits (~me-me@kc.randomserver.name) (Ping timeout: 276 seconds) |
| 00:51:23 | × | hammond quits (proscan@user/hammond2) (Ping timeout: 276 seconds) |
| 00:51:23 | × | Flow quits (~none@gentoo/developer/flow) (Ping timeout: 276 seconds) |
| 00:51:23 | × | artynnn quits (~artynnn@23.95.246.172) (Ping timeout: 276 seconds) |
| 00:51:29 | Wstfgl0 | is now known as Me-me |
| 00:51:33 | → | hammond joins (proscan@gateway04.insomnia247.nl) |
| 00:51:55 | ycp_ | is now known as ycp |
| 00:52:01 | → | Flow joins (~none@gentoo/developer/flow) |
| 00:52:20 | → | Eoco joins (~ian@128.101.131.218) |
| 00:53:19 | × | acidjnk_new quits (~acidjnk@p200300d6e71c4f805da7edc33ed0f570.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 00:54:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:54:30 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 00:54:31 | ChanServ | sets mode +v lambdabot |
| 00:54:58 | → | euleritian joins (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) |
| 00:55:09 | × | euleritian quits (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Remote host closed the connection) |
| 00:55:22 | Catty | is now known as catties |
| 00:55:27 | → | euleritian joins (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) |
| 00:56:15 | × | euleritian quits (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Remote host closed the connection) |
| 00:57:29 | → | euleritian joins (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) |
| 01:00:05 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds) |
| 01:00:39 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 01:02:15 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 01:02:15 | → | haritz joins (~hrtz@152.37.68.178) |
| 01:02:16 | × | haritz quits (~hrtz@152.37.68.178) (Changing host) |
| 01:02:16 | → | haritz joins (~hrtz@user/haritz) |
| 01:05:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:07:08 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 01:10:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 01:11:00 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 01:15:27 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:21:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:24:37 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 01:26:00 | × | califax quits (~califax@user/califx) (Ping timeout: 264 seconds) |
| 01:26:16 | → | califax joins (~califax@user/califx) |
| 01:27:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 01:33:13 | × | comonad quits (~comonad@p200300d027303e00f556181ab74e36af.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 01:33:24 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 01:35:15 | → | comonad joins (~comonad@p200300d0270a4d00bd2fa57947ace417.dip0.t-ipconnect.de) |
| 01:39:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:41:30 | × | __jmcantrell__ quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.1) |
| 01:44:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 01:54:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:55:32 | <ski> | yes, EvanR (SML) |
| 02:00:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 02:10:31 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 02:10:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:12:34 | → | werneta joins (~werneta@syn-071-083-160-242.res.spectrum.com) |
| 02:15:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 02:23:39 | × | td_ quits (~td@83.135.9.7) (Ping timeout: 265 seconds) |
| 02:25:02 | → | td_ joins (~td@i5387092B.versanet.de) |
| 02:26:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:31:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:36:15 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 02:42:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:42:50 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 02:43:58 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 02:47:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 02:58:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:59:53 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:00:40 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 03:02:40 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 03:05:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 03:09:25 | → | j1n37 joins (~j1n37@user/j1n37) |
| 03:12:40 | ← | Me-me parts (~me-me@kc.randomserver.name) (I never did learn haskell, did I?) |
| 03:16:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:20:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 03:21:55 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 03:28:21 | × | aforemny_ quits (~aforemny@2001:9e8:6cc4:a200:cdb7:b741:f6b2:ab55) (Ping timeout: 248 seconds) |
| 03:28:46 | → | aforemny joins (~aforemny@2001:9e8:6ce4:fd00:2b9b:42c6:1d6:b68) |
| 03:31:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:36:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:37:05 | → | lol_ joins (~lol@2603:3016:1e01:b960:c8e6:63b3:6b9f:3e52) |
| 03:37:12 | × | jcarpenter2 quits (~lol@96.78.87.197) (Read error: Connection reset by peer) |
| 03:44:50 | × | haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 03:44:55 | → | gorignak joins (~gorignak@user/gorignak) |
| 03:45:32 | → | haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 03:45:33 | ChanServ | sets mode +v haskellbridge |
| 03:47:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:50:23 | → | michalz joins (~michalz@185.246.207.217) |
| 03:52:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 03:54:02 | × | __jmcantrell__ quits (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 04:03:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:08:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 04:09:02 | × | xstill_ quits (xstill@fimu/xstill) (Ping timeout: 244 seconds) |
| 04:09:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:11:49 | → | xstill_ joins (xstill@fimu/xstill) |
| 04:14:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 04:23:36 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 04:24:03 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 04:24:25 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 04:25:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:30:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 04:41:02 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 04:41:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:44:36 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 04:45:32 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 04:48:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:57:20 | × | euleritian quits (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 04:58:00 | → | euleritian joins (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 04:59:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:00:46 | → | takuan joins (~takuan@d8d86b601.access.telenet.be) |
| 05:04:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 05:15:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:20:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 05:30:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:31:04 | → | fp joins (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) |
| 05:32:10 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 05:36:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 05:46:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:51:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 06:01:34 | → | typedfern_ joins (~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net) |
| 06:02:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:04:01 | × | Typedfern quits (~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net) (Ping timeout: 248 seconds) |
| 06:04:09 | → | j1n37- joins (~j1n37@user/j1n37) |
| 06:04:40 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 06:07:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 06:10:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:13:38 | × | Googulator quits (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 06:13:55 | → | Googulator joins (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 06:14:23 | → | tabemann_ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 06:15:40 | × | tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 252 seconds) |
| 06:15:51 | × | ft quits (~ft@p4fc2a6e6.dip0.t-ipconnect.de) (Quit: leaving) |
| 06:16:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 06:18:25 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:26:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:30:38 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 06:33:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 06:43:40 | × | euleritian quits (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 06:44:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:45:39 | → | euleritian joins (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) |
| 06:49:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 06:50:26 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 06:50:53 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:53:42 | × | Googulator quits (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 06:55:04 | → | tromp joins (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 07:00:00 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:01:03 | → | caconym joins (~caconym@user/caconym) |
| 07:01:57 | → | acidjnk_new joins (~acidjnk@p200300d6e71c4f84d9d34579eebef444.dip0.t-ipconnect.de) |
| 07:05:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 07:07:16 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 07:11:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:11:57 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 07:13:56 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 07:14:49 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:15:16 | → | j1n37 joins (~j1n37@user/j1n37) |
| 07:16:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 07:17:49 | → | euphores joins (~SASL_euph@user/euphores) |
| 07:18:53 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 07:21:06 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 07:21:45 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 07:22:51 | → | j1n37 joins (~j1n37@user/j1n37) |
| 07:24:06 | Lord_of_Life_ | is now known as Lord_of_Life |
| 07:26:36 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:27:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:28:34 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 07:29:28 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 07:33:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 07:37:55 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 07:43:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:48:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 07:48:21 | × | euleritian quits (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 07:48:29 | → | j1n37- joins (~j1n37@user/j1n37) |
| 07:48:39 | → | euleritian joins (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 07:49:19 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 07:50:18 | → | chele joins (~chele@user/chele) |
| 07:52:09 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 07:58:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:00:32 | × | sixfourtwelve quits (~ethanmorg@82.18.82.103) (Ping timeout: 265 seconds) |
| 08:02:31 | → | sixfourtwelve joins (~ethanmorg@82.18.82.103) |
| 08:03:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 08:05:35 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 08:05:36 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:09:09 | → | __monty__ joins (~toonn@user/toonn) |
| 08:09:42 | → | Googulator joins (~Googulato@81.183.235.203) |
| 08:09:48 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
| 08:12:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:23:14 | → | vpan joins (~vpan@212.117.1.172) |
| 08:23:34 | vpan | is now known as Guest5108 |
| 08:23:49 | Guest5108 | is now known as vpan |
| 08:27:15 | × | sixfourtwelve quits (~ethanmorg@82.18.82.103) (Read error: Connection reset by peer) |
| 08:31:17 | → | sixfourtwelve joins (~ethanmorg@82.18.82.103) |
| 08:51:08 | × | fp quits (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Ping timeout: 252 seconds) |
| 08:54:25 | × | sixfourtwelve quits (~ethanmorg@82.18.82.103) (Quit: leaving) |
| 09:16:22 | → | fp joins (~Thunderbi@2001:708:20:1406::1370) |
| 09:18:38 | × | Googulator quits (~Googulato@81.183.235.203) (Quit: Client closed) |
| 09:18:54 | → | Googulator joins (~Googulato@81.183.235.203) |
| 09:30:32 | × | tromp quits (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:30:46 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:34:32 | × | TMA quits (tma@twin.jikos.cz) (Ping timeout: 244 seconds) |
| 09:36:08 | → | tromp joins (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 09:41:58 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 09:42:38 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 09:43:10 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 09:46:33 | → | j1n37 joins (~j1n37@user/j1n37) |
| 10:27:57 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 10:41:11 | lol_ | is now known as jcarpenter2 |
| 10:43:17 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 10:50:16 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 10:50:36 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 10:50:45 | gehmehgeh | is now known as gmg |
| 11:17:21 | × | tromp quits (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:32:06 | → | tromp joins (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 11:32:57 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 11:38:07 | <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? |
| 11:41:42 | <merijn> | ii8: Not really, no |
| 11:42:36 | <merijn> | You could write a script that does that and invoke cabal from there |
| 11:44:56 | × | tromp quits (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:47:40 | <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? |
| 11:49:38 | → | mceresa joins (~mceresa@user/mceresa) |
| 11:51:56 | <merijn> | ii8: I mean, if you have a cabal.project file in the repo you will get that behaviour |
| 11:52:11 | <merijn> | ii8: But doing that in a cabal package is antithetical to it's purpose |
| 11:52:43 | <merijn> | ii8: Since cabal package are intended to be reusable generally, allowing something like that in a package on Hackage would be a nightmare |
| 11:53:03 | <merijn> | Inside a repo you could have a cabal.project file to enforce a specific index-state, though |
| 11:53:40 | <merijn> | It should use that projectfile by default, but there's no way to force it to fail if missing |
| 11:54:25 | <merijn> | I mean, I guess your script could be simply "cabal <cmd> --project-file=<filename>" and that'd fail on a non-existent file |
| 11:54:36 | <merijn> | but at that point, what have you really accomplished? |
| 11:55:38 | → | sixfourtwelve joins (~ethanmorg@82.18.82.103) |
| 11:55:38 | × | tv quits (~tv@user/tv) (Read error: Connection reset by peer) |
| 11:57:22 | × | mceresa quits (~mceresa@user/mceresa) (Ping timeout: 265 seconds) |
| 12:11:12 | <jackdk> | ii8: If that's your goal, I would use Nix |
| 12:12:36 | → | tv joins (~tv@user/tv) |
| 12:23:08 | → | jespada joins (~jespada@179.26.245.3) |
| 12:23:26 | → | tremon joins (~tremon@83.80.159.219) |
| 12:24:35 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:36:08 | → | weary-traveler joins (~user@user/user363627) |
| 12:40:10 | <haskellbridge> | <Liamzee> is there a reason to use postgresql simple instead of hasql? |
| 12:40:57 | <haskellbridge> | <Liamzee> also, about PGRef: |
| 12:40:59 | <haskellbridge> | <Liamzee> https://hackage.haskell.org/package/hasql-transaction |
| 12:41:01 | <haskellbridge> | <Liamzee> done already |
| 12:41:08 | <haskellbridge> | <Liamzee> postgresql simple, i guess, opaleye |
| 12:47:03 | <ii8> | merijn: I'm coming from the perspective of packaging haskell programs for linux distros, so I won't be pushing anything to hackage |
| 12:47:49 | <ii8> | I just need a way to make sure that cabal always pulls the exact same sources for any given project |
| 12:48:46 | × | ethantwardy quits (~user@user/ethantwardy) (Quit: WeeChat 4.4.2) |
| 12:50:04 | <ii8> | Are you sure that just a project file existing guarantees that all dependencies are fixed? |
| 12:52:36 | <ii8> | I guess assuming it contains an index-state setting. Is that enough or is the freeze file needed too to fix the build? |
| 12:53:21 | <ii8> | jackdk: not an option for me I think |
| 12:54:41 | <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 |
| 12:54:56 | <merijn> | ii8: The solver is deterministic, so index-state should be sufficient |
| 12:54:56 | <haskellbridge> | <ozkutuk> ii8: freeze file provides stronger guarantees wrt determinism compared to index-state |
| 12:55:10 | <haskellbridge> | <ozkutuk> for example, it also records the set package flags for the dependencies |
| 12:57:52 | <ii8> | Why might the flags change? |
| 12:58:18 | <merijn> | ii8: Because they're auto toggle |
| 12:58:52 | <ii8> | I'm not sure what that means |
| 12:59:25 | <ii8> | If the index-state is fixed and I'm building from the same source tarball, can the flags still end up different? |
| 12:59:53 | <merijn> | ii8: Could be a flag that detects whether C library X is on the system and use that if it is |
| 12:59:55 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000::2) |
| 12:59:55 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000::2) (Changing host) |
| 12:59:55 | → | haritz joins (~hrtz@user/haritz) |
| 13:01:01 | <haskellbridge> | <ozkutuk> or a package could depend on, say, "unix" package if the OS is linux and "Win32" if its windows |
| 13:01:19 | <ii8> | merijn: In that case it would be fine, I'm assuming a consistend build environment |
| 13:01:24 | → | tromp joins (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 13:01:45 | <ii8> | s/considend/consistent |
| 13:01:57 | <haskellbridge> | <ozkutuk> I guess pinning index-state would be enough then |
| 13:04:30 | <ii8> | Alright, I'll try that then, thanks |
| 13:05:42 | → | TMA joins (tma@twin.jikos.cz) |
| 13:08:51 | × | Square2 quits (~Square4@user/square) (Ping timeout: 268 seconds) |
| 13:11:33 | → | Square joins (~Square@user/square) |
| 13:25:25 | × | euleritian quits (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 13:25:43 | → | euleritian joins (~euleritia@dynamic-176-006-135-143.176.6.pool.telefonica.de) |
| 13:28:20 | × | Digit quits (~user@user/digit) (Ping timeout: 260 seconds) |
| 13:32:10 | → | dhil joins (~dhil@openvpn-125-1069.inf.ed.ac.uk) |
| 13:35:33 | → | mceresa joins (~mceresa@user/mceresa) |
| 13:36:53 | → | Digit joins (~user@245.144.208.46.dyn.plus.net) |
| 13:38:16 | × | vpan quits (~vpan@212.117.1.172) (Quit: Leaving.) |
| 13:41:03 | × | euleritian quits (~euleritia@dynamic-176-006-135-143.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 13:41:20 | → | euleritian joins (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 13:45:34 | × | euleritian quits (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 13:46:07 | → | euleritian joins (~euleritia@dynamic-176-006-135-143.176.6.pool.telefonica.de) |
| 13:49:55 | × | Square quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 13:50:27 | → | pavonia joins (~user@user/siracusa) |
| 13:51:27 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 13:53:56 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 14:01:55 | → | euphores joins (~SASL_euph@user/euphores) |
| 14:03:43 | → | ft joins (~ft@p4fc2a6e6.dip0.t-ipconnect.de) |
| 14:06:19 | × | Digit quits (~user@245.144.208.46.dyn.plus.net) (Ping timeout: 276 seconds) |
| 14:14:01 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 14:17:00 | → | Googulator47 joins (~Googulato@81.183.235.203) |
| 14:17:28 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 14:17:44 | → | Digit joins (~user@245.144.208.46.dyn.plus.net) |
| 14:18:29 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 14:19:57 | × | Teacup quits (~teacup@user/teacup) () |
| 14:20:19 | → | Teacup joins (~teacup@user/teacup) |
| 14:20:30 | × | Googulator quits (~Googulato@81.183.235.203) (Ping timeout: 240 seconds) |
| 14:25:25 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 14:26:38 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:30:02 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 14:34:21 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 276 seconds) |
| 14:38:32 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 14:38:40 | × | euleritian quits (~euleritia@dynamic-176-006-135-143.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 14:38:51 | → | euleritian joins (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 14:47:29 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 245 seconds) |
| 14:50:12 | <[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) |
| 14:53:49 | <hellwolf> | I did not realize this trick until today: (.->), f :: _; f = _ .-> = f |
| 14:54:05 | <hellwolf> | To define aliases of the function without having to repeat the type signature. |
| 14:54:07 | × | tromp quits (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:55:43 | <[exa]> | hellwolf: that needs the PartialTypeSignatures or whats that called, right? |
| 14:56:08 | <hellwolf> | ah that first "_" was me being brief |
| 14:56:28 | <[exa]> | oic that's all one codeblock |
| 14:56:35 | <hellwolf> | (.->), f :: a -> b; f = ...; (.->) = f |
| 14:56:39 | <[exa]> | yeah that's handy |
| 14:57:01 | <mauke> | (.->)@f = ... |
| 14:57:03 | <int-e> | they don't have to be aliases either |
| 14:57:16 | <hellwolf> | they don't, indeed |
| 14:57:28 | <hellwolf> | but I had repeated for aliasing |
| 14:57:57 | <hellwolf> | mauke: nice, you like perl, right? |
| 14:58:11 | <mauke> | yeah, why? :-) |
| 14:58:34 | <hellwolf> | ratio between alphabet letters and symbols is a sign of perlness |
| 14:59:08 | <mauke> | ... and haskell-ness |
| 14:59:20 | <mauke> | (possibly haskell-with-lenses-ness, but still) |
| 15:01:12 | <hellwolf> | I have nightmares changing stale perl code |
| 15:05:28 | × | Digit quits (~user@245.144.208.46.dyn.plus.net) (Ping timeout: 276 seconds) |
| 15:07:25 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 276 seconds) |
| 15:10:45 | → | Miroboru joins (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 15:10:56 | JuanDaugherty | is reassured about the detterence value of hs |
| 15:12:11 | → | machinedgod joins (~machinedg@108.173.18.100) |
| 15:18:24 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 15:18:30 | <hellwolf> | who do you want to deter the most? |
| 15:21:44 | <mauke> | minism |
| 15:21:45 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 15:21:57 | <int-e> | themselves |
| 15:28:13 | × | __jmcantrell__ quits (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 15:32:50 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 15:33:41 | × | dhil quits (~dhil@openvpn-125-1069.inf.ed.ac.uk) (Ping timeout: 248 seconds) |
| 15:34:49 | → | xff0x joins (~xff0x@2405:6580:b080:900:a16e:31f3:ac48:6e3d) |
| 15:36:10 | → | j1n37 joins (~j1n37@user/j1n37) |
| 15:38:05 | <JuanDaugherty> | wage slaves that are gonna be outta the biz in a couple years anywho, at least from any coding/doiing |
| 15:38:27 | <JuanDaugherty> | without a, if u will, vocation |
| 15:42:13 | <JuanDaugherty> | srsly, there's other pluses but most of them u can get elsewhere |
| 15:43:22 | <JuanDaugherty> | for that and more cheery reasons it's my default target application lang |
| 15:46:53 | → | dhil joins (~dhil@5.151.29.137) |
| 15:46:58 | <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! |
| 15:47:36 | <JuanDaugherty> | finds no conflict |
| 15:47:52 | <int-e> | EvanR: so same as Haskell then |
| 15:47:58 | <JuanDaugherty> | except ofc that the single instance could store |
| 15:48:16 | <EvanR> | lol |
| 15:48:19 | <int-e> | EvanR: (sharing and or lack thereof is an implementation detail) |
| 15:48:51 | <EvanR> | to make sense of this, I had to think that "make a copy" is not what I think it is |
| 15:49:00 | <JuanDaugherty> | APL was before ML or anything |
| 15:49:11 | <int-e> | this reminds me of the horror that is DiffArray (can you believe that it used to live in base?) |
| 15:51:00 | <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 |
| 15:51:57 | <int-e> | you could just do copy on write, or keep a record of changes so that other users can undo them |
| 15:52:18 | <EvanR> | copy on write seems to be another level of copying above this definition |
| 15:53:13 | <int-e> | well it's an optimization on top of the obvious: to mutate an array, copy it and update its contents |
| 15:53:23 | <int-e> | if it's immutable |
| 15:53:32 | <EvanR> | "to mutate an immutable array" xD |
| 15:53:42 | <EvanR> | can god make an array so immutable that not even he can mutate it |
| 15:53:51 | <JuanDaugherty> | awww |
| 15:54:04 | <int-e> | > map succ [1,2] -- mutating an immutable list |
| 15:54:05 | <lambdabot> | [2,3] |
| 15:54:17 | <int-e> | there's no contradiction here, just different levels of abstraction |
| 15:54:44 | → | caconym7 joins (~caconym@user/caconym) |
| 15:55:08 | <EvanR> | seems like an abuse of jargon |
| 15:55:34 | <EvanR> | immutable update vs mutation |
| 15:56:16 | <JuanDaugherty> | eerie concordence, god an extremal concept and immutablility equally absolutist |
| 15:56:26 | <EvanR> | though maybe back in the difference array days this was normal |
| 15:56:39 | <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. |
| 15:56:52 | <int-e> | If you're picky about it it's lies all the way down. |
| 15:56:54 | × | caconym quits (~caconym@user/caconym) (Ping timeout: 260 seconds) |
| 15:56:54 | caconym7 | is now known as caconym |
| 15:57:13 | <EvanR> | your example doesn't involve any copies since you don't save the original |
| 15:57:25 | <EvanR> | so it could satisfy many stories |
| 15:59:20 | <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 |
| 15:59:42 | <EvanR> | but apparently it wasn't |
| 15:59:54 | <JuanDaugherty> | enwiki sez APL was 20y b4 ML |
| 15:59:54 | <EvanR> | I think no one ever figured it out, and it was removed |
| 16:00:39 | → | tromp joins (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 16:01:06 | × | wbrawner quits (~wbrawner@129.146.103.146) (Remote host closed the connection) |
| 16:02:13 | <EvanR> | do you think "make a copy" is referring to assigning to another variable |
| 16:03:11 | <EvanR> | JuanDaugherty, yes many years later in haskell, copy is e.g. an explicit operation to help ByteStrings get collected xD |
| 16:03:26 | <JuanDaugherty> | :) |
| 16:10:18 | JuanDaugherty | is now known as ColinRobinson |
| 16:11:47 | → | Digit joins (~user@user/digit) |
| 16:15:51 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 16:17:06 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 16:17:11 | <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 |
| 16:17:39 | <EvanR> | and that existing implementations are slow just because they haven't been optimized |
| 16:17:59 | <EvanR> | and I"m thinking, the fastest implementation we have doesn't use laziness |
| 16:18:30 | <ColinRobinson> | prolly means spiffed gmp backend oder |
| 16:18:38 | × | ColinRobinson quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 16:19:35 | <EvanR> | but maybe it's because of haskell's brand of laziness |
| 16:19:51 | → | j1n37 joins (~j1n37@user/j1n37) |
| 16:24:49 | <EvanR> | that was 2023 glad to see conal's still got it |
| 16:30:06 | × | Googulator47 quits (~Googulato@81.183.235.203) (Ping timeout: 240 seconds) |
| 16:39:02 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:39:08 | × | dhil quits (~dhil@5.151.29.137) (Ping timeout: 272 seconds) |
| 16:42:55 | → | Square joins (~Square@user/square) |
| 16:51:59 | → | wbrawner joins (~wbrawner@static.205.41.78.5.clients.your-server.de) |
| 16:52:03 | → | dhil joins (~dhil@openvpn-125-1069.inf.ed.ac.uk) |
| 16:52:37 | × | tromp quits (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:57:49 | → | tromp joins (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 17:01:57 | × | dhil quits (~dhil@openvpn-125-1069.inf.ed.ac.uk) (Ping timeout: 272 seconds) |
| 17:02:57 | → | jacopovalanzano joins (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 17:04:12 | → | j1n37- joins (~j1n37@user/j1n37) |
| 17:05:02 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 17:10:24 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 17:14:37 | × | wbrawner quits (~wbrawner@static.205.41.78.5.clients.your-server.de) (Ping timeout: 272 seconds) |
| 17:17:30 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 17:33:54 | <tomsmeding> | EvanR: I'm excited to see how he plans to make real number math decidable, let alone performant. :D |
| 17:34:28 | → | wbrawner joins (~wbrawner@static.205.41.78.5.clients.your-server.de) |
| 17:35:01 | <EvanR> | certain operations on arbitrary real numbers is uncomptuable, like the floor function, the "is zero" function |
| 17:35:29 | <EvanR> | but many work, like arithmetic, absolute value, max and min |
| 17:35:30 | <tomsmeding> | yeah s/decidable/computable/, used the wrong word |
| 17:35:50 | <EvanR> | as well as "epsilon trichotomy" |
| 17:35:51 | <tomsmeding> | I don't think you're going to get programmers to give up floor(). :) |
| 17:36:16 | × | haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 276 seconds) |
| 17:36:24 | <EvanR> | well you can divide the continuum! |
| 17:36:27 | <EvanR> | can't! |
| 17:37:15 | <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 |
| 17:37:43 | <EvanR> | "long term" can do a lot of lifting |
| 17:38:04 | <tomsmeding> | sure, but "replace" I think not |
| 17:38:08 | <tomsmeding> | "also use", perhaps |
| 17:38:28 | → | haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 17:38:29 | ChanServ | sets mode +v haskellbridge |
| 17:38:41 | <EvanR> | when used right floats work well |
| 17:38:53 | <tomsmeding> | there are use cases were floats are perfectly fine |
| 17:39:07 | <tomsmeding> | games, for example |
| 17:39:24 | <tomsmeding> | even if you mess up and you have some lost precision in an edge case, people won't really care |
| 17:39:27 | <tomsmeding> | and they're fast |
| 17:40:16 | <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 |
| 17:40:20 | <EvanR> | without doing the work yourself |
| 17:40:57 | <EvanR> | a lot of naive uses of floats blow that totally away |
| 17:41:06 | <tomsmeding> | that's conceivable, if X can limit the operations you do on those things -- for example, floor() would not be admissible ;) |
| 17:41:35 | <tomsmeding> | (no matter how small your error is before the floor(), it can be about 1.0 after the floor()) |
| 17:41:48 | <EvanR> | the bounds on floor would be like +/- 1 xD |
| 17:41:58 | <EvanR> | sometimes |
| 17:42:14 | <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" |
| 17:42:25 | <tomsmeding> | returning bounds for the computation you ran already exists, that's called interval arithmetic |
| 17:42:31 | <EvanR> | or tells you to take a hike |
| 17:42:41 | <tomsmeding> | always nice when software does that |
| 17:42:44 | <EvanR> | lol |
| 17:42:59 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 17:43:04 | <tomsmeding> | I prefer software that does what it's supposed to |
| 17:43:31 | <EvanR> | I appreciate being told to take a hike instead of being given damaged goods under false pretense! |
| 17:43:40 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 17:44:24 | <EvanR> | but yeah interval arithmetic is like a theoretical basis for any practical real number application, if not necessarily presented as such |
| 17:44:41 | <EvanR> | even floats stuff |
| 17:46:49 | <tomsmeding> | right, interval arithmetic is cool |
| 17:47:16 | <tomsmeding> | but I'm not sure I'd call it "real number math" -- "approximate real number math", perhaps, if you're stretching it |
| 17:47:31 | <tomsmeding> | it's firmly within the rationals, for one |
| 17:48:54 | <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 |
| 17:49:12 | <EvanR> | on results |
| 17:50:03 | <EvanR> | like your image is pixel perfect because the pixel colors converge to a final color |
| 17:51:10 | <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 |
| 17:51:16 | <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! |
| 17:51:19 | <EvanR> | the floor thing again |
| 17:51:55 | <tomsmeding> | with sufficient handwaving and twisting of definitions you can use the word "exact" here, but I'd expect better of Conal :p |
| 17:52:44 | <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 |
| 17:53:20 | × | gentauro quits (~gentauro@user/gentauro) (Quit: leaving) |
| 17:53:40 | <EvanR> | like when you construct reals out of rationals, you can show how the irrational quantities keep not existing in your rational constructions |
| 17:53:54 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 17:54:24 | <EvanR> | it's hard to get them to really exist. Escardo says somewhere the whole idea of reals seems problematic xD |
| 17:54:32 | <EvanR> | so you have to get charitable at some point |
| 17:54:48 | → | notdabs joins (~Owner@2600:1700:69cf:9000:6538:81e8:865e:540d) |
| 17:57:16 | <tomsmeding> | I guess? |
| 17:57:35 | <EvanR> | also the things that you *can* do keeps surprising me, so maybe it's not all negative |
| 17:57:38 | <tomsmeding> | yeah I guess you have a point there |
| 17:58:24 | <tomsmeding> | and the floor thing |
| 18:04:25 | → | j1n37 joins (~j1n37@user/j1n37) |
| 18:05:30 | → | Digitteknohippie joins (~user@user/digit) |
| 18:05:40 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 18:06:54 | × | Digit quits (~user@user/digit) (Ping timeout: 276 seconds) |
| 18:20:28 | × | __jmcantrell__ quits (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 18:22:29 | × | vulpine quits (xfnw@user/meow/xfnw) (Quit: Connection reset by purr) |
| 18:23:22 | → | vulpine joins (xfnw@user/meow/xfnw) |
| 18:24:18 | <mauke> | vulpine: is that a What does the fox say/V for Vendetta crossover in your realname? |
| 18:25:34 | <vulpine> | its just some random words that start with v, not a reference to anything |
| 18:25:36 | → | talisman` joins (~user@2601:644:937c:ed10::ae5) |
| 18:26:32 | <haskellbridge> | <Morj> Not a reference to Worm huh |
| 18:28:05 | × | talisman` quits (~user@2601:644:937c:ed10::ae5) (Read error: Connection reset by peer) |
| 18:30:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 18:30:53 | → | talisman` joins (~user@2601:644:937c:ed10::ae5) |
| 18:32:27 | → | Googulator47 joins (~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 18:32:56 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 18:36:38 | → | j1n37 joins (~j1n37@user/j1n37) |
| 18:39:45 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 18:40:06 | Digitteknohippie | is now known as Digit |
| 18:40:30 | <haskellbridge> | <shapr> Oh hey Vulpine, long time no see |
| 18:41:35 | → | j1n37 joins (~j1n37@user/j1n37) |
| 18:42:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:42:13 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 18:46:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 18:47:49 | → | j1n37 joins (~j1n37@user/j1n37) |
| 18:47:50 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 18:51:10 | → | j1n37 joins (~j1n37@user/j1n37) |
| 18:52:38 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 18:55:45 | → | j1n37 joins (~j1n37@user/j1n37) |
| 18:57:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:00:02 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 19:00:02 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:29 | × | jacopovalanzano quits (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed) |
| 19:00:42 | → | caconym7 joins (~caconym@user/caconym) |
| 19:02:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 19:04:42 | → | j1n37 joins (~j1n37@user/j1n37) |
| 19:07:44 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 19:10:14 | → | jacopovalanzano joins (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 19:12:26 | → | j1n37 joins (~j1n37@user/j1n37) |
| 19:12:40 | → | sprotte24 joins (~sprotte24@p200300d16f05f30064a5653bc6ebb7c1.dip0.t-ipconnect.de) |
| 19:13:30 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 19:13:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:16:45 | → | j1n37 joins (~j1n37@user/j1n37) |
| 19:18:45 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 19:22:00 | × | Googulator47 quits (~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 19:22:01 | → | j1n37 joins (~j1n37@user/j1n37) |
| 19:22:17 | → | Googulator47 joins (~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 19:25:06 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 19:31:36 | → | Digit joins (~user@user/digit) |
| 19:37:14 | × | Googulator47 quits (~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 19:37:28 | → | Googulator47 joins (~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 19:37:50 | <haskellbridge> | <hellwolf> which part of this syntax still looks odd to a Haskeller |
| 19:37:50 | <haskellbridge> | https://paste.tomsmeding.com/wu0WNZ8A |
| 19:38:00 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 19:40:25 | × | Digit quits (~user@user/digit) (Ping timeout: 276 seconds) |
| 19:41:35 | → | Digit joins (~user@user/digit) |
| 19:41:41 | <EvanR> | I like how there's a healthy stew of fully readable spelled out words |
| 19:41:45 | <EvanR> | and this: ylvm'pv |
| 19:42:09 | <EvanR> | to spice it up |
| 19:42:15 | <haskellbridge> | <hellwolf> haha |
| 19:42:19 | <haskellbridge> | <hellwolf> yes |
| 19:42:28 | <haskellbridge> | <hellwolf> a few magic spells indeed |
| 19:43:30 | <EvanR> | please tell me it does something like accursedUnutterablePerformIO or causes the program to doubly feed back into itself via laziness |
| 19:43:43 | <mauke> | that looks rot13'd |
| 19:43:48 | × | __jmcantrell__ quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 19:44:06 | <mauke> | preflex: rot13 ylvm'pv |
| 19:44:06 | <preflex> | lyiz'ci |
| 19:44:27 | <EvanR> | rot13ing leaves it effectively the same |
| 19:44:29 | <mauke> | well, that's at least more plausible as an english word |
| 19:45:32 | <haskellbridge> | <hellwolf> if things get reparative, I make it a magic spell |
| 19:45:43 | <haskellbridge> | <hellwolf> otherwise you'd curse when typing them |
| 19:45:50 | <int-e> | . o O ( Q: What does "Qzyzzalroum" mean in English usage? A: It means you should start the crossword over. ) |
| 19:46:11 | <EvanR> | you've not experienced haskell until you read it in the original klingon |
| 19:46:11 | <haskellbridge> | <hellwolf> I guess that's the curse of eDSL without more metaprogramming or temolating: there are magic spells. |
| 19:47:23 | <EvanR> | honestly I can't figure out how to justify ylvm'pv |
| 19:49:01 | → | j1n37- joins (~j1n37@user/j1n37) |
| 19:49:31 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 19:50:02 | <haskellbridge> | <hellwolf> a linear function (lfn), which is definited as a yul linearly versioned monad, pure input versioned output |
| 19:50:24 | <haskellbridge> | <hellwolf> in short $lfn $ ylvm'pv |
| 19:50:28 | <haskellbridge> | <hellwolf> 😆 |
| 19:51:33 | <haskellbridge> | <hellwolf> "yul" is defined elsewhere without further explanation |
| 19:51:34 | <EvanR> | why didn't you just say so! |
| 19:51:55 | <haskellbridge> | <hellwolf> how many characters limit Haskell function allows |
| 19:52:10 | <haskellbridge> | <hellwolf> if I create an enterprise edition for IBM I shall do so |
| 19:52:21 | <haskellbridge> | <hellwolf> s/if/when/ |
| 19:53:38 | <mauke> | ph'nglui mglw'nafh |
| 19:54:10 | <haskellbridge> | <hellwolf> Rv: the enclosed data that is (R)stricted in (v)ersion |
| 19:54:22 | <haskellbridge> | <hellwolf> Uv: the enclosed data that is (U)stricted in (v)ersion |
| 19:54:45 | <haskellbridge> | <hellwolf> in contrast to in linear-base: Ur, Unrestricted unciditionally. |
| 19:55:06 | × | Googulator47 quits (~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 19:55:22 | → | Googulator47 joins (~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 19:57:27 | <EvanR> | if you switch to APL you could reduce the size of the code further |
| 20:07:50 | <haskellbridge> | <hellwolf> could be |
| 20:09:06 | <haskellbridge> | <hellwolf> in seriousness, that type application will be eradicated, I have some injectivity issue that is in the way of type inference. I should have just used sop-core from the beginning, instead of making my own for short-sighted "simplicity" |
| 20:11:44 | <haskellbridge> | <hellwolf> sop-core: "data NP (a :: k -> Type) (b :: [k]) where ..." |
| 20:11:45 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/eLupUUnZOnJCeOGTbilDFUIK/hEXWGtzhpm4 (3 lines) |
| 20:13:23 | × | Ekho quits (~Ekho@user/ekho) (Quit: CORE ERROR, SYSTEM HALTED.) |
| 20:16:40 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 20:21:43 | → | j1n37 joins (~j1n37@user/j1n37) |
| 20:23:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:24:48 | → | Ekho joins (~Ekho@user/ekho) |
| 20:28:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:33:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:36:05 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 20:44:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:45:07 | × | michalz quits (~michalz@185.246.207.217) (Remote host closed the connection) |
| 20:49:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 20:59:20 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 21:00:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:05:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:05:20 | <EvanR> | tinyAPL blog about the implementation almost immediately gets into monads! https://blog.rubenverg.com/tinyapl_1_arrays#array-instances (APL monads that is) |
| 21:05:29 | <EvanR> | jargon collision batman |
| 21:05:48 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 21:06:17 | × | takuan quits (~takuan@d8d86b601.access.telenet.be) (Remote host closed the connection) |
| 21:08:17 | <EvanR> | I wonder if the type sig for monadN2N is just omitted for the sake of bloggery |
| 21:10:50 | <EvanR> | haskell is so good at making languages |
| 21:16:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:16:30 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds) |
| 21:20:15 | × | arahael quits (~arahael@user/arahael) (Ping timeout: 260 seconds) |
| 21:21:16 | × | Googulator47 quits (~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 21:21:32 | → | Googulator47 joins (~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 21:24:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 21:26:46 | <EvanR> | (answer: type sig omitted in latest source code as well. too obvious to state!) |
| 21:27:56 | <int-e> | :t otherwise |
| 21:27:57 | <lambdabot> | Bool |
| 21:29:06 | <haskellbridge> | <hellwolf> on hindsight, it should be DH: SBool True |
| 21:30:25 | <int-e> | @quote dependable |
| 21:30:25 | <lambdabot> | int-e says: I want dependable types. |
| 21:31:16 | <haskellbridge> | <hellwolf> need a natural language satire: the next 700 natural languages |
| 21:31:28 | <haskellbridge> | <hellwolf> for the age of prompt based "enginering" |
| 21:33:51 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 21:35:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:36:17 | <mauke> | https://hiddenlayer.com/innovation-hub/novel-universal-bypass-for-all-major-llms/ |
| 21:36:55 | <int-e> | . o O ( one for #haskell-offtopic ) |
| 21:37:03 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 21:37:36 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:37:56 | <mauke> | ghci prompt engineering |
| 21:38:14 | <mauke> | there, on topic again :-) |
| 21:38:54 | <int-e> | > fix((0:).scanl(+)1) |
| 21:38:55 | <lambdabot> | [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,... |
| 21:42:44 | → | Guest83 joins (~Guest83@31.217.17.11) |
| 21:43:34 | × | tromp quits (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:44:42 | <EvanR> | those are some good adverbs |
| 21:48:11 | → | JoeRayner123 joins (~Thunderbi@31.217.17.11) |
| 21:48:56 | × | JoeRayner123 quits (~Thunderbi@31.217.17.11) (Client Quit) |
| 21:50:15 | → | JoeRayner123 joins (~Thunderbi@31.217.17.11) |
| 21:51:11 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 21:51:22 | <hellwolf> | I think there is enough training data to create NeoHaskell, but not creating something new. |
| 21:55:41 | × | JoeRayner123 quits (~Thunderbi@31.217.17.11) (Quit: JoeRayner123) |
| 21:55:57 | × | Guest83 quits (~Guest83@31.217.17.11) (Quit: Client closed) |
| 21:59:27 | <EvanR> | lol NeoHaskell |
| 22:01:05 | <EvanR> | sanity check, is there some special type called St, I can't seem to find the definition |
| 22:01:42 | <EvanR> | eval :: Tree -> St Value |
| 22:01:45 | <haskellbridge> | <hellwolf> "data NeoHaskell = Void" |
| 22:02:06 | <haskellbridge> | <hellwolf> * "type |
| 22:03:05 | → | LainIwakura41 joins (~LainIwaku@user/LainIwakura) |
| 22:06:29 | <EvanR> | type St = StateT Context (ExceptT Error IO) |
| 22:06:30 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds) |
| 22:06:44 | <monochrom> | I haven't heard of St. |
| 22:07:27 | <EvanR> | wasn't a type at all but a synonym... |
| 22:29:22 | <mauke> | St Francis |
| 22:39:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 22:47:22 | <haskellbridge> | <hellwolf> {-# LANGUAGE OverloadedRecordDot #-} |
| 22:47:22 | <haskellbridge> | St. Francis |
| 22:48:20 | <monochrom> | OverlordDotComDot |
| 22:49:13 | × | nek0 quits (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 22:51:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:56:22 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:56:47 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 22:58:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:09:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:13:19 | × | sprotte24 quits (~sprotte24@p200300d16f05f30064a5653bc6ebb7c1.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 23:15:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 23:17:08 | × | euleritian quits (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 23:18:41 | → | euleritian joins (~euleritia@77.23.248.47) |
| 23:21:26 | → | Square2 joins (~Square@user/square) |
| 23:21:32 | × | Square quits (~Square@user/square) (Remote host closed the connection) |
| 23:24:02 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Remote host closed the connection) |
| 23:25:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:27:28 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:31:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 23:35:32 | × | shr\ke quits (~shrike@user/paxhumana) (Ping timeout: 252 seconds) |
| 23:35:41 | → | shr\ke joins (~shrike@user/paxhumana) |
| 23:35:42 | × | shr\ke quits (~shrike@user/paxhumana) (Changing host) |
| 23:35:42 | → | shr\ke joins (~shrike@user/shrke:31298) |
| 23:41:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:47:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 23:57:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
All times are in UTC on 2025-04-25.